Results 31 to 40 of about 6,408 (118)
Quantitative model checking of continuous-time Markov chains against timed automata specifications [PDF]
, 2009 We study the following problem: given a continuous-time Markov chain (CTMC) C, and a linear real-time property provided as a deterministic timed automaton (DTA) A, what is the probability of the set of paths of C that are\ud accepted by A (C satisfies A)?
Chen, Taolue +3 more
core +4 more sources
Tandem Takeoff: Powering Tomorrow with Industrial‐Grade Perovskite/Silicon Solar Cells
Advanced Energy Materials, EarlyView.Perovskite/silicon tandem solar cells have recently achieved certified power conversion efficiencies of 34.85%, far exceeding the Shockley‐Queisser limit for single‐junction silicon and standalone perovskite cells. This review highlights the latest advances in the design, integration, and optimization of perovskite top cells for monolithic tandem ...
Maria Vasilopoulou +19 more
wiley +1 more source
High-level Counterexamples for Probabilistic Automata [PDF]
, 2015 Providing compact and understandable counterexamples for violated system properties is an essential task in model checking. Existing works on counterexamples for probabilistic systems so far computed either a large set of system runs or a subset of the ...
Jansen, Nils +3 more
core +1 more source
Copper Contact for Perovskite Solar Cells: Properties, Interfaces, and Scalable Integration
Advanced Energy and Sustainability Research, EarlyView.Copper electrodes, as low‐cost, scalable contacts for perovskite solar cells, offer several advantages over precious metals such as Au and Ag, including performance, cost, deposition methods, and interfacial engineering. Copper (Cu) electrodes are increasingly considered practical, sustainable alternatives to noble‐metal contacts in perovskite solar ...
Shuwei Cao +4 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
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
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
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
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
Helvetica Chimica Acta, EarlyView.This review highlights the expanding applications of imidazole‐based compounds in sustainable chemistry and energy technologies. It emphasizes their roles in catalysis, solar cells, and future interdisciplinary strategies for developing advanced functional materials.
Lianghui Li +4 more
wiley +1 more source