Results 151 to 160 of about 6,826 (311)

Automated Reasoning in Quantified Modal and Temporal Logics [PDF]

, 2005
Centre for Intelligent Systems and their ApplicationsThis thesis is about automated reasoning in quantified modal and temporal logics, with an application to formal methods.
Castellini, Claudio
core  

Temporal Logics over Transitive States

, 2005
We investigate the computational behaviour of ‘two-dimensional’ propositional temporal logics over (ℕ, 
Konev, B., Boris Konev, Michael Zakharyaschev, Frank Wolter, Zakharyaschev, Michael, Wolter, F.   +5 more
core   +1 more source

Ethical Precision in Nanoscale Brain Interfacing

Advanced Science, EarlyView.
As brain interfaces approach the nanoscale, precision no longer only measures—it knows, predicts, and potentially reshapes the mind. This work argues that traditional ethics fails under such conditions and proposes a shift toward continuous, operation‐based governance using the recovery–discovery framework to track, constrain, and responsibly steer ...
Guilherme Wood
wiley   +1 more source

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

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

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

Proof methods for Interval Temporal Logics

, 2007
Propositional interval temporal logics are quite expressive temporal logics that provide a natural framework for representing and reasoning about temporal properties in several areas of computer science.
BRESOLIN, DAVIDE
core  

Two-sorted metric temporal logics

, 1997
Temporal logic has been successfully used for modeling and analyzing the behavior of reactive and concurrent systems. Standard temporal logic is inadequate for real-time applications because it only deals with qualitative timing properties.
de Rijkeb, Maarten, de Rijke, M., Montanaria, Angelo, Montanari, A., de Rijke, M.; id_orcid   +4 more
core   +1 more source

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