Results 41 to 50 of about 6,312 (121)

Probabilistic regular graphs [PDF]

, 2010
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extension of regular graphs obtained by labelling the terminal arcs of the graph ...
Bertrand, Nathalie, Morvan, Christophe
core   +5 more sources

Overcoming strain‐induced vertical inhomogeneity in perovskite films for all‐perovskite tandem solar cells

InfoMat, EarlyView.
Perovskite films were found to require different‐sized passivation molecules at the top and bottom surfaces because crystal spacing varies through the film thickness. With this two‐sided passivation applied to both the high‐ and low‐bandgap layers in an all‐perovskite tandem solar cell, 27.5% efficiency was achieved.
Hansol Park, Dong Gyu Lee, Yoonsung Kim, Hakjun Kim, Jun Hyeok Choi, Jieon Kim, Soobin Heo, Tae Kyung Lee, Hui Joon Park   +8 more
wiley   +1 more source

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints

, 2017
Markov decision processes (MDPs) are the standard formalism for modelling sequential decision making in stochastic environments. Policy synthesis addresses the problem of how to control or limit the decisions an agent makes so that a given specification ...
A Kučera, C Baier, C Courcoubetis, E Altman, J Kemeny, M Kwiatkowska, M Kwiatkowska, T Brázdil, T Brázdil, T Brázdil, V Forejt, XC Ding   +11 more
core   +1 more source

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, Han, Tingting, Katoen, Joost-Pieter, Mereacre, Alexandru   +3 more
core   +4 more sources

Cold atmospheric plasma combined with nanoparticles in cancer therapy

Interdisciplinary Medicine, EarlyView.
Cold atmospheric plasma (CAP) generates a range of reactive oxygen and nitrogen species (RONS), including singlet oxygen (1O2), hydrogen peroxide (H2O2), hydroxyl radicals (·OH), nitrate (NO3− ${{\text{NO}}_{3}}^{-}$), and nitrite (NO2− ${{\text{NO}}_{2}}^{-}$), which induce oxidative stress and apoptosis in cancer cells.
Yunhao Wang, Fei Cao, Gbenga A. Martins, Qiujie Fang, Yifan Lin, Zhaowei Chen, Guojun Chen, Zhitong Chen   +7 more
wiley   +1 more source

New trend in molecular diagnostics: Insights from the tumor microenvironment

Interdisciplinary Medicine, EarlyView.
The graphical abstract outline the key elements in TME‐based molecular diagnostics, including biomarker exploration, diagnostic methods, and diagnostic models. Source: Created with BioRender.com. Abstract Molecular diagnosis has revolutionized cancer precision medicine.
Baiyuan Fan, Jiahui Zhang, Chong Li, Xu Zhang   +3 more
wiley   +1 more source

Device Modeling and Performance Enhancement of Ecologically Viable CsGeI3‐Based Perovskite Solar Cells: A Detailed Investigation of Charge Transport Layer Technology

Nano Select, EarlyView.
J‐V characteristics curve of the final optimized structure (Au/CuI/CsGeI3/WS2/ITO). ABSTRACT The development process of environmentally friendly and sustainable perovskite solar cells (PSCs) necessitates substitutes for harmful lead (Pb) and unstable tin (Sn) based absorber materials.
Rabeya Khan, I. K. Gusral Ghosh Apurba, Rahat Ul Nasib, Mohammad Arefin, Md Rifatul Islam, Abu Zahid, Jehan Y. Al‐Humaidi, Md Rasidul Islam   +7 more
wiley   +1 more source

Band and Field Coengineered Charge Trap Memristor via Au Nanoparticle Layer for Programming Speed Enhancement

Small Science, EarlyView.
The Pt/Ta2O5/Nb2O5−x/Au nanoparticles/Al2O3−y/Ti charge trap memristor (CTM) demonstrates faster and energy‐efficient operation compared to its counterpart without Au nanoparticles. This improvement is attributed to the synergistic effects of localized electric field enhancement and optimized electron trapping via band engineering. The findings present
Geunyoung Kim, Jiyul Park, Woojoon Park, Myeongchan Ko, Min Gu Lee, Hangyu Cho, Kyung Min Kim   +6 more
wiley   +1 more source

Bisimulations and Logical Characterizations on Continuous-time Markov Decision Processes

, 2013
In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with respect to the continuous-time stochastic logic (CSL).
Godskesen, Jens Chr., Song, Lei, Zhang, Lijun   +2 more
core   +3 more sources

A densely sampled nuclear phylogenomic analysis of the coryphoid palms (Arecaceae: Coryphoideae)

TAXON, EarlyView.
Abstract The palm family (Arecaceae) has a rich history of phylogenetic research, including several recent phylogenomic studies. However, densely sampled phylogenomic datasets for larger palm clades – such as subfamilies – are still few in number. We used target sequence capture to obtain data for 971 nuclear genes across 421 (ca.
Oscar Wrisberg, Peter Petoe, Paola de Lima Ferreira, Christine D. Bacon, Anders S. Barfod, Sidonie Bellot, Ángela Cano, Thomas L.P. Couvreur, John Dransfield, Andrew Henderson, Fred W. Stauffer, William J. Baker, Wolf L. Eiserhardt   +12 more
wiley   +1 more source