All software
openPSTD
openPSTD is a Python-based research software that allows efficient and detailed calculation of sound propagation in a 2D built environment. It is especially useful as a reference tool for other developed software on acoustic sound propagation.
- Acoustics
- GPU
- python
- C++
- C
- GLSL
- + 3
Plus Toolkit
Toolkit for data acquisition, pre-processing, calibration, and real-time streaming of imaging, position tracking, and other sensor data for medical applications.
- 3D Slicer
- electromagnetic tracking
- image capture
- + 7
- C++
- C
- CMake
- + 2
PoreSpy
PoreSpy is a collection of image analysis tools used to extract information from 3D images of porous materials (typically obtained from X-ray tomography).
- image analysis
- porous media
- tomography
- Python
- C
- Shell
- + 2
PowerSensor3
PowerSensor is a low-cost, custom-built device that measures the instantaneous power consumption of GPUs and other devices at a high time resolution.
- GPU
- High performance computing
- C
- C++
- Python
- + 3
SimVascular
The only fully open source software package providing a complete pipeline from medical image data segmentation to patient specific blood flow simulation and analysis.
- Cardiovascular
- Fluid mechanics
- Medical image computing
- + 1
- C++
- Tcl
- Makefile
- + 9
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
- Correct-by-construction
- Floating-point
- IEEE 754
- + 6
- Other
- C
- JSON
- + 5
Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
- Correct-by-construction
- Interactive Theorem Proving
- Maximal End Components
- + 3
- Other
- XML
- JSON
- + 6
Artifact of Knor: reactive synthesis using Oink
Artifact of Knor: reactive synthesis using Oink
- binary decision diagrams
- parity games
- reactive synthesis
- Other
- C
- HTML
- + 15
ETSI-QKD014-client
ETSI GS QKD 014 client command-line program and library for Rust and C
- ETSI GS QKD 014
- QKD
- Quantum Key Distribution
- Other
- Rust
- C
- + 2
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
Implementation of approximate SDD-TMPC (state-dependent dynamic tube model predictive control) for a nonlinear problem
Implementation of approximate SDD-TMPC (state-dependent dynamic tube model predictive control) for a nonlinear problem
- Approximate MPC
- Robust optimization
- Spiking neural networks
- Matlab
- HTML
- Other
- + 7
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
- Matlab
- HTML
- Other
- + 4