Formal Control of an Inverted Pendulum on a Cart via Stochastic Abstractions: Using Interval Markov Decision Processes and Linear Temporal Logic on Finite Traces

Deep Learning for Aerodynamic Dataset Prediction of Combat Aircraft

Max-Min-Plus-Scaling Neural Networks to Approximate Continuous Piecewise Affine Model Predictive Control Laws

Energy-Conservative Data-Driven Modelling for the two-scale Navier-Stokes Equations

An Adaptive Neural Network Quadrotor Trajectory Tracking Controller Tolerant to Propeller Damage

PINNs for parametrized problems

Compression of the embedding layer in an LSTM model using tensor train decomposition for NLP

Optimizing supply temperatures in district heating grids

Efficiently coupling QM and MD for the study of electrode-electrolyte interfaces

Real-time Ball-touch Classification on an Insole Sensor using Neural Networks

Economic Greenhouse Decision Support: Embedding a Long Short-Term Memory Network in a Constraint Programming Decision Support System

A completer picture of domestic water access and consumption: Integrating machine learning models and survey information

Towards Corrective Deep Imitation Learning in Data Intensive Environments: Helping robots to learn faster by leveraging human knowledge

Online Black-box Shape Optimization for a Seamless Active Morphing Wing

Neural Networks for Exoplanet Cartography

Traditional and ML approaches to generate and understand implied volatility surfaces

High-Dimensional Optimal State-Feedback Mapping using Deep Neural Networks for Agile Quadrotor Flight

Formal Synthesis of Optimal Neural Network Controllers

Towards Real-Time Olivary Neuron Modeling

Potential enrichments in malaria diagnostics: hyperspectral imaging and group-equivariant neural networks