:: Library Catalog

Obálka

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Redondi, Gianluca
Médium:	Recurso digital
Jazyk:
Vydáno:	Zenodo 2024
On-line přístup:	https://doi.org/10.5281/zenodo.11070896
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
Autor: Cimatti, Alessandro, a další
Vydáno: (2024)

Invariant Checking for SMT-based Systems with Quantifiers
Autor: Redondi, Gianluca, a další
Vydáno: (2024)

Verification of Configurable SRA Systems
Autor: Cimatti, Alessandro, a další
Vydáno: (2026)

Scope of physics-based simulation artefacts
Autor: Horsch, Martin Thomas, a další
Vydáno: (2024)

Wild artefacts at two Australian museums
Autor: Tahnee Innes
Vydáno: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
Autor: Farjami, Ali, a další
Vydáno: (2026)

De l'artefact à l'infrastructure
Autor: Romain, Benabdelkader
Vydáno: (2026)

Dataset of artefacts for machine learning applications in astronomy
Autor: Sreejith, Sreevarsha, a další
Vydáno: (2025)

A maturity model for catalogues of semantic artefacts
Autor: Corcho, Oscar, a další
Vydáno: (2023)

Lossy Compression of Cellular Network KPIs
Autor: Pimpinella, Andrea, a další
Vydáno: (2026)

Stone axe of Late Bronze Age (A2 artefact)
Autor: MineralogyPetrographyMuseum
Vydáno: (2020)

Is the transition to unsteadiness in the wake of slender bodies an artefact of boundary conditions ?
Autor: Fabre, David
Vydáno: (2025)

Chapter Crafting hybrid workflows for the design of augmented textile artefacts
Autor: Dumitrescu, Delia, a další
Vydáno: (2023)

Tackling artefacts in the timing of relativistic pulsar binaries: towards the SKA
Autor: Hu, Huanchen, a další
Vydáno: (2025)

Bodioid: philosophical reflections on the hybrid of bodies and artefacts towards post-human
Autor: Xu, Jiang, a další
Vydáno: (2024)

Writing-related artefacts from Lund, Lödöse, Skara, Sigtuna and Uppsala
Autor: Strid, Lena
Vydáno: (2026)

Technological Understanding: On the cognitive skill involved in the design and use of technological artefacts
Autor: de Jong, Eline, a další
Vydáno: (2025)

Radio-opaque artefacts in digital mammography: automatic detection and analysis of downstream effects
Autor: Schueppert, Amelia, a další
Vydáno: (2024)

Classification uncertainty for transient gravitational-wave noise artefacts with optimised conformal prediction
Autor: Malz, Ann-Kristin, a další
Vydáno: (2024)

Storage‐related artefacts in equine blood result in a pseudo‐inflammatory leukogram
Autor: Ashley L. Parsley, a další
Vydáno: (2024)

Methodological artefacts cause counter‐intuitive evolutionary conclusions in a simulation study
Autor: Loke von Schmalensee, a další
Vydáno: (2024)

Obsidian in the Caribbean islands? Mysterious Ceramic Age glass artefacts in the Lesser Antilles
Autor: Arthur Leck, a další
Vydáno: (2024)

Visual perceptual artefacts in cardiothoracic imaging: Implications for diagnostic accuracy and strategies for mitigation
Autor: Thomas P Stirrat, a další
Vydáno: (2024)

Digital cemí. Exploring a unique Taíno artefact in the 21st century
Autor: Bettuzzi, Matteo, a další
Vydáno: (2025)

Mitigation of multi-path propagation artefacts in acoustic targets with adaptive cepstral filtering
Autor: Domingos, Lucas C. F., a další
Vydáno: (2025)

Compact Probe Request Fingerprinting with Asymmetric Pairwise Boosting
Autor: Baccichet, Giovanni, a další
Vydáno: (2024)

MAC Address De-Randomization Using Multi-Channel Sniffers and Two-Stage Clustering
Autor: Baccichet, Giovanni, a další
Vydáno: (2024)

Flying without a Passport: A Future of Efficiency or a Privacy Nightmare?
Autor: Bosco, Federica, a další
Vydáno: (2026)

Efficient Wi-Fi Sensing for IoT Forensics with Lossy Compression of CSI Data
Autor: Cerutti, Paolo, a další
Vydáno: (2025)

Encoder with the Empirical Mode Decomposition (EMD) to remove muscle artefacts from EEG signal
Autor: Rakhmatulin, Ildar
Vydáno: (2024)

Association between dental restorations and artefacts on head magnetic resonance images in paediatric patients
Autor: Pitchaya Tunlayadechanont, a další
Vydáno: (2024)

Dating an ancient spring tunnel using archaeological artefacts functioning as nuclei of cave pearls
Autor: Azriel Yechezkel, a další
Vydáno: (2024)

Non-invasive urinary bladder volume estimation with artefact-suppressed bio-impedance measurements
Autor: Dheman, Kanika, a další
Vydáno: (2023)

Iron artefacts used at an ancient jade mine in the Hexi Corridor: a technical observation
Autor: Zehao Dou, a další
Vydáno: (2025)

Intelligent Detection of Non-Essential IoT Traffic on the Home Gateway
Autor: Palmese, Fabio, a další
Vydáno: (2025)

Early-Stage IoT Device Identification Using Passive Network Traffic Analysis
Autor: Ciechonski, Alex, a další
Vydáno: (2026)

Understanding spectral artefacts in SKA-LOW 21-cm cosmology experiments: the impact of cable reflections
Autor: O'Hara, Oscar Sage David, a další
Vydáno: (2024)

Impact of common artefacts on mass visibility in contrast‐enhanced mammography: A virtual imaging trial
Autor: Katrien Houbrechts, a další
Vydáno: (2026)

Imaging the LkCa 15 system in polarimetry and total intensity without self-subtraction artefacts
Autor: Swastik, C., a další
Vydáno: (2025)

Lossy Compression of Network Feature Data: When Less Is Enough
Autor: Palmese, Fabio, a další
Vydáno: (2026)