Results 51 to 60 of about 418,606 (284)

Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory

, 2015
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015 Recent advances in knowledge compilation introduced techniques to compile \emph{positive} logic programs into propositional logic, essentially exploiting the ...
BART BOGAERTS, Cadoli, Darwiche, Fierens, GUY VAN DEN BROECK, Janhunen, Lin, Pelov, Strass   +8 more
core   +1 more source

Stress‐Programmed Immune Niches Fuel TNFR2+ Treg Activation and Drive Neoadjuvant Chemotherapy Resistance in Breast Cancer

Advanced Science, EarlyView.
Single‐cell sequencing reveals stress‐programmed immune states driving TNFα–TNFR2–mediated Treg activation and therapy resistance in breast cancer, while targeting this axis restores antitumor immunity. ABSTRACT The tumor microenvironment (TME) harbors diverse immune cell states that shape therapeutic outcomes in breast cancer.
Zhibo Shao, Xuliren Wang, Han Zhu, Ling Yao, Qi Zhang, Zihan Zhai, Xinyi Lv, Xinyuan Xia, Yi Zhang, Xinya Lu, Xinyi Quan, Jiawen Yang, Xinwei Li, Jieyi Dong, Zhi‐ming Shao, Ruoxi Wang, Bingqiu Xiu, Jiong Wu, Sheng Chen   +18 more
wiley   +1 more source

Context-specific network modeling identifies new crosstalk in β-adrenergic cardiac hypertrophy.

PLoS Computational Biology, 2020
Cardiac hypertrophy is a context-dependent phenomenon wherein a myriad of biochemical and biomechanical factors regulate myocardial growth through a complex large-scale signaling network. Although numerous studies have investigated hypertrophic signaling
Ali Khalilimeybodi, Alexander M Paap, Steven L M Christiansen, Jeffrey J Saucerman   +3 more
doaj   +1 more source

Named Models in Coalgebraic Hybrid Logic [PDF]

, 2010
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given ...
Dirk Pattinson, Dirk Pattinson, Lutz Schr ¨oder, Lutz Schroeder   +3 more
core   +4 more sources

A Quantum Framework for Protein Binding‐Site Structure Prediction on Utility‐Level Quantum Processors

Advanced Science, EarlyView.
This study presents a hybrid quantum‐classical framework for accurate prediction of protein structures on utility‐level quantum processors. We evaluate the practical application of the Variational Quantum Eigen‐solver (VQE) in protein structure prediction and demonstrate its superiority over state‐of‐the‐art deep learning methods in molecular docking ...
Yuqi Zhang, Yuxin Yang, William Martin, Kingsten Lin, Zixu Wang, Cheng‐Chang Lu, Weiwen Jiang, Ruth Nussinov, Joseph Loscalzo, Qiang Guan, Feixiong Cheng   +10 more
wiley   +1 more source

Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic

Princípios, 2011
This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what ...
Ricardo Sousa Silvestre
doaj  

Design of Feedback Control Strategies in a Plant-Wide Wastewater Treatment Plant for Simultaneous Evaluation of Economics, Energy Usage, and Removal of Nutrients

Energies, 2021
Simultaneous removal of nitrogen and phosphorous is a recommended practice while treating wastewater. In the present study, control strategies based on proportional-integral (PI), model predictive control (MPC), and fuzzy logic are developed and ...
Abdul Gaffar Sheik, Eagalapati Tejaswini, Murali Mohan Seepana, Seshagiri Rao Ambati, Montse Meneses, Ramon Vilanova   +5 more
doaj   +1 more source

Convergent and Divergent Connectivity Patterns of the Arcuate Fasciculus in Macaques and Humans

Advanced Science, EarlyView.
This study employs viral‐based single‐neuron tracing and dMRI‐based whole‐brain tractography to investigate arcuate fasciculus (AF) trajectories in macaque monkeys, and compares with the human AF connectome using spectral embedding. Results demonstrate conserved AF topography spanning temporoparietal‐auditory‐frontal pathways across primates, with ...
Jiahao Huang, Ruifeng Li, Wenwen Yu, Anan Li, Xiangning Li, Mingchao Yan, Lei Xie, Qingrun Zeng, Xueyan Jia, Shuxin Wang, Ronghui Ju, Feng Chen, Qingming Luo, Hui Gong, Andrew Zalesky, Xiaoquan Yang, Yuanjing Feng, Zheng Wang   +17 more
wiley   +1 more source

Fuzzy Logic Control of Adaptive ARQ for Video Distribution over a Bluetooth Wireless Link

Advances in Multimedia, 2007
Bluetooth's default automatic repeat request (ARQ) scheme is not suited to video distribution resulting in missed display and decoded deadlines. Adaptive ARQ with active discard of expired packets from the send buffer is an alternative approach. However,
R. Razavi, M. Fleury, M. Ghanbari
doaj   +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