All software
SlicerIGT
Software toolkit for rapid development of image-guided therapy systems - for minimally invasive medical procedures, where operators rely on computer-generated images rather than direct sight of the target organs.
- 3D Slicer
- deep learning
- Medical image computing
- + 2
- C++
- Python
- CMake
Umple
Umple allows generation of code in Java, PHP and other languages from a textual representation of UML state machines, associations and other modeling constructs, thus saving coding effort
- Code Generation
- Software Modeling
- State Machines
- + 1
- Java
- JavaScript
- GAP
- + 17
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
Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"
Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"
- Correct-by-construction
- Interactive Theorem Proving
- Markov decision process
- + 1
- Other
- C
- C++
- + 4
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
- Other
- + 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
- Jupyter Notebook
- Other
- Python
- + 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
- 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