Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Scheme (programming language)

Related publications (26)

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

Matthieu Benoit C. Jacobs

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, Yuchen Qian, Neelu Shivprakash Kalani

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

Matthias Bethge, Martin Schrimpf

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, Amit Yedidia Dolev, Lucio Feo Pancaldi-Giubbini, Adele Fanelli, Lorenzo Francesco John Noseda

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, Alberto Bottino, Ben McMillan, Moahan Murugappan

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

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

Dynamic Personalized Ranking

Jérémie Rappaz

Personalized ranking methods are at the core of many systems that learn to produce recommendations from user feedbacks. Their primary objective is to identify relevant items from very large vocabularies and to assist users in discovering new content. These ...

EPFL2022

Stability properties of a projector-splitting scheme for dynamical low rank approximation of random parabolic equations

Fabio Nobile, Eva Vidlicková, Yoshihito Kazashi

We consider the Dynamical Low Rank (DLR) approximation of random parabolic equations and propose a class of fully discrete numerical schemes. Similarly to the continuous DLR approximation, our schemes are shown to satisfy a discrete variational formulation ...

Springer2021

Automatic locking of a parametrically resonating, base-excited, nonlinear beam

Amit Yedidia Dolev

Described is a closed-loop control scheme capable of stabilizing a parametrically excited nonlinear structure in several vibration modes. By setting the relative phase between the spatially filtered response and the excitation, the open-loop unstable solut ...

SPRINGER2021

Whole Body Model Predictive Control with a Memory of Motion: Experiments on a Torque-Controlled Talos

Sylvain Calinon, Teguh Santoso Lembono

This paper presents the first successful experiment implementing whole-body model predictive control with state feedback on a torque-control humanoid robot. We demonstrate that our control scheme is able to do whole-body target tracking, control the balanc ...

IEEE2021

A nonlinear model predictive control scheme for sensor fault tolerance in observation processes

Colin Neil Jones, Andrea Alessandretti

This article addresses the problem of designing a sensor fault-tolerant controller for an observation process where a primary, controlled system observes, through a set of measurements, an exogenous system to estimate the state of this system. We consider ...

WILEY2020

Dynamic Modeling and Control of a Coupled Reforming/Combustor System for the Production of H2 via Hydrocarbon-Based Fuels

Theodoros Damartzis

The present work aims to provide insights into the dynamic operation of a coupled reformer/combustion unit that can utilize a variety of saturated hydrocarbons (HCs) with 1–4 C atoms towards H2 production (along with CO2). Within this concept, a preselecte ...

2020

Grid-aware distributed control of electric vehicle charging stations in active distribution grids

Mario Paolone, Rahul Kumar Gupta, Sherif Alaa Salaheldin Fahmy

The penetration of electric vehicle (EV) charging stations (CSs), along with the progressive connection of stochastic distributed generation, is increasing the probability of violating the power distribution grid operational constraints and deteriorate the ...

Elsevier2020

Numerical methods for deterministic and stochastic differential equations with multiple scales and high contrasts

Giacomo Rosilho De Souza

Mathematical models involving multiple scales are essential for the description of physical systems. In particular, these models are important for the simulation of time-dependent phenomena, such as the heat flow, where the Laplacian contains mixed and ind ...

EPFL2020

A hybrid control strategy for force and precise end effector positioning of a twisted string actuator

Jamie Paik, Andres San Millan Rodriguez, Mohssen Fischer

We propose a new control approach for the twisted string actuation (TSA) system; a hybrid control scheme consisting of two nested loops, considering the motor angle and the axial force at the clamping point of the actuator as the system outputs. We show th ...

2021

SIMPLE code: Optical properties with optimal basis functions

Nicola Marzari, Paolo Umari, Gianluca Prandini

We present SIMPLE, a code developed to calculate optical properties of metallic and insulating extended systems using the optimal basis method originally proposed by E.L. Shirley in 1996. Two different approaches for the evaluation of the complex dielectri ...

ELSEVIER SCIENCE BV2019