:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Redondi, Gianluca
Format:	Recurso digital
Language:
Published:	Zenodo 2024
Online Access:	https://doi.org/10.5281/zenodo.11070896
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
by: Cimatti, Alessandro, et al.
Published: (2024)

Invariant Checking for SMT-based Systems with Quantifiers
by: Redondi, Gianluca, et al.
Published: (2024)

Verification of Configurable SRA Systems
by: Cimatti, Alessandro, et al.
Published: (2026)

Scope of physics-based simulation artefacts
by: Horsch, Martin Thomas, et al.
Published: (2024)

Wild artefacts at two Australian museums
by: Tahnee Innes
Published: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

De l'artefact à l'infrastructure
by: Romain, Benabdelkader
Published: (2026)

Dataset of artefacts for machine learning applications in astronomy
by: Sreejith, Sreevarsha, et al.
Published: (2025)

A maturity model for catalogues of semantic artefacts
by: Corcho, Oscar, et al.
Published: (2023)

Lossy Compression of Cellular Network KPIs
by: Pimpinella, Andrea, et al.
Published: (2026)

Stone axe of Late Bronze Age (A2 artefact)
by: MineralogyPetrographyMuseum
Published: (2020)

Is the transition to unsteadiness in the wake of slender bodies an artefact of boundary conditions ?
by: Fabre, David
Published: (2025)

Chapter Crafting hybrid workflows for the design of augmented textile artefacts
by: Dumitrescu, Delia, et al.
Published: (2023)

Tackling artefacts in the timing of relativistic pulsar binaries: towards the SKA
by: Hu, Huanchen, et al.
Published: (2025)

Bodioid: philosophical reflections on the hybrid of bodies and artefacts towards post-human
by: Xu, Jiang, et al.
Published: (2024)

Writing-related artefacts from Lund, Lödöse, Skara, Sigtuna and Uppsala
by: Strid, Lena
Published: (2026)

Technological Understanding: On the cognitive skill involved in the design and use of technological artefacts
by: de Jong, Eline, et al.
Published: (2025)

Compact Probe Request Fingerprinting with Asymmetric Pairwise Boosting
by: Baccichet, Giovanni, et al.
Published: (2024)

MAC Address De-Randomization Using Multi-Channel Sniffers and Two-Stage Clustering
by: Baccichet, Giovanni, et al.
Published: (2024)

Flying without a Passport: A Future of Efficiency or a Privacy Nightmare?
by: Bosco, Federica, et al.
Published: (2026)

Efficient Wi-Fi Sensing for IoT Forensics with Lossy Compression of CSI Data
by: Cerutti, Paolo, et al.
Published: (2025)

Radio-opaque artefacts in digital mammography: automatic detection and analysis of downstream effects
by: Schueppert, Amelia, et al.
Published: (2024)

Classification uncertainty for transient gravitational-wave noise artefacts with optimised conformal prediction
by: Malz, Ann-Kristin, et al.
Published: (2024)

Storage‐related artefacts in equine blood result in a pseudo‐inflammatory leukogram
by: Ashley L. Parsley, et al.
Published: (2024)

Methodological artefacts cause counter‐intuitive evolutionary conclusions in a simulation study
by: Loke von Schmalensee, et al.
Published: (2024)

Obsidian in the Caribbean islands? Mysterious Ceramic Age glass artefacts in the Lesser Antilles
by: Arthur Leck, et al.
Published: (2024)

Visual perceptual artefacts in cardiothoracic imaging: Implications for diagnostic accuracy and strategies for mitigation
by: Thomas P Stirrat, et al.
Published: (2024)

Digital cemí. Exploring a unique Taíno artefact in the 21st century
by: Bettuzzi, Matteo, et al.
Published: (2025)

Mitigation of multi-path propagation artefacts in acoustic targets with adaptive cepstral filtering
by: Domingos, Lucas C. F., et al.
Published: (2025)

Encoder with the Empirical Mode Decomposition (EMD) to remove muscle artefacts from EEG signal
by: Rakhmatulin, Ildar
Published: (2024)

Association between dental restorations and artefacts on head magnetic resonance images in paediatric patients
by: Pitchaya Tunlayadechanont, et al.
Published: (2024)

Dating an ancient spring tunnel using archaeological artefacts functioning as nuclei of cave pearls
by: Azriel Yechezkel, et al.
Published: (2024)

Non-invasive urinary bladder volume estimation with artefact-suppressed bio-impedance measurements
by: Dheman, Kanika, et al.
Published: (2023)

Iron artefacts used at an ancient jade mine in the Hexi Corridor: a technical observation
by: Zehao Dou, et al.
Published: (2025)

Intelligent Detection of Non-Essential IoT Traffic on the Home Gateway
by: Palmese, Fabio, et al.
Published: (2025)

Early-Stage IoT Device Identification Using Passive Network Traffic Analysis
by: Ciechonski, Alex, et al.
Published: (2026)

Understanding spectral artefacts in SKA-LOW 21-cm cosmology experiments: the impact of cable reflections
by: O'Hara, Oscar Sage David, et al.
Published: (2024)

Impact of common artefacts on mass visibility in contrast‐enhanced mammography: A virtual imaging trial
by: Katrien Houbrechts, et al.
Published: (2026)

Imaging the LkCa 15 system in polarimetry and total intensity without self-subtraction artefacts
by: Swastik, C., et al.
Published: (2025)

Lossy Compression of Network Feature Data: When Less Is Enough
by: Palmese, Fabio, et al.
Published: (2026)