Publications related to Chicken (Scheme implementation)

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

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

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

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

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

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

Efficient Meso-Scale Modeling of Alkali-Silica-Reaction Damage in Concrete

Ali Falsafi

The alkali-silica reaction (ASR), also known as concrete cancer, is one of the most prevalent causes of concrete degradation. In this chemical reaction, amorphous silica in the aggregates reacts with alkalis in the pore solution. By absorbing water, hydrop ...

EPFL2022

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

Fabio Nobile, Yoshihito Kazashi, Eva Vidlicková

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, Rohan Budhiraja

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

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

A Maximum-Likelihood-based Multi-User LoRa Receiver Implemented in GNU Radio

Andreas Peter Burg, Alexios Konstantinos Balatsoukas Stimming, Orion Afisiadis, Joachim Tobias Tapparel, Mathieu Pierre Xhonneux

LoRa is a popular low-power wide-area network (LPWAN) technology that uses spread-spectrum to achieve long-range connectivity and resilience to noise and interference. For energy efficiency reasons, LoRa adopts a pure ALOHA access scheme, which leads to re ...

IEEE2020

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

Verification of Software Network Functions with No Verification Expertise

Arseniy Zaostrovnykh

Software network functions (NFs), such as a network address translator, load balancer, or proxy, promise to bring flexibility and rapid innovation to computer networks and to reduce operational costs. However, continuous updates and flexibility typically c ...

EPFL2020

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

Nonlinear Moving Horizon Estimation for Large-Scale Urban Road Networks

Nikolaos Geroliminis, Isik Ilber Sirmatel

Perimeter control schemes proposed to alleviate congestion in large-scale urban networks usually assume perfect knowledge of the accumulation state together with current and future inflow demands, requiring information about the origins and destinations (O ...

IEEE Institute of Electrical and Electronics Engineers2020

An open-loop control scheme to increase the speed and reduce the viscoelastic drift of dielectric elastomer actuators

Samuel Rosset, Alexandre Poulin

We present a simple open-loop method to increase the response speed and suppress the viscoelastic creep of dielectric elastomer actuators. The parameters of the model can be extracted from two simple measurements: a strain vs. voltage ramp, and the strain ...

2019

Explicit versus implicit front advancing schemes for the simulation of hydraulic fracture growth

Brice Tanguy Alphonse Lecampion, Haseeb Zia

The proper computation of the time evolution of the fracture front is the main challenge of three-dimensional (3D) hydraulic fracture growth simulation. We discuss explicit and implicit variants of a hydraulic fracture propagation scheme based on a level s ...

2019

Scaling Functional Synthesis and Repair

Emmanouil Koukoutos

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

EPFL2019

Verified Functional Programming

Nicolas Charles Yves Voirol

In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language. Our system is based on a dependently-typed language and an algorithmic type checking procedure which ensures total correctness. We rely on SMT solve ...

EPFL2019