Publications associées à Risk assessment in a chemical plant with a CPN-HAZOP Tool

Collimation simulations for the FCC-ee

Tatiana Pieloni, Félix Simon Carlier, Guillaume Clément Broggi, Milica Rakic, Giovanni Iadarola, Bruce Roderik

The collimation system of the Future Circular Collider, operating with leptons (FCC-ee), must protect not only the experiments against backgrounds, but also the machine itself from beam losses. With a 17.8 MJ stored energy of the electron and positron beam ...

Iop Publishing Ltd2024

Development and clinical validation of computational imaging biomarkers for neurodegenerative diseases

Veronica Lily Ravano

Neurodegenerative and neuroinflammatory disorders often involve complex pathophysiological mechanisms that are â to this date â only partially understood. A more comprehensive understanding of those microstructural processes and their characterization ...

EPFL2024

Using automated design appraisal to model building-specific devaluation risk due to land-use change

Adam Robert Swietek

Uncertainty of spillover effects – including property devaluation - from proposed land-use change elicits opposition to local development. This hinders cities’ ability to implement land-use policy aimed at housing affordability and environmental sustainabi ...

2024

From low-rank retractions to dynamical low-rank approximation and back

Daniel Kressner, Axel Elie Joseph Séguin, Gianluca Ceruti

In algorithms for solving optimization problems constrained to a smooth manifold, retractions are a well-established tool to ensure that the iterates stay on the manifold. More recently, it has been demonstrated that retractions are a useful concept for ot ...

Springer2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Decarbonizing the fertilizers sector: an alternative pathway for urea and nitric acid production

François Maréchal, Daniel Alexander Florez Orrego, Meire Ellen Gorete Ribeiro Domingos

In order to alleviate the environmental impact that nitrogen fertilizers production is responsible for, several efforts have been addressed to incentivize the partial or total decarbonization of the supply chains of ammonia and its derivatives. The decarbo ...

2024

A Distributed Augmenting Path Approach for the Bottleneck Assignment Problem

Tony Alan Wood

We develop an algorithm to solve the bottleneck assignment problem (BAP) that is amenable to having computation distributed over a network of agents. This consists of exploring how each component of the algorithm can be distributed, with a focus on one com ...

Ieee-Inst Electrical Electronics Engineers Inc2024

Modular segmentation, spatial analysis and visualization of volume electron microscopy datasets

Martin Weigert

Volume electron microscopy is the method of choice for the in situ interrogation of cellular ultrastructure at the nanometer scale, and with the increase in large raw image datasets generated, improving computational strategies for image segmentation and s ...

Nature Portfolio2024

Structural Insights into Electrophiles and Electrophilic Metabolites Sensing and Signaling: The Missing Information

Chloé Rogg, Yimon Aye

Native reactive electrophilic species (RES) are long-recognized regulators of pathophysiology; yet, knowledge surrounding how RES regulate context-specific biology remains limited. The latest technological advances in profiling and precision decoding of RE ...

WILEY-V C H VERLAG GMBH2023

Safety risk management in University laboratories

Anastasia Jung

Risk management has become an essential element in the functioning of modern society. Correct risk identification and assessment are undoubtedly crucial to improving overall safety; nevertheless, often, it is accompanied by the wrong selection of correctiv ...

EPFL2023

Capturing Types

Martin Odersky, Ondrej Lhoták, Aleksander Slawomir Boruch-Gruszecki

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

Safety climate in university laboratories. Part I: model development and practical application

Thierry Meyer, Anastasia Jung

Safety climate assessment has become a regular practice for most organisations. However, it is often limited to questionnaires, providing only qualitative information. The indicator-based approach takes precedence over decision-making, and practical risk a ...

2023

Media Coverage of 3D Visual Tools Used in Urban Participatory Planning

Jens Ingensand, Thibaud Nicolas Chassin

The opportunities provided by adopting digitally-generated visual tools in urban participatory planning are compelling. These visual tools can promote interactions between authorities and citizens and among citizens. However, the urban participatory practi ...

IGI GLOBAL2023

Numerical tools for burning plasmas

Laurent Villard, Alberto Bottino, Jonathan Graves, Ben McMillan, Emmanuel Lanti, Emanuele Poli, Xiao Wang, Baruch Rofman

The software stack under development within a European coordinated effort on tools for burning plasma modelling is presented. The project is organised as a Task (TSVV Task 10) under the new E-TASC initiative (Litaudon et al 2022 Plasma Phys. Control. Fusio ...

IOP Publishing Ltd2023

Combining European and US risk prediction models with polygenic risk scores to refine cardiovascular prevention: the CoLaus|PsyCoLaus Study

Stéphane Fournier, Roxane De La Harpe, Jacques Fellay, Christian Axel Wandall Thorball

Lay Summary The aim of this study is to determine whether using polygenic risk scores improves the prediction of atherosclerotic cardiovascular disease risk when combined with clinical scores currently recommended by European and US guidelines on cardiovas ...

OXFORD UNIV PRESS2023

Assessing the readiness of municipalities for digital process innovation

Mert Duygan

Pre-adoption phases of innovation are understudied in the innovation literature. This article addresses preadoption phases of innovation by running a prospective analysis. We assess the readiness of municipalities for the adoption of a digital tool that br ...

ELSEVIER SCI LTD2023

Understanding Revision Behavior in Adaptive Writing Support Systems for Education

Tanja Christina Käser Jacober, Paola Mejia Domenzain, Luca Mouchel, Thiemo Wambsganss

Revision behavior in adaptive writing support systems is an important and relatively new area of research that can improve the design and effectiveness of these tools, and promote students' self-regulated learning (SRL). Understanding how these tools are u ...

Zenodo2023

Digital Intervention for Collaborative and Human-Centered Activities in Design-Based Learning Scenarios

Denis Gillet, Isabelle Barbara Marie-Hélène Cardia

Training science and engineering students to become responsible citizens and professionals requires novel and creative pedagogical approaches, such as design thinking. This concept relies on processes and tools to develop creativity and problem-solving ski ...

IEEE2023

ROSMOSE: A Web-based Optimization Tool to Aid Decision-making for the Design and Operation of Industrial and Urban Energy Systems

François Maréchal, Cédric Terrier, Daniel Alexander Florez Orrego, Michel Lopez, Meire Ellen Gorete Ribeiro Domingos

Energy efficiency is crucial for the sustainable operation of all industrial and urban sectors. However, practicing engineers have seldom access to open-source tools that can readily evaluate and compare scenarios in terms of energy consumption, cost, and ...

2023

Evaluation of teachers’ orchestration tools usage in robotic classrooms

Pierre Dillenbourg, Sina Shahmoradi, Barbara Bruno, Aditi Kothiyal

Teachers’ self-efficacy in managing classrooms is an important consideration when it comes to bringing educational robots to classrooms. Orchestration tools support teachers by providing awareness indicators of students’ progress as well as levers to contr ...

2023