Concept

Précondition

Publications associées (13)

Wellbeing and sufficiency in SWICE

SWICE (Sustainable Wellbeing for the Individual and the Collectivity in the Energy transition) aims to answer: how to improve wellbeing for all with a much lower energy use? Wellbeing is a state of thriving, which involves full participation in society, a ...

2023

On Verified Scala for STIX File System Embedded Code using Stainless

Viktor Kuncak, Jad Hamza

We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...

2022

A hierarchical preconditioner for wave problems in quasilinear complexity

Jan Sickmann Hesthaven, Boris Bonev

The paper introduces a novel, hierarchical preconditioner based on nested dissection and hierarchical matrix compression. The preconditioner is intended for continuous and discontinuous Galerkin formulations of elliptic problems. We exploit the property th ...

2020

Multi space reduced basis preconditioners for parametrized Stokes equations

Alfio Quarteroni, Simone Deparis, Andrea Manzoni, Niccolò Dal Santo

We introduce a two-level preconditioner for the efficient solution of large scale saddle point linear systems arising from the finite element (FE) discretization of parametrized Stokes equations. This preconditioner extends the Multi Space Reduced Basis (M ...

PERGAMON-ELSEVIER SCIENCE LTD2019

Multi space reduced basis preconditioners for parametrized partial differential equations

Niccolò Dal Santo

The multiquery solution of parametric partial differential equations (PDEs), that is, PDEs depending on a vector of parameters, is computationally challenging and appears in several engineering contexts, such as PDE-constrained optimization, uncertainty qu ...

EPFL2018

Influence of loading history on mechanical properties of biomaterials

Tom Charles Maurice Walet

It is known that the mechanical response to load or displacement of a biological tissue can highly vary from one cycle to the next. Therefore, in order to establish a reference state for repeating data measurements, tissues are subjected to a preliminary s ...

2016

Parallel Preconditioners for Navier-Stokes Equations and Fluid-Structure Interaction Problems

Gwenol Grandperrin

The Navier–Stokes equations play a key role in the modeling of blood flows in the vascular sys- tem. The cost for solving the 3D linear system obtained by Finite Element (FE) discretization of the equations, using tetrahedral unstructured meshes and time a ...

EPFL2013

Diffusive-type of double diffusion in lakes - a review

Alfred Johny Wüest, Martin Schmid

This chapter is a contribution in honour of Gerhard H Jirka, who has been fascinated by the amazing variety of small-scale structures that nature surprises us with, particularly in stratified natural waters. Here, we focus on the diffusive regime of double ...

CRC Press2012

Parallel Algorithms for Fluid-Structure Interaction Problems in Haemodynamics

Alfio Quarteroni, Simone Deparis, Gilles Fourestey, Paolo Crosetto

The increasing computational load required by most applications and the limits in hardware performances affecting scientific computing contributed in the last decades to the development of parallel software and architectures. In Fluid-Structure Interaction ...

2011

Fluid-Structure Interaction Problems in Hemodynamics

Paolo Crosetto

In this work we aim at the description, study and numerical investigation of the fluid-structure interaction (FSI) problem applied to hemodynamics. The FSI model considered consists of the Navier-Stokes equations on moving domains modeling blood as a visco ...

EPFL2011

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search