4TU
4TU.ResearchData is an international data repository for science, engineering and design. We offer research dataset curation, sharing, long-term access and preservation services to anyone, anywhere. You can find our archive at https://data.4tu.nl/
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
ACPV-Net
Source code for “ACPV-Net: All-Class Polygonal Vectorization for Seamless Vector Map Generation from Aerial Imagery”
- ACPV-Net
- aerial imagery
- all-class polygonal vectorization
- + 4
- C
- C++
- Markdown
- + 3
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