All software
A high spatial resolution Extended Spring Indices database over American and European regions
A high spatial resolution Extended Spring Indices database over American and European regions
- Citizen Science
- Climate change
- Cloud computing
- + 4
- Python
- Markdown
- Other
Air Traffic Control Reinforcement Learning Environment
Air Traffic Control Reinforcement Learning Environment
- Air Traffic Control (ATC)
- Air traffic management (ATM)
- Reinforcement Learning (RL)
A model for modifying the public transport service patterns to account for the imposed COVID-19 capacity
A model for modifying the public transport service patterns to account for the imposed COVID-19 capacity
- capacity
- coronavirus
- COVID-19
- + 7
ANNESI: An open-source artificial neural network for estuarine salt intrusion
ANNESI: An open-source artificial neural network for estuarine salt intrusion
- estuary
- Neural Network
- salt intrusion
Application of SDDTMPC to control a unicycle
Application of SDDTMPC to control a unicycle
- MPC
- nonlinear control
- robotics
- + 2
- Matlab
- Markdown
ApPlyWood: a calculation tool supporting the design of plywood-based seismic retrofitting interventions on existing timber floors
ApPlyWood: a calculation tool supporting the design of plywood-based seismic retrofitting interventions on existing timber floors
- Architectural conservation
- Design tools
- Earthquake engineering
- + 4
APS
APS: Asses Pedestrian model Speed framework
- Computational Complexity
- Model assessment framework
- Pedestrian models
- + 1
- Python
- Other
- Markdown
- + 1
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
- argon
- laser
- laser-sustained plasma
- + 4
- Other
- TeX
- Jupyter Notebook
- + 5
[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
- Deductive verification
- embedded systems
- parameterized systems
- + 2
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
- Annotation-aware
- Deductive verification
- GPU
- + 2
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
- Correct-by-construction
- Floating-point
- IEEE 754
- + 6
- Other
- C
- JSON
- + 5
Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
- Correct-by-construction
- Interactive Theorem Proving
- Maximal End Components
- + 3
- Other
- XML
- JSON
- + 6