Results 61 to 70 of about 5,432,397 (302)

Excursions of a Markov Process

The Annals of Probability, 1979
The excursion straddling $t$ and the first excursion exceeding $u$ in length of a Markov process are compared in a general setting. These results are then specialized to the excursions from a point, and to specific processes. The main tool is the general theory of excursions as developed by Maisonneuve and others.
openaire   +2 more sources

Robotic Control for Human–Robot Collaborative Assembly Based on Digital Human Model and Reinforcement Learning

Advanced Robotics Research, EarlyView.
This work presents a robotic control method for human–robot collaborative assembly based on a biomechanics‐constrained digital human model. Reinforcement learning is used to generate physiologically plausible human motion trajectories, which are integrated into a virtual environment for robot control learning.
Bitao Yao, Hongzhou Ai, Wenjun Xu, Zude Zhou, Lihui Wang   +4 more
wiley   +1 more source

Single‐Cell Dissection of Therapy‐Induced Remodeling Uncovers a Fibroblast‐Driven Immunosuppressive Niche and Targetable Vulnerabilities in Lethal Prostate Cancer

Advanced Science, EarlyView.
Single‐cell longitudinal profiling reveals that androgen‐deprivation therapy induces a DPT+ fibroblast‐complement axis that suppresses macrophage inflammation and drives CD8+ T cell exhaustion in prostate cancer. Concurrently, resistant epithelial subpopulations persist and engage TSPAN1‐ and NRXN1‐mediated programs promoting CRPC and neuroendocrine ...
Yang Chen, Dandan Dong, Jinling Liao, Naikai Liao, Mengqi Liu, Qin Zhang, Siting Chen, Qi Liu, Ying Lu, Tianyu Li, Chunlin Zou, Qiong Song, Qiuyan Wang, Jian Liang, Qiji Xie, Chengyang Li, Mengyun Wang, Jiwen Cheng, Zengnan Mo, Gong‐Hong Wei   +19 more
wiley   +1 more source

Charting Endocrine Progenitors Across Species and Organs

Advanced Science, EarlyView.
Endocrine progenitors give rise to the hormone‐producing cells of the pancreas and intestine. Using single‐cell multiomics and proteomics, this study compares these progenitors across species, systems, and organs, mapping the conserved and species‐specific gene regulatory networks that guide their formation.
Changying Jing, Michael Sterr, Özüm Sehnaz Caliskan, Lama Saber, Nicole Katarina Rogers, Samuel Ogden, Kei Kozawa, Christos Karampelias, Jessica Jaki, Aimée Bastidas‐Ponce, Falk Janos Farkas, Oliver Czarnecki, Osvaldo Rodrigues Pereira, Perla Cota, Valerie Vandenbempt, Diego Balboa, Anika Böttcher, Natalie Krahmer, Mohammad Lotfollahi, Julie B. Sneddon, Heiko Lickert, Mostafa Bakhti   +21 more
wiley   +1 more source

Scanning of Markov Random Processes

Advances in Electrical and Electronic Engineering, 2003
Function of most electronic devices is based on the microprocessor control. A microprocessor must scan and evaluate function of many controlled equipment that can be transformed into 2 statuses - "free" or "busy".
Gustav Cepciansky
doaj  

Multi-Objective Model Checking of Markov Decision Processes [PDF]

Logical Methods in Computer Science, 2008
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (\omega -regular or LTL) properties \varphi\_i, and probabilities r\_i \epsilon [0,
Kousha Etessami, Marta Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis   +3 more
doaj   +1 more source

Sustainable Materials Design With Multi‐Modal Artificial Intelligence

Advanced Science, EarlyView.
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

Multi-weighted Markov Decision Processes with Reachability Objectives [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
In this paper, we are interested in the synthesis of schedulers in double-weighted Markov decision processes, which satisfy both a percentile constraint over a weighted reachability condition, and a quantitative constraint on the expected value of a ...
Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour   +3 more
doaj   +1 more source

The Compositional Construction of Markov Processes [PDF]

Applied Categorical Structures, 2010
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in a model of the classical Dining Philosopher problem, and show, using the Perron-Frobenius Theorem, that this probability tends to 1 as k tends to infinity.
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters   +2 more
openaire   +5 more sources

Learning Moisture‐Induced Damage From Vision: Diffusion Models for Real‐Time Monitoring of Additive Manufacturing Processes

Advanced Science, EarlyView.
We introduce a vision‐based real‐time monitoring system for additive manufacturing that detects subtle moisture‐induced degradation via a diffusion model‐based framework. The approach enables nondestructive assessment of moisture‐induced damage level and mechanical performance and establishes a practical route toward more intelligent, reliable, and ...
Jiyoung Jung, Yuna Yoo, Dharneedar Ravichandran, Dahyun Daniel Lim, Grace X. Gu   +4 more
wiley   +1 more source