Results 161 to 170 of about 71,357 (311)

Schooling Trajectories and the Development of Brain Dynamics: A Comparative Study of Montessori and Traditional Education

Advanced Science, EarlyView.
We investigate whether Montessori and traditional schooling systems shape the developmental trajectory of large‐scale brain dynamics in different ways. We quantify the arrow of time (“non‐reversibility”) in neural activity during resting state and movie‐watching, revealing distinct maturational patterns.
Elvira del Agua, Anira Escrichs, Yonatan Sanz Perl, Morten L. Kringelbach, Adele Diamond, Solange Denervaud, Gustavo Deco   +6 more
wiley   +1 more source

Ferroelectric Devices for In‐Memory and In‐Sensor Computing

Advanced Science, EarlyView.
Inspired by biological systems, in‐memory and in‐sensor computing overcome von Neumann bottlenecks. Ferroelectric devices can mimic synaptic functions and sense stimuli like light or force, therefore are ideal for these paradigms. This review introduces the ferroelectric devices applied for in‐memory and in‐sensor computing, covering their structures ...
Hong Fang, Ronghuan Xie, Qiang Cao, Shishen Yan, Xiaolin Wang, Limei Zheng   +5 more
wiley   +1 more source

REASONING ABOUT THE GAME „CLUE“ BY USING OTTER

Journal of Information and Organizational Sciences, 2006
In this article the possibilities of reasoning about the card version of the game Clue by using OTTER - system for automatic theorem proving have been presented.
Marko Maliković
doaj  

Transferable Deep Reinforcement Learning With Edge‐Contour‐Depth Fusion for Autonomous Wireless Capsule Endoscopy Navigation

Advanced Science, EarlyView.
This study presents an anatomical landmark‐guided DRL framework for autonomous wireless capsule endoscopy navigation. Using a lightweight edge‐contour‐depth fusion module, it achieves over 97% coverage across diverse gastric anatomies. To ensure reliability, a two‐stage sim‐to‐real pipeline with an adaptive dynamic programming controller mitigates ...
Haoxuan Wu, Haitao Gao, Qingyang Liu, Sishen Yuan, Haiyang Fang, Mingwu Su, Baijia Liang, Yongzun Yang, Long Bai, Wenzhen Dong, Dihong Xie, Shijian Su, Jiewen Lai, Shing Shin Cheng, Zhen Li, Xiuli Zuo, Hongliang Ren   +16 more
wiley   +1 more source

Advances and Perspectives in Graphene‐Based Quantum Dots Enabled Neuromorphic Devices

Advanced Science, EarlyView.
Graphene‐based QDs are zero‐dimensional carbon nanomaterials with pronounced quantum confinement and tunable electronic structures. Herein, we summarize their synthesis strategies and functionalization methods, and highlight their functional roles and operating mechanisms in devices, as well as recent advances in neuromorphic electronics. We anticipate
Yulin Zhen, Wei Zeng, Zherui Zhao, JiYu Zhao, Ziyan Huang, Zhuo Chen, Kui Zhou, Guanglong Ding, Su‐Ting Han, Ye Zhou   +9 more
wiley   +1 more source

A leader‐follower communication protocol for motion planning in partially known environments under temporal logic specifications

IET Control Theory & Applications
This paper considers the problem of communication protocols between leaders and its followers for motion planning in an initially partially known environment.
Xiaohong Yan, Yingying Liu, Renwen Chen, Wei Duan   +3 more
doaj   +1 more source

Integration of Interval Temporal Logic in an Expression Evaluator

Applied Sciences
This paper presents NAXE, an expression evaluator framework for concurrent, resilient, and temporally aware applications, particularly in IoT domains. The key contribution is the principled integration of Interval Temporal Logic as a first-class feature ...
Francisco Morero-Peyrona, Javier Gutiérrez-Rodríguez, Manuel Mejías-Risoto   +2 more
doaj   +1 more source

Ambipolar Organic–Inorganic Heterostructure Transistor Array for Integrated Visual Information Processing

Advanced Science, EarlyView.
We present an organic–inorganic heterostructure transistor array for neuromorphic computing, achieving 95.6% MNIST accuracy and 1.2 fJ per operation, with dynamic spatiotemporal encoding and precise vehicle direction detection under combined optical and electrical stimulation.
Wen‐Min Zhong, Wenbin Zhang, Yu‐Xiang Zeng, JiYu Zhao, Ziqi Jia, Loganathan Veeramuthu, Guanglong Ding, Yan Yan, Meng Zhang, Su‐Ting Han, Vellaisamy A. L. Roy, Fengyun Wang, Chi‐Ching Kuo, Ye Zhou   +13 more
wiley   +1 more source

Logical consecutions in discrete linear temporal logic

, 2005
We investigate logical consequence in temporal logics in terms of logical consecutions. i.e., inference rules. First, we discuss the question: what does it mean for a logical consecution to be 'correct' in a propositional logic.
Rybakov, Vladimir V.
core  

DNA Nanoarray for Multiplexed RNA Detection With Single‐Molecule Readout

Advanced Science, EarlyView.
A carrier‐based DNA nanoarray integrates programmable nucleic acid hybridization with solid‐state nanopore readout for direct RNA detection at single‐molecule resolution. A ternary encoding system enables 27 carriers with 81 addressable sensing sites, allowing the simultaneous identification of targets spanning a wide size range, from short microRNAs ...
Yunxuan Li, Yesheng Wang, Chunmiao Yu, Siyu Hou, Elli Mylona, Plamena Naydenova, Jingyuan Zhao, Hong Yuan, Jingsong Duan, Hendrik F. P. Runge, Stephen Baker, Jinbo Zhu, Ulrich F. Keyser   +12 more
wiley   +1 more source