All software
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
- JSON
- C++
- HTML
- + 10
MLATjs
MLAT application - an application designed to visualize accuracy of MLAT measurments over large areas
- Aerospace
- data visualization
- Localization
- + 2
- JavaScript
- HTML
- Markdown
- + 14
perm_map_circuits
Code underlying: Efficient Circuits for Permuting and Mapping Packed Values Across Leveled Homomorphic Ciphertexts
- cryptography
- graph coloring
- homomorphic encryption
- + 1
- C++
- C
- Markdown
- + 2
Predictive_Traffic_Signal_Control
Real-Time Predictive Traffic Signal Control Application for Prototyping
- Model predictive control
- prediction error
- prediction uncertainty
- + 3
- Other
- C++
- C
- + 3
PyNOMAD: A microscopic pedestrian simulation model
PyNOMAD: A microscopic pedestrian simulation model
- Crowd dynamics
- Microscopic pedestrian model
- Pedestrian modelling
- Python
- Other
- Markdown
- + 1
pystreed
Source code and data for the paper "Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming"
- dynamic programming
- group fairness
- optimal decision trees
- + 1
- Other
- C++
- C
- + 3
Abinit
Abinit is a software package based on density functional theory for calculating the properties of solids.
- Fortran
- Python
- M4
- + 15
Arpra
Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
- Affine Arithmetic
- Arbitrary Precision
- Interval Arithmetic
- + 2
- C
- Makefile
- M4
asrlitcompare
A tool written in rmarkdown for assessing the level of agreement between two raters following screening in ASReview. Users only need the two .csv files downloaded from ASReview, and the tool will automatically compile a summary report as an HTML file, viewable in your web browser.
- ASReview
- inter-rater reliability
- literature screening
- + 1
- HTML
- C++
- JavaScript
- + 14
CHAMP-EU
The Cornell-Holland Ab-initio Materials Package (CHAMP) is a quantum Monte Carlo suite of programs for electronic structure calculations. The code is developed by Claudia Filippi and Saverio Moroni, with significant contributions by Ravindra Shinde, N. Renaud, V. Azizi, E. Landinez, and S. Shepard.
- Chemistry
- High performance computing
- Physics
- + 1
- C
- Fortran
- Nemerle
- + 16
Compas Toolkit
The Compas Toolkit is a high-performance C++ library offering GPU-accelerated functions for use in quantitative MRI research.
- GPU
- High performance computing
- MRI
- Cuda
- C++
- Julia
- + 4
cudawrappers
The cudawrappers library is a C++ wrapper for the Nvidia C libraries such as the CUDA driver, NVRTC, and cuFFT.
- accelerators
- CUDA
- GPU
- C++
- CMake
- Python
- + 2