Confluence versus Ample Sets in Probabilistic Branching Time [PDF]
, 2011 To improve the efficiency of model checking in general, and probabilistic model checking in particular, several reduction techniques have been introduced. Two of these, confluence reduction and partial-order reduction by means of ample sets, are based on
Hansen, Henri, Timmer, Mark
core +2 more sources
Do I Sound Sick? Condition‐Dependent Advertisement Signals in Naturally Infected Frogs
Ecology and Evolution, Volume 15, Issue 10, October 2025.To understand whether infection has negative, sublethal effects on frog courtship behaviors, we conducted an observational field study of the effects of infection on spring peepers (Pseudacris crucifer). We found that increasing infection loads were associated with longer call durations in males in good condition, but were associated with shorter call ...
Trina L. Chou +3 more
wiley +1 more source
The Black Hole of Immune Checkpoint Blocking Therapy for Gastric Cancer: Hyperprogressive Disease
Cancer Science, Volume 116, Issue 10, Page 2630-2639, October 2025.This review summarizes the mechanisms, predictive biomarkers, prevention, and treatment methods of HPD after immune checkpoint blockade therapy, providing a theoretical basis for making a judgment on the efficacy of ICI treatment for gastric cancer.
Zhuan‐Fang Wang +7 more
wiley +1 more source
A Monte Carlo model checker for probabilistic LTL with numerical constraints [PDF]
, 2008 We define the syntax and semantics of a new temporal logic called probabilistic LTL with numerical constraints (PLTLc). We introduce an efficient model checker for PLTLc properties.
Donaldson, R, Gilbert, D
core
Causes of Eurasian Winter‐Cooling During the Late 20th and Early 21st Century
Geophysical Research Letters, Volume 52, Issue 18, 28 September 2025.Abstract Pronounced negative trends in wintertime near‐surface temperature have been observed over Eurasia during 1993–2013. It is unclear whether the cooling was due to internal atmospheric variability or forced from either the ocean surface or changes in atmospheric composition. In this study, we use ensembles of atmosphere‐model integrations for the
Abhishek Savita +4 more
wiley +1 more source
Extending the Logic IM-SPDL with Impulse and State Rewards [PDF]
, 2007 This report presents the logic SDRL (Stochastic Dynamic Reward Logic), an extension of the stochastic logic IM-SPDL, which supports the specication of complex performance and dependability requirements.
Haverkort, Boudewijn R., Kuntz, Matthias
core +1 more source
Social Play Behavior Is Critical for the Development of Prefrontal Inhibitory Synapses and Cognitive Flexibility in Rats. [PDF]
J Neurosci, 2022 Bijlsma A +9 more
europepmc +1 more source
High resolution microfluidic assay and probabilistic modeling reveal cooperation between T cells in tumor killing. [PDF]
Nat Commun, 2022 Ronteix G +6 more
europepmc +1 more source
Myeloid-Derived Suppressor-Cell Dynamics Control Outcomes in the Metastatic Niche. [PDF]
Cancer Immunol Res, 2023 Kreger J, Roussos Torres ET, MacLean AL.
europepmc +1 more source