:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Frédéric Herbreteau, Gérald Point, alzeha, PhilippSchlehuberCaissier, Paula, schlepil
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.18887941
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Temporal Logic Synthesis Format TLSF v1.2
by: Jacobs, Swen, et al.
Published: (2023)

$ω$-Regular Energy Problems
by: Dziadek, Sven, et al.
Published: (2022)

Revisiting Stateful Partial-Order Reduction
by: Herbreteau, Frédéric, et al.
Published: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
by: Bellier, Dylan, et al.
Published: (2026)

Higher-Dimensional Timed Automata for Real-Time Concurrency
by: Amrane, Amazigh, et al.
Published: (2024)

Petri Nets and Higher-Dimensional Automata
by: Amrane, Amazigh, et al.
Published: (2025)

Cross--layer Formal Verification of Robotic Systems
by: Raïs, Sylvain, et al.
Published: (2024)

On definable groups in dp-minimal topological fields equipped with a generic derivation
by: Point, Françoise
Published: (2025)

A Zone-Based Algorithm for Timed Parity Games
by: Geeraerts, Gilles, et al.
Published: (2025)

Self-Calibrated Variance-Stabilizing Transformations for Real-World Image Denoising
by: Herbreteau, Sébastien, et al.
Published: (2024)

A unified framework of non-local parametric methods for image denoising
by: Herbreteau, Sébastien, et al.
Published: (2024)

On normalization-equivariance properties of supervised and unsupervised denoising methods: a survey
by: Herbreteau, Sébastien, et al.
Published: (2024)

Towards a unified view of unsupervised non-local methods for image denoising: the NL-Ridge approach
by: Herbreteau, Sébastien, et al.
Published: (2022)

Linear Combinations of Patches are Unreasonably Effective for Single-Image Denoising
by: Herbreteau, Sébastien, et al.
Published: (2022)

Electronic Resources in Ohio Prison Libraries.
by: LaPoint, Virginia A.
Published: (1997)

Normalization-Equivariant Neural Networks with Application to Image Denoising
by: Herbreteau, Sébastien, et al.
Published: (2023)

On groups definable in geometric fields with generic derivations
by: Pillay, Anand, et al.
Published: (2025)

Non-Destructive Carotenoid Quantification in Leaves via Raman Spectroscopy: Optimizing Treatment for Linear Discriminant Analysis
by: Park, Miri, et al.
Published: (2025)

Risk Factors of Complications After Uterine Artery Embolisation for Symptomatic Fibroids: A Case–Control Study
by: Adeline de Wit, et al.
Published: (2024)

Evolution and Perspectives of the Keep IT Secure Ecosystem:A Six-Year Analysis of Cybersecurity Experts Supporting Belgian SMEs
by: Ponsard, Christophe, et al.
Published: (2026)

Optimizing Orbital Parameters of Satellites for a Global Quantum Network
by: Ashok, Athul, et al.
Published: (2026)

Fluorescence‐based CRISPR interference system for controlled genetic repression and live single‐cell imaging in mycobacteria
by: Janïs Laudouze, et al.
Published: (2024)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
by: Jacobs, Swen, et al.
Published: (2022)

Editorial (v24n1)
by: Ana Paula de Castro
Published: (2022)

Editorial (v24n2)
by: Ana Paula de Castro
Published: (2022)

Editorial (v25n3)
by: Ana Paula de Castro
Published: (2023)

Editorial (v25n1)
by: Ana Paula de Castro
Published: (2023)

Editorial (v25n2)
by: Ana Paula de Castro
Published: (2023)

Editorial (v24n3)
by: Ana Paula de Castro
Published: (2022)

HOPPET v2 release note
by: Karlberg, Alexander, et al.
Published: (2025)

Evidence that SOL2012-06-03 Late Phase $γ$ Rays are Produced by $>$300 MeV Protons from CME-Shock Acceleration of Suprathermals from the Flare
by: Share, Gerald H., et al.
Published: (2026)

Pan‐azole‐resistant Meyerozyma guilliermondii clonal isolates harbouring a double F126L and L505F mutation in Erg11
by: Jérémy Moreau, et al.
Published: (2024)

fliphilipp/ICESat2Sentinel2: v0.1.0
by: Philipp Arndt
Published: (2025)

MEFISTO LANF v03.2
by: Hooker, John Noel
Published: (2025)

BSSP26/BitstreamFilterOnFPGA: v1.0
by: BSSP26
Published: (2026)

merszym/alphabet: Version v0.3
by: Merlin Szymanski
Published: (2026)

merszym/alphabet: Version v0.6
by: Merlin Szymanski
Published: (2026)

nanophyto/Abil: v25.08.06
by: Joost de Vries, et al.
Published: (2025)

Text+ Architecture v1.0 (2024)
by: Buddenbohm, Stefan, et al.
Published: (2025)

SysTemp: A Multi-Agent System for Template-Based Generation of SysML v2
by: Bouamra, Yasmine, et al.
Published: (2025)