Concept
Foreach loop
Related publications (40)
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 ...
EPFL2024Tri-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 ...
IEEE2023Locomotion 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, 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 ...
Wiley2022Macro Annotations for Scala 3
Macro annotations are an important feature in Scala 2 macro system. Many projects use macro annotations to implement their systems or libraries. Due to the unportability of Scala 2 macro system, Scala 3 redesigns the macro system to make it more reliable a ...
2022Stochastic gravitational-wave background from metastable cosmic strings
A metastable cosmic-string network is a generic consequence of many grand unified theories (GUTs) when combined with cosmic inflation. Metastable cosmic strings are not topologically stable, but decay on cosmic time scales due to pair production of GUT mon ...
IOP Publishing Ltd2021Morphomechanical Model Of The Torsional C-Looping In The Embryonic Heart
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 PUBLICATIONS2021Discrete Time Analysis of Phase Detector Linear Range Extension in Sub-Sampling PLL
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 ...
IEEE2020An 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 ...
ELSEVIER SCIENCE BV2019Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations
Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux
Staging has proved a successful technique for programmatically removing code abstractions, thereby allowing for faster program execution while retaining a high-level interface for the programmer. Unfortunately, techniques based on staging suffer from a num ...
ACM2017Simplicitly: Foundations and Applications of Implicit Function Types
Martin Odersky, Fengyun Liu, Sandro Stucki, Olivier Eric Paul Blanvillain
Understanding a program entails understanding its context; dependencies, configurations and even implementations are all forms of contexts. Modern programming languages and theorem provers offer an array of constructs to define contexts, implicitly. Scala ...
2017