Results 1 to 10 of about 6,312 (121)

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively.
Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki   +2 more
doaj   +1 more source

A biased competition theory of cytotoxic T lymphocyte interaction with tumor nodules. [PDF]

PLoS ONE, 2015
The dynamics of the interaction between Cytotoxic T Lymphocytes (CTL) and tumor cells has been addressed in depth, in particular using numerical simulations.
Claire Christophe, Sabina Müller, Magda Rodrigues, Anne-Elisabeth Petit, Patrick Cattiaux, Loïc Dupré, Sébastien Gadat, Salvatore Valitutti   +7 more
doaj   +1 more source

Debugging of Markov Decision Processes (MDPs) Models [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
In model checking, a counterexample is considered as a valuable tool for debugging. In Probabilistic Model Checking (PMC), counterexample generation has a quantitative aspect. The counterexample in PMC is a set of paths in which a path formula holds, and
Hichem Debbi
doaj   +1 more source

Qualitative Logics and Equivalences for Probabilistic Systems [PDF]

Logical Methods in Computer Science, 2009
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized CTL (QRCTL): formulas of this logic can express the fact that certain temporal properties hold ...
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay   +3 more
doaj   +1 more source

Predicting progression of Alzheimer's disease using ordinal regression.

PLoS ONE, 2014
We propose a novel approach to predicting disease progression in Alzheimer's disease (AD)--multivariate ordinal regression--which inherently models the ordered nature of brain atrophy spanning normal aging (CTL) to mild cognitive impairment (MCI) to AD ...
Orla M Doyle, Eric Westman, Andre F Marquand, Patrizia Mecocci, Bruno Vellas, Magda Tsolaki, Iwona Kłoszewska, Hilkka Soininen, Simon Lovestone, Steve C R Williams, Andrew Simmons   +10 more
doaj   +1 more source

Functional Materials for Environmental Energy Harvesting in Smart Agriculture via Triboelectric Nanogenerators

Advanced Functional Materials, EarlyView.
This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva, Giulio Fatti, Emanuel Carlos, Guilherme Ferreira, Sumita Goswami, Suman Nandy, Luiz H. C. Mattoso, Elvira Fortunato, Caio G. Otoni, Rodrigo Martins   +9 more
wiley   +1 more source

Optimized Monothiol Thioredoxin Derivative (ORP100S) Protects In Vitro and In Vivo from Radiation and Chemotoxicity Without Promoting Tumor Proliferation

Advanced Science, EarlyView.
Native thioredoxin‐1 (TRX) stimulates proliferation and rescues stem cells and cancer cells from multiple stressors by suppressing p53 and inhibiting ferroptosis via GPX4/SLC7A11 upregulation mediated by enhanced KLF4 expression and p53 promoter binding.
Jian Wu, Xiaobei Wang, Parker Mathews, Shaima Jabbar, Min Zhang, Haim Moskowitz, Wei Duan, David P. Nichols, George William Schaaf, John D. Olson, Andrew N. Macintyre, J. Daniel Bourland, Ivan Spasojevic, Jen‐Tsan Ashley Chi, Joel Ross, Nelson Chao, J. Mark Cline, Peter B. Heifetz, Yubin Kang   +18 more
wiley   +1 more source

Spatial Transcriptional Dynamics of CD74⁺ B Cells in Tertiary Lymphoid Structures Drive Immune Evolution in Penile Squamous Cell Carcinoma

Advanced Science, EarlyView.
In penile squamous cell carcinoma, a higher tertiary lymphoid structure score is associated with improved survival. This is mediated by CD74⁺ B cells, which exhibit early developmental plasticity and the ability to differentiate into plasma cells. Functioning as a molecular switch, these cells activate naive T cells via HLA‐DRA–CD4 interaction, thereby
Ting Xue, Chuangzhong Deng, Jingya Liu, Ru Yan, Jing Li, Xiheng Hu, Xueying Li, Xiao Xiao, Jietian Jin, Hongzhen Tang, Desi Chen, Zihan Zuo, Yujie Liang, Dongbin Wang, Bonan Chen, Hui Han, Zaishang Li   +16 more
wiley   +1 more source

Decoding Buried Interfaces in Perovskite Solar Cells: Core Issues, Strategic Engineering, and Prospects for High‐Efficiency Stable Devices

Advanced Science, EarlyView.
This review offers a thorough overview of the diverse buried interfaces in PSCs, emphasizing the associated issues, such as defects, perovskite terminations, strain, carrier dynamics, and chemical reactions. Moreover, the buried interface issues in both the widely studied SAM‐based devices and perovskite/silicon tandem solar cells are discussed in ...
Peng Mao, Weihui Bi, Jun Lv, Zongbao Zhang, Bing Wang, Yufei Zhong   +5 more
wiley   +1 more source

Mild Photothermal Bimetallic Mesoporous Nanozyme Triggers Immunogenic Cell Death and Immune Contexture Remodeling for Precision Hepatocellular Carcinoma Treatment

Advanced Science, EarlyView.
In this study, a Pt/Co BNzyme with peroxidase/GPx‐like activity is developed, increasing oxidative stress by generating ROS and depleting GSH to induce ICD. The mild PTT effect enhanced its enzymatic activity. The Pt/Co BNzyme remodeled the TME, promoting DC maturation.
Yanbing Huang, Lei Ding, Yanbing Cao, Qiang Feng, Yanjuan Li, Jianmin Wang, Zhixiong Cai, Fuli Xin, Peiyuan Wang, Jingfeng Liu   +9 more
wiley   +1 more source