Publications related to Infinite loop

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

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

Universality of loop corrected soft theorems in 4d

Biswajit Sahoo

In [1], logarithmic correction to subleading soft photon and soft graviton theorems have been derived in four spacetime dimensions from the ratio of IR-finite S-matrices. This has been achieved after factoring out IR-divergent components from the tradition ...

Springer Nature2023

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

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

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

2021

Locking Made Easy

Rachid Guerraoui, Vasileios Trigonakis, Georgios Chatzopoulos, Jelena Antic

A priori, locking seems easy: To protect shared data from concurrent accesses, it is sufficient to lock before accessing the data and unlock after. Nevertheless, making locking efficient requires fine-tuning (a) the granularity of locks and (b) the locking ...

ACM Press2016

Liquid Ropes: A Geometrical Model for Thin Viscous Jet Instabilities

Pierre-Thomas Paul Brun

Thin, viscous fluid threads falling onto a moving belt behave in a way reminiscent of a sewing machine, generating a rich variety of periodic stitchlike patterns including meanders, W patterns, alternating loops, and translated coiling. These patterns form ...

American Physical Society2015

The renormalon diagram in gauge theories on R-3 x S-1

We analyze the renormalon diagram of gauge theories on . In particular, we perform exact one loop calculations for the vacuum polarization in QCD with adjoint matter and observe that all infrared logarithms, as functions of the external momentum, cancel be ...

Springer Nature2015

Update of the Binoth Les Houches Accord for a standard interface between Monte Carlo tools and one-loop programs

Valentin Hirschi

We present an update of the Binoth Les Houches Accord (BLHA) to standardise the interface between Monte Carlo programs and codes providing one-loop matrix elements. (C) 2013 Elsevier B.V. All rights reserved. ...

Elsevier Science Bv2014

Deciding Conditional Termination

We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates. First we define the dual set, of initial configurations from which a non-terminating execution exis ...

Tech Univ Braunschweig2014

Further study on iterative control loop for aberration correction in imaging systems with single mode fibre aperture

An iterative control system was designed for compensation of wavefront aberration utilizing a micromachined deformable mirror through simulated annealing algorithm. 37 elements within a deformable mirror are controlled individually in a closed-loop to maxi ...

Natl Inst Optoelectronics2013

Non-linear matter power spectrum from Time Renormalisation Group: efficient computation and comparison with one-loop

Julien Lesgourgues, Benjamin Audren

We address the issue of computing the non-linear matter power spectrum on mildly non-linear scales with efficient semi-analytic methods. We implemented M. Pietroni's Time Renormalization Group (TRG) method and its Dynamical 1-Loop (D1L) limit in a numerica ...

2011

ABC: Algebraic Bound Computation for Loops

Régis William Blanc, Laura Ildiko Kovacs, Thibaud Hottelier

We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis of programs with symbolic summation techniques to derive loop invariant relations bet ...

Springer Berlin Heidelberg2010

Proving non-termination

Andrey Rybalchenko, Ashutosh Kumar Gupta

The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of verification tools. While this is well-understood in safety verification, th ...

2008

Optimizing Higher-Order Functions in Scala

Iulian Dragos

Scala relies on libraries as the default mechanism for language extension. While this provides an elegant solution for growing the language, the performance penalty incurred by call-by-name parameters, boxing and anonymous functions is high. We show that i ...

2008

Trajectory Tracking through Overactuation for an Optical Delay Line

Denis Gillet, Philippe Müllhaupt, Yvan Michellod

Nano-positioning devices constitute the mechatronic heart of the VLTI (Very Large Telescope Interferometer) for the ESO (European Southern Observatory) astrometry instrumentation. In the context of the development of a new optical Differential Delay Line ( ...

2007