All software
abstraction-mpc-integration
Code for publication: Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
- Abstraction
- formal methods
- Hybrid Systems
- + 3
- (CSS)
- (HTML)
- (JavaScript)
- + 4
ACDC-OpFlow
ACDC-OpFlow, Unified, Cross-Language Framework for AC/DC Optimal Power Flow Solutions
- AC/DC power systems
- Optimal Power Flow
- power electronic converters
A demand management and frequency settings model for complying to the COVID-19 capacity limits in public transport operations
A demand management and frequency settings model for complying to the COVID-19 capacity limits in public transport operations
- COVID-19
- demand management
- frequency settings
- + 3
AeoLiS v2.1.0
AeoLiS v2.1.0
- advection
- aeolian sediment transport
- coastal dunes
- + 5
Agent-based model software written for the master thesis Scaling Up, Staying Secure
Agent-based model software written for the master thesis Scaling Up, Staying Secure
- Agent based modelling and simulation (ABMS)
- CYBER SECURITY
- Distributed energy resources (DER)
- + 2
A high spatial resolution Extended Spring Indices database over American and European regions
A high spatial resolution Extended Spring Indices database over American and European regions
- Citizen Science
- Climate change
- Cloud computing
- + 4
- (Markdown)
- (Other)
- (Python)
AircraftDuctedFanOptimisation
The Unified Ducted Fan Code and Ducted Fan Optimisation Framework
- Aircraft
- Aircraft performance
- Conceptual aircraft design
- + 7
- (Markdown)
- (Other)
- (Python)
Air Traffic Control Reinforcement Learning Environment
Air Traffic Control Reinforcement Learning Environment
- Air Traffic Control (ATC)
- Air traffic management (ATM)
- Reinforcement Learning (RL)
A model for modifying the public transport service patterns to account for the imposed COVID-19 capacity
A model for modifying the public transport service patterns to account for the imposed COVID-19 capacity
- capacity
- coronavirus
- COVID-19
- + 7
AmpliDiff
Code underlying the publication: "AmpliDiff: An Optimized Amplicon Sequencing Approach to Estimating Lineage Abundances in Viral Metagenomes"
- Abundance Estimation
- Amplicon Sequencing
- Primer Design
- + 1
- (C)
- (Markdown)
- (Other)
- + 3
ANNESI: An open-source artificial neural network for estuarine salt intrusion
ANNESI: An open-source artificial neural network for estuarine salt intrusion
- estuary
- Neural Network
- salt intrusion
Application of SDDTMPC to control a unicycle
Application of SDDTMPC to control a unicycle
- MPC
- nonlinear control
- robotics
- + 2
- (Markdown)
- (Matlab)