Our work studies neural network controllers and observers with provable Lyapunov stability guarantees. Due to the complexity of neural networks and nonlinear system dynamics, it is often challenging ...

This study aims to assess the effectiveness of contemporary Large Language Models (LLMs) in performing coding tasks typically assigned to university students, using a blinded marking approach to ...

Application for solving the interior ballistics problems of closed-breech and recoilless weapon, with provisions for constrained design and certain optimization calculations. The interior ballistics ...

The coupling between electrons and phonons is one of the most intensively studied fermion–boson interactions in condensed matter physics. It is responsible for a number of physical phenomena in solids ...

We present a Python implementation of a D- and E-region chemistry and ionization code called pyGPI5. Particle precipitation that penetrates into the E- and D-region of the ionosphere-thermosphere ...

Quantifying structure complexity in filamentous matter, like proteins and polymers, via topological metrics, can be of prohibitive computational cost. A classical example is the Jones polynomial, ...

Estimations of global glacier mass changes over the course of the 20th century require automated initialization methods, allowing the reconstruction of past glacier states from limited information. In ...

So – you’ve built a robot arm. Now you’ve got to figure out how to control the thing. This was the situation I found myself in a few months ago, during my Masters project, and it’s a problem common to ...