Results 131 to 140 of about 93,973 (331)

Minimal Temporal Epistemic Logic

Notre Dame Journal of Formal Logic, 1996
The dynamics of (nonmonotonic) reasoning processes is studied. The presented approach is based on two components: Epistemic logic is used as a formalization of information states. Temporal logic is used as a formalization of a dynamics of information states.
openaire   +2 more sources

Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy

Advanced Science, EarlyView.
Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu, Mengtao Sun, Lusheng Li, Jieqiong Wang, Shibiao Wan   +4 more
wiley   +1 more source

Detection of Back Attack based on Interval Temporal Logic

, 2020
Juan Zhang, Fenfei Gu
openalex   +1 more source

Mapping the “Supply–Demand–Flow” of Ecosystem Services for Ecosystem Management in China

Advanced Science, EarlyView.
This study develops a “supply–demand–flow” framework clarifies how ecosystem services move between regions by distinguishing potential and actual supply and demand. Using integrated biophysical–socioeconomic modeling, nine services in China were mapped.
Yikun Zhang, Yadong Yang, Yongsheng Wang, Guirui Yu   +3 more
wiley   +1 more source

Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare

Advanced Science, EarlyView.
Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu, Haolin Fan, Minwoo Kim, Tong Zhou, Pinyi Yang, Lingdi Zhao, Yiran Wang, Ziyuan Che, Chia‐Wei Liu, Bingbing Li, Yangzhi Zhu   +10 more
wiley   +1 more source

Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics

Bulletin of the Section of Logic
A unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced.
Norihiro Kamide, Sara Negri
doaj   +1 more source

Temporal Query Entailment in the Description Logic SHQ

, 2015
Franz Baader, Stefan Borgwardt, Marcel Lippmann   +2 more
openalex   +1 more source

A tableau system for linear-TIME temporal logic [PDF]

, 1997
Peter H. Schmitt, Jean Goubault-Larrecq
openalex   +1 more source

Polyelectrolyte Design Principles for Electrophoretic Drug Delivery

Advanced Science, EarlyView.
Structure–property–function mapping of polyelectrolytes reveals how composition and nanoscale order control on‐demand electrophoretic drug transport. Charge density quantified under implant‐relevant conditions shows that encapsulation limits swelling, enabling high effective charge density.
Helena Saarela Unemo, Iwona Bernacka‐Wojcik, Lingkai Zhu, Marle E. J. Vleugels, Moa E. Hörberg, Caroline Lindholm, Magnus Berggren, Daniel T. Simon, Theresia Arbring Sjöström   +8 more
wiley   +1 more source

Multi‐Omics Insights Into the Mechanisms of Early Muscle Fiber Difference and Transformation Between Lean‐Type and Chinese Indigenous Pigs

Advanced Science, EarlyView.
Multi‐omics analyses uncover breed‐specific cis‐regulatory landscapes and higher‐order chromatin architectural differences that underlie early postnatal muscle fiber divergence in pigs. A super‐enhancer upstream of PPP3CB recruits MEF2C to activate PPP3CB transcription, while the PPP3CB–MEF2C positive feedback loop promotes oxidative muscle fiber ...
Shuailong Zheng, Hainan Wu, Min Liu, Kunpeng Wu, Shuntao Huang, Zulfiqar Ahmed, Lenox Pius, Mengjin Zhu, Dequan Xu   +8 more
wiley   +1 more source