Publications associées à Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models

Publications associées (28)

Orthologic with Axioms

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

Dissipative Kerr soliton generation at 2μm in a silicon nitride microresonator

Camille Sophie Brès, Marco Clementi, Ozan Yakar, Anton Stroganov, Christian André Clément Lafforgue

Chip -scale optical frequency combs enable the generation of highly -coherent pulsed light at gigahertz-level repetition rates, with potential technological impact ranging from telecommunications to sensing and spectroscopy. In combination with techniques ...

Optica Publishing Group2024

An objective skill assessment framework for microsurgical anastomosis based on ALI scores

Aude Billard, Kunpeng Yao, Soheil Gholami

IntroductionThe current assessment and standardization of microsurgical skills are subjective, posing challenges in reliable skill evaluation. We aim to address these limitations by developing a quantitative and objective framework for accurately assessing ...

Springer Wien2024

Low-energy Electron Holography Microscope for Imaging of Single Molecules

Sven Alexander Szilagyi

Structure determination techniques are an essential tool to investigate and understand molecules, especially in biology, where functionality crucially depends on structure. The dominant high-resolution methods, such as transmission electron microscopy and ...

EPFL2022

Extracting phylogenetic dimensions of coevolution reveals hidden functional signals

Anne-Florence Raphaëlle Bitbol

Despite the structural and functional information contained in the statistical coupling between pairs of residues in a protein, coevolution associated with function is often obscured by artifactual signals such as genetic drift, which shapes a protein's ph ...

Nature Portfolio2022

Modeling non-covalent interactions in condensed phase

Veronika Juraskova

The modeling of non-covalent interactions, solvation effects, and chemical reactions in complex molecular environment is a challenging task. Current state-of-the-art approaches often rely on static computations using implicit solvent models and harmonic ap ...

EPFL2022

Dynamic Probabilistic Pruning: A General Framework for Hardware-Constrained Pruning at Different Granularities

Alexandre Schmid

Unstructured neural network pruning algorithms have achieved impressive compression ratios. However, the resulting-typically irregular-sparse matrices hamper efficient hardware implementations, leading to additional memory usage and complex control logic t ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Catalyzing Bond-Dissociation in Graphene via Alkali-Iodide Molecules

Klaus Kern, Stephan Rauschenbach, Sabine Abb, Sven Alexander Szilagyi, Hannah Julia Ochner

Atomic design of a 2D-material such as graphene can be substantially influenced by etching, deliberately induced in a transmission electron microscope. It is achieved primarily by overcoming the threshold energy for defect formation by controlling the kine ...

WILEY-V C H VERLAG GMBH2021

Studies of cold chemistry in crossed and merged neutral beams

Silvia Tanteri

In this thesis we present the design of two setups to study low-energy collisions between neutral species: an electron velocity map imaging for chemi-ionisation reactions and a merged electrostatic guide for polar molecules scattering. In the past few yea ...

EPFL2021

Vehicle sharing systems: A review and a holistic management framework

Michel Bierlaire, Selin Ataç, Nikola Obrenovic

Although different vehicle sharing systems (VSSs) use different vehicle types, the management challenges and optimization problems to be solved are similar or even the same. This observation led us to create a generalized and holistic VSS management framew ...

2021

Atomic data for the

Carmela Lardo

Context. We describe the atomic and molecular data that were used for the abundance analyses of FGK-type stars carried out within the Gaia-ESO Public Spectroscopic Survey in the years 2012 to 2019. The Gaia-ESO Survey is one among several current and futur ...

EDP SCIENCES S A2021

Recursive Input And State Estimation: A General Framework For Learning From Time Series With Missing Data

Robert West, Alberto Garcia Duran

Time series with missing data are signals encountered in important settings for machine learning. Some of the most successful prior approaches for modeling such time series are based on recurrent neural networks that transform the input and previous state ...

IEEE2021

Predicting exposure concentrations of chemicals with a wide range of volatility and hydrophobicity in different multi-well plate set-ups

Kristin Schirmer, Julita Maria Stadnicka-Michalak

Quantification of chemical toxicity in small-scale bioassays is challenging owing to small volumes used and extensive analytical resource needs. Yet, relying on nominal concentrations for effect determination maybe erroneous because loss processes can sign ...

NATURE RESEARCH2021

Learning the Exciton Properties of Azo-dyes

Anne-Clémence Corminboeuf, Alberto Fabrizio, Sergio Vela Llausi, Ksenia Briling

The ab initio determination of electronic excited state (ES) properties is the cornerstone of theoretical photochemistry. Yet, traditional ES methods become impractical when applied to fairly large molecules, or when used on thousands of systems. Machine l ...

AMER CHEMICAL SOC2021

Max-infinitely divisible models and inference for spatial extremes

Raphaël Huser, Emeric Rolland Georges Thibaud

For many environmental processes, recent studies have shown that the dependence strength is decreasing when quantile levels increase. This implies that the popular max-stable models are inadequate to capture the rate of joint tail decay, and to estimate jo ...

WILEY2021

Local Vulnerabilities and Global Robustness of Coupled Dynamical Systems on Complex Networks

Melvyn Sandy Tyloo

Coupled dynamical systems are omnipresent in everyday life. In general, interactions between individual elements composing the system are captured by complex networks. The latter greatly impact the way coupled systems are functioning and evolving in time. ...

EPFL2020

Species conservation in the face of global environmental changes: surface-based modelling of geo-environmental data to identify vulnerable populations

Estelle Rochat

Human activities are resulting in many land-use changes, particularly due to urbanisation and intensification of agricultural practices. Because of these changes, in addition to climate change, many species are facing habitat degradation. In order to avoid ...

EPFL2020

Healthy Operator 4.0: A Human Cyber-Physical System Architecture for Smart Workplaces

Xiaochen Zheng

Recent advances in technology have empowered the widespread application of cyber-physical systems in manufacturing and fostered the Industry 4.0 paradigm. In the factories of the future, it is possible that all items, including operators, will be equipped ...

2020

Model-based predictive control methods for distributed energy resources in smart grids

Luca Fabietti

This thesis develops optimization-based techniques for the control of distributed energy resources to provide multiple services to the power network. It is divided into three parts. The first part of this thesis focuses on the development of a framework f ...

EPFL2019

On flow duration curve modelling in Alpine catchments

Ana Clara Pereira Barbosa Santos

Mountain regions are considered to be the natural "water towers" of the world due to their importance as sources of many rivers. Reliable tools to estimate the availability and variability of streamflows in such regions are still rare. In this context, the ...

EPFL2019