Publication

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, Anton Stroganov, Ozan Yakar, Christian André Clément Lafforgue, Marco Clementi, Anamika Nair Karunakaran

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, Torstein Ragnar Meling, Anaëlle Olivia Marie Manon

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, Lizeth Gonzalez Carabarin

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, Nikola Obrenovic, Selin Ataç

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