Results 181 to 190 of about 71,357 (311)

How Advanced Artificial Intelligence Technologies Shape Drug–Drug and Drug–Target Interaction Modeling

Advanced Science, EarlyView.
This review explores the convergence of artificial intelligence technologies in modeling drug–drug and drug–target interactions. By evaluating advanced feature engineering, architectural innovations, and learning paradigms reveals shared evolutionary trends and critical challenges, such as cold‐start settings and shortcut learning.
Xin Sun, Tong Wang
wiley   +1 more source

Backdoors for Linear Temporal Logic. [PDF]

Algorithmica, 2019
Meier A, Ordyniak S, Ramanujan MS, Schindler I.   +3 more
europepmc   +1 more source

Photonic‐Enabled Energy‐Efficient Transparent Neuromorphic Computing Devices: A Review

Advanced Science, EarlyView.
Transparent photonic neuromorphic computing devices merge optics and brain‐inspired computing to overcome von Neumann bottlenecks with ultrafast, low‐energy processing. By exploiting transparent oxides, 2D materials, phase‐change materials, and hybrid heterostructures, these platforms enable photonic synapses, memory, and logic for see‐through edge ...
Shuvaraj Ghosh, Ki‐bum Lee, Junghyeon Lee, Seunghee Cho, Malkeshkumar Patel, Hangfei Li, Yu Wen, Ye Zhou, Joondong Kim   +8 more
wiley   +1 more source

ProSiteHunter: A Unified Framework for Sequence‐Based Prediction of Protein‐Nucleic Acid and Protein‐Protein Binding Sites

Advanced Science, EarlyView.
This study proposed a unified sequence‐based framework for protein binding site prediction, which adopted a tri‐track semantic multi‐source feature fusion strategy to effectively capture diverse macromolecular interaction sites and further improved the accuracy of antibody‐antigen interaction prediction.
Dongliang Hou, Qihang Zhen, Zexin Lv, Xinyue Cui, Suhui Wang, Minghua Hou, Zhan Zhou, Xiaogen Zhou, Guijun Zhang   +8 more
wiley   +1 more source

A Hybrid Intuitionistic Logic: Semantics and Decidability

, 2005
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Damiano Macedonio, Rohit Chadha, Chadha, R., Vladimiro Sassone, Macedonio, D., Sassone, V.   +5 more
core  

Transfer of Temporal Logic Formulas in Reinforcement Learning. [PDF]

IJCAI (U S), 2019
Xu Z, Topcu U.
europepmc   +1 more source

Strain‐Modulated Reconfigurable Optical Information Processing in Flexible Graphene/PDMS

Advanced Science, EarlyView.
Graphene/PDMS—a stable, mechanically robust, and highly tunable flexible composite, exhibits excellent strain‐tunability. The spatial self‐phase modulation (SSPM) effect can be reversibly and continuously modulated by strain. A strain‐gated optical switch can be constructed, thereby realizing reconfigurable optical logic gates and reversible switching ...
Zexin Cui, Lihua Tong, Yuehua Wang, Mengting Jiang, Jiaxu Sun, Huabo Song, Qifan Li, Guangyuan Cui, Churui Guo, Wentao Meng, Shaoya Wang, Yuee Chen, Yanling Wu, Xiaodan Xu   +13 more
wiley   +1 more source

Pareto-Optimal Interventions in Gene Regulatory Networks using Signal Temporal Logic. [PDF]

Proc Am Control Conf
Hosseini SH, Aksaray D, Imani M.
europepmc   +1 more source

Synthesizing adaptive test strategies from temporal logic specifications. [PDF]

Form Methods Syst Des, 2019
Bloem R, Fey G, Greif F, Könighofer R, Pill I, Riener H, Röck F.   +6 more
europepmc   +1 more source

Beyond Molecular Determinism: State‐Convergent Polymerization as a Functional Design Principle Under Chemical Complexity

Advanced Science, EarlyView.
This work introduces state‐convergent polymerization (SCP), a polymerization framework in which chemically diverse reaction pathways converge toward a reproducible functional polymeric state rather than a defined molecular structure. Using melanin and polydopamine as exemplars, SCP explains how robust polymer functions emerge under chemical and ...
Seonki Hong
wiley   +1 more source