The following pages link to Zenodo ID (P227):
Displaying 50 items.
- South Pacific precipitation dataset: PACRAIN, TRMM, ERA5 and calibrated precipitation series. (Q6700742) (← links)
- Replication package and appendixes for Causal inference of server- and client-side code smells in web apps evolution (Q6700745) (← links)
- Prospects of gravitational-waves detections from common-envelope evolution with LISA (Q6700753) (← links)
- An unusual pulse shape change event in PSR J1713+0747 observed with the Green Bank Telescope and CHIME: Profile data and figure reproduction scripts (Q6700785) (← links)
- rchampieux/Biomedical_Journal_Data_Sharing_Policies: Data and Code Release for Publication (Q6700791) (← links)
- Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving (Q6700794) (← links)
- Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022 (Q6700797) (← links)
- Dataset for large-scale self-organisation in dry turbulent atmospheres (Q6700802) (← links)
- Dataset of scientific article "Variability in Arsenic Methylation Efficiency across Aerobic and Anaerobic Microorganisms" (Q6700811) (← links)
- Dataset for Multiphase turbulent flow explains lightning rings in volcanic plumes (Q6700816) (← links)
- The SAT Museum POS'23 Artifact (Q6700819) (← links)
- The surface energy imbalance at cabauw and its impact on model evaluation (Q6700824) (← links)
- CNF Encoded Hard Miters from IWLS'22 Paper (Q6700825) (← links)
- CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2012 Models (Q6700826) (← links)
- CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models (Q6700828) (← links)
- Clausal Equivalence Sweeping Paper Logs (Q6700830) (← links)
- SAT Competition 2023 Main Track Benchmarks (Q6700831) (← links)
- SAT Competition 2021 Main Track Benchmarks (Q6700832) (← links)
- SAT Competition 2020 Main Track Benchmarks (Q6700833) (← links)
- SAT Competition 2022 Main Track Benchmarks (Q6700834) (← links)
- SAT Race 2019 Benchmarks (Q6700835) (← links)
- SAT Competition 2018 Main Track Benchmarks (Q6700836) (← links)
- SAT Competition 2016 Application Track Benchmarks (Q6700837) (← links)
- SAT Competition 2017 Main Track Benchmarks (Q6700838) (← links)
- SAT Race 2015 Benchmarks (Q6700839) (← links)
- SAT Competition 2014 Application Track Benchmarks (Q6700840) (← links)
- SAT Competition 2013 Application Track Benchmarks (Q6700841) (← links)
- SAT Challenge 2012 Application Track Benchmarks (Q6700842) (← links)
- SAT Competition 2011 Application Track Benchmarks (Q6700843) (← links)
- SAT Race 2010 Benchmarks (Q6700844) (← links)
- SAT Competition 2009 Application Track Benchmarks (Q6700845) (← links)
- SAT Race 2008 Benchmarks (Q6700846) (← links)
- SAT Competition 2007 Industrial Track Benchmarks (Q6700847) (← links)
- SAT Race 2006 Benchmarks (Q6700848) (← links)
- Distributed SAT Competition 2005 Industrial Track Benchmarks (Q6700849) (← links)
- Distributed SAT Competition 2004 Industrial Track Benchmarks (Q6700850) (← links)
- Distributed SAT Competition 2003 Industrial Track Benchmarks (Q6700851) (← links)
- Distributed SAT Competition 2002 Industrial Track Benchmarks (Q6700852) (← links)
- Clausal Congruence Closure Paper Source Code (Q6700853) (← links)
- Clausal Congruence Closure Paper Logs, Plots and Tables (Q6700854) (← links)
- DEM and associated kinematic GPS coordinates of September 2002 survey of the salar de Uyuni, Bolivia (Q6700860) (← links)
- HWMCC'24 Benchmarks and Results (Q6700862) (← links)
- CaDiCaL 2.2 System Description Artifact (Q6700864) (← links)
- A sizable fraction of workers provides hasty, wrong answers in crowd-sourced tasks (Q6700866) (← links)
- Artifacts for the FDL21 Paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes (Q6700869) (← links)
- Two-story frame with Bouc-Wen hysteretic links as a multi-degree of freedom nonlinear response simulator (Q6700874) (← links)
- Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification (Q6700876) (← links)
- Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT (Q6700878) (← links)
- Multivariate prediction on wake-affected wind turbines using graph neural networks (Eurodyn) database (Q6700884) (← links)
- Wind turbine blade structural health monitoring dataset (Q6700888) (← links)
