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.
We point out an interesting relation between transport in Hamiltonian dynamics and Floer homology. We generalize homoclinic Floer homology from R-2 and closed surfaces to two-dimensional cylinders. The relative symplectic action of two homoclinic points is ...
This paper discusses practical implementation of a generic camera model for a wide variety of common cameras equipped with catadioptric, fish-eye, short- or long focal length lenses. A unified approach of deriving approximate model parameters followed by a ...
This thesis concerns optimal packing problems of tubes, or thick curves, where thickness is defined as follows. Three points on a closed space curve define a circle. Taking the infimum over all radii of pairwise-distinct point triples defines the thickness ...
We address the general question of the extent to which the hydrodynamic behaviour of microscopic freely fluctuating objects can be reproduced by macrosopic rigid objects. In particular, we compare the sedimentation speeds of knotted DNA molecules undergoin ...
Enforcing a specific symmetry group on a curve, knotted or not, is not trivial using standard interpolations such as polygons or splines. For a prescribed symmetry group we present a symmetrization process based on a Fourier description of a knot. The pres ...
We investigate numerical simulations and visualizations of the problem of tying a knot in a piece of rope. The goal is to use the least possible rope of a fixed, prescribed radius to tie a particular knot, e.g. a trefoil, a figure eight, and so on. The rop ...
Using numerical simulations, we compare properties of knotted DNA molecules that are either torsionally relaxed or supercoiled. We observe that DNA supercoiling tightens knotted portions of DNA molecules and accentuates the difference in curvature between ...
We present an algorithm for generating all polynomial invariants of P-solvable loops with assignments and nested conditionals. We prove termination of our algorithm. The proof relies on showing that the dimensions of the prime ideals from the minimal decom ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2010
We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate first-order invariants containing alternations of quantifiers. The method is based on ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2009
We present a method for generating polynomial invariants for a subfamily of imperative loops operating on numbers, called the P-solvable loops. The method uses algorithmic combinatorics and algebraic techniques. The approach is shown to be complete for som ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008
