Publications associées à Licence de logiciel

MRI characterization of in vitro clots at 3T and 7T: A technical note

In acute ischemic stroke, the composition of the occlusive clot can be associated with the underlying pathophysiology and the response to treatment. For these reasons, it is important to characterize the clot composition from clinical scans. We examine the ...

Masson Editeur2024

Creating Trust by Abolishing Hierarchies

Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Charly Nicolas Lucien Castes, Neelu Shivprakash Kalani, Yuchen Qian

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Association for Computing Machinery2023

Robust Collaborative Learning with Linear Gradient Overhead

Rachid Guerraoui, John Stephan, Sadegh Farhadkhani, Le Nguyen Hoang, Nirupam Gupta, Rafaël Benjamin Pinot

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

PLMR2023

Automatic and high-precision acoustic emission-based structural health monitoring of concrete structures

Brice Tanguy Alphonse Lecampion, Seyyedmaalek Momeni

Acoustic emission (AE) monitoring is a useful technique to monitor the health of a structure continuously, helping to prevent potential failure. AE are elastic waves produced and emitted during fracture processes inside a material and are recorded by senso ...

DESTech publications inc.2023

lifex-ep: a robust and efficient software for cardiac electrophysiology simulations

Alfio Quarteroni, Francesco Regazzoni, Stefano Pagani, Marco Fedele

Background: Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors ...

BMC2023

Automated Verification of Network Function Binaries

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Simulating time-varying strong lenses

Georgios Vernardos

We present a self-consistent and versatile forward modelling software package that can produce time series and pixel-level simulations of time-varying strongly lensed systems. The time dimension, which needs to take into account different physical mechanis ...

OXFORD UNIV PRESS2022

Invariant integrals on topological groups

Vasco Schiavo

We generalize the fixed-point property for discrete groups acting on convex cones given by Monod in [23] to topological groups. At first, we focus on describing this fixed-point property from a functional point of view, and then we look at the class of gro ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2022

Hardware and Software Support for RPC-Centric Server Architecture

Mark Johnathon Sutherland

Online services have become ubiquitous in technological society, the global demand for which has driven enterprises to construct gigantic datacenters that run their software. Such facilities have also recently become a substrate for third-party organizatio ...

EPFL2022

Evidence on the effects of main-chamber neutrals on density shoulder broadening

Basil Duval, Holger Reimerdes, Christian Gabriel Theiler, Umar Sheikh, Marcelo Baquero Ruiz, Artur Perek, Nicola Vianello, Cedric Kar-Wai Tsui, Mirko Wensing, Sophie Danielle Angelica Gorno

Evidence that density shoulder broadening is dependent on high main-chamber neutral density is presented. Shoulder broadening does notoccur when the sources for main-chamber neutrals are minimized using divertor baffles and wide gaps to the first wall (sim ...

2022

Molecular simulations of interfacial systems: challenges, applications and future perspectives

Athanasios Nenes, Satoshi Takahama, Mária Lbadaoui-Darvas

We present a comprehensive review of methods and applications of molecular simulations of interfacial systems. We give a detailed overview of the main techniques and major challenges in the following aspects of solid and fluid surfaces: adsorption at solid ...

TAYLOR & FRANCIS LTD2023

Hardware-Software Co-Design of an RPC Processor

Arash Pourhabibi Zarandi

The booming popularity of online services has led to a major evolution in the way these services are built and deployed. To cope with such online data-intensive services, service providers deploy several massive-scale datacenters, also referred to as wareh ...

EPFL2021

Improvement of Mott spin polarimeters: An overlooked redundancy

Mauro Fanciulli

In Mott polarimeters, the measurement of the spin polarization of an electron beam along two perpendicular quantization axes is commonly performed by collecting scattered electrons with four independent detectors placed azimuthally at 90 degrees from each ...

2020

Chirok: a post-refinement tool to analyse absolute structure

Philip Pattison

Chirok is software for a post-refinement test of the absolute structure. The software allows a user to calculate a distribution of the measure of chirality based on intensity quotients and linked to the Flack parameter. The distribution is fitted by a set ...

2020

Evaluating the Effects of Introducing Three Gamification Elements in STEM Educational Software for Secondary Schools

Denis Gillet, Juan Carlos Farah

Gamification aims to enhance the educational experience by enabling students to have fun with technology. Although research in the field has previously looked into the effectiveness of gamification, reviews of existing studies show that in the context of e ...

Association for Computing Machinery2020

Current-Based Data-Retention-Time Characterization of Gain-Cell Embedded DRAMs Across the Design and Variations Space

Andreas Peter Burg, Adam Shmuel Teman, Robert Giterman, Andrea Bonetti

The rise of data-intensive applications has resulted in an increasing demand for high-density and low-power on-chip embedded memories. Gain-cell embedded DRAM (GC-eDRAM) is a logic-compatible alternative to conventional static random access memory (SRAM) w ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

SD-WISE: A Software-Defined WIreless SEnsor network

Angelos Christos Anadiotis

In this paper we introduce SD-WISE, a Software-Defined Wireless SEnsor networking solution for Wireless Sensor (and actuator) Networks (WSNs). SD-WISE has several unique features making it a flexible and expandable solution that can be applied in heterogen ...

ELSEVIER SCIENCE BV2019

Data-Retention-Time Characterization of Gain-Cell eDRAMs across the Design and Variations Space

Andreas Peter Burg, Andrea Bonetti

The rise of data-intensive applications has increased the demand for high-density and low-power embedded memories. Among them, the gain-cell embedded DRAM (GC-eDRAM) is a suitable alternative to the static random access memory (SRAM) due to its high memory ...

IEEE2019

The software and hardware architecture of the real-time protection of in-vessel components in JET-ILW

Olivier Sauter, Ambrogio Fasoli, Basil Duval, Stefano Coda, Jonathan Graves, Yves Martin, Duccio Testa, Patrick Blanchard, Henri Weisen, Alessandro Pau, Federico Nespoli, Cristian Sommariva, David Pfefferlé, Richard Pitts, Jonathan Marc Philippe Faustin, Yann Camenen, Hamish William Patten, Jan Horacek, Samuel Lanthaler, Javier García Hernández, Ana Francisca Leal Silva Soares, Marco Wischmeier, Pedro Camilo de Oliveira e Silva, Nicola Vianello, Mikhail Maslov, Yao Zhou, Davide Galassi, Antonio José Pereira de Figueiredo, Liang Yao, Dalziel Joseph Wilson, Bernhard Sieglin, Otto Asunta

For the first time, the JET operation in deuterium-tritium (D-T) plasma, which is scheduled to take place on JET in 2020, will be performed in the ITER mix of plasma-facing component materials. In view of the preparation of the DT campaign (DTE2), several ...

IOP Publishing Ltd2019

A hybrid framework for industrial data storage and exploitation

Dimitrios Kyritsis, Ioannis Tourkogiorgis, Foivos Psarommatis Giannakopoulos

In this paper a hybrid framework is illustrated, with a software and hardware integration strategy, for an industrial platform that exploits features from a Relational Database (RDB) and Triplestore using the blackboard architectural pattern, ensuring effi ...

Elsevier2019