Publications related to A Comprehensive Timing Model for Accurate Frequency Tuning in Dataflow Circuits

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

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

Oligolithic Cross-task Optimizations across Isolated Workloads

Anastasia Ailamaki, Panagiotis Sioulas, Eleni Zapridou

Enterprises collect data in large volumes and leverage them to drive numerous concurrent decisions and business processes. Their teams deploy multiple applications that often operate concurrently on the same data and infrastructure but have widely differen ...

2024

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

Alfio Quarteroni, Nicola Parolini, Luca Dede'

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

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

Nikolaos Stergiopoulos, Vasiliki Bikia, Georgios Rovas, Sokratis Anagnostopoulos

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

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

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

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

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

Alfio Quarteroni, Francesco Regazzoni, Marco Fedele, Stefano Pagani

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

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

Compilation and Design Space Exploration of Dataflow Programs for Heterogeneous CPU-GPU Platforms

Aurélien François Gilbert Bloch

Today's continued increase in demand for processing power, despite the slowdown of Moore's law, has led to an increase in processor count, which has resulted in energy consumption and distribution problems. To address this, there is a growing trend toward ...

EPFL2023

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

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

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

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

Statistical learning quantifies transposable element-mediated cis-regulation

Didier Trono, Julien Léonard Duc, Alexandre Coudray, Cyril David Son-Tuyên Pulver, Shaoline Sheppard, Evaristo Jose Planet Letschert, Raphaël Gérard Théodore Michel Marie de Deloÿe et Fourcade de Fondeville, Julien Paul André Pontis, Delphine Yvette L Grun

Background: Transposable elements (TEs) have colonized the genomes of most metazoans, and many TE-embedded sequences function as cis-regulatory elements (CREs) for genes involved in a wide range of biological processes from early embryo- genesis to innate ...

2023

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

One-shot Garbage Collection for In-memory OLTP through Temporality-aware Version Storage

Anastasia Ailamaki, Angelos Christos Anadiotis, Periklis Chrysogelos, Syed Mohammad Aunn Raza

Most modern in-memory online transaction processing (OLTP) engines rely on multi-version concurrency control (MVCC) to provide data consistency guarantees in the presence of conflicting data accesses. MVCC improves concurrency by generating a new version o ...

ACM2023

MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL

Felix Schürmann, Pramod Shivaji Kumbhar, Snehal Pramod Kumbhar, Omar Awile, Ioannis Magkanaris

Advances in computational capabilities and large volumes of experimental data have established computer simulations of brain tissue models as an important pillar in modern neuroscience. Alongside, a variety of domain specific languages (DSLs) have been dev ...

ACM2023

A comprehensive mathematical model for cardiac perfusion

Alfio Quarteroni, Christian Vergara, Francesco Regazzoni

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

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

Resource Sharing in Dataflow Circuits

Paolo Ienne, Lana Josipovic, Andrea Guerrieri, Axel Marmet

To achieve resource-efficient hardware designs, high-level synthesis (HLS) tools share (i.e., time-multiplex) functional units among operations of the same type. This optimization is typically performed in conjunction with operation scheduling to ensure th ...

Assoc Computing Machinery2023