Publications associées à A Feasability Study of Color Flow Doppler Vectorization for Automated Blood Flow Monitoring

Inverse Problems in Pulse-Echo Ultrasound: Exploiting Coherence for Image Enhancement and Quantitative Imaging

Whereas pulse-echo ultrasound imaging relied on focused acoustic waves since its inception, the last two decades have seen the development of techniques based on unfocused waves, including ultrafast ultrasound imaging. In large part due to the emergence of ...

EPFL2024

Live-cell imaging powered by computation

Suliana Manley, Florian Jug

The proliferation of microscopy methods for live-cell imaging offers many new possibilities for users but can also be challenging to navigate. The prevailing challenge in live-cell fluorescence microscopy is capturing intra-cellular dynamics while preservi ...

Nature Portfolio2024

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

The role of computational methods in cardiovascular medicine: a narrative review

Alfio Quarteroni, Luca Dede', Christian Vergara, Stefano Pagani

Background and Objective: Computational models of the cardiovascular system allow for a detailed and quantitative investigation of both physiological and pathological conditions, thanks to their ability to combine clinical-possibly patient-specific-data wi ...

Ame Publishing Company2024

Hausdorff dimension of fermions on a random lattice

Mattia Guerino Varrone

Geometric properties of lattice quantum gravity in two dimensions are studied numerically via Monte Carlo on Euclidean Dynamical Triangulations. A new computational method is proposed to simulate gravity coupled with fermions, which allows the study of int ...

Elsevier2024

Orchestrating chromosome conformation capture analysis with Bioconductor

Cyril Matthey-Doret

Genome-wide chromatin conformation capture assays provide formidable insights into the spatial organization of genomes. However, due to the complexity of the data structure, their integration in multi-omics workflows remains challenging. We present data st ...

Nature Research2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

Non-planarity of Markoff graphs mod p

Matthew De Courcy-Ireland

We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...

European Mathematical Soc-Ems2024

Laser-based ultrasound inspection system

Romain Christophe Rémy Fleury, Janez Rus

A laser-based ultrasound inspection system comprising an object for inspection (1), a laser device for ultrasound generation (3a), a laser device for ultrasound detection (3b), and a coating arrangement (4) including a laser absorbing layer (4a) disposed o ...

2024

Reduced Training Data for Laser Ultrasound Signal Interpretation by Neural Networks

Romain Christophe Rémy Fleury, Janez Rus

The performance of machine learning algorithms is conditioned by the availability of training datasets, which is especially true for the field of nondestructive evaluation. Here we propose one reconfigurable specimen instead of numerous reference specimens ...

2024

Noise-induced transitions past the onset of a steady symmetry-breaking bifurcation: The case of the sudden expansion

François Gallaire, Edouard Boujo, Yves-Marie François Ducimetière

We consider fluid flows, governed by the Navier-Stokes equations, subject to a steady symmetry-breaking bifurcation and forced by a weak noise acting on a slow timescale. By generalizing the multiple-scale weakly nonlinear expansion technique employed in t ...

2024

A Streamline Upwind Petrov-Galerkin Reduced Order Method for Advection-Dominated Partial Differential Equations Under Optimal Control

Gianluigi Rozza, Fabio Zoccolan

In this paper we will consider distributed Linear-Quadratic Optimal Control Problems dealing with Advection-Diffusion PDEs for high values of the Peclet number. In this situation, computational instabilities occur, both for steady and unsteady cases. A Str ...

Walter De Gruyter Gmbh2024

A Combination Technique for Optimal Control Problems Constrained by Random PDEs

Fabio Nobile, Tommaso Vanzan

We present a combination technique based on mixed differences of both spatial approximations and quadrature formulae for the stochastic variables to solve efficiently a class of optimal control problems (OCPs) constrained by random partial differential equ ...

2024

Adaptive Finite Elements with Large Aspect Ratio. Application to Aluminium Electrolysis

Paride Passelli

The goal of this work is to use anisotropic adaptive finite elements for the numerical simulation of aluminium electrolysis. The anisotropic adaptive criteria are based on a posteriori error estimates derived for simplified problems. First, we consider an ...

EPFL2024

EncodingActs: Modeling, Representing and Transmitting Embodied Knowledge in Traditional Martial Arts

Yumeng Hou

EncodingActs investigates how computational methods can facilitate the transmission of multifaceted knowledge within intangible cultural heritage (ICH). ICH, characterized by living, tacit, yet complex epistemic systems, is conventionally viewed as challen ...

EPFL2024

PROBING INTRACELLULAR ELASTICITY WITH MINIMAL-HESSIAN REGISTRATION

Michaël Unser

We propose an image-based elastography method to measure the heterogeneous stiffness inside a cell and its nucleus. It uses a widely accessible setup consisting of plate compression imaged with fluorescence microscopy. Our framework recovers a spatial map ...

IEEE2023

lifex-cfd: An open-source computational fluid dynamics solver for cardiovascular applications

Alfio Quarteroni, Luca Dede', Marco Fedele

Computational fluid dynamics (CFD) is an important tool for the simulation of the cardiovascular function and dysfunction. Due to the complexity of the anatomy, the transitional regime of blood flow in the heart, and the strong mutual influence between the ...

Elsevier2023

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

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

From Automated Bootstrapping to Collaborative Editing: A Framework for 4D City Reconstruction

Didier Louis Dupertuis, Rémi Guillaume Petitpierre, Paul Robert Guhennec, Beatrice Vaienti

We propose a framework for the construction of 4D scientific models for cities of the past. It leverages both the use of computational methods for bootstrapping, and a collaborative interface for visualisation and edition. This permits to continuously enri ...

Zenodo2023