Results 91 to 100 of about 34,958 (266)

Contemporary Mathematical Approaches to Computability Theory [PDF]

, 2021
In this paper, I present an introduction to computability theory and adopt contemporary mathematical definitions of computable numbers and computable functions to prove important theorems in computability theory. I start by exploring the history of computability theory, as well as Turing Machines, undecidability, partial recursive functions, computable
openaire  

An Imaging‐Guided, Patient‐Specific Guiding Aid (RWNGuide) for Safe and Reproducible Inner Ear Drug Delivery

Advanced Materials Technologies, EarlyView.
A patient‐specific, imaging‐guided aid enables precise and reproducible drug delivery to the inner ear. By guiding therapeutic agents directly to the round window niche, this approach reduces variability in drug localization, improves delivery safety, and addresses a critical bottleneck in inner ear therapy, offering a scalable strategy for precision ...
Yanjing Luo, Shanshan Jiang, Yimian Luo, Adele Moatti, Farnaz Matin‐Mann   +4 more
wiley   +1 more source

Modeling Light‐Induced Synaptic Behavior and Visual Memory of Azopolymeric Compounds

Advanced Optical Materials, EarlyView.
In the framework of neuromorphic hardware it is essential to predict the evolution of the internal state of the devices mimicking synaptic functionalities to perform in‐silico modeling of specific computational tasks. Here, we provide a rate‐balance equation model to describe the synaptic‐like response of light‐actuated azopolymeric compounds and ...
Mateo Rosero‐Realpe, Federico Ferrarese Lupi, Gianluca Milano, Angelo Angelini   +3 more
wiley   +1 more source

A Review on Sensor Technologies, Control Approaches, and Emerging Challenges in Soft Robotics

Advanced Robotics Research, EarlyView.
This review provides an introspective of sensors and controllers in soft robotics. Initially describing the current sensing methods, then moving on to the control methods utilized, and finally ending with challenges and future directions in soft robotics focusing on the material innovations, sensor fusion, and embedded intelligence for sensors and ...
Ean Lovett, Maxwell Hammond, Niloufar Seyfi, Amirreza Fahim Golestaneh, Venanzio Cichella, Caterina Lamuta   +5 more
wiley   +1 more source

Gait Analysis of Pak Biawak: A Necrobot Lizard Built using the Skeleton of an Asian Water Monitor (Varanus Salvator)

Advanced Robotics Research, EarlyView.
Pak Biawak, a necrobot, embodies an unusual fusion of biology and robotics. Designed to repurpose natural structures after death, it challenges conventional boundaries between nature and engineering. Its movements are precise yet unsettling, raising questions about sustainability, ethics, and the untapped potential of biointegrated machines.
Leo Foulds, Donan Satria Yudha, Parvez Alam   +2 more
wiley   +1 more source

Efficient and Robust Standing Postures of Quadruped Robots

Advanced Robotics Research, EarlyView.
A calibrated static framework estimates load, optimizes torques, and adapts posture so quadruped robots stand efficiently and robustly under external payloads, achieving up to 50% lower torque demand. Inspired by the natural posture adjustments of animals under external loading, this article presents an optimization‐based framework for minimizing joint
Mohamad Kanaan, Hamza Jomaa, Jack Challita, Kawthar Zaidan, Riad Saab, Hussein Hussein   +5 more
wiley   +1 more source

Partition Resolvability of Nanosheet and Nanotube Derived from Octagonal Grid

Journal of Mathematics
Chemical graph theory, a branch of computational and applied mathematics, covers a very wide range of topics. As a result, the world of applied sciences heavily relies on graph theory.
Ali Al Khabyah, Ali N. A. Koam, Ali Ahmad   +2 more
doaj   +1 more source

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

Advanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

Intelligent Maintenance Review for Robots: Multimodal Information, Deep Diagnosis and Embodied Artificial Intelligence

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, Hongbo Wang, Naipeng Li, Shuo Wang, Yaguo Lei, Tonghai Wu, Junyi Cao   +6 more
wiley   +1 more source

Consensus Formation and Change are Enhanced by Neutrality

Advanced Science, EarlyView.
Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag, Janina A. Hoffmann, Tim Rogers, Christian A. Yates   +3 more
wiley   +1 more source