Publications related to Desktop environment

The high flux nano-X-ray diffraction, fluorescence and imaging beamline ID27 for science under extreme conditions on the ESRF Extremely Brilliant Source

In this overview article, we present the main features of the upgraded ID27 beamline which is fully optimised to match the exceptional characteristics of the new Extremely Bright Source (EBS) of the European Synchrotron Radiation Facility (ESRF). The ID27 ...

Taylor & Francis Ltd2024

Dynamic power budget redistribution under a power cap on multi-application environments

Luis Maria Costero Valero

We present a two-level implementation of an infrastructure that allows performance maximization under a power-cap on multi-application environments with minimal user intervention. At the application level, we integrate BAR (Power Budget-Aware Runtime Sched ...

ELSEVIER2023

SiliFish: A desktop application to model swimming behavior in developing zebrafish (Danio rerio)

Yann Roussel

SiliFish is an open-source desktop application tomodel and study zebrafish swimming. Here, we explain how to define the general parameters of the model, define cell populations, place them within the spinal cord, and define their projections. We explain ho ...

Elsevier2023

Deplatforming did not decrease Parler users' activity on fringe social media

Robert West, Manoel Horta Ribeiro

Online platforms have banned ("deplatformed") influencers, communities, and even entire websites to reduce content deemed harmful. Deplatformed users often migrate to alternative platforms, which raises concerns about the effectiveness of deplatforming. He ...

OXFORD UNIV PRESS2023

Assessment of personal exposure to particle and gaseous air pollutants in residences and offices

Maria Viviana Gonzalez Serrano

Poor indoor air quality has been associated with health issues and decreased work performance. Personal exposure that takes place both in outdoor and indoor environments is the result of dy-namic processes and complex interactions between people and surrou ...

EPFL2023

HolA: Holistic and Autonomous Attestation for IoT Networks

Flavio Toffalini, Eleonora Losiouk

Collective Remote Attestation (CRA) is a well-established approach where a single Verifier attests the integrity of multiple devices in a single execution of the challenge-response protocol. Current CRA solutions are well-suited for Internet of Things (IoT ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Predictive control of aerial swarms in cluttered environments

Dario Floreano, Fabrizio Schiano, Enrica Soria

Classical models of aerial swarms often describe global coordinated motion as the combination of local interactions that happen at the individual level. Mathematically, these interactions are represented with potential fields. Despite their explanatory suc ...

2021

Architecture Exploration and Optimization of Heterogeneous Many-Core Compute and Memory Architectures with Architectural Extensions

Yasir Mahmood Qureshi

The expeditious proliferation of Internet connectivity and the growing adoption of digital products have transformed various spheres of our everyday lives. This increased digitization of society has led to the emergence of new applications, which are deplo ...

EPFL2021

PoLPer: Process-Aware Restriction of Over-Privileged Setuid Calls in Legacy Applications

Mathias Josef Payer, Zhenyu Wu

setuid system calls enable critical functions such as user authentications and modular privileged components. Such operations must only be executed after careful validation. However, current systems do not perform rigorous checks, allowing exploitation of ...

ASSOC COMPUTING MACHINERY2019

Body-machine interfaces for non-homologous human-machine interactions

Jenifer Cléa Miehlbradt

Virtual reality (VR), the interactive experience of being immersed in a simulated environment, has seen a tremendous development in the last years. Numerous applications came into being, ranging from flight simulators through a virtual ascent of Mount Ever ...

EPFL2019

A real-time optimal inverse planning for Gamma Knife radiosurgery by convex optimization: description of the system and first dosimetry data

Jean-Philippe Thiran, Rafael Eduardo Carrillo Rangel, Rémi Charrier

OBJECTIVE The authors developed a new, real-time interactive inverse planning approach, based on a fully convex framework, to be used for Gamma Knife radiosurgery. ...

AMER ASSOC NEUROLOGICAL SURGEONS2018

System and Method for Defining Watertight and Locally Refinable Surfaces with Interpolatory Control Points

Michaël Unser, Daniel Andreas Schmitter, Masih Nilchian

A method for creating a watertight boundary between two graphical elements including the steps of displaying a first surface having a first shape and a second surface having a second shape on the display, an open space existing between the first surface an ...

2017

Optimal Path Planning and Coverage Control for Multi-Robot Persistent Coverage in Environments with Obstacles

Alcherio Martinoli, Zeynab Talebpour, José Manuel Palacios Gasos

Persistent coverage aims to maintain a certain coverage level over time in an environment where such level deteriorates. This level can be associated to temperature, dust or sensor information. We propose an algorithmic solution in which each robot locally ...

2017

A wrist sensor and algorithm to determine instantaneous walking cadence and speed in daily life walking

Kamiar Aminian, Pierre-André Farine, Benedikt Fasel, Cyntia Duc, Flavien Bardyn, Farzin Dadashi, Martin Savary

In daily life, a person’s gait—an important marker for his/her health status—is usually assessed using inertial sensors fixed to lower limbs or trunk. Such sensor locations are not well suited for continuous and long duration measurements. A better locatio ...

Springer Heidelberg2017

Linking Models and Experiments

Dominique Bonvin, Diogo Filipe Mateus Rodrigues, René Uwe Schneider

This position paper gives an overview of the discussion that took place at FIPSE 2 at Aldemar Resort, east of Heraklion, Crete, in June 21-23, 2014. This is the second conference in the series "Future Innovation in Process Systems Engineering" (http://fi-i ...

Amer Chemical Soc2016

Synthesizing efficient systems in probabilistic environments

Barbara Jobstmann, David Parker

We present a formalism, algorithms and tools to synthesise reactive systems that behave efficiently, i.e., which achieve an optimal trade-off between a given cost and reward model. Synthesis aims to automatically generate a program from a specification. Mo ...

Springer2016

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015

Widgets and Spaces : Personal & Contextual Portability and Plasticity with OpenSocial

Evgeny Bogdanov

Social media platforms are created and exploited for various activities carried out individually or collaboratively and relying on different resources and tools. Social media platforms are inherently contextual; the context being defined as a specific acti ...

EPFL2013

An Integrated Framework for Improving the Quality and Reliability of Software Upgrades

Olivier Crameri

Despite major advances in the engineering of maintainable and robust software over the years, upgrading software remains a primitive and error-prone activity. In this dissertation, we argue that several problems with upgrading software are caused by a poor ...

EPFL2011

Designable Visual Markers for Mobile Human-Computer Interaction

Enrico Costanza

Visual markers are graphic symbols designed to be easily recognised by machines. They are traditionally used to track goods, but there is increasing interest in their application to mobile human-computer interaction (HCI). By scanning a visual marker throu ...

EPFL2010