Results 131 to 140 of about 70,024 (314)
Tuning Natural Deduction Proof Search by Analytic Methods [PDF]
, 2018 This paper is a result of the analysis of the efficiency of natural deduction proof search and the major weaknesses affecting it. We introduce new analytic strategies based on a new concept ”Truth Set of Support”.
Bolotov, A., Gorchakov, A.
core
Advanced Materials Technologies, EarlyView.Liquid metal additives are processed in elastomer host resulting in highly conductive and stretchable composites. The material functions as a piezoresistive sensor with minimal drift, low stiffness, and enhanced operating range. The film can replace wires to charge a mobile phone at ∼350% strain and monitors bodily motion in real‐time via a portable ...
Patryk Wojciak +3 more
wiley +1 more source
Tackling ”until induction” in natural deduction for PLTL
, 2008 We investigate the problem of induction in the natural deduction construction of propositional linear-time temporal logic. The well known induction with the “always in the future” operator has been an obstacle in our previous developments of the proof ...
Bolotov, A.
core
Advanced Optical Materials, EarlyView.ABSTRACT Photonic integrated circuits (PICs) can deliver unparalleled performance for future neuromorphic computing applications. Such neuromorphic PICs require a large number of tunable switches, which are typically realized with current‐controlled heaters, resulting in considerable energy consumption.
Jens Samland +10 more
wiley +1 more source
Advanced Robotics Research, EarlyView.Visual teach‐and‐repeat (VTR) navigation allows robots to learn and follow routes without building a full metric map. We show that navigation accuracy for VTR can be improved by integrating a topological map with error‐drift correction based on stereo vision.
Fuhai Ling, Ze Huang, Tony J. Prescott
wiley +1 more source
TacScope: A Miniaturized Vision‐Based Tactile Sensor for Surgical Applications
Advanced Robotics Research, EarlyView.TacScope is a compact, vision‐based tactile sensor designed for robot‐assisted surgery. By leveraging a curved elastomer surface with pressure‐sensitive particle redistribution, it captures high‐resolution 3D tactile feedback. TacScope enables accurate tumor detection and shape classification beneath soft tissue phantoms, offering a scalable, low‐cost ...
Md Rakibul Islam Prince +3 more
wiley +1 more source
Natural deduction system for linear time temporal logic
, 2008 We present a sound and complete Quine-style natural abstract deduction system for propositional linear-time temporal logic based on similar systems for the propositional classical logic.
Bolotov, A. +3 more
core
Grip and Grasp: Lizard Claw Inspired Robotic Manipulators
Advanced Robotics Research, EarlyView.Our study identifies the most effective lizard claw shape for use as an end effector in a bioinspired robotic manipulator. By examining key geometric features and combining them into comparative indices, the Crotaphytus collaris claw is found to be the best fit.
Hyeon Lee +4 more
wiley +1 more source
Advanced Robotics Research, EarlyView.This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao +6 more
wiley +1 more source
Detection of Protein–Protein Interactions in Escherichia coli With Single Molecule Sensitivity
Advanced Science, EarlyView.This article describes a regulatory circuit in Escherichia coli able to detect protein–protein interactions with exquisite sensitivity. The interaction between two hybrid proteins fused to Bordetella pertussis adenylate cyclase and its activator calmodulin triggers a potent cyclic AMP signaling cascade.
Marilyne Davi, Daniel Ladant
wiley +1 more source