Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Call-with-current-continuation

Publications associées (9)

Theory and Practice of Coroutines with Snapshots

Fengyun Liu, Aleksandar Prokopec

While event-driven programming is a widespread model for asynchronous computing, its inherent control flow fragmentation makes event-driven programs notoriously difficult to understand and maintain. Coroutines are a general control flow construct that can ...

2018

Accurate Profile Measurement of the low Intensity Secondary Beams in the CERN Experimental Areas

Inaki Ortega Ruiz

The CERN accelerators deliver a wide spectrum of secondary beams to the Experimental Areas. These beams are composed of hadrons, leptons, and heavy ions that can vary greatly in momentum (1 GeV/c to 400 GeV/c) and intensity (10^2 to 10^8 particles per seco ...

EPFL2018

Approximate cloaking for the full wave equation via change of variables: The Drude-Lorentz model

Hoài-Minh Nguyên

This paper concerns approximate cloaking by mapping for a full, but scalar wave equation, when one allows for physically relevant frequency dependence of the material properties of the cloak. The paper is a natural continuation of [20], but here we employ ...

Elsevier2016

Decomposition Strategies for Nonconvex Problems, a Parametric Approach

Jean-Hubert Hours

This thesis deals with the development of numerical methods for solving nonconvex optimisation problems by means of decomposition and continuation techniques. We first introduce a novel decomposition algorithm based on alternating gradient projections and ...

EPFL2016

Indicators of Evidence for Bioequivalence

Stephan Morgenthaler, Robert Staudte

Some equivalence tests are based on two one-sided tests, where in many applications the test statistics are approximately normal. We define and find evidence for equivalence in Z-tests and then one-and two-sample binomial tests as well as for t-tests. Mult ...

Mdpi Ag2016

Continuation of eigenvalues and invariant pairs for parameterized nonlinear eigenvalue problems

Daniel Kressner, Peter Cedric Effenberger

Invariant pairs have been proposed as a numerically robust means to represent and compute several eigenvalues along with the corresponding (generalized) eigenvectors for matrix eigenvalue problems that are nonlinear in the eigenvalue parameter. In this wor ...

Springer2011

Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform

Martin Odersky, Tiark Rompf, Ingo Maier

We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement a simple type and effect system, which discriminates expressions with control eff ...

ACM2009

Existence And Stability Of High Frequency Standing Waves For A Nonlinear Schrodinger Equation

François Samer Genoud

This article is concerned with the existence and orbital stability of standing waves for a nonlinear Schrodinger equation (NLS) with a nonautonomous nonlinearity. It continues and concludes the series of papers [6, 7, 8]. In [6], the authors make use of a ...

2009

Théorie de bifurcation et de stabilité pour une équation de Schrödinger avec une non-linéarité compacte

François Samer Genoud

The nonlinear Schrödinger equation i∂tw + Δw +V(x)|w|p-1w = 0 w = w(t,x) : Ι × RN → C, N ≥ 2, (1) is studied, with p > 1, V : RN \ {0} → R and Ι ⊂ R an interval. The coefficient V is subject to various hypotheses. In particular, it is always assumed ...

EPFL2008