Results 41 to 50 of about 6,408 (118)

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

Computational design of two‐dimensional MA2Z4 family field‐effect transistor for future Ångström‐scale CMOS technology nodes

InfoMat, EarlyView.
Two‐dimensional MA2Z4 such as MoSi2N4 offer a new path to extend transistor scaling beyond the limits of silicon. Due to their exceptional properties, these 2D semiconductors are promising candidates for future Ångström‐scale CMOS technology. This review outlines the computational design and roadmap bridging materials discovery, device design and ...
Che Chen Tho, Zongmeng Yang, Shibo Fang, Shiying Guo, Liemao Cao, Chit Siong Lau, Fei Liu, Shengli Zhang, Jing Lu, L. K. Ang, Lain‐Jong Li, Yee Sin Ang   +11 more
wiley   +1 more source

Advances and Prospects of Stereotactic Radiosurgery and Stereotactic Ablative Body Radiotherapy: Evolving Paradigms in Precision Oncology

Med Research, EarlyView.
The graphical abstract outlines the progressive development and impact of stereotactic radiosurgery (SRS) and stereotactic body radiotherapy (SBRT). Technological Evolution illustrates the transition from brachytherapy with single‐dose, LDR/HDR schedules to fractionated radiotherapy, three‐dimensional conformal radiotherapy (3DCRT) and Gamma Knife ...
Jing Zhang, Wenhao Xu, Weiqing Lu, Yingxuan Lin, Luoxi He, Zonglin Lv, Yiliyaer Nuerrula, Zouting, Zhen Zhang, Hailiang Zhang, Xuejun Ma   +10 more
wiley   +1 more source

Pair‐Feeding Study Designs Can Create Biases and Inflate Type I Error Rates: A Simulation Study

Obesity, EarlyView.
ABSTRACT Objective Pair‐feeding is a study design element where one group's food intake is provided to another group to assess whether a treatment effect is independent of food intake. Investigators often assume equivalent food intake across experimental conditions and exclude it from the statistical analysis.
Wasiuddin Najam, Daniel E. Kpormegbey, Deependra K. Thapa, Bret Rust, Lilian Golzarri‐Arroyo, Lance H. Baumgard, Louis Wai‐Tong Fan, Joseph G. Ibrahim, Edith J. Mayorga, David B. Allison   +9 more
wiley   +1 more source

QuantUM: Quantitative Safety Analysis of UML Models

, 2011
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable.
A. Aziz, A. Hinton, Adnan Aziz, Christel Baier, D. Latella, David Nicolaas Jansen, E. M. Clarke, Florian Leitner-Fischer, Florian Leitner-Fischer, Gethin Norman, H. Aljazzar, H. Boudali, Husain Aljazzar, Husain Aljazzar, I. Majzik, J.Y. Halpern, Lars Grunske, Lars Grunske, Leslie Lamport, M. Ajmone Marsan, Mieke Massink, S. Bernardi, Stefan Leue, V.G. Kulkarni   +23 more
core   +2 more sources

Interferon Regulatory Factor 2 (IRF2) Suppression Enhances Murine Cardiac Allograft Survival Through Immune Evasion

Immunology, EarlyView.
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, Man Zhang, Yuliang Guo, Sheng Chang, Zhonghua Klaus Chen, Hongmin Zhou   +5 more
wiley   +1 more source

Structural characterization of newt tendon regeneration after complete transection: In vivo two‐photon imaging and transmission electron microscopy

Journal of Anatomy, EarlyView.
The present study characterized newt digital flexor tendon regeneration structurally at both micro‐ and nanoscales following complete transection and suggested that the mechanism of tissue regeneration differs between the early phase (until 6 weeks) and the late phase (after 6 weeks). Tendon stubs remained separated for up to 2 weeks after transection,
Tomoka Kamiya, Yusaku Ito, Tomohito Iwasaki, Daisuke Suzuki, Toshinori Hayashi, Jeonghyun Kim, Takeo Matsumoto, Eijiro Maeda   +7 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

Systemic, Lifestyle and Environmental Modifying Factors in the Pathogenesis of Periodontitis

Journal of Periodontal Research, EarlyView.
A variety of impacting factors in the pathogenesis of periodontitis exist, including systemic, lifestyle, and environmental factors. This review highlights the manifold mechanistic aspects of the link between the pathogenesis of periodontitis, addressing these numerous factors to supplement the long‐standing knowledge of the progression of the disease.
Groeger Sabine Elisabeth, Zhou Yuxi, Yong Jiawen, Wang Lei, Ruf Sabine, Meyle Joerg   +5 more
wiley   +1 more source

Stability of Organic Photovoltaics: From Root Causes to Advanced Analytical Techniques

Advanced Energy Materials, Volume 16, Issue 3, 21 January 2026.
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, Dohyun Kim, Seung Un Ryu, Hangyeol Kim, Sungryong Kim, Minjun Kim, Taiho Park   +6 more
wiley   +1 more source