Concept

Foreach loop

Publications associées (40)

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

The immutable Vector collection in the Scala library offers nearly constant-time random access reads thanks to its underlying wide tree data structure. Furthermore, it provides amortized constant time sequential read, update, append and prepend operations ...

2015

Obey is a user-friendly tool that helps programmers enforce code health requirements in their projects. Requirements are expressed as rules, written with the TQL library combinators used to traverse scala.meta trees, that generate compiler warnings and can ...

2015

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

Satisfiability modulo theories (SMT) solvers that support quantifier instantiations via matching triggers can be programmed to give practical support for user-defined theories. Care must be taken to avoid so-called matching loops, which may prevent termina ...

2014

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

This is my master thesis done at PPL in Stanford under the supervision of Prof. Kunle Olukotun. It improved LMS, a framework for embedding DSLs (domain-specific languages) into Scala which features many general optimizations that can be used by any DSLs fo ...

2014

, ,

The analysis of Strykowski & Sreenivasan (JFM, 1990) provides experimental evidence that a small control cylinder suitably positioned in the wake of a main cylinder can alter vortex shedding close to the instability threshold. This problem was addressed fr ...

2014

We study two kinematical limits, the Regge limit and the Lorentzian OPE limit, of the four-point function of the stress-tensor multiplet in Super Yang-Mills at weak coupling. We explain how both kinematical limits are controlled by the leading twist operat ...

Springer2014

A microtubule is a dynamic system formed of αβ-tubulins. The presence of nonhydrolyzable guanosine-5'-triphosphate (GTP)/guanosine diphosphate (GDP) on the β-tubulins provokes microtubule polymerization/depolymerization. Despite the large number of experim ...

2013

We identify the space of tangentially straightened long knots in R^m, for m greater than or equal to 4, as the double loops on the space of derived operad maps from the associative operad into a version of the little m-disk operad. This verifies a conjectu ...

Geometry & Topology Publications2012