Concept

Boucle for

Publications associées (58)

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

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 LTD2021

JET ILA full array and polychromatic operation

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. ...

ELSEVIER SCIENCE SA2021

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

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

Jamie Paik, Andres San Millan Rodriguez

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 ...

2020

Discrete Time Analysis of Phase Detector Linear Range Extension in Sub-Sampling PLL

Yusuf Leblebici, Duygu Kostak

The discrete time analysis of the phase detector linear range extension in the first and the second order sub sampling phase-locked loop (SSPLL) is presented. The aim is to understand how much the stability and the pull-in range are affected by the linear ...

IEEE2020

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