保存先:
| 主要な著者: | , , |
|---|---|
| フォーマット: | Recurso digital |
| 言語: | |
| 出版事項: |
Zenodo
2025
|
| オンライン･アクセス: | https://doi.org/10.5281/zenodo.17069764 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
How Far Are LLMs from Symbolic Planners? An NLP-Based Perspective
著者:: Armony, Ma'ayan, 等
出版事項: (2025)
著者:: Armony, Ma'ayan, 等
出版事項: (2025)
DeepEval/DeepEval: Artifacts Associated with the Paper Under Review in TOSEM
著者:: Xiangyue, Ma, 等
出版事項: (2026)
著者:: Xiangyue, Ma, 等
出版事項: (2026)
Table 3 in Squamates and amphibians from the Natufian cemetery of Raqefet Cave, Israel: taphonomy, paleoenvironments and paleoclimate
著者:: Ma'ayan Lev, Dani Nadel, Mina Weinstein-Evron, 等
出版事項: (2021)
著者:: Ma'ayan Lev, Dani Nadel, Mina Weinstein-Evron, 等
出版事項: (2021)
trans ‐2‐Octenal controls Fusarium oxysporum f. sp. lycopersici , the causal agent of tomato wilt in vitro , in soil and in the field
著者:: Orna Liarzi, 等
出版事項: (2025)
著者:: Orna Liarzi, 等
出版事項: (2025)
A protocol for treating atelectasis in the chronically ventilated pediatric patient
著者:: Eliezer Be'eri, 等
出版事項: (2024)
著者:: Eliezer Be'eri, 等
出版事項: (2024)
Model Predictive Control for Crowd Navigation via Learning-Based Trajectory Prediction
著者:: Aslam, Mohamed Parvez, 等
出版事項: (2025)
著者:: Aslam, Mohamed Parvez, 等
出版事項: (2025)
The Double-White-Dwarf Merger Rate from ZTF
著者:: Maoz, Dan
出版事項: (2024)
著者:: Maoz, Dan
出版事項: (2024)
Asymptotic independence for random permutations from surface groups
著者:: Maoz, Yotam
出版事項: (2023)
著者:: Maoz, Yotam
出版事項: (2023)
Smooth linear eigenvalue statistics on random covers of compact hyperbolic surfaces -- A central limit theorem and almost sure RMT statistics
著者:: Maoz, Yotam
出版事項: (2023)
著者:: Maoz, Yotam
出版事項: (2023)
Backpackers’ motivations the role of culture and nationality / Darya Maoz
著者:: Maoz, Darya
出版事項: (2007)
著者:: Maoz, Darya
出版事項: (2007)
Programming a Ferroptosis‐to‐Apoptosis Transition Landscape Revealed Ferroptosis Biomarkers and Repressors for Cancer Therapy
著者:: Yaron Vinik, 等
出版事項: (2024)
著者:: Yaron Vinik, 等
出版事項: (2024)
Automated triage of COVID-19 from various lung abnormalities using chest CT features
著者:: Amran, Dor, 等
出版事項: (2020)
著者:: Amran, Dor, 等
出版事項: (2020)
Quantum Entanglement Entropy of the Ghost Cell: A 5-Qubit Formalization of Geometric Transition in a 25-Point Voronoi Tessellation
著者:: Keynan, Maayan
出版事項: (2026)
著者:: Keynan, Maayan
出版事項: (2026)
Toward effective KMS measurement: Usage statistics vs. perceived value
著者:: Maayan Nakash
出版事項: (2024)
著者:: Maayan Nakash
出版事項: (2024)
MarijaJovanovic, State Responsibility for ‘Modern Slavery’ in Human Rights Law: A Right Not to Be Trafficked, Oxford: Oxford University Press, 2023, 240 pp, hb, £90.00
著者:: Maayan Niezna
出版事項: (2024)
著者:: Maayan Niezna
出版事項: (2024)
Sincere critique in Israeli filmmaking
著者:: Maayan Cohen
出版事項: (2024)
著者:: Maayan Cohen
出版事項: (2024)
Artifact to IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae
著者:: wu, ziji, 等
出版事項: (2025)
著者:: wu, ziji, 等
出版事項: (2025)
Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis
著者:: Godbole, Adwait, 等
出版事項: (2025)
著者:: Godbole, Adwait, 等
出版事項: (2025)
The Artifact of TEE Formal Specification and Analysis
著者:: Yu, Geunyeol
出版事項: (2026)
著者:: Yu, Geunyeol
出版事項: (2026)
Synaptic motility and functional stability in the whisker cortex
著者:: Sherf, Nimrod, 等
出版事項: (2024)
著者:: Sherf, Nimrod, 等
出版事項: (2024)
The neutron-star merger delay-time distribution, r-process "knees", and the metal budget of the Galaxy
著者:: Maoz, Dan, 等
出版事項: (2024)
著者:: Maoz, Dan, 等
出版事項: (2024)
Synthesis and Reactivity of Iodepinium Salts
著者:: Jan Rick Koch, 等
出版事項: (2026)
著者:: Jan Rick Koch, 等
出版事項: (2026)
Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
著者:: Murphy, William, 等
出版事項: (2024)
著者:: Murphy, William, 等
出版事項: (2024)
From Specificity to Generality: Revisiting Generalizable Artifacts in Detecting Face Deepfakes
著者:: Ma, Long, 等
出版事項: (2025)
著者:: Ma, Long, 等
出版事項: (2025)
Shelving it rather than Ditching it: Dynamically Debloating DEX and Native Methods of Android Applications without APK Modification
著者:: Zhang, Zicheng, 等
出版事項: (2025)
著者:: Zhang, Zicheng, 等
出版事項: (2025)
Artifact of the paper: CSGC: Collaborative File System Garbage Collection with Computational Storage
著者:: Pu, Jin, 等
出版事項: (2025)
著者:: Pu, Jin, 等
出版事項: (2025)
Artifact for paper: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
著者:: Nicola, Mihai, 等
出版事項: (2025)
著者:: Nicola, Mihai, 等
出版事項: (2025)
Artifact of the paper 'Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation'
著者:: Schuster, Philipp, 等
出版事項: (2025)
著者:: Schuster, Philipp, 等
出版事項: (2025)
International Development Financing in the Second Cold War: The Miserly Convergence of Western Donors and China
著者:: Shahar Hameiri, 等
出版事項: (2025)
著者:: Shahar Hameiri, 等
出版事項: (2025)
Wartime Leadership as a Bridge Over Troubled Waters: A Representative Bureaucracy Perspective on Ethnically Homogeneous and Heterogeneous Schools
著者:: Maayan Davidovitz, 等
出版事項: (2025)
著者:: Maayan Davidovitz, 等
出版事項: (2025)
Scriptures, Shrines, Scapegoats, and World Politics
著者:: Maoz, Zeev, 等
出版事項: (2020)
著者:: Maoz, Zeev, 等
出版事項: (2020)
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
著者:: Heim, Philippe, 等
出版事項: (2025)
著者:: Heim, Philippe, 等
出版事項: (2025)
Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
著者:: Cherny-Shahar, Tsvi, 等
出版事項: (2024)
著者:: Cherny-Shahar, Tsvi, 等
出版事項: (2024)
Species‐Specific Vulnerability of Northern Red Sea Mesophotic Corals to Accelerated Warming
著者:: Netanel Kramer, 等
出版事項: (2026)
著者:: Netanel Kramer, 等
出版事項: (2026)
Exploring the Reactivity of Amines with Cyclic Carbonates for Tailored Urethandiol Synthesis
著者:: Pavel Chapala, 等
出版事項: (2026)
著者:: Pavel Chapala, 等
出版事項: (2026)
Paper-Artifacts/aurora_paper_SC25_artifacts: v1.0.0
著者:: Marta Garcia Martinez, 等
出版事項: (2025)
著者:: Marta Garcia Martinez, 等
出版事項: (2025)
Monitoring Component Artifact from the paper Spanergy: Energy-aware Distributed Tracing for Microservices
著者:: Perdigao Batista, César Augusto
出版事項: (2026)
著者:: Perdigao Batista, César Augusto
出版事項: (2026)
Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts
著者:: Westphal, Oliver
出版事項: (2025)
著者:: Westphal, Oliver
出版事項: (2025)
Exploring lensing signatures through spectrotemporal correlations: implications for black hole parameter estimation
著者:: Harikesh, Sreehari, 等
出版事項: (2025)
著者:: Harikesh, Sreehari, 等
出版事項: (2025)
Synthesis and Reactivity of Tricoordinate Organoberyllium Azides
著者:: Corinna Czernetzki, 等
出版事項: (2024)
著者:: Corinna Czernetzki, 等
出版事項: (2024)