Publications associées à Lumpability Abstractions of Rule-based Systems

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

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

Charlotte Grossiord, Jingjing Liang, Xiaojuan Liu

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, Thibaut Michel Georges Juillard, Janisse Deluigi, Marco Conedera

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, Juliane Hollender

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, Alireza Amirshahi, José Angel Miranda Calero, 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, Nina Marion Aurélia Van Tiel, Benjamin Alexander Kellenberger, Robin Adrien Zbinden, Lloyd Haydn Hughes

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

2024

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

Computational drug development for membrane protein targets

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

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