Results 91 to 100 of about 37,638 (267)
High‐throughput single‐cell analysis of resuscitating bacteria reveals a starvation‐history‐dependent transiently tolerant subpopulation that survives β$\beta$‐lactam exposure by temporarily reducing growth. Distinct from classical persisters, these actively growing yet dynamically modulated cells dominate survival across clinically relevant antibiotic
Kieran Abbott +5 more
wiley +1 more source
Mapping the “Supply–Demand–Flow” of Ecosystem Services for Ecosystem Management in China
This study develops a “supply–demand–flow” framework clarifies how ecosystem services move between regions by distinguishing potential and actual supply and demand. Using integrated biophysical–socioeconomic modeling, nine services in China were mapped.
Yikun Zhang +3 more
wiley +1 more source
Integrating semi-formal and formal requirements
In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed.
Wieringa, Roelf J. +2 more
openaire +1 more source
Legal certainty as a requirement for the formalization of legal norms
Purpose. The purpose of the article is to define and disclose the basic requirements of the principle of legal certainty in the context of formalization of legal norms. Methodology.
Adaskalytsia K.
core +1 more source
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley +1 more source
Cross‐Modal Denoising and Integration of Spatial Multi‐Omics Data with CANDIES
In this paper, we introduce CANDIES, which leverages a conditional diffusion model and contrastive learning to effectively denoise and integrate spatial multi‐omics data. We conduct extensive evaluations on diverse synthetic and real datasets, CANDIES shows superior performance on various downstream tasks, including denoising, spatial domain ...
Ye Liu +5 more
wiley +1 more source
A Formalization of Transition P Systems
In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: transition P systems as they were given in [3], addressed with completely different ...
Sancho Caparrini, Fernando +1 more
core
Logika chronologiczna i jej zastosowania w analizie niektórych rozumowań prawniczych [Chronological logic and its applications in the analysis of some legal reasoning] [PDF]
The article is devoted to chronological logic and its applications in the analysis of legal reasoning. In Part I of the paper, there is given that time plays an important role in statutory law, in language of the law and in legal language appear many ...
Anna Kozanecka-Dymek
doaj
This review explores how hemoglobin‐based oxygen carriers (HBOCs) combined with nanozymes create multifunctional materials that deliver oxygen while maintaining redox homeostasis. Beyond artificial blood substitutes, these constructs enable wound healing with light‐triggered oxygen release, cancer therapy through enhanced oxygenation and reactive ...
Despoina Douka +4 more
wiley +1 more source
Modelling rational user behaviour as games between an angel and a demon
Formal models of rational user behavior are essential for user-centered reasoning about interactive systems. At an abstract level, planned behavior and reactive behavior are two important aspects of the rational behavior of users for which existing ...
Curzon, P. +5 more
core +1 more source

