Concept

International System of Units

Related publications (62)

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.

This paper presents a publicly available toolkit and a benchmark suite for rigorous verification of Integer Numerical Transition Systems (INTS), which can be viewed as control-flow graphs whose edges are annotated by Presburger arithmetic formulas. We pres ...

2012

Impact analysis of a flexible air transportation system

Michel Bierlaire, Claudio Leonardi, Matteo Salani, Bilge Atasoy

An innovative modular aircraft, called Clip-Air, is being designed at Ecole Polytechnique Federale de Lausanne (EPFL). The novelty of Clip-Air from a transportation system viewpoint is its flexibility due to the decoupling of load and carrying units. In th ...

2012

, , ,

We introduce a concept of flexible air transportation system called Clip-Air. It is a modular innovative aircraft. The flexibility provided by Clip-Air is due to the decoupling of load and carrying units. In this paper, we introduce the concept, and analyz ...

2011

, ,

The growing market of GNSS capable mobile devices is driving the interest of software receiver solutions as they can share many resources with other system units, reducing both the size and the cost of their integration. However, a major issue with the sof ...

2009

Performances of a New Correlation Algorithm for a Platform-independent GPS Software Receiver

Pierre-André Farine, Cyril Botteron, Marcel Baracchi Frei

Personal Digital Assistants (PDA’s) or mobile phones applications are not anymore restricted to wireless communications or multimedia, but have been extended to handle Global Navigation Satellite System (GNSS) functionalities. Consequently, the growing mar ...

Inst Navigation, 815 15Th Th St Nw, Ste 832, Washington, Dc 20005 Usa2009

Influence of bias voltage on the microstructure and physical properties of magnetron sputtered Zr–Si–N nanocomposite thin films

Rosendo Sanjines, Silviu Cosmin Sandu, David Oezer

e report an investigation concerning the influence of ion bombardment on the nanostructure and physical properties of Zr–Si–N nanocomposite thin films. The films were deposited by reactive magnetron sputtering from individual Zr and Si targets. The Si cont ...

2009

Comparison of two approaches to model the macromolecule spectrum for the quantification of short TE H-1 MRS spectra

Rolf Gruetter, Lijing Xin, Cristina Ramona Cudalbu

Accurate assessment of the macromolecule contributions in short echo-time proton MRS spectra is important for a reliable quantification of the neurochemical profile. The aim of the present study was to assess two approaches based on using LCModel, which ta ...

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

We consider the problem of scalable source coding with decoder side informations. Two special cases of this problem have been investigated in the literature, namely successive refinement Wyner-Ziv (SR-WZ) coding and side-information scalable (SI-Scalable) ...

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

Milli Newton force measurement and control for micro ultrasonic machining

David Hoover, Daniel Kremer

Ultrasonic machining is performed using closed-loop Z-axis position and force control. Micromachining requires tools smaller than 100 micrometers in diameter, necessitating the use of forces in the low mN range. ...

Univ Nebraska-Lincoln, Industrial & Management Systems Engineering, Lincoln, Ne 68588 Usa2007

A Numerical Test Platform for Large Synchronous Machines also useful as a Design Optimization Tool.

Jean-Jacques Simond, Mai Tu Xuan

This paper deals with the determination of large synchronous machine characteristic quantities using an extended 2D-finite element method and based on the knowledge of the geometry and of the physical properties of the electrical and magnetic circuits of t ...

2006