Results 81 to 90 of about 186,512,308 (212)

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

Advanced 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, Pietro Falco, Nicholas Raison, Christos Bergeles, Letizia Gionfrida   +4 more
wiley   +1 more source

Distributed Micropneumatic Sensors for Soft Robots to Detect Touch and Pose

Advanced 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, Mika Pihlajamäki, Md Nazmul Huda, Veikko Sariola   +3 more
wiley   +1 more source

Toward Prostate Cancer Early Warning with a Self‐Powered Wearable Biosensing Platform Integrated with Machine Learning

Advanced Science, EarlyView.
ABSTRACT Current prostate cancer detection methods remain limited in non‐invasiveness and specificity, prompting interest in urinary biomarkers such as sarcosine. Here, we report a urine‐powered wearable platform for non‐invasive sarcosine detection as a proof‐of‐concept for decentralized early warning.
Jing Xu, Hanxiao Chen, Qichen Yuan, Liucun Yin, Yifang Tao, Hong Wang, Yuquan Xue, Delai Fu, Huan Pang, Tie Chong, Li Xue   +10 more
wiley   +1 more source

Dialetheic Conditional Modal Logic

, 2019
© Springer Nature Switzerland AG 2019. Standard modal logic for alethic modalities analyses modalities as ranging over all possible worlds (the Leibnizian universe). This leaves very little room in the space of worlds to entertain impossible things.
Girard, Patrick, Patrick Girard
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

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

Single‐Cell Dissection of Microglial Dysfunction in Diabetes‐Associated Neurodegenerative Vulnerability

Advanced Science, EarlyView.
Using single‐cell transcriptomic and epigenomic profiling, researchers mapped microglial dysfunction across the lifespan of db/db mice. The authors uncovered a nonlinear microglial remodeling featuring early inflammatory priming, a mid‐stage transcriptional inflection, and late dysfunction.
Jizhou Zhang, Tsz Kwan Yau, Joyce Tse, Tsz Ho Li, Dongjie Hu, Yong Juan Zhao, Ting‐Fung Chan   +6 more
wiley   +1 more source

Harnessing Phase Separation for the Development of High‐Performance Hydrogels

Advanced Science, EarlyView.
ABSTRACT Hydrogels are indispensable for the development of next‐generation bioelectronics, soft robotics, and biomedical devices, where their mechanical properties determine performance and reliability. Among strategies to enhance hydrogel mechanics, phase separation enables controlled heterogeneity resulting in gel networks that are reinforced by ...
Yue Shao, Yiming Ma, Baihao Shao, Molly M. Stevens   +3 more
wiley   +1 more source

The exact correspondence between intuitionistic and modal logic (Extended abstract)

A normalizing system of classical natural deduction for S4 is given. It is shown that steps of indirect proof can be eliminated from derivations of formulas T(A) translated from intuitionistic logic to S4.
von Plato, Jan
core  

Monadic second order logic as the model companion of temporal logic

, 2016
The main focus of this paper is on bisimulation-invariant MSO, and more particularly on giving a novel model-theoretic approach to it. In model theory, a model companion of a theory is a first-order description of the class of models in which all ...
S. van Gool, S. Ghilardi, van Gool, S., Ghilardi, S.   +3 more
core   +1 more source