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

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

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

Macro Annotations for Scala 3

Zhendong Ang

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

2022

Stochastic gravitational-wave background from metastable cosmic strings

Valerie Fiona Domcke

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 Ltd2021

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

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

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

ELSEVIER SCIENCE BV2019

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

ACM2017

Simplicitly: 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

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.