Publication

On the Convergence of EM-Like Algorithms for Image Segmentation using Markov Random Fields

Publications associées (27)

Low-Rank Tensor Methods for High-Dimensional Problems

In this thesis, we propose and analyze novel numerical algorithms for solving three different high-dimensional problems involving tensors. The commonality of these problems is that the tensors can potentially be well approximated in low-rank formats. Ident ...

EPFL2023

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

Inferring free-energy barriers and kinetic rates from molecular dynamics via underdamped Langevin models

Fabio Pietrucci, Sara Bonella, David Daniel Girardier

Rare events include many of the most interesting transformation processes in condensed matter, from phase transitions to biomolecular conformational changes to chemical reactions. Access to the corresponding mechanisms, free-energy landscapes and kinetic r ...

Aip Publishing2023

Efficient approximation of cardiac mechanics through reduced-order modeling with deep learning-based operator approximation

Alfio Quarteroni, Andrea Manzoni

Reducing the computational time required by high-fidelity, full-order models (FOMs) for the solution of problems in cardiac mechanics is crucial to allow the translation of patient-specific simulations into clinical practice. Indeed, while FOMs, such as th ...

Wiley2023

A Fast Hybrid Pressure-Correction Algorithm for Simulating Incompressible Flows by Projection Methods

Jiannong Fang

To enforce the conservation of mass principle, a pressure Poisson equation arises in the numerical solution of incompressible fluid flow using the pressure-based segregated algorithms such as projection methods. For unsteady flows, the pressure Poisson equ ...

2023

Sound and Complete Verification of Polynomial Networks

Volkan Cevher, Mehmet Fatih Sahin, Grigorios Chrysos, Fanghui Liu, Elias Abad Rocamora

Polynomial Networks (PNs) have demonstrated promising performance on face and image recognition recently. However, robustness of PNs is unclear and thus obtaining certificates becomes imperative for enabling their adoption in real-world applications. Exist ...

2022

TCB-spline-based isogeometric analysis method with high-quality parameterizations

Juan Cao, Xiaodong Wei

Isogeometric analysis (IGA) was introduced to integrate methods for analysis and computer-aided design (CAD) into a unified process. High-quality parameterization of a physical domain plays a crucial role in IGA. However, obtaining high-quality parameteriz ...

ELSEVIER SCIENCE SA2022