All software
Implementation Regarding Publication "Fuzzy-Logic-based model predictive control: A paradigm integrating optimal and common-sense decision making"
Implementation Regarding Publication "Fuzzy-Logic-based model predictive control: A paradigm integrating optimal and common-sense decision making"
- fuzzy logic
- Model predictive control
- multi robot system
- C
- HTML
- Markdown
- + 4
MLATjs
MLAT application - an application designed to visualize accuracy of MLAT measurments over large areas
- Aerospace
- data visualization
- Localization
- + 2
- Automake
- C
- C#
- + 14
monotonicity
Code supporting the publication: On Sample-Wise Strict Monotonicity with a Gradient Update
- expected error
- Learning Curve
- Linear Regression
- + 2
- C
- C++
- Markdown
- + 2
optimal_quad_control_RL
Data and Code underlying the publication: MonoRace: Robust Monocular AI for Champion-Level Drone Racing
- autonomous drone
- autonomous flight
- autonomous robots
- + 2
- C
- JSON
- Markdown
- + 3
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
- C
- C++
- large-text-file
- + 3
PyNOMAD: A microscopic pedestrian simulation model
PyNOMAD: A microscopic pedestrian simulation model
- Crowd dynamics
- Microscopic pedestrian model
- Pedestrian modelling
- C
- Markdown
- Other
- + 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
- C
- C++
- large-text-file
- + 3
VeriABI
Software supporting the MSc thesis "Binary Interface Compatibility for Library Integration in C++": VeriABI, a machine-checked ABI compatibility checker
- ABI
- API
- Application Binary Interface
- + 6
- C
- C++
- Markdown
- + 2
Abinit
Abinit is a software package based on density functional theory for calculating the properties of solids.
- C
- C++
- CMake
- + 15
Arbor
Arbor is a high-performance library for computational neuroscience simulations with multi-compartment, morphologically-detailed cells, from single cell models to very large networks. Arbor is written from the ground up to help neuroscientists effectively use contemporary and future HPC systems.
- GPU
- High performance computing
- Neural network
- + 4
- C++
- AGS Script
- Python
- + 7
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
- M4
- Makefile