All software
bluesky_gym_population_density_extension
Data supporting the Master's thesis "Balancing Noise and Fuel: Spatially Aware Reinforcement Learning for Air Traffic Control"
- air traffic control
- Convolutional Neural Network
- noise abatement
- + 2
- JSON
- large-text-file
- Markdown
- + 4
CLEAR-IT
CLEAR-IT, a framework for Contrastive Learning to Capture the Immune Composition of Tumor Microenvironments (software, GitHub mirror)
- cell phenotyping
- Contrastive Learning
- deep learning
- + 6
- Jupyter Notebook
- Markdown
- Other
- + 2
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
- Haskell
- Other
- Python
- + 1
Code for project: Approximate Edge AI Components for energy-aware adaptive framework
Code for project: Approximate Edge AI Components for energy-aware adaptive framework
- approximation
- edge devices
- Energy-aware computing
- + 2
- Markdown
- Other
- Python
- + 1
Code supporting: DDL-MVS: Depth Discontinuity Learning for MVS Networks
Code supporting: DDL-MVS: Depth Discontinuity Learning for MVS Networks
- 3D reconstruction
- 3D vision
- deep learning
- + 2
- Markdown
- Other
- Python
- + 1
Code supporting: MuVieCAST: Multi-View Consistent Artistic Style Transfer
Code supporting: MuVieCAST: Multi-View Consistent Artistic Style Transfer
- 3D reconstruction
- deep learning
- Image processing
- + 1
- CSS
- HTML
- JavaScript
- + 4
Code supporting: NeuSEditor: From Multi-View Images to Text-Guided Neural Surface Edits
Code supporting: NeuSEditor: From Multi-View Images to Text-Guided Neural Surface Edits
- 3D reconstruction
- diffusion models
- generative AI
- + 1
- Markdown
- Other
- Python
- + 1
Code to test the implementation of linear Bi-level Parent-Child MPC
Code to test the implementation of linear Bi-level Parent-Child MPC
- Hierarchical MPC
- Model predictive control
- Robust optimization
- + 1
- C
- HTML
- Markdown
- + 4
Code to test the implementation of nonlinear Bi-level Parent-Child MPC
Code to test the implementation of nonlinear Bi-level Parent-Child MPC
- Hierarchical MPC
- Model predictive control
- Robust optimization
- + 1
- C
- HTML
- Markdown
- + 4
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
- Dependent Types
- elaboration
- elaborators
- + 3
- Haskell
- JSON
- Jupyter Notebook
- + 4
collective-similarity-index-quantitative-analysis
Collective Similarity Index Quantitative Analysis (CSI) Python Pipeline
- Discontinuous fibre composites
- EfficientNetB4
- Fibre cluster analysis
- + 2
- Markdown
- Other
- Python
- + 1
cryoswath-paper-workflow
Workflow for the reproduction of the article "CryoSwath: a CryoSat-2 swath processor and monthly surface elevation dataset for Arctic mountain glaciers"
- Altimetry
- Arctic
- Climate change
- + 4
- Jupyter Notebook
- Markdown
- Other
- + 3