Publications associées à Logique mathématique

CONTROL OF HYPERBOLIC AND PARABOLIC EQUATIONS ON NETWORKS AND SINGULAR LIMITS

vanishing viscosity, networks. This work has received funding from the Alexander von Humboldt-Professorship program, the Transregio 154 Project "Mathematical Modelling, Simulation and Optimization Using the Example of Gas Networks" of the DFG, the grant PI ...

Amer Inst Mathematical Sciences-Aims2024

Geometric Learning: Leveraging differential geometry for learning and control

Bernardo Fichera

In this thesis, we concentrate on advancing high-level behavioral control policies for robotic systems within the framework of Dynamical Systems (DS). Throughout the course of this research, a unifying thread weaving through diverse fields emerges, and tha ...

EPFL2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

Alireza Modirshanechi

Human babies have a natural desire to interact with new toys and objects, through which they learn how the world around them works, e.g., that glass shatters when dropped, but a rubber ball does not. When their predictions are proven incorrect, such as whe ...

EPFL2024

Deep Learning Meets Sparse Regularization

Rahul Parhi

Deep learning (DL) has been wildly successful in practice, and most of the state-of-the-art machine learning methods are based on neural networks (NNs). Lacking, however, is a rigorous mathematical theory that adequately explains the amazing performance of ...

2023

Landscapes of DNA Mechanics and Genomes

Thomas Antonin Zwahlen

The local physical properties - such as shape and flexibility - of the DNA double-helix is today widely believed to be influenced by nucleic acid sequence in a non-trivial way. Furthermore, there is strong evidence that these properties play a role in many ...

EPFL2023

Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems

Colin Neil Jones, Roland Schwan, Melanie Nicole Zeilinger, Xuan Truong Nghiem

Physics-informed machine learning (PIML) is a set of methods and tools that systematically integrate machine learning (ML) algorithms with physical constraints and abstract mathematical models developed in scientific and engineering domains. As opposed to ...

IEEE2023

On the similarity between aortic and carotid pressure diastolic decay: a mathematical modelling study

Nikolaos Stergiopoulos, Georgios Rovas, Sokratis Anagnostopoulos, Vasiliki Bikia

Aortic diastolic pressure decay (DPD) has been shown to have considerable pathophysiological relevance in the assessment of vascular health, as it is significantly affected by arterial stiffening. Nonetheless, the aortic pressure waveform is rarely availab ...

Nature Portfolio2023

Dynamics of CLIMP-63 S-acylation control ER morphology

Vassily Hatzimanikatis, Françoise Gisou van der Goot Grunberg, Graham Knott, Kathryn Hess Bellwald, Laurence Gouzi Abrami, Béatrice Kunz, Luciano Andres Abriata, Sylvia Ho, Catherine Maclachlan, Patrick Alain Sandoz, Gard Spreemann, Robin Alexander Denhardt-Eriksson

A key player in the formation of endoplasmic reticulum sheets is CLIMP-63, but mechanistic details remained elusive. Here authors combined cellular experiments and mathematical modelling to show that S-acylation of CLIMP-63 regulates its function by mediat ...

Nature Portfolio2023

Dynamical Low-Rank Approximation for Stochastic Differential Equations

Fabio Nobile, Yoshihito Kazashi, Fabio Zoccolan

In this paper, we set the mathematical foundations of the Dynamical Low-Rank Approximation (DLRA) method for stochastic differential equations (SDEs). DLRA aims at approximating the solution as a linear combination of a small number of basis vectors with r ...

American Mathematical Society (AMS)2024

RDS: FPGA Routing Delay Sensors for Effective Remote Power Analysis Attacks

Mirjana Stojilovic, Ognjen Glamocanin, David Spielmann

State-of-the-art sensors for measuring FPGA voltage fluctuations are time-to-digital converters (TDCs). They allow detecting voltage fluctuations in the order of a few nanoseconds. The key building component of a TDC is a delay line, typically implemented ...

2023

A comprehensive mathematical model for cardiac perfusion

Alfio Quarteroni, Francesco Regazzoni, Christian Vergara

The aim of this paper is to introduce a new mathematical model that simulates myocardial blood perfusion that accounts for multiscale and multiphysics features. Our model incorporates cardiac electrophysiology, active and passive mechanics, hemodynamics, v ...

Nature Portfolio2023

Reinforcement learning approach to control an inverted pendulum: A general framework for educational purposes

Jesus Sanchez Rodriguez

Machine learning is often cited as a new paradigm in control theory, but is also often viewed as empirical and less intuitive for students than classical model-based methods. This is particularly the case for reinforcement learning, an approach that does n ...

PUBLIC LIBRARY SCIENCE2023

A theory of memory consolidation and synaptic pruning in cortical circuits

Georgios Iatropoulos

Over the course of a lifetime, the human brain acquires an astonishing amount of semantic knowledge and autobiographical memories, often with an imprinting strong enough to allow detailed information to be recalled many years after the initial learning exp ...

EPFL2023

Optimized numerical solutions of SIRDVW multiage model controlling SARS-CoV-2 vaccine roll out: An application to the Italian scenario

Alfio Quarteroni, Luca Dede', Nicola Parolini

In the context of SARS-CoV-2 pandemic, mathematical modelling has played a funda-mental role for making forecasts, simulating scenarios and evaluating the impact of pre-ventive political, social and pharmaceutical measures. Optimal control theory represent ...

KEAI PUBLISHING LTD2023

Beyond undulation! Body morphology and sensing components of elongated animals and robots reveal skills to maintain competent locomotion

Laura Isabel Paez Coy

Locomotion is an essential evolutive innovation of living beings that allows them to colonize and dominate the planet. As diverse as animal morphologies are (living) and were (extinct), their locomotion modalities are also diverse. In particular, animal mo ...

EPFL2023

lifex-ep: a robust and efficient software for cardiac electrophysiology simulations

Alfio Quarteroni, Francesco Regazzoni, Stefano Pagani, Marco Fedele

Background: Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors ...

BMC2023

Size dependence of second-harmonic scattering from nanoparticles: Disentangling surface and electrostatic contributions

Sylvie Roke, Arianna Marchioro, Bingxin Chu

Polarimetric angle-resolved second-harmonic scattering (AR-SHS) is an all-optical tool enabling the study of unlabeled interfaces of nano-sized particles in an aqueous solution. As the second harmonic signal is modulated by interference between nonlinear c ...

AIP Publishing2023

A mathematical model that integrates cardiac electrophysiology, mechanics, and fluid dynamics: Application to the human left heart

Alfio Quarteroni, Luca Dede'

We propose a mathematical and numerical model for the simulation of the heart function that couples cardiac electrophysiology, active and passive mechanics and hemodynamics, and includes reduced models for cardiac valves and the circulatory system. Our mod ...

Wiley2023

Parallel temporal signal processing enabled by polarization-multiplexed programmable THz metasurfaces

Romain Christophe Rémy Fleury, Ali Momeni

Under the trends of multifunctionality, tunability, and compactness in modern wave -based signal processors, in this paper, we propose a polarization-multiplexed graphene-based metasurface to realize distinct mathematical operators on the parallel time-dom ...

Optica Publishing Group2022