Concept
Craquage (informatique)
Publications associées (114)
Robust Collaborative Learning with Linear Gradient Overhead
Rachid Guerraoui, Nirupam Gupta, John Stephan, Sadegh Farhadkhani, Le Nguyen Hoang, 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 ...
PLMR2023Study on the internal crack network of the ASR-affected concrete by the tomography-based numerical model
Jean-François Molinari, Emil Gallyamov, Mahdieh Shakoorioskooie
In this paper, we present a novel finite element model to simulate alkali-silica reaction in a realistic concrete meso-structure. Application of the internal ASR loading leads to the evolution of multiple deviated cracks and corresponding macroscopic expan ...
PERGAMON-ELSEVIER SCIENCE LTD2022Automated Verification of Network Function Binaries
George Candea, Solal Vincenzo Pirelli
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 Association2022Simulating time-varying strong lenses
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 PRESS2022Influence of amount of shear reinforcement and its post-yield response on the shear resistance of reinforced concrete members
Aurelio Muttoni, Miguel Fernández Ruiz, Frédéric Monney
The minimum amount of shear reinforcement to be provided in reinforced concrete members has been a topic of debate and research for decades without reaching a consensus. Defining such values is however instrumental to build in an economic manner and to saf ...
ERNST & SOHN2022Fabrication of glass suspended microchannel resonators
The goal of this project was to study if the fabrication of glass suspended microchannel resonators was possible. Through trial and error, the process parameters were determined, starting from the ideal dose in the dry etching process. The ideal size was d ...
2021Chirok: a post-refinement tool to analyse absolute structure
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