The following pages link to Module:Wd:
Displaying 50 items.
- TestData tools21cm (transclusion) (← links)
- CoG Dataset (transclusion) (← links)
- Reproductive allocation in plants in terms of biomass, energy or nutrients (transclusion) (← links)
- South Pacific precipitation dataset: PACRAIN, TRMM, ERA5 and calibrated precipitation series. (transclusion) (← links)
- Replication package and appendixes for Causal inference of server- and client-side code smells in web apps evolution (transclusion) (← links)
- Prospects of gravitational-waves detections from common-envelope evolution with LISA (transclusion) (← 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 (transclusion) (← links)
- Rchampieux/Biomedical Journal Data Sharing Policies: Data and Code Release for Publication (transclusion) (← links)
- Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving (transclusion) (← links)
- Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022 (transclusion) (← links)
- Dataset for large-scale self-organisation in dry turbulent atmospheres (transclusion) (← links)
- Dataset of scientific article "Variability in Arsenic Methylation Efficiency across Aerobic and Anaerobic Microorganisms" (transclusion) (← links)
- Dataset for Multiphase turbulent flow explains lightning rings in volcanic plumes (transclusion) (← links)
- The SAT Museum POS'23 Artifact (transclusion) (← links)
- The surface energy imbalance at cabauw and its impact on model evaluation (transclusion) (← links)
- CNF Encoded Hard Miters from IWLS'22 Paper (transclusion) (← links)
- CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2012 Models (transclusion) (← links)
- CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models (transclusion) (← links)
- Clausal Equivalence Sweeping Paper Logs (transclusion) (← links)
- SAT Competition 2023 Main Track Benchmarks (transclusion) (← links)
- SAT Competition 2021 Main Track Benchmarks (transclusion) (← links)
- SAT Competition 2020 Main Track Benchmarks (transclusion) (← links)
- SAT Competition 2022 Main Track Benchmarks (transclusion) (← links)
- SAT Race 2019 Benchmarks (transclusion) (← links)
- SAT Competition 2018 Main Track Benchmarks (transclusion) (← links)
- SAT Competition 2016 Application Track Benchmarks (transclusion) (← links)
- SAT Competition 2017 Main Track Benchmarks (transclusion) (← links)
- SAT Race 2015 Benchmarks (transclusion) (← links)
- SAT Competition 2014 Application Track Benchmarks (transclusion) (← links)
- SAT Competition 2013 Application Track Benchmarks (transclusion) (← links)
- SAT Challenge 2012 Application Track Benchmarks (transclusion) (← links)
- SAT Competition 2011 Application Track Benchmarks (transclusion) (← links)
- SAT Race 2010 Benchmarks (transclusion) (← links)
- SAT Competition 2009 Application Track Benchmarks (transclusion) (← links)
- SAT Race 2008 Benchmarks (transclusion) (← links)
- SAT Competition 2007 Industrial Track Benchmarks (transclusion) (← links)
- SAT Race 2006 Benchmarks (transclusion) (← links)
- Distributed SAT Competition 2005 Industrial Track Benchmarks (transclusion) (← links)
- Distributed SAT Competition 2004 Industrial Track Benchmarks (transclusion) (← links)
- Distributed SAT Competition 2003 Industrial Track Benchmarks (transclusion) (← links)
- Distributed SAT Competition 2002 Industrial Track Benchmarks (transclusion) (← links)
- Clausal Congruence Closure Paper Source Code (transclusion) (← links)
- Clausal Congruence Closure Paper Logs, Plots and Tables (transclusion) (← links)
- DEM and associated kinematic GPS coordinates of September 2002 survey of the salar de Uyuni, Bolivia (transclusion) (← links)
- HWMCC'24 Benchmarks and Results (transclusion) (← links)
- CaDiCaL 2.2 System Description Artifact (transclusion) (← links)
- A sizable fraction of workers provides hasty, wrong answers in crowd-sourced tasks (transclusion) (← links)
- Artifacts for the FDL21 Paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes (transclusion) (← links)
- Two-story frame with Bouc-Wen hysteretic links as a multi-degree of freedom nonlinear response simulator (transclusion) (← links)
- Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification (transclusion) (← links)
