Results 171 to 180 of about 71,669 (311)

Neuromorphic Near‐Sensor and In‐Sensor Computing Enabled by Next‐Generation Material‐Based Sensors

Advanced Science, EarlyView.
This Review presents a structural framework that classifies neuromorphic sensing into near‐sensor and in‐sensor architectures, clarifying physical coupling between sensing and computation. The framework connects neural and synaptic device functions with recent advances in optical, mechanical, and chemical sensing, compares energy consumption and ...
Su Yeon Jung, Gwang Ya Kim, Sejin Kim, Hyunjong Seo, Se Gi Lee, Sang Min Won, Dongjoon Rhee, Joohoon Kang   +7 more
wiley   +1 more source

A logic for temporal conditionals and a solution to the Sea Battle Puzzle [Elektronisk resurs] [PDF]

, 2018
Temporal reasoning with conditionals is more complex than both classical temporal reasoning and reasoning with timeless conditionals, and can lead to some rather counter-intuitive conclusions. For instance, Aristotle’s famous “Sea Battle Tomorrow” puzzle
Ju, Fengkui, Goranko, Valentin,, Grilletti, Gianluca   +2 more
core  

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

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

A Simpler formulation of natural deduction calculus for linear-time temporal logic [PDF]

, 2007
The paper continues our studies of natural deduction calculus for the propositional linear-time temporal logic PLTL. We present a new formulation of natural deduction calculus for PLTL. The system is shown to be sound and complete.
Bolotov, A., Grigoriev, O., Shangin, V.
core  

Temporal Ensemble Logic

CoRR
We introduce Temporal Ensemble Logic (TEL), a monadic, first-order modal logic for linear-time temporal reasoning. TEL includes primitive temporal constructs such as ``always up to $t$ time later'' ($\Box_t$), ``sometimes before $t$ time in the future'' ($\Diamond_t$), and ``$t$-time later'' $φ_t$.
openaire   +2 more sources

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

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

A logic for temporal conditionals and a solution to the Sea Battle Puzzle [PDF]

, 2018
Temporal reasoning with conditionals is more complex than both classical temporal reasoning and reasoning with timeless conditionals, and can lead to some rather counter-intuitive conclusions. For instance, Aristotle’s famous “Sea Battle Tomorrow” puzzle
Goranko, Valentin, Ju, Fengkui, Grilletti, Gianluca   +2 more
core  

Multiferroic‐Centric Materials and Systems Engineering for Battery Applications: An Insight Into Mechanisms, Strategies, and Characterizations

Advanced Science, EarlyView.
Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su, Yanda Zhu, Hao Peng, Manman Li, Xuzihan Zhang, Meixiao Wu, Siyuan Zhang, Yuhan Zeng, Jiwen Liao, Ming Luo, Hetaishan Huang, Yutong Wang, Sean Li, Wenxian Li   +13 more
wiley   +1 more source