Publications associées à Eclipse (projet)

LenslessPiCam: A Hardware and Software Platform for Lensless Computational Imaging with a Raspberry Pi

Martin Vetterli, Eric Bezzam, Sepand Kashani, Matthieu Martin Jean-André Simeoni

This toolkit has everything you need to perform imaging with a lensless camera. We make use of a low-cost implementation of DiffuserCam, namely replacing the lens with a piece of tape and using the Raspberry Pi HQ camera sensor. Similar principles and meth ...

Zenodo2023

Classification of Resilience Techniques Against Functional Errors at Higher Abstraction Layers of Digital Systems

David Atienza Alonso

Nanoscale technology nodes bring reliability concerns back to the center stage of digital system design. A systematic classification of approaches that increase system resilience in the presence of functional hardware (HW)-induced errors is presented, deal ...

Assoc Computing Machinery2017

An overview of a new sensor calibration platform

Jan Skaloud, Stéphane Guerrier, Philipp Clausen

Inertial sensors are increasingly being employed in different types of applications. The reduced cost and the extremely small size makes them the number-one-choice in miniature embedded devices like phones, watches, and small unmanned aerial vehicles. The ...

2017

Verification by Reduction to Functional Programs

Régis William Blanc

In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...

EPFL2017

TEMPLE: analysing population genetic variation at transcription factor binding sites

Stefan Jean Laurent, Maria Litovchenko

Genetic variation occurring at the level of regulatory sequences can affect phenotypes and fitness in natural populations. This variation can be analysed in a population genetic framework to study how genetic drift and selection affect the evolution of the ...

Wiley-Blackwell2016

Photogrammetric Mission Planner for RPAS

Jan Skaloud, Martin Rehak, Florian Gandor

This paper presents a development of an open-source flight planning tool for Remotely Piloted Aircraft Systems (RPAS) that is dedicated to high-precision photogrammetric mapping. This tool contains planning functions that are usually available in professio ...

2015

Interactive Synthesis using Free-Form Queries

Viktor Kuncak, Tihomir Gvero

We present a new code assistance tool for integrated development environments. Our system accepts free-form queries allowing a mixture of English and Java as an input, and produces Java code fragments that take the query into account and respect syntax, ty ...

2015

Synthesizing Java Expressions from Free-Form Queries

Viktor Kuncak, Tihomir Gvero

We present a new code assistance tool for integrated development environments. Our system accepts as input free-form queries containing a mixture of English and Java, and produces Java code expressions that take the query into account and respect syntax, t ...

Assoc Computing Machinery2015

Cell Guidance on Nanogratings: A Computational Model of the Interplay between PC12 Growth Cones and Nanostructures

Silvestro Micera

Background: Recently, the effects of nanogratings have been investigated on PC12 with respect to cell polarity, neuronal differentiation, migration, maturation of focal adhesions and alignment of neurites. Methodology/Principal Findings: A synergistic proc ...

Public Library Science2013

Complete Completion using Types and Weights

Viktor Kuncak, Ruzica Piskac, Tihomir Gvero, Ivan Kuraj

Developing modern software typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that synthesizes ...

ACM2013

g-Social: Enhancing Integrated e-Science Tools with Social Networking Functionality

Andriani Stylianou

During the last decade, the scientific community has witnessed an unprecedented deployment of large-scale, federated e-Infrastructures such as Grid Computing, primarily for supporting data-intensive scientific exploration and coordinated problem solving. H ...

Ieee2012

CITYSIM simulation: the case study of Alt-Wiedikon, a neighbourhood of Zürich City

Jérôme Henri Kämpf, Darren Robinson, Maria Papadopoulou, Diane Perez, Urs Wilke

As research in building energy demand simulation is reaching maturity, there is now a growing interest in the evaluation of the energy need of larger and/or pre-existing urban areas [1, 2, 3], to evaluate the energy performance associated with alternative ...

EPFL2011

The Marr Wavelet Pyramid and Multiscale Directional Image Analysis

Michaël Unser, Dimitri Nestor Alice Van De Ville, Daniel Sage, Katarina Balac

The “Marr wavelet pyramid” is a wavelet decomposition that implements a multiscale version of the complex gradient-Laplace operator. It is closely linked to a multiresolution analysis of

L _{ 2 }

(\mathbb{R} ^{ 2 }

) and it has a fast filterbank im ...

EURASIP2008

Practical Approaches for Software Components Integration in Telecommunications

Sébastien Rumley, Christian Gaumier

Nowadays, advances in telecommunication network design and performance analysis often rely on dedicated software tools. Unfortunately, developing new tools is a very time and resources consuming activity. To rationalise development costs, existing applicat ...

2008

Synchronizing Refactored UML Class Diagrams and OCL Constraints

Slavisa Markovic

UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically updated each time the underlying diagram is refactored. All our refactoring ...

TU Berlin Technical Report, ISSN 1436-99152007

Concrete syntax definition for modeling languages

Frédéric Fondement

Model Driven Engineering (MDE) promotes the use of models as primary artefacts of a software development process, as an attempt to handle complexity through abstraction, e.g. to cope with the evolution of execution platforms. MDE follows a stepwise approac ...

EPFL2007

3DeMoN ROBOVEC - Integration of a new measuring instrument in an existing generic remote monitoring platform

Gilbert Steinmann

The 3DeMoN (3-Dimentional Deformation Monitoring Network) monitoring system is a remote monitoring platform developed with the aim of offering a systematic and comprehensive approach to the solution of many environmental and civil engineering surveying and ...

ASCE2007