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

On a Temporal Logic of Prefixes and Infixes.

, 2020
A classic result by Stockmeyer [16] gives a non-elementary lower bound to the emptiness problem for star-free generalized regular expressions. This result is intimately connected to the satisfiability problem for interval temporal logic, notably for formulas that make use of the so-called chop operator. Such an operator can indeed be interpreted as the
Bozzelli L., Montanari A., Peron A., Sala P.   +3 more
openaire   +5 more sources

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

A Hybrid Intuitionistic Logic: Semantics and Decidability [PDF]

, 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  

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

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

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  

An Online Human-Aware Behavior Planning Method for Nondeterministic UAV System Under Probabilistic Model Checking

Drones
This paper proposes an online human-aware behavior planning method to enable Unmanned Aerial Vehicles (UAVs) to dynamically satisfy high-level linear temporal logic (LTL) task descriptions from human collaborators.
Jiancheng Zhu, Peng Wang, Yong Peng, Quanjun Yin   +3 more
doaj   +1 more source

Engineering Neuronal Network Connectivity Through Precise and Scalable Electrical Modulation

Advanced Science, EarlyView.
This study presents a scalable all‐electrical method for precise neuronal‐circuit reconfiguration based on high‐density microelectrode arrays. By employing biologically inspired plasticity rules, targeted connectivity changes were successfully induced and quantified across diverse neuronal preparations.
Sreedhar S. Kumar, Yannaël Bossard, Rachel Sava, Tobias Gänswein, Lorenca Sadiraj, Jean‐Samuel Dupré, Manuel Schröter, J. Gray Camp, Fernando Cardes, Julian Bartram, Andreas Hierlemann   +10 more
wiley   +1 more source

Toward Scalable Parallel Verification of Multi-Robot Systems in ROS 2 Using Reduced Distributed State Space

IEEE Access
One of the persistent challenges in formally verifying distributed and concurrent systems is the combinatorial growth of the state space, a phenomenon known as the state explosion problem.
Sawsen Khlifa, Chiheb Ameur Abid, Asma Ben Letaifa, Belhassen Zouari   +3 more
doaj   +1 more source