Publications associées à Boucle for

Automated Formal Verification of Software Network Functions

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

Tri-Axial Magnetic Field Sensor up to VHF with Frequency Weighing

German Augusto Ramirez Arroyave

This contribution presents an isotropic magnetic field probe with shaped frequency response in the band 100 kHz - 400 MHz to ponder the aggregate response according to the ICNIRP 2020 guidelines. The basic sensor is a printed loop which is modelled as a Th ...

IEEE2023

Multiplicative chaos of the Brownian loop soup

Antoine Pierre François Jego, Titus Lupu

We construct a measure on the thick points of a Brownian loop soup in a bounded domain D

D

of the plane with given intensity theta>0

\theta >0

, which is formally obtained by exponentiating the square root of its occupation field. The measure is construct ...

WILEY2023

Systematic design of a multi-input multi-output controller by model-based decoupling: a demonstration on TCV using multi-species gas injection

Basil Duval, Christian Gabriel Theiler, Cristian Galperti, Artur Perek

In this paper, we present the first results of a systematically designed multi-input multi-output gas-injection controller on Tokamak a Configuration Variable (TCV). We demonstrate the simultaneous real-time control of the NII emission front position and l ...

IOP Publishing Ltd2023

Acceleration of Control Intensive Applications on Coarse-Grained Reconfigurable Arrays for Embedded Systems

David Atienza Alonso, Miguel Peon Quiros, Benoît Walter Denkinger

Embedded systems confront two opposite goals: low-power operation and high performance. The current trend to reach these goals is toward heterogeneous platforms, including multi-core architectures with heterogeneous cores and hardware accelerators. The lat ...

2023

Extremal Distance And Conformal Radius Of A Cle4 Loop

Juhan Aru, Titus Lupu

Consider CLE4 in the unit disk, and let l be the loop of the CLE4 surrounding the origin. Schramm, Sheffield and Wilson determined the law of the conformal radius seen from the origin of the domain surrounded by l. We complement their result by determining ...

INST MATHEMATICAL STATISTICS-IMS2022

Experimental assessment of traffic density estimation at link and network level with sparse data

Nikolaos Geroliminis, Anna Takayasu

This paper investigates the accuracy of mean density estimation from direct sensing at link and network levels. Different calculation methods are compared depending on sensor type, probe vehicles or loop detectors, and availability to quantify the magnitud ...

TAYLOR & FRANCIS LTD2022

JET ILA full array and polychromatic operation

Paulo Giovane Paschoali Pereira Puglia

The JET ILA is an Ion Cyclotron Resonance Heating (ICRH) antenna composed of four resonant double loops (RDLs) arranged in a 2 toroidal by 2 poloidal compact array. It has been operated in a range of frequencies from 29 to 51 MHz, but mostly on half array. ...

2021

Low Noise Clock Generation: Modeling, Analysis and Implementation

Duygu Kostak

The aim of this thesis is to implement, analyze and improve the selected low noise clock generation and distribution techniques for ADC implementations. The thesis is divided into two parts. The first part focuses on the sampling phase generation and distr ...

EPFL2021

Morphomechanical Model Of The Torsional C-Looping In The Embryonic Heart

Alfio Quarteroni

Before septation processes shape its four chambers, the embryonic heart is a straight tube that spontaneously bends and twists breaking the left-right symmetry. In particular, the heart tube is subjected to a cell remodeling inducing ventral bending and de ...

SIAM PUBLICATIONS2021