Results 31 to 40 of about 6,312 (121)
PRISM: a tool for automatic verification of probabilistic systems [PDF]
, 2006 Probabilistic model checking is an automatic formal verification technique for analysing quantitative properties of systems which exhibit stochastic behaviour. PRISM is a probabilistic model checking tool which has already been successfully deployed in a
Hinton, A. +3 more
core +3 more sources
An Algorithm for Probabilistic Alternating Simulation [PDF]
, 2012 In probabilistic game structures, probabilistic alternating simulation (PA-simulation) relations preserve formulas defined in probabilistic alternating-time temporal logic with respect to the behaviour of a subset of players. We propose a partition based
C. Baier +19 more
core +3 more sources
Stability of Organic Photovoltaics: From Root Causes to Advanced Analytical Techniques
Advanced Energy Materials, EarlyView.This review explains the causes and mechanisms of degradation in organic photovoltaics (OPVs). It explores how various factors, including heat, light, oxygen, and inherent material properties, influence OPV stability. The study categorizes degradation pathways and analyzes their impact on device performance, providing insights into the fundamental ...
Yelim Choi +6 more
wiley +1 more source
Simple Detection of Imperfect Charge Extraction at Contacts – Application to Perovskite Solar Cells
Advanced Energy Materials, EarlyView.A novel analytical method is introduced to quantify imperfect charge extraction at solar cell interfaces using internal quantum efficiency measurements under weak and strong absorption. Applied to highly efficient perovskite solar cells, the method reveals imperfect interfacial collection, enabling rapid evaluation and detection of efficiency ...
Kurt Taretto +8 more
wiley +1 more source
Western North Pacific tropical cyclone model tracks in present and future climates [PDF]
, 2017 Western North Pacific tropical cyclone (TC) model tracks are analyzed in two large multimodel ensembles, spanning a large variety of models and multiple future climate scenarios.
Camargo, Suzana J. +13 more
core +4 more sources
Advanced Intelligent Discovery, EarlyView.This study presents an Internet of Things‐based stormwater monitoring framework piloted at the University of Maryland campus to support Municipal Separate Stormwater Sewer System compliance and adaptive planning. Developed with key campus stakeholders, the framework integrates real‐time sensor deployment, data‐informed insights on runoff and water ...
Qianyao Si +16 more
wiley +1 more source
Petri nets for systems and synthetic biology [PDF]
, 2008 We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms.
Donaldson, R, Gilbert, D, Heiner, M
core +1 more source
Annals of Neurology, EarlyView.Objective Blood‐based biomarkers for Alzheimer's disease (AD), representing antemortem indicators of AD pathophysiology, have greatly improved the accuracy of diagnosis. However, these biomarkers may not capture a frequent coincident pathology, such as cerebrovascular disease.
Tamil Iniyan Gunasekaran +12 more
wiley +1 more source
Linking Skin and Joint Inflammation in Psoriatic Arthritis through Shared CD8+ T Cell Clones
Arthritis &Rheumatology, EarlyView.Objective Psoriatic arthritis (PsA) is an HLA class I–associated inflammatory arthritis that develops in up to 30% of people with psoriasis. We tested the hypothesis that skin and joint inflammation in PsA is linked in terms of CD8+ T cell phenotype and clonality.
Lucy E. Durham +14 more
wiley +1 more source
Branching-time model checking of one-counter processes [PDF]
, 2009 One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CTL) over OCPs. A PSPACE upper bound is inherited from the modal mu-calculus
Göller, Stefan, Lohrey, Markus
core +4 more sources