Concept
Software license
Related publications (134)
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 ...
Moulineaux Cedex 92024Creating 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 Machinery2023FLIIMP : a community software for the processing, calibration, and reporting of liquid water isotope measurements on cavity-ring down spectrometers
Precise and accurate measurements of the stable isotope composition from precipitation, land ice, runoff, and oceans provide critical information on Earth's water cycle. The analysis, post-processing, and calibration of raw analytical signals from laser sp ...
2023Robust 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 ...
PLMR2023Automated 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 PRESS2022Evidence 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, Sophie Danielle Angelica Gorno, Nicola Vianello, Cedric Kar-Wai Tsui, Mirko Wensing
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 ...
AIP Publishing2022A lattice Boltzmann model for self-diffusiophoretic particles near and at liquid-liquid interfaces
We introduce a novel mesoscopic computational model based on a multiphase-multicomponent lattice Boltzmann method for the simulation of self-phoretic particles in the presence of liquid-liquid interfaces. Our model features fully resolved solvent hydrodyna ...
AIP Publishing2022The enhancement of DNA fragmentation in a bench top ultrasonic water bath with needle-induced air bubbles: Simulation and experimental investigation
Martinus Gijs, Thomas Lehnert, Yang Liu, Lin Sun
Shearing DNA to a certain size is the first step in many medical and biological applications, especially in next-generation gene sequencing technology. In this article, we introduced a highly efficient ultrasonic DNA fragmentation method enhanced by needle ...
AIP Publishing2022Molecular 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 LTD2021