Results 71 to 80 of about 545,179 (279)

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

Deductively Sound Formal Proofs [PDF]

Could the intersection of [formal proofs of mathematical logic] and [sound deductive inference] specify formal systems having [deductively sound formal proofs of mathematical logic]?
Olcott, P.
core  

Wittgenstein on Pseudo-Irrationals, Diagonal Numbers and Decidability [PDF]

, 2008
In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern ...
Lampert, Timm
core  

Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution

Advanced Science, EarlyView.
Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley   +1 more source

Logic Integer Programming Models for Signaling Networks

, 2008
We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this we use the two different mathematical tools of Propositional Logic and Integer Programming.
Haus U.-U., Kathrin Niermann, Klaus Truemper, Robert Weismantel, Saez-Rodriguez J., Utz-Uwe Haus   +5 more
core   +3 more sources

Sub‐Unit‐Cell Logic Governs Transport in TPMS Architectures

Advanced Science, EarlyView.
ABSTRACT Next‐generation energy, thermal, and chemical systems require architectures capable of highly efficient transport across multiple length scales. Triply periodic minimal surfaces (TPMS), first conceptualized in 1865, offer inherently scalable geometries with exceptional transport potential, yet mechanistic links between topology and performance
Haozhang Zhong, Yipei He, Jiaxuan Wang, Chenyi Qian, Gerd E Schröder‐Turk, Raj Das, Junye Shi, Qi Tang, Zheda Ning, Wenjue Yi, Chuanwei Li, Jiangping Chen, Zeyao Chen, Binbin Yu, Jian LU, Jianfeng Gu, Ma Qian   +16 more
wiley   +1 more source

ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals

Advanced Science, EarlyView.
The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray, Andrew R. Castillo, Manoj Kolel‐Veetil, Surya R. Kalidindi   +3 more
wiley   +1 more source

Integrating Radiomics and Computational Pathology to Predict Early Recurrence of Pancreatic Ductal Adenocarcinoma and Uncover Its Biological Basis in Tumor Microenvironment

Advanced Science, EarlyView.
Accurate prediction of early recurrence in pancreatic ductal adenocarcinoma is vital for optimizing treatment. A novel, integrated radiomics‐pathology machine learning model successfully forecasts recurrence risks by analyzing preoperative CT images and computational pathology.
Sihang Cheng, Fuze Cong, Shenbo Zhang, Rui Lv, Wenjia Zhang, Xinyi Ke, Juncheng Wu, Zhonghe Zhao, Kui Zhao, Di Dong, Ruofan Zhang, Zhengyu Jin, Max Seidensticker, Zhiwei Wang, Huanwen Wu, Xianlin Han, Nan Hong, Huadan Xue   +17 more
wiley   +1 more source

Miniaturized 3D Magnetic Force Sensor via Laser‐Assisted Folding and Magnetization for Enhanced Robotic Dexterity

Advanced Science, EarlyView.
To achieve 3D force sensing in confined spaces such as fingertips, we developed a laser‐assisted folding and magnetization method to fabricate miniature films with precise centripetal magnetization. The resulting compact sensor delivers high force resolution, rapid response, and long‐term stability, significantly enhancing the manipulation capabilities
Yujie Huang, Huangzhe Dai, Chengqian Zhang, Daofan Tang, Xinxin Zhang, Haonan Sun, Annan Ding, Xuebin Ni, Yizhi Zhang, Chengfeng Pan, Peng Zhao   +10 more
wiley   +1 more source

To Teach Modal Logic: An Opinionated Survey [PDF]

, 2015
I aim to promote an alternative agenda for teaching modal logic chiefly inspired by the relationships between modal logic and philosophy. The guiding idea for this proposal is a reappraisal of the interest of modal logic in philosophy, which do not stem ...
Urtubey, Luis
core   +1 more source