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

Concept

Tri à bulles

Publications associées (25)

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

Springer2010

Effects of base-pair sequence, nicks and gaps on DNA minicircle shapes : analysis and experiment

Arnaud Amzallag

DNA is a long polymer with the form of a double helix of about two nanometers diameter (2.10-9 meters). It is composed of nucleotides whose sequence carries the information of heredity. The four possible nucleotides have slightly different geometries, and ...

EPFL2008

Dielectrophoretic sorting on a microfabricated flow cytometer: Label free separation of Babesia bovis infected erythrocytes

Philippe Renaud, Thomas Michael Braschler, Nicolas Demierre

Dielectrophoresis is a method that has demonstrated great potential in cell discrimination and isolation. In this study, the dielectrophoretic sorting of normal and Babesia bovis infected erythrocytes was performed using a microfabricated flow cytometer. S ...

2008

3D Reconstruction and Comparison of Shapes of DNA Minicircles Observed by Cryo-Electron Microscopy

Michaël Unser, Mathews Jacob, Arnaud Amzallag

We use cryo-electron microscopy to compare 3D shapes of 158 bp long DNA minicircles that differ only in the sequence within an 18 bp block containing either a TATA box or a catabolite activator protein binding site. We present a sorting algorithm that corr ...

The Author(s)2006

Locating Mobile Nodes with EASE: Learning Efficient Routes from Encounter Histories Alone

Martin Vetterli, Matthias Grossglauser

Routing in large-scale mobile ad hoc networks is challenging because all the nodes are potentially moving. Geographic routing can partially alleviate this problem, as nodes can make local routing decisions based solely on the destinations' geographic coord ...

2006