All software
ghc
GHC with stream fusion, used as benchmark in the publication: Higher Order Patterns for Rewrite Rules
- compiler
- fusion
- higher order matching
- + 2
- Automake
- C
- C++
- + 16
Hodge-Edge-GP
Code underlying: Hodge-Compositional Edge Gaussian Processes
- edge space
- forex
- Gaussian process
- + 2
- JSON
- Jupyter Notebook
- Markdown
- + 3
IntervalMDPAbstractions.jl_ReproducibilityPackage
Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions
- embedded systems
- Markov processes
- Stochastic control and optimization
- C
- C++
- HTML
- + 10
longterm_datasets
Code underlying the publication: "Are current long-term video understanding datasets long-term?"
- computer vision
- deep learning
- Long-term action recognition
- HTML
- Markdown
- Other
- + 2
mean-field-quantum-networks
Code underlying the publication: Service-the-Longest-Queue Among d Choices Policy for Quantum Entanglement Switching
- entanglement generation switch
- load-balancing.
- mean-field analysis
- + 1
- JSON
- Julia
- Markdown
- + 2
mpcrl-cbf
Source code for the publication: Probabilistically safe and efficient model-based Reinforcement Learning
- Control Barrier Function
- Model predictive control
- Reinforcement learning
- + 1
- Markdown
- Matlab
- Other
- + 2
mpcrl-vehicle-gears
Software underlying publications: Learning-based MPC for fuel efficient control of autonomous vehicles with discrete gear selection and Reinforcement Learning with Distributed MPC for Fuel-Efficient Platoon Control with Discrete Gear Transitions
- autonomous driving
- Model predictive control
- Reinforcement learning
- + 1
- Markdown
- Other
- Python
P1-data-combination-code
Code to paper "Changing Sea Level, Changing Shorelines: Integration of Remote Sensing Observations at the Terschelling Barrier Island"
- coastline
- Remote sensing
- sea level
- + 1
- Jupyter Notebook
- large-text-file
- Markdown
- + 1
patient-interaction-detection
Python code to detect interaction of medical personnel with the operating table from surveillance videos
- 2D human poses
- Action recognition
- Operating table interaction
- + 3
- JSON
- large-text-file
- Markdown
- + 2
Pbox Code, supporting the publication: Macro-element refinement schemes for THB-splines: Applications to Bézier projection and structure-preserving discretizations
Pbox Code, supporting the publication: Macro-element refinement schemes for THB-splines: Applications to Bézier projection and structure-preserving discretizations
- adaptive refinement
- finite element method
- isogeometric analysis
- + 1
- Markdown
- Matlab
- Other
- + 2
propeller_airspeed_sensor
Data and Code for Unmanned Aerial Vehicles airspeed estimation using propeller feedback.
- BEM
- ESC feedback
- flight data
- + 4
- Julia
- Markdown
- Matlab
- + 1
reference_set_selection_benchmark
Code underlying the publication: "Benchmarking the impact of reference genome selection on taxonomic profiling accuracy"
- Genome Selection
- Lineage Abundance Estimation
- Sequence Clustering
- + 2
- Jupyter Notebook
- Markdown
- Other
- + 3