Results 121 to 130 of about 188,896 (327)

Robust probabilistic temporal logics

Information Processing Letters
We robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of their model-checking problems.
openaire   +3 more sources

Universal Solvent Escape Strategies for Efficient Curing of Hydrogen‐Bond‐Rich 3D Printing Inks

Advanced Science, EarlyView.
This study developed a new 3D printing method for hydrogen‐bonded polymers by combining solvent replacement, nanoparticles, and optimized printing paths. This allows fast, precise scaffold fabrication. The scaffolds can be easily customized and release therapeutic agents slowly through protonation, enabling personalized bone, blood vessel, and nerve ...
Jie Chen, Qing Zhao, Wentao Fu, Weixian Chen, Xiaoqian Zhang, Gaiying Ye, Qinglei Meng, Liyuan Shao, Qian Ma, Lin Zhao, Ying Zhao, Weihua Guo   +11 more
wiley   +1 more source

onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming. [PDF]

Kunstliche Intell (Oldenbourg), 2020
van Bremen T, Dries A, Jung JC.
europepmc   +1 more source

Rule rather than Exception: Defeasible Probabilistic Dyadic Deontic Logic [PDF]

, 2023
DE WIT, Vincent
openalex  

Conversion of Transplanted Mature Hepatocytes into Afp+ Reprogrammed Cells for Liver Regeneration After Injury

Advanced Science, EarlyView.
Donor‐derived tdTomato+ mature hepatocytes were FACS‐isolated and transplanted into Fah−/− host mice. During regeneration, these cells convert into proliferative, unipotent Afp+ rHeps. Their plasticity is governed by a PPARγ/AFP‐dependent metabolic switch, segregating into pro‐proliferative Afplow and pro‐survival Afphigh subpopulations.
Ting Fang, Chao Yang, Hua Qiu, Yuan Du, Xicheng Wang, Yuting Li, Mingyang Xu, Changcheng Liu, Xiuhua Li, Na Guo, Jun Shi, Wencheng Zhang, Zhiying He   +12 more
wiley   +1 more source

Probabilistic Constraint Logic Programming

, 1997
This paper addresses two central problems for probabilistic processing models: parameter estimation from incomplete data and efficient retrieval of most probable analyses.
Riezler, Stefan
core   +2 more sources

MAP Inference for Probabilistic Logic Programming [PDF]

, 2020
ELENA BELLODI, MARCO ALBERTI, FABRIZIO RIGUZZI, RICCARDO ZESE   +3 more
openalex   +1 more source

Quantitative Assessment of Randomized DNA Base Sequences Using Multi‐Model Physical Analysis for High‐Fidelity Data Storage

Advanced Science, EarlyView.
This study quantitatively evaluates randomized DNA sequence design for digital data storage using three physics‐based models. By applying encoding schemes with strict homopolymer constraints, the framework improves base randomness, GC balance, and error resilience. Experimental validation via PCR and Sanger sequencing confirms 95–98% decoding accuracy,
Seongjun Seo, Thi Hong Nhung Vu, Anshula Tandon, Suyoun Park, Thi Bich Ngoc Nguyen, Shinsuke Kawai, Sung Ha Park   +6 more
wiley   +1 more source

A van Benthem Theorem for Quantitative Probabilistic Modal Logic [PDF]

, 2018
P. Wild, Lutz Schröder, Dirk Pattinson, Barbara König   +3 more
openalex   +1 more source

Single‐Cell Mitochondrial Lineage Tracing Decodes Fate Decision and Spatial Clonal Architecture in Human Hematopoietic Organoids

Advanced Science, EarlyView.
This study repurposes mitochondrial DNA mutations as endogenous barcodes for lineage tracing in human pluripotent stem cell‐derived organoids. Integrated with transcriptomic and spatial data, it reveals NOTCH‐mediated stromal‐progenitor crosstalk orchestrates clonal dynamics and spatial zonation during early hematopoietic development, offering a non ...
Yan Xue, Junhao Su, Yiming Chao, Lu Liu, Xinyi Lin, Yang Xiang, Mun Kay Ho, Zezhuo Su, Junyi Chen, Zhuojuan Luo, Chengqi Lin, Ruibang Luo, Theo Aurich, Jianfeng Wu, Kelvin Sin Chi Cheung, Yuanhua Huang, Joshua W. K. Ho, Ryohichi Sugimura   +17 more
wiley   +1 more source