Results 61 to 70 of about 19,942 (199)
Understanding the Hygienic Behavioral Dynamics of Ants Using Multi‐State Models
Leaf‐cutting ants adjust grooming to pathogen risk and vulnerable nestmates. Multi‐state Markov models reveal shorter, frequent self‐grooming bouts and reduced allogrooming persistence under stress, optimizing social immunity via stigmergic decision‐making.
Isabella Bueno +5 more
wiley +1 more source
Survivability model for reconfigurable service carrying network based on the stochastic Petri net
Aiming at the defect that the security attribute of RSCN couldn't be described with measurement,a survivabil-ity model for RSCN was proposed based on the stochastic Petri net.Firstly,a non-Markovian stochastic Petri net for RSCN was proposed,and then the
Liang ZHAO, Hong ZOU, Xiao-hui ZHANG
doaj +2 more sources
Flux Analysis in Process Models via Causality
We present an approach for flux analysis in process algebra models of biological systems. We perceive flux as the flow of resources in stochastic simulations. We resort to an established correspondence between event structures, a broadly recognised model
Kahramanoğullari, Ozan
core +2 more sources
Our data show that suppressing IRF2, genetically or by siRNA, modulates PD‐L1 and MHC‐I levels. This induced immune‐evasive state critically underlies the significantly prolonged survival of cardiac allografts, revealing a novel therapeutic avenue.
Li Tian +5 more
wiley +1 more source
A Soft Microrobot for Single‐Cell Transport, Spheroid Assembly, and Dual‐Mode Drug Screening
A soft, untethered hydrogel microrobot enables precise single‐cell delivery, self‐assembly into 3D spheroids, and real‐time thermal actuation. Driven by light‐induced convection and embedded with gold nanorods and temperature sensors, the microrobot guides cells, modulates local microenvironments, and supports drug testing.
Philipp Harder +3 more
wiley +1 more source
Computational models for inferring biochemical networks [PDF]
Biochemical networks are of great practical importance. The interaction of biological compounds in cells has been enforced to a proper understanding by the numerous bioinformatics projects, which contributed to a vast amount of biological information ...
Crina Grosan +20 more
core +1 more source
This study repurposes mitochondrial DNA mutations as endogenous barcodes for lineage tracing in human pluripotent stem cell‐derived organoids. Integrated with transcriptomic and spatial data, it reveals NOTCH‐mediated stromal‐progenitor crosstalk orchestrates clonal dynamics and spatial zonation during early hematopoietic development, offering a non ...
Yan Xue +17 more
wiley +1 more source
Attacks and Defenses in Mobile IP: Modeling with Stochastic Game Petri\n Net [PDF]
Sajedul Talukder +4 more
openalex +2 more sources
CSL model checking of Deterministic and Stochastic Petri Nets [PDF]
Deterministic and Stochastic Petri Nets (DSPNs) are a widely used high-level formalism for modeling discrete-event systems where events may occur either without consuming time, after a deterministic time, or after an exponentially distributed time.
Haverkort, Boudewijn R. +1 more
core +3 more sources
ABSTRACT Cyclic executives (CEs) offer the advantage of ensuring complete determinism with minimal runtime overhead, often making them the preferred choice for safety‐critical real‐time systems. However, generating CEs for multicore processors while addressing task precedence and exclusion relations presents significant challenges.
Bruno Nogueira +4 more
wiley +1 more source

