Concept

Space exploration

Related publications (114)

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.

Analysis of Galileo E5 and E5ab code tracking

Pierre-André Farine, Cyril Botteron, Aleksandar Jovanovic, Youssef Tawk

The world of global navigation satellite systems has been enhanced with several new or improved signals in space aiming to optimize accuracy, reliability, navigation solution, and interoperability between different constellations. However, such development ...

Springer-Verlag2011

Efficient multiple time scale molecular dynamics: Using colored noise thermostats to stabilize resonances

Michele Ceriotti

Multiple time scale molecular dynamics enhances computational efficiency by updating slow motions less frequently than fast motions. However, in practice, the largest outer time step possible is limited not by the physical forces but by resonances between ...

American Institute of Physics2011

Multi-Robot Fire Searching in Unknown Environment

Ali Marjovi

Exploration of an unknown environment is a fundamental concern in mobile robotics. This paper presents an approach for cooperative multi-robot exploration, fire searching and mapping in an unknown environment. The proposed approach aims to minimize the ove ...

Springer Berlin Heidelberg2010

Public space in Beijing

Béatrice Ferrari

This is a short exploration of public space in Beijing (and elsewhere). But how do we define public space and does it exist as such in Beijing? In this short presentation, instead of simply focusing on physical spaces, I will try to capture some of the ele ...

2010

Model Checking Tools for Software System Implementations

Maysam Yabandeh

Systematic State Exploration or Model Checking techniques have been used for years to check the model of softwares against user-specified properties. Nevertheless, they never achieved a wide-spread usage because of the difficulties and problems in translat ...

2010

Compositional verification for component-based systems and application

Joseph Sifakis

The authors present a compositional method for the verification of component-based systems described in a subset of the behaviour-interaction- priority language encompassing multi-party interaction without data transfer. The method is based on the use of t ...

2010

A VHDL-AMS Modeling Methodology for Top-Down/Bottom-Up Design of RF Systems

Alain Vachoux, Matteo Contaldo

This chapter presents a modeling methodology for the top-down/bottom-up design of RF systems based on systematic use of VHDL-AMS models. The model interfaces are parameterizable and pin-accurate. The designer can choose to parameterize the models using per ...

Springer2010

Comparative Analysis of NoCs for Two-Dimensional Versus Three-Dimensional SoCs Supporting Multiple Voltage and Frequency Islands

Giovanni De Micheli, Luca Benini, Srinivasan Murali, Ciprian Seiculescu

In many of today’s system-on-chip (SoC) designs, the cores are partitioned into multiple voltage and frequency islands (VFIs), and the global interconnect is implemented using a packetswitched network on chip (NoC). In such VFI-based designs, the benefits ...

Institute of Electrical and Electronics Engineers2010

Multi-Robot Exploration and Fire Searching

Ali Marjovi

IEEE2009

MEMS FOR SPACE

Nico de Rooij, Danick Briand, Herbert Shea, Sebastian Gautsch, Wilfried Noell

Future space exploration will emphasize on cost effectiveness and highly focused mission objectives. Missions costs are directly proportional to its total weight, thus, the trend will be to replace bulky and heavy components of space carriers, communicatio ...

2009