Results 51 to 60 of about 6,312 (121)

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

Single‐Cell Transcriptomics Identifies Novel Prognostic Signatures in HNSCC Immunotherapy Response

Cancer Science, EarlyView.
This study demonstrates the value of combining single‐cell and bulk RNA sequencing approaches to understand HNSCC tumor biology and treatment response. The developed prognostic model and identified immune signatures provide a foundation for improving patient stratification and treatment selection.
Kankui Wu, Xiuzhen Chen, Qiaobin Wu, Bin Liu, Fei Peng, Na Zhang, Yinhong Li, Jing Meng, Mingyu Liu   +8 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

Systemic risk of systemically important financial institutions in the post‐2008 global financial crisis era: A tail risk network analysis

Journal of Risk and Insurance, EarlyView.
Abstract We examine the systemic risk of 46 systemically important financial institutions (SIFIs), that is, 34 global systemically important banks (G‐SIBs) and 12 global systemically important insurers (G‐SIIs) between 2010 and 2023. We use tail risk network‐based systemic risk measures for SIFIs. We find that G‐SIBs' systemic risk is driven by various
Tao Sun
wiley   +1 more source

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

Development and Characterization of a Poly(l‐co‐d,l Lactic Acid‐co‐Trimethylene Carbonate) and Poly(Vinyl Alcohol) Blend for Potential Meniscal Repair

Journal of Applied Polymer Science, Volume 142, Issue 43, November 15, 2025.
Schematic representation of the PLDLA‐TMC/PVA blend structure developed for meniscal repair, highlighting its structural integrity, physicochemical characterizations, and in vitro biological performance. ABSTRACT Meniscal injuries, arising from trauma, aging, or wear, present a significant challenge in modern orthopedics.
Gabriella Monteiro Alves, Renata Leme, Bruna V. Quevedo, Jéssica Asami, Adriana Cristina Motta, Moema de Alencar Hausen, Thais Francine Ribeiro Alves, Marco V. Chaud, Eliana Aparecida de Rezende Duek, Daniel Komatsu   +9 more
wiley   +1 more source

Model-checking branching-time properties of probabilistic automata and probabilistic one-counter automata

, 2015
This paper studies the problem of model-checking of probabilistic automaton and probabilistic one-counter automata against probabilistic branching-time temporal logics (PCTL and PCTL$^*$). We show that it is undecidable for these problems.
Lin, T.
core  

Solvent‐Free Fabrication Methods of Metal Halide Perovskites

Advanced Materials, Volume 37, Issue 40, October 9, 2025.
This review explores the current status of solvent‐free fabrication methods of metal halide perovskites, such as thermal evaporation, magnetron sputtering, pulsed laser deposition, e‐beam and atomic layer deposition, solid phase growth, and laser printing.
Ran Ji, Arindam Mallick, Boris Rivkin, Hurriyet Yuce‐Cakir, Oana D. Jurchescu, Yana Vaynzof   +5 more
wiley   +1 more source

Strain‐Sensitive Thermochromic Smart Electronic Skin for Joint and Spine Healthcare Applications

Advanced Science, Volume 12, Issue 37, October 6, 2025.
iStretch, a multifunctional e‐skin integrating durable strain sensing, adaptive heat therapy, and visual feedback, is presented for joint and spine rehabilitation. Featuring a bilayer graphene–liquid metal design, iStretch offers high sensitivity, real‐time responsiveness, and user interactivity, enabling personalized musculoskeletal care through ...
Shicheng Fan, Shuwen Chen, Zheng Qiao, Jiaming Qi, Zixiong Wu, Chwee Teck Lim   +5 more
wiley   +1 more source

m6A‐modified EHD1 controls PD‐L1 endosomal trafficking to modulate immune evasion and immunotherapy responses in lung adenocarcinoma

Cancer Communications, Volume 45, Issue 10, Page 1285-1308, October 2025.
Abstract Background Eps15 homology domain (EHD) proteins, including EHD1 to EHD4, play vital roles in tumor progression. In this study, we aimed to investigate which specific EHD proteins, if any, are implicated in tumor immune evasion and immunotherapy response.
Fanglin Tian, Jian Huang, Weina Fan, Xin Li, Yuning Zhan, Kexin Zhu, Xiangyu Wang, Xin Hong, Xin Wang, Jin Ren, Ying Xing, Li Cai   +11 more
wiley   +1 more source