Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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. ...

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 ...

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 ...

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 ...

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 ...

Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models

Chat with Graph Search

Orthologic with Axioms

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

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

Low-energy Electron Holography Microscope for Imaging of Single Molecules

Extracting phylogenetic dimensions of coevolution reveals hidden functional signals

Modeling non-covalent interactions in condensed phase

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

Catalyzing Bond-Dissociation in Graphene via Alkali-Iodide Molecules

Studies of cold chemistry in crossed and merged neutral beams

Vehicle sharing systems: A review and a holistic management framework

Atomic data for the

Max-infinitely divisible models and inference for spatial extremes

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

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

Learning the Exciton Properties of Azo-dyes

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

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

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

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

On flow duration curve modelling in Alpine catchments