All software
CIRRUS-HL-campaign-codes---Code-accompanying-dissertation
CIRRUS-HL campaign codes - Codes accompanying dissertation
- Airborne measurements
- Background aerosol
- Backward trajectories
- + 7
- Python
- Markdown
- YAML
- + 1
Microscopy data, code and analysis underlying the publication "Optical STEM detection for scanning electron microscopy"
Microscopy data, code and analysis underlying the publication "Optical STEM detection for scanning electron microscopy"
- Electron Detection
- Instrumentation Development
- Scanning Electron Microscopy
- + 2
- Other
- Markdown
- Jupyter Notebook
- + 2
Source, documentation, tests: MACE: Automated Assessment of Stereochemistry of Transition Metal Complexes and its Applications in Computational Catalysis
Source, documentation, tests: MACE: Automated Assessment of Stereochemistry of Transition Metal Complexes and its Applications in Computational Catalysis
- automation
- chemoinformatics
- computational chemistry
- + 6
- Chemical XYZ
- Other
- Jupyter Notebook
- + 5
SWMM_GNN_Repository_Paper_version
SWMM GNN metamodel – Code for paper: Transferable and Data Efficient Metamodeling of Storm Water System Nodal Depths Using Auto-Regressive Graph Neural Networks
- GNN
- Graph neural networks
- Machine learning
- + 5
- Other
- Python
- Jupyter Notebook
- + 2
Code underlying the publication: "RESTAD: Reconstruction and Similarity Transformer for time series Anomaly Detection"
Code underlying the publication: "RESTAD: Reconstruction and Similarity Transformer for time series Anomaly Detection"
- Anomaly Detection
- Radial Basis Function (RBF) kernel
- time series
- + 1
- Python
- YAML
- Markdown
- + 1
det2d-read
Python package to read 2D human poses from json files
- 2D pose detection
- Data loading
- Multiprocessing
- + 1
- Python
- Markdown
- Other
- + 2
mpcrl-for-ramp-metering
Source code for the publication: Reinforcement Learning with Model Predictive Control for Highway Ramp Metering
- Model predictive control
- Ramp Metering
- Reinforcement Learning
- Python
- Other
- Markdown
- + 1
swinging-kite
Swinging Motion of a Kite with Suspended Control Unit Flying Turning Manoeuvres (Code)
- Airborne Wind Energy (AWE)
- Flight data analysis
- Kite power
- + 2
- Python
- Other
- YAML
- + 1
agda-core
Code underlying the publication: Building a Correct-By-Construction Type Checker for a Dependently Typed Core Language
- core language
- Dependent Types
- type-checking
- + 2
- Other
- Haskell
- YAML
- + 1
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
- argon
- laser
- laser-sustained plasma
- + 4
- Other
- TeX
- Jupyter Notebook
- + 5
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
Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs
Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs
- glob imports
- haskell
- lm
- + 5
- Other
- Haskell
- Python
- + 1