Publications associées à Characterization of Uncertainty Contributions in a High-Accuracy PMU Validation System

OptTTA: Learnable Test-Time Augmentation for Source-Free Medical Image Segmentation Under Domain Shift

Jean-Philippe Thiran, Guillaume Marc Georges Vray, Seyedbehzad Bozorgtabar, Devavrat Tomar

As distribution shifts are inescapable in realistic clinical scenarios due to inconsistencies in imaging protocols, scanner vendors, and across different centers, well-trained deep models incur a domain generalization problem in unseen environments. Despit ...

PMLR2022

Assessing Computational Thinking: Development and Validation of the Algorithmic Thinking Test for Adults

Olivier Lévêque, Jessica Elke Dehler Zufferey, Cécile Hardebolle, Marc Lafuente Martinez

This study describes the development and validation process of a computational thinking (CT) test for adults. The team designed a set of items and explored a subset of those through two qualitative pilots. Then, in order to provide validity evidence based ...

2022

Uncooperative Rendezvous in Space: Design of an Electronic Architecture for High Performance Avionic with Multi Sensor Input and Intensive Data Rate

Michaël Yannick Juillard

Active Debris Removal missions consist of sending a satellite in space and removing one or more debris from their current orbit. A key challenge is to obtain information about the uncooperative target. By gathering the velocity, position, and rotation of t ...

EPFL2022

The COUGHVID crowdsourcing dataset: A corpus for the study of large-scale cough analysis algorithms

David Atienza Alonso, Lara Orlandic, Tomas Teijeiro Campo

Overview Cough audio signal classification has been successfully used to diagnose a variety of respiratory conditions, and there has been significant interest in leveraging Machine Learning (ML) to provide widespread COVID-19 screening. Th ...

Zenodo2021

Systems Engineering Approach to Identify Requirements for Digital Twins Development

Dimitrios Kyritsis, Ali Gharaei, Jinzhi Lu, Xiaochen Zheng

Digital Twins (DT) are proposed in industries to support the entire lifecycle of services with different perspectives. Lack of systematic analysis of DT concepts leads to various definitions and services which challenges the DT developers for data integrat ...

SPRINGER INTERNATIONAL PUBLISHING AG2020

Numerical and experimental investigations on non-contacting seals for small-scale applications

Suresh Katuwal Chhetri

Dynamic non-contacting seals have been identified as the most appropriate sealing technology for reduced-scale and high-speed turbomachinery applications since they provide a clearance gap preventing rotor-to-seal contact during operation. Yet, any clearan ...

EPFL2020

Challenges for biophysical modeling of microstructure

Ileana Ozana Jelescu

The biophysical modeling efforts in diffusion MRI have grown considerably over the past 25 years. In this review, we dwell on the various challenges along the journey of bringing a biophysical model from initial design to clinical implementation, identifyi ...

2020

Accurate and efficient interpretation of load-test data for asset-management

Sai Ganesh Sarvotham Pai

Increasing demand for new infrastructure and ageing of existing infrastructure has made management of infrastructure a key challenge of this century. Replacement of all ageing civil infrastructure is economically and environmentally unsustainable. Civil in ...

EPFL2019

Towards the use of UHPFRC in railway bridges: the rehabilitation of Buna Bridge

Eugen Brühwiler, Dragan Damjanovic

In the last decade, Ultra High Performance Fibre Reinforced cement-based Composites (UHPFRC) have been increasingly implemented for rehabilitation and strengthening purposes, rendering outstanding results. The ease of application, along with their superior ...

CRC PRESS-TAYLOR & FRANCIS GROUP2019

Tokamak plasma edge studies by microwave short-pulse reflectometry and backscattering

Pedro Andres Molina Cabrera

Moving towards an increased understanding of the dynamic processes in the edge of tokamak plasmas requires continuous innovation in diagnostic capabilities, pushing the envelope in both spatial and temporal dimenstions. Plasma density and rotation, and the ...

EPFL2019

Hardware / Software Architectural and Technological Exploration for Energy-Efficient and Reliable Biomedical Devices

Loris Gérard Duch

Nowadays, the ubiquity of smart appliances in our everyday lives is increasingly strengthening the links between humans and machines. Beyond making our lives easier and more convenient, smart devices are now playing an important role in personalized health ...

EPFL2018

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

Vitaly Chipounov, George Candea, Bin Zhang, Chao Feng

Coverage-based fuzz testing and dynamic symbolic execution are both popular program testing techniques. However, on their own, both techniques suffer from scalability problems when considering the complexity of modern software. Hybrid testing methods attem ...

INST ENGINEERING TECHNOLOGY-IET2018

Precision and efficiency in solid-state pseudopotential calculations

Nicolas Frank Mounet, Nicola Marzari, Ivano Eligio Castelli, Gianluca Prandini, Antimo Marrazzo

Despite the enormous success and popularity of density-functional theory, systematic verification and validation studies are still limited in number and scope. Here, we propose a protocol to test publicly available pseudopotential libraries, based on sever ...

2018

Coordination of Dynamic Software Components with JavaBIP

Simon Bliudze, Anastasia Mavridou

JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent w ...

Springer International Publishing2017

A Semantic Framework for Architecture Modelling

Eduard Baranov

Architectures are common means for organising coordination between components in order to build complex systems and to make them manageable. They allow thinking on a higher plane and avoiding low-level mistakes. Architectures provide means for ensuring cor ...

EPFL2017

Diving into the dynamics of product evolution : analyzing technological discontinuities during the era of incremental change and cognitive convergence on a dominant design

Olivier Waeber

Three distinct stages describe the technological evolution of a product over time: ferment, convergence on a dominant design and an era of incremental change. Until recently, the era of incremental change has been characterized as stable and one that invol ...

EPFL2017

Elastic Program Transformations : Automatically Optimizing the Reliability/Performance Trade-off in Systems Software

Jonas Benedict Wagner

Performance and reliability are important yet conflicting properties of systems software. Software today often crashes, has security vulnerabilities and data loss, while many techniques that could address such issues remain unused due to performance concer ...

EPFL2017

Architecture-based Design: A Satellite On-board Software Case Study

Anton Ivanov, Simon Bliudze, Joseph Sifakis, Anastasia Mavridou

In this case study, we apply the architecture-based design approach to the control software of the CubETH satellite. Architectures are a means for ensuring global coordination properties and thus, achieving correctness of complex systems by construction. T ...

Springer2016

Architecture Diagrams: A Graphical Language for Architecture Style Specification

Simon Bliudze, Joseph Sifakis, Anastasia Mavridou, Eduard Baranov

Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In this paper, we study a graphical notation to enhance readability and easiness ...

Open Publ Assoc2016

Modelling Architecture Styles

Anastasia Mavridou

Software systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug and maintain. Architectures are common means for organising coordinati ...

EPFL2016