Publications associées à Current Practice in Software Development for Computational Neuroscience and How to Improve It

Efficient and insightful descriptors for representing molecular and material space

Data-driven approaches have been applied to reduce the cost of accurate computational studies on materials, by using only a small number of expensive reference electronic structure calculations for a representative subset of the materials space, and using ...

EPFL2024

Creating Trust by Abolishing Hierarchies

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

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, Le Nguyen Hoang, John Stephan, Sadegh Farhadkhani, 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

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

Alfio Quarteroni, Francesco Regazzoni, Marco Fedele, Stefano Pagani

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

Assessing the implementation of user-centred design standards on assistive technology for persons with visual impairments: a systematic review

Klaus Benedikt Schönenberger, Mario Andres Chavarria Varon

Despite scientific and technological advances in the field of assistive technology (AT) for people with visual impairment (VI), technological designs are frequently based on a poor understanding of the physical and social context of use, resulting in devic ...

Frontiers Media Sa2023

Challenges and approaches in bridging the biomimicry gap in biohybrid systems of fish and robots

Vaios Papaspyros

As the field of ethology advances, especially over the past two decades, the role of animal-robot interaction tools has increasingly become essential. This importance arises from the need for controlled, repetitive, repeatable, and long-duration experiment ...

EPFL2023

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

Automated Verification of Network Function Binaries

George Candea, Aikaterini Argyraki, 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 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

STEPS 4.0: Fast and memory-efficient molecular simulations of neurons at the nanoscale

Felix Schürmann, James Gonzalo King, Christos Kotsalos, Pramod Shivaji Kumbhar, Iain Hepburn, Weiliang Chen, Tristan Mathieu Carel, Samuel Marie A Melchior, Omar Awile, Baudouin Paul Michel Maria Joseph Del Marmol, Alessandro Cattabiani, Giacomo Castiglioni, Nicola Cantarutti

Recent advances in computational neuroscience have demonstrated the usefulness and importance of stochastic, spatial reaction-diffusion simulations. However, ever increasing model complexity renders traditional serial solvers, as well as naive parallel imp ...

FRONTIERS MEDIA SA2022

Towards Beam-Beam Simulations for FCC-ee

Tatiana Pieloni, Xavier Buffat, Péter Kicsiny, Mike Seidel, Giovanni Iadarola

The FCC-ee (Future Circular Collider) lepton collider is currently the most favored next generation research infrastructure project at CERN, aimed at studying properties of standard model particles with the highest precision ever. The chosen parameters of ...

JACoW Publishing, Geneva, Switzerland2022

Impersonating Chatbots in a Code Review Exercise to Teach Software Engineering Best Practices

Denis Gillet, Sandy Ingram, Maria Jesus Rodriguez Triana, Juan Carlos Farah, Vandit Sharma

Over the past decade, the use of chatbots for educational purposes has gained considerable traction. A similar trend has been observed in social coding platforms, where automated agents support software developers with tasks such as performing code reviews ...

IEEE2022

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms by Dynamic Network Execution

Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch

The performance of programs executed on heterogeneous parallel platforms largely depends on the design choices regarding how to partition the processing on the various different processing units. In other words, it depends on the assumptions and parameters ...

MDPI2022

On the development of multi-physics tools for nuclear reactor analysis based on OpenFOAM (R): state of the art, lessons learned and perspectives

Carlo Fiorina

In the last two decades, the use of OpenFOAM as a multi-physics library for nuclear applications has grown from a sporadic use for exploratory studies to a widespread application for the analysis of innovative reactor concepts and highly complex problems. ...

ELSEVIER SCIENCE SA2022

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

A Coarse-mesh Methodology for the Analysis of One and Two-phase Nuclear Reactor Thermal-hydraulics in a Multi-physics Context

Stefan Radman

The analysis of nuclear reactors for performance and safety assessment benefits from the use of computational tools. In this context, this work aims at the development and application of a thermal-hydraulics methodology and related software that respond to ...

EPFL2021

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

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

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

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

EaRL—Software for Earthquake Risk, Loss and Lifecycle Analysis

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

Performance-based earthquake engineering (PBEE) has become an increasingly popular framework to design, retrofit and manage structures. This probabilistic framework integrates data from the seismic hazard, structural response, damage fragility and damage c ...

2020