Publications associées à Scheme

Toward plasma drifts in EMC3: Implementation of gradient, divergence, and particle tracing schemes

This paper presents a first implementation of gradient, divergence, and particle tracing schemes for the EMC3 code, a stochastic 3D plasma fluid code widely employed for edge plasma and impurity transport modeling in tokamaks and stellarators. These scheme ...

Wiley-V C H Verlag Gmbh2024

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Error estimates for SUPG-stabilised Dynamical Low Rank Approximations

Fabio Nobile, Thomas Simon Spencer Trigo Trindade

We perform an error analysis of a fully discretised Streamline Upwind Petrov Galerkin Dynamical Low Rank (SUPG-DLR) method for random time-dependent advection-dominated problems. The time integration scheme has a splitting-like nature, allowing for potenti ...

Springer Nature Switzerland2025

Creating Trust by Abolishing Hierarchies

Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Charly Nicolas Lucien Castes, Neelu Shivprakash Kalani, Yuchen Qian

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Association for Computing Machinery2023

Let's move forward: Image-computable models and a common model evaluation scheme are prerequisites for a scientific understanding of human vision

Martin Schrimpf, Matthias Bethge

In the target article, Bowers et al. dispute deep artificial neural network (ANN) models as the currently leading models of human vision without producing alternatives. They eschew the use of public benchmarking platforms to compare vision models with the ...

Cambridge Univ Press2023

Numerical simulation of immiscible incompressible viscous, viscoelastic and elastic multiphase flows

Léo Aurélio Diserens

A unified numerical framework is presented for the modelling of multiphasic viscoelastic and elastic flows. The rheologies considered range from incompressible Newtonian or Oldroyd-B viscoelastic fluids to Neo-Hookean elastic solids. The model is formulate ...

EPFL2023

Gemini: Elastic SNARKs for Diverse Environments

Alessandro Chiesa

We introduce a new class of succinct arguments, that we call elastic. Elastic SNARKs allow the prover to allocate different resources (such as memory and time) depending on the execution environment and the statement to prove. The resulting output is indep ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Locomotion of Sensor‐Integrated Soft Robotic Devices Inside Sub‐Millimeter Arteries with Impaired Flow Conditions

Diego Ghezzi, Mahmut Selman Sakar, Lorenzo Francesco John Noseda, Amit Yedidia Dolev, Lucio Feo Pancaldi-Giubbini, Adele Fanelli

One of the grand challenges in interventional cardiology and neuroradiology is to minimize the operation time and risk of damage during catheterization. These two factors drastically increase if the target location resides in small and tortuous vessels. Fl ...

Wiley2022

Gyrokinetic simulations of turbulence and zonal flows driven by steep profile gradients using a delta-f approach with an evolving background Maxwellian

Laurent Villard, Stephan Brunner, Moahan Murugappan, Alberto Bottino, Ben McMillan

Long global gyrokinetic turbulence simulations are particularly challenging in situations where the system deviates strongly from its initial state and when fluctuation levels are high, for example, in strong gradient regions. For particle-in-cell simulati ...

2022

Mixed-precision explicit stabilized Runge-Kutta methods for single- and multi-scale differential equations

Giacomo Rosilho De Souza, Matteo Croci

Mixed-precision algorithms combine low-and high-precision computations in order to benefit from the performance gains of reduced-precision without sacrificing accuracy. In this work, we design mixed-precision Runge-Kutta-Chebyshev (RKC) methods, where high ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2022