The following pages link to publication date (P28):
Displaying 50 items.
- SAT Race 2010 Benchmarks (← links)
- SAT Competition 2009 Application Track Benchmarks (← links)
- SAT Race 2008 Benchmarks (← links)
- SAT Competition 2007 Industrial Track Benchmarks (← links)
- SAT Race 2006 Benchmarks (← links)
- Distributed SAT Competition 2005 Industrial Track Benchmarks (← links)
- Distributed SAT Competition 2004 Industrial Track Benchmarks (← links)
- Distributed SAT Competition 2003 Industrial Track Benchmarks (← links)
- Distributed SAT Competition 2002 Industrial Track Benchmarks (← links)
- Clausal Congruence Closure Paper Source Code (← links)
- Clausal Congruence Closure Paper Logs, Plots and Tables (← links)
- DEM and associated kinematic GPS coordinates of September 2002 survey of the salar de Uyuni, Bolivia (← links)
- HWMCC'24 Benchmarks and Results (← links)
- CaDiCaL 2.2 System Description Artifact (← links)
- A sizable fraction of workers provides hasty, wrong answers in crowd-sourced tasks (← links)
- Artifacts for the FDL21 Paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes (← links)
- Two-story frame with Bouc-Wen hysteretic links as a multi-degree of freedom nonlinear response simulator (← links)
- Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification (← links)
- Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT (← links)
- Multivariate prediction on wake-affected wind turbines using graph neural networks (Eurodyn) database (← links)
- Wind turbine blade structural health monitoring dataset (← links)
- Dataset for the Article "Does the Venue of Scientific Conferences Leverage their Impact? A Large Scale study on Computer Science Conferences" (← links)
- Improved Italian - Rainfall Extreme Dataset (I2-RED) (← links)
- Data from: Trends in butterfly populations in UK gardens – new evidence from citizen science monitoring (← links)
- Detecting cosmic voids via maps of geometric optics parameters (← links)
- FOCA (Italian FlOod and Catchment Atlas) (← links)
- Dataset for "Physical interpretation of the 2s excitation of the nucleon" (← links)
- Italian Large Dams (← links)
- Contrasting genetic differentiation of urban and rural populations of two grassland lepidopterans across Europe (← links)
- Micro-urban environment experimental dataset to validate performance of different Computational Fluid Dynamics methodologies. (← links)
- A High-Performance Code for Analyzing Loss Transport Equations in High-Fidelity Simulations - velocity field data (← links)
- 3D Tomography Images of wheat grains for several development stages (← links)
- Distinct spatial maps and multiple object codes in the lateral entorhinal cortex (← links)
- Asynchronous Lagragian Scenario Decompostion: SMIP Instances (← links)
- AminerMag S Dataset (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 5th percentile monthly time-series (2002) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 5th percentile monthly time-series (2003) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 5th percentile monthly time-series (2004) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 5th percentile monthly time-series (2005) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 50th percentile monthly time-series (2003) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 50th percentile monthly time-series (2004) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 95th percentile monthly time-series (2004) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 95th percentile monthly time-series (2005) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 5th percentile monthly time-series (2006) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 5th percentile monthly time-series (2007) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 5th percentile monthly time-series (2008) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 5th percentile monthly time-series (2009) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 5th percentile monthly time-series (2010) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 50th percentile monthly time-series (2007) (← links)
- Monthly aggregated GLASS FAPAR V6 (250 m): 50th percentile monthly time-series (2008) (← links)
