All software
GSI_ToolBox
GSI ToolBox underlying the publication: A Wave Scattering Approach to Modelling Surface Roughness in Orbital Aerodynamics
- aerodynamic drag
- gas-surface interaction
- scattering dynamics
- + 1
- HTML
- TeX
- Other
- + 7
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
MLAT
Solver for MLAT localization problem + tracking software
- control theory
- OBservers
- Optimization
- Other
- Python
- C++
- + 1
MLATjs
MLAT application - an application designed to visualize accuracy of MLAT measurments over large areas
- Aerospace
- data visualization
- Localization
- + 2
- JavaScript
- HTML
- Markdown
- + 14
oraqle
Oraqle: A Depth-Aware Secure Computation Compiler
- arithmetization
- compiler
- cryptography
- + 1
- Python
- Other
- Markdown
- + 4
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
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
SO-CRYSTAL
Code underlying: Shape Optimization of Scintillation Crystals through GEANT4 and NSGAII (SO-CRYSTAL)
- Finite-difference time-domain method
- Genetic algorithms
- Material properties
- + 2
- C++
- Other
- Shell
- + 1
Real software: unnaturally geez hie professionalize
The beautiful range of Apple Naturalé that has an exciting mix of natural ingredients. With the Goodness of 100% Natural Ingredients
- High performance computing
- Inter-operability & linked data
- Dart
- C++
- CMake
- + 2
Software: thirsty
The Apollotech B340 is an affordable wireless mouse with reliable connectivity, 12 months battery life and modern design
- Visualization
- Dart
- C++
- CMake
- + 2