Results 151 to 160 of about 1,125,186 (250)

Flexible Sensors for Robotics Tactile Perception: A Review

open access: yesAdvanced Robotics Research, EarlyView.
Flexible tactile sensing for robotics is reviewed through four interconnected dimensions. Physical mechanisms include piezoresistive, capacitive, piezoelectric, triboelectric, iontronic, and optical sensing. Structural design includes bioinspired, defect‐based, and MEMS‐based tactile systems.
Yu Song, Ying Chen, Yihao Chen, Xue Feng
wiley   +1 more source

Toward Mechanical Intelligence in Robotics

open access: yesAdvanced Robotics Research, EarlyView.
Robots can use their physical bodies to perform functions usually assigned to electronic sensors and controllers. This perspective defines mechanical intelligence through three core operations: filtering inputs, routing mechanical signals, and switching between states.
Xinyi Yang   +5 more
wiley   +1 more source

Enriched coalgebraic modal logic

open access: yes, 2013
We formalise the notion of enriched coalgebraic modal logic, and determine conditions on the category V (over which we enrich), that allow an enriched logical connection to be extended to a framework for enriched coalgebraic modal logic.
Wilkinson, Toby
core   +1 more source

Robotic Assistants in the Operating Room: A Systematic Review of Vision‐Based Systems for Nonoperative Tasks

open access: yesAdvanced Robotics Research, EarlyView.
This review brings together 20 publications describing 11 robotic system families developed for instrument handling, sterile‐package opening, supply delivery, and operating room logistics. Perception is becoming more capable through deep learning and language‐guided control, but autonomy remains limited, evidence is largely laboratory‐based, and no ...
Eugenia Mawuenya Akpo   +4 more
wiley   +1 more source

Distributed Micropneumatic Sensors for Soft Robots to Detect Touch and Pose

open access: yesAdvanced Robotics Research, EarlyView.
Soft robots need integrated touch and pose sensing for safe and reliable operation. This work presents a three‐fingered soft gripper with 18 micropneumatic sensors made from the same materials as its pneumatic actuators. By measuring airflow resistance changes in deforming microchannels of the sensors, finger pose and contact are detected, enabling ...
Vilma Lampinen   +3 more
wiley   +1 more source

Robotics in Ionizing Radiation Environments: Vulnerabilities, Hardening, and Future Directions

open access: yesAdvanced Robotics Research, EarlyView.
Radiation exposure causes cumulative degradation in robotic sensors, actuators, and electronic logic, often leading to undetected failures. This study maps component vulnerabilities, evaluates hardening and shielding strategies, and identifies testing gaps that must be addressed to enable next‐generation radiation‐tolerant robotic systems.
Francis A. K. Djirackor   +4 more
wiley   +1 more source

An On‐Demand Neuromorphic Vision System Enabled by a Multi‐Paradigm Neuromorphic Device and Hierarchical Reconfigurability Designed from Device to System Level

open access: yesAdvanced Science, EarlyView.
An on‐demand ultra‐reconfigurable intelligent vision system with hierarchical reconfigurability from device to system levels is demonstrated. Through co‐design of a multi‐paradigm device, reconfigurable circuits, and adaptive system architecture/algorithms, the system enables seamless switching among spiking, non‐spiking, neuromorphic imaging (NI), and
Biyi Jiang   +7 more
wiley   +1 more source

Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution

open access: yesAdvanced Science, EarlyView.
Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley   +1 more source

Modal logic

open access: yesThe Reasoner, 2008
Mark Jago
doaj  

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

open access: yes, 2015
A grammar logic refers to an extension of the multi-modal logic K in which the modal axioms are generated from a formal grammar. We consider a proof theory, in nested sequent calculus, of grammar logics with converse, i.e., every modal operator [a ...
Ianovski, Egor, Tiu, Alwen, Gore, Rajeev
core  

Home - About - Disclaimer - Privacy