All software
bounded-private-cycle-detection
Source code underlying the publication: Privacy-Preserving Peer-to-Peer Cycle Detection
- cycle detection
- multi-party computation
- privacy-preserving
- + 1
- C
- C++
- Markdown
- + 2
Data underlying the publication/thesis chapter: Learning to Adapt to Position Bias in Vision Transformer Classifiers
Data underlying the publication/thesis chapter: Learning to Adapt to Position Bias in Vision Transformer Classifiers
- computer vision
- position bias
- position embeddings
- + 1
- C++
- Jupyter Notebook
- large-text-file
- + 5
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
- C
- C++
- CSS
- + 7
MLAT
Solver for MLAT localization problem + tracking software
- control theory
- OBservers
- optimization
- C++
- Markdown
- Other
- + 1
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
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
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
QuantumRepeaterChainPolicyRL
Codebase for Reinforcement Learning for Quantum Network Control with Application-Driven Objectives
- non-linear objectives
- policy gradient
- Quantum networking
- + 2
- C++
- Julia
- Jupyter Notebook
- + 6
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