Concept

Formal methods

Related publications (377)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

ASSET: A robust algorithm for the automated segmentation and standardization of early Caenorhabditis elegans embryos

Pierre Gönczy, Felix Naef, Simon Blanchoud, Yemima Suryani Budirahardja

The early Caenorhabditis elegans embryo is an attractive model to investigate evolutionarily conserved cellular mechanisms. However, there is a paucity of automated methods to gather quantitative information with subcellular precision in this system. We de ...

Wiley-Blackwell2010

Knowledge-Based Representation Of 3D Media

Alejandra Garcia Rojas Martinez

In recent years, 3D media have become more and more widespread and have been made available in numerous online repositories. A systematic and formal approach for representing and organizing shape-related information is needed to share 3D media, to communic ...

2010

Man-machine interface method executed by an interactive device

Frédéric Kaplan, Jonathan Besuchet

The aim of the present invention is to provide a cost effective solution for a man-machine interface without physical contact with the device to which a command should be given. This aim is achieved by a Man-machine interface method executed by an interact ...

2010

Model checking: Algorithmic verification and debugging

Joseph Sifakis

Turing Lecture from the winners of the 2007 ACM A.M. Turing Award.In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, and Joseph Sifakis working independently in France, authored seminal papers that founded what has become the highly succes ...

2009

New generic approach for the analysis of energy conversion system models

François Maréchal, Helen Carla Becker, Raffaele Bolliger

This paper proposes a new approach in the field of energy conversion systems analysis and synthesis. The method is based on a generic and multi-platform description syntax, that clearly separates the information concerning the physical behavior of the mode ...

Elsevier2009

Microrobotics: Methods and Applications

Yves Bellouard

From conception to realization, Microrobotics: Methods and Applications covers all aspects of miniaturized systems that physically interact and manipulate objects at the microscale. It provides a solid understanding of this multidisciplinary field, which c ...

CRC Press2009

Novel initialization methods for Speaker Diarization

David Imseng

Speaker Diarization is the process of partitioning an audio input into homogeneous segments according to speaker identity where the number of speakers in a given audio input is not known a priori. This master thesis presents a novel initialization method f ...

Idiap2009

A Distortion-based Metric for Location Privacy

Jean-Pierre Hubaux, Murtuza Jadliwala, Julien Freudiger, Reza Shokri

We propose a novel framework for measuring and evaluating location privacy preserving mechanisms in mobile wireless networks. Within this framework, we first present a formal model of the system, which provides an efficient representation of the network us ...

2009

Optimization of cascade stilling basins using GA and PSO approaches

David Andrew Barry, Roham Bakhtyar

In high head dams, the kinetic energy at the spillway toe is very high and the tail-water depth available for energy dissipation is relatively small. Cascade stilling basins are energy dissipation systems for high head dams, the design of which is based on ...

2009

Approximate BDD Minimization by Weighted A*

Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synthesis. The size of BDDs depends on a chosen variable ordering, i.e. the size may ...

Institute of Electrical and Electronics Engineers2009