Publications associées à Topologie de l'ordre

Decision Procedures for Automating Termination Proofs

Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program's transition relation and then show that the relational abstraction is well-founded. The focus of current too ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Local modification of GaAs nanowires induced by laser heating

Anna Fontcuberta i Morral

GaAs nanowires were heated locally under ambient air conditions by a focused laser beam which led to oxidation and formation of crystalline arsenic on the nanowire surface. Atomic force microscopy, photoluminescence and Raman spectroscopy experiments were ...

Institute of Physics2011

Palm Vein Recognition with Local Binary Patterns and Local Derivative Patterns

Leila Mirmohamadsadeghi, Andrzej Drygajlo

Palm vein feature extraction from near infrared images is a challenging problem in hand pattern recognition. In this paper, a promising new approach based on local texture patterns is proposed. First, operators and histograms of multi-scale Local Binary Pa ...

2011

Small microphone array design and processing for speech recognition of vocal orders in restaurants.

Hervé Lissek, Xavier Falourd, Patrick Marmaroli, Philippe Martin

Veovox is a project led by a swiss company Veovox® in collaboration with swiss research institutes whose purpose is to market an order-taking device, enabling a waiter in a restaurant to take orders by voice. With this device, the waiter only needs to pron ...

2011

Optimal filtering of an incremental second-order MASH11 sigma-delta modulator

Maher Kayal, Sylvain Maréchal, François Krummenacher

This paper describes an optimal filter design procedure for a cascaded sigma-delta modulator, starting with a block schematic of a second-order topology and deriving step by step the optimal decoder. The presented filter enhances the resolution of the MASH ...

IEEE2011

Aerial Locomotion in Cluttered Environments

Dario Floreano, Mirko Kovac, Jean-Christophe Zufferey, Adam Klaptocz, Jürg Markus Germann

Many environments where robots are expected to operate are cluttered with objects, walls, debris, and different horizontal and vertical structures. In this chapter, we present four design features that allow small robots to rapidly and safely move in 3 dim ...

2011

Status of the EU 170 GHz/2 MW/CW Coaxial Cavity Gyrotron for ITER: The Dummy Gun Experiment

Stefano Alberti, Minh Quang Tran, Jean-Philippe Hogge, Ioannis Pagonakis

A mock-up gun has been manufactured as exact replica of the refurbishment first prototype EU 170 GHz/2MW/CW coaxial cavity gyrotron, but without emitter ring in order to validate the voltage standoff stability. The experimental results of the mock-up gun t ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010

Digital holography for second harmonic microscopy: application to 3D-tracking of nanoparticles

Christian Depeursinge, Etienne Shaffer

Retrieval of the amplitude and phase of electromagnetic waves made digital holographic microscopy (DHM) capable of revealing morphological details at ultrahigh resolution in the order of a few nanometers only and precisely measuring the refractive index ac ...

SPIE2010

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.

Topologie de l'ordre

Thermo-hydraulic analysis of the cool-down of the EDIPO test facility

Compromise Pitman estimators

Decision Procedures for Automating Termination Proofs

Local modification of GaAs nanowires induced by laser heating

Palm Vein Recognition with Local Binary Patterns and Local Derivative Patterns

Small microphone array design and processing for speech recognition of vocal orders in restaurants.

Optimal filtering of an incremental second-order MASH11 sigma-delta modulator

Aerial Locomotion in Cluttered Environments

Status of the EU 170 GHz/2 MW/CW Coaxial Cavity Gyrotron for ITER: The Dummy Gun Experiment

Digital holography for second harmonic microscopy: application to 3D-tracking of nanoparticles

Graph Chatbot

Chattez avec Graph Search

Thermo-hydraulic analysis of the cool-down of the EDIPO test facility

Decision Procedures for Automating Termination Proofs

Compromise Pitman estimators

Palm Vein Recognition with Local Binary Patterns and Local Derivative Patterns

Local modification of GaAs nanowires induced by laser heating

Aerial Locomotion in Cluttered Environments

Status of the EU 170 GHz/2 MW/CW Coaxial Cavity Gyrotron for ITER: The Dummy Gun Experiment

Digital holography for second harmonic microscopy: application to 3D-tracking of nanoparticles

Small microphone array design and processing for speech recognition of vocal orders in restaurants.

Optimal filtering of an incremental second-order MASH11 sigma-delta modulator