Results 151 to 160 of about 138,161 (315)

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic Are Highly Undecidable [PDF]

Miroslav Chodil, Antonı́n Kučera
openalex   +1 more source

Toward More Autonomous Soft Robots: Development and Characterization of a 3D‐Printed Pneumatic Contact Sensor for a Six‐Legged Soft Robotic Walker

Advanced Intelligent Systems, EarlyView.
This article introduces a fully 3D‐printed, electronics‐free sensory system for a six‐legged soft robot, enabling adaptive responses such as obstacle detection and directional changes using pneumatic logic gates. The design demonstrates efficient, robust operation through rapid sensor feedback and autonomous functionality, highlighting new ...
Philipp Auth, Stefan Conrad, Noah Knorr, Joscha Teichmann, Sebastian Ruppert, Thomas Speck, Falk Tauber   +6 more
wiley   +1 more source

Cache timing side-channel vulnerability checking with computation tree logic [PDF]

, 2018
Shuwen Deng, Wenjie Xiong, Jakub Szefer
openalex   +1 more source

Neonatal Respiration Monitoring System with Synchronized Oxygen Supply and Machine Learning‐Based Breathing Classification

Advanced Intelligent Systems, EarlyView.
The study presents a low‐cost, noninvasive system for real‐time neonatal respiratory monitoring. A flexible, screen‐printed sensor patch captures chest movements with high sensitivity and minimal drift. Combined with machine learning, the system accurately detects breathing patterns and offers a practical solution for neonatal care in low‐resource ...
Gitansh Verma, Eugen Koch, Andreas Dietzel, Shrutidhara Sarma   +3 more
wiley   +1 more source

Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification

, 2019
Thitivatr Patanasakpinyo
openalex   +2 more sources

Predicting Postresection Colorectal Liver Metastases Recurrence Using Advanced Graph Neural Networks with Explainability and Causal Inference

Advanced Intelligent Systems, EarlyView.
This study introduces a framework that combines graph neural networks with causal inference to forecast recurrence and uncover the clinical and pathological factors driving it. It further provides interpretability, validates risk factors via counterfactual and interventional analyses, and offers evidence‐based insights for treatment planning ...
Jubair Ahmed, Md. Abdur Rahman, Mohaimenul Azam Khan Raiaan, Sami Azam   +3 more
wiley   +1 more source

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic [PDF]

Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma   +4 more
openalex   +3 more sources

SLT-Resolution for the Well-Founded Semantics

, 2001
Global SLS-resolution and SLG-resolution are two representative mechanisms for top-down evaluation of the well-founded semantics of general logic programs. Global SLS-resolution is linear for query evaluation but suffers from infinite loops and redundant
Shen, Yi-Dong, You, Jia-Huai, Yuan, Li-Yan   +2 more
core   +3 more sources

Hierarchical Language Models for Semantic Navigation and Manipulation in an Aerial‐Ground Robotic System

Advanced Intelligent Systems, EarlyView.
A hierarchical multimodal framework coupling a large language model for task decomposition and semantic mapping with a fine‐tuned vision‐language model for semantic perception, enhanced by GridMask, is presented. An aerial‐ground robot team exploits the semantic map for global and local planning.
Haokun Liu, Zhaoqi Ma, Yunong Li, Junichiro Sugihara, Yicheng Chen, Jinjie Li, Moju Zhao   +6 more
wiley   +1 more source

Extended full computation-tree logics for paraconsistent model checking

, 2007
Norihiro Kamide
openalex   +2 more sources