Publications related to Lumpability Abstractions of Rule-based Systems

Related publications (31)

Computational design of complex protein folds and soluble analogs of membrane proteins

Proteins are the molecular machines of life, driving essential biological processes such as enzymatic catalysis, cellular signaling, and immune responses. The ability to design entirely new proteins with desired structures and functions has immense implica ...

EPFL2025

From roots to canopy: Unraveling the influence of species diversity on tree water relations under warmer and drier climates

Eugénie Isabelle Mas

The worsening of drought events with rising air temperature alters tree water relations causing severe hydraulic impairments and widespread forest mortality. Mixing tree species with contrasting hydraulic traits could reduce forest vulnerability to extreme ...

EPFL2024

Tree diversity reduces variability in sapling survival under drought

Jingjing Liang, Charlotte Grossiord

Enhancing tree diversity may be important to fostering resilience to drought-related climate extremes. So far, little attention has been given to whether tree diversity can increase the survival of trees and reduce its variability in young forest plantatio ...

Wiley2024

CONTROL OF HYPERBOLIC AND PARABOLIC EQUATIONS ON NETWORKS AND SINGULAR LIMITS

Nicola De Nitti

vanishing viscosity, networks. This work has received funding from the Alexander von Humboldt-Professorship program, the Transregio 154 Project "Mathematical Modelling, Simulation and Optimization Using the Example of Gas Networks" of the DFG, the grant PI ...

Amer Inst Mathematical Sciences-Aims2024

Invasive palms have more efficient and prolonged CO2 assimilation compared to native sub-Mediterranean vegetation

Charlotte Grossiord, Christoph Bachofen, Janisse Deluigi, Thibaut Michel Georges Juillard

In sub-Mediterranean ecosystems, shade-tolerant broadleaf evergreens, especially the invasive Trachycarpus fortunei, are spreading uncontrollably in the forest understorey, impeding the regeneration of the native deciduous woody vegetation. Most invasive s ...

Elsevier2024

Organ-specific biotransformation in salmonids: Insight into intrinsic enzyme activity and biotransformation of three micropollutants

Kristin Schirmer

Aquatic ecosystems continue to be threatened by chemical pollution. To what extent organisms are able to cope with chemical exposure depends on their ability to display mechanisms of defense across different organs. Among these mechanisms, biotransformatio ...

Elsevier2024

FETCH: A Fast and Efficient Technique for Channel Selection in EEG Wearable Systems

David Atienza Alonso, Amir Aminifar, José Angel Miranda Calero, Alireza Amirshahi, Jonathan Dan

The rapid development of wearable biomedical systems now enables real-time monitoring of electroencephalography (EEG) signals. Acquisition of these signals relies on electrodes. These systems must meet the design challenge of selecting an optimal set of el ...

2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

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

On the selection and effectiveness of pseudo-absences for species distribution modeling with deep learning

Devis Tuia, Benjamin Alexander Kellenberger, Nina Marion Aurélia Van Tiel, Lloyd Haydn Hughes, Robin Adrien Zbinden

Species distribution modeling is a highly versatile tool for understanding the intricate relationship between environmental conditions and species occurrences. However, the available data often lacks information on confirmed species absence and is limited ...

Elsevier2024

HaloTag-Based Tools for Live-Cell Imaging and Elucidation of Organellar Redox Biology

Sarah Emmert

Redox homeostasis is a key factor in maintaining cellular function and health. The main determinant of the intracellular redox potential is ubiquitous glutathione (GSH) together with its oxidized dimer (GSSG). Importantly, both redox equilibrium and GSH ho ...

EPFL2024

Ancestral genome reconstruction enhances transposable element annotation by identifying degenerate integrants

Wayo Matsushima, Didier Trono, Evaristo Jose Planet Letschert

Growing evidence indicates that transposable elements (TEs) play important roles in evolution by providing genomes with coding and non-coding sequences. Identification of TE-derived functional elements, however, has relied on TE annotations in individual s ...

2024

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

Alireza Modirshanechi

Human babies have a natural desire to interact with new toys and objects, through which they learn how the world around them works, e.g., that glass shatters when dropped, but a rubber ball does not. When their predictions are proven incorrect, such as whe ...

EPFL2024

Functional-Basis Analysis of Non-Stationary Signals in Modern Power Grids: Theory and Implementation in Embedded Systems

Alexandra Cameron Karpilow

Situational awareness strategies are essential for the reliable and secure operation of the electric power grid which represents critical infrastructure in modern society. With the rise of converter-interfaced renewable generation and the consequent shift ...

EPFL2024

Engineering hydrogel microenvironments for epithelial organoid culture

Antonius Chrisnandy

Organoids, miniature tissues generated from self-organizing stem cells within three-dimensional (3D) extracellular matrices (ECM), have opened up exciting possibilities for in vitro studies of complex physiological processes. A key factor in the success of ...

EPFL2024

Computational drug development for membrane protein targets

Pierre Vogel, Henning Paul-Julius Stahlberg, Shuguang Yuan, Dongchun Ni, Babatunde Edukpe Ekundayo

The application of computational biology in drug development for membrane protein targets has experienced a boost from recent developments in deep learning-driven structure prediction, increased speed and resolution of structure elucidation, machine learni ...

2024

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

The autism susceptibility kinase, TAOK2, phosphorylates eEF2 and modulates translation

Nagammal Neelagandan

Genes implicated in translation control have been associated with autism spectrum disorders (ASDs). However, some important genetic causes of autism, including the 16p11.2 microdeletion, bear no obvious connection to translation. Here, we use proteomics, g ...

Amer Assoc Advancement Science2024

Androgen Receptor Signaling in in vivo models of Estrogen Receptor-positive Breast Cancer and Normal Breast Epithelium

Andrea Agnoletto

Steroid hormone receptors (HRs) are ligand-activated transcription factors that play a pivotal role in breast development and carcinogenesis. It is well established that estrogen receptor (ER) signaling is a major proliferative driver in estrogen receptor ...

EPFL2024

Prolamins' 3D structure: A new insight into protein modeling using the language of numbers and shapes

Niloufar Sharif

This study combined protein modeling methods to generate the prolamins' fractions as precise as possible. Hence, gliadins, zeins, kafirins, hordeins, secalins, avenins and oryzins were generated based on their characteristics and disulfide mapping. Finding ...

Elsevier Sci Ltd2024

Fish Diversity in Relation to Littoral Habitats in Three Basins of Lake Kivu (East Africa)

Alfred Johny Wüest

In total, 28 of the 29 fish species reported from the Lake Kivu basin occur in the littoral zone of the lake, but information about their structure, occurrence, and the habitats affecting their distribution is largely lacking. The lake's inshore area is po ...

MDPI2023