:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Sun, Shuo-Heng
Natura:	Recurso digital
Lingua:
Pubblicazione:	Zenodo 2026
Accesso online:	https://doi.org/10.5281/zenodo.20193184
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

EE5122 PA2 Part 2: CPAchecker Algorithm Comparison on SV-COMP ReachSafety
di: Wu, YD
Pubblicazione: (2026)

NTUFM_PA2_2 CPAchecker Evaluation on SV-COMP ReachSafety Benchmark
di: Wu, Ying-Chi
Pubblicazione: (2026)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
di: Baier, Daniel, et al.
Pubblicazione: (2024)

AIGROW-artifact
di: Dong, Yibo
Pubblicazione: (2025)

Vaddr-artifact
di: HU, YUHANG
Pubblicazione: (2025)

alirezahdd/ispass-artifact: v1.0.2
di: Alireza Haddadi, et al.
Pubblicazione: (2026)

MaxwelsDonc/PSALM-official: artifact-v2
di: zhouzenghui
Pubblicazione: (2025)

EditFlow-artifacts
di: Liu, Chenyan
Pubblicazione: (2026)

AgentRaft_artifacts
di: anonymous, anonymous
Pubblicazione: (2026)

Reaching Part-Time Distance Students in Diverse Environments
di: Whitehair, Kristin J.
Pubblicazione: (2010)

The FM Agent
di: Li, Annan, et al.
Pubblicazione: (2025)

Reproduction Package for Evaluation of Bachleors Thesis 'Integrate Solver Indepenedent Quantifier Elimination using UltimateEliminator in JavaSMT with Subsequent Evaluation in CPAchecker'
di: Gurevich, Anastasia
Pubblicazione: (2025)

Pulse thermal imaging of FUHAO bronze artifact
di: Wang, Li, et al.
Pubblicazione: (2026)

Drinking artifact on scalp‐ EEG
di: Saeideh Salehizadeh, et al.
Pubblicazione: (2025)

EEG artifact caused by earthquake
di: Maria A. Montenegro
Pubblicazione: (2025)

Lattice artifacts of local fermion bilinears up to $\mathrm{O}(a^2)$
di: Husung, Nikolai
Pubblicazione: (2024)

TMR Effect in a FM-QD-FM System
di: F. M. Souza
Pubblicazione: (2004)

Emergent knowledge patterns in verification artifacts
di: Sukhwan Jung, et al.
Pubblicazione: (2024)

Toward a formalization of artifacts in GFO
di: Fiegenbaum, Hanna
Pubblicazione: (2024)

Comment on "electrostaic sampler for semivolatile aerosols: chemical artifacts" and "filter and electrostatic samplers for semivolatile aerosols: physical artifacts"
Pubblicazione: (2003)

FM-OSD: Foundation Model-Enabled One-Shot Detection of Anatomical Landmarks
di: Miao, Juzheng, et al.
Pubblicazione: (2024)

Manual-PA: Learning 3D Part Assembly from Instruction Diagrams
di: Zhang, Jiahao, et al.
Pubblicazione: (2024)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
di: Serry, Mohamed, et al.
Pubblicazione: (2024)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
di: Chen, Yu, et al.
Pubblicazione: (2025)

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
di: Xue, Bai
Pubblicazione: (2024)

Response to comment of "Electrostatic sampler for semivolatile aerosols: chemical artifacts" and "filter and elctrostatic samplers for semivolatile aerosols: physical artifacts"
Pubblicazione: (2003)

WindFM: An Open-Source Foundation Model for Zero-Shot Wind Power Forecasting
di: Fan, Hang, et al.
Pubblicazione: (2025)

Localized adversarial artifacts for compressed sensing MRI
di: Alaifari, Rima, et al.
Pubblicazione: (2022)

QuAK: Quantitative Automata Kit (artifact)
di: Chalupa, Marek, et al.
Pubblicazione: (2024)

PRISM-artifact/PRISM: OOPSLA 25 with LICENSE
di: PRISM-artifact
Pubblicazione: (2025)

Electrostatic sampler for semivolatile aerosols: chemical artifacts
Pubblicazione: (2002)

Size ratios and artifacts : Hutchinson's rule revisited
di: Broekhoven, L. & Colgan, P
Pubblicazione: (1959)

zjs123/LitFM: LitFM implementation V1
di: JiaSheng Zhang
Pubblicazione: (2025)

HomoFM: Deep Homography Estimation with Flow Matching
di: He, Mengfan, et al.
Pubblicazione: (2026)

RNA-FM: Flow-Matching Generative Model for Genome-wide RNA-Seq Prediction
di: Song, Yaxuan, et al.
Pubblicazione: (2026)

Time-To-Reach Separation and Safety Filtering for Safe, Fair, and Efficient Multi-Agent Coordination
di: Low, Matthew, et al.
Pubblicazione: (2026)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
di: Xue, Bai, et al.
Pubblicazione: (2025)

I see artifacts: ICA-based EEG artifact removal does not improve deep network decoding across three BCI tasks
di: Kang, Taeho, et al.
Pubblicazione: (2026)

A dual‐domain regularization method for ring artifact removal of X‐ray CT
di: Xin Lu, et al.
Pubblicazione: (2025)

Effect of PA6 / PA12 Composition on the Multifunctional Behavior of PA / MWCNT Nanocomposite Films
di: T. Arnal, et al.
Pubblicazione: (2025)