Results 51 to 60 of about 4,215,458 (307)

A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers [PDF]

, 1999
The role of decision procedures is often essential in theorem proving. Decision procedures can reduce the search space of heuristic components of a prover and increase its abilities.
Bundy, Alan, Janicic, P., Ian Green, Predrag Janičić, Green, I., Alan Bundy   +5 more
core   +1 more source

Defect‐Templated Phase Engineering in Atomically Thin Metals

Advanced Materials, EarlyView.
Graphene defects are transformed from passive imperfections into programmable templates for phase‐selective growth of atomically thin silver. Plasma‐generated boundary defects favor Ag(1), whereas sp3‐rich zero‐layer graphene promotes Ag(2). This defect‐directed intercalation links local graphene chemistry to crystalline phase, electronic structure ...
Arpit Jain, Boyang Zheng, Sawani Datta, Kanchan Ulman, Jakob Henz, Matthew Wei‐Jun Liu, Van Dong Pham, Wen He, Chengye Dong, Li‐Syuan Lu, Alexander Vera, Nader Sawtarie, Wesley Auker, Ke Wang, Bob Hengstebeck, Zachary W. Henshaw, Shreya Mathela, Maxwell Wetherington, William H. Blades, Kenneth Knappenberger, Ursula Wurstbauer, Su Ying Quek, Ulrich Starke, Shengxi Huang, Vincent H. Crespi, Joshua A. Robinson   +25 more
wiley   +1 more source

Addendum to Methods of extending lower order problems to higher order problems in the context of smallest eigenvalue comparisons

Electronic Journal of Qualitative Theory of Differential Equations, 2012
This paper serves as an addendum to the paper titled Methods of extending lower order problems to higher order problems in the context of smallest eigenvalue comparisons appearing in EJQTDE no. 99, 2011.
Jeffrey Neugebauer
doaj   +1 more source

Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots

Advanced Robotics Research, EarlyView.
A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun, Liang Zhang, Jianwen Zeng, Xuefeng Wang   +3 more
wiley   +1 more source

Waveguide Photoactuators: Materials, Fabrication, and Applications

Advanced Robotics Research, EarlyView.
Waveguide photoactuators convert guided light into mechanical motion. Their tethered‐flexible design enables minimally invasive surgery and confined‐space robotics. This review aims to guide materials selection, device design, and system integration, accelerating the transition of waveguide photoactuators from laboratory prototypes to versatile ...
Minjie Xi, Hemin Pan, Yang Zong, Yongfeng Mei, Jizhai Cui   +4 more
wiley   +1 more source

Introducing PNEUMA: A Hybrid Soft Pneumatic Fabric Bidirectional Actuation Module for Wearable Robotics

Advanced Robotics Research, EarlyView.
This study presents a soft pneumatic fabric bidirectional actuation module (PNEUMA) capable of generating high torque in both bending directions within a single integrated architecture. PNEUMA achieves up to 50 Nm with reduced inflation volume and a lightweight design.
Odysseas Simatos, Nikolaos Charalampous, Panagiotis Polygerinos   +2 more
wiley   +1 more source

Dynamic behaviors of a nonautonomous predator–prey system with Holling type II schemes and a prey refuge

Advances in Difference Equations, 2021
In this paper, we consider a nonautonomous predator–prey model with Holling type II schemes and a prey refuge. By applying the comparison theorem of differential equations and constructing a suitable Lyapunov function, sufficient conditions that ...
Yumin Wu, Fengde Chen, Caifeng Du
doaj   +1 more source

A Comparison Theorem for Subharmonic Functions [PDF]

Results in Mathematics, 2019
In this article, we prove an extension of the mean value theorem and a comparison theorem for subharmonic functions. These theorems are used to answer the question whether we can conclude that two subharmonic functions which agree almost everywhere on a surface with respect to the surface measure must coincide everywhere on that surface.
openaire   +3 more sources

Autonomous Navigation of Pollen‐Inspired Magnetic Microrobots for Biomedical Applications

Advanced Robotics Research, EarlyView.
A sunflower pollen‐inspired magnetic microrobot enables controlled rolling navigation in vessel‐like environments. Its open geometry reduces hydrodynamic drag, while vision‐based closed‐loop control, shortest‐path planning, and reinforcement learning support target‐reaching and maze navigation with microrobot‐scale accuracy, highlighting a route toward
Ali Anil Demircali, Abdurrahim Yilmaz, Meysam Keshavarz, Jinshi Zhao, Ara Darzi, Eric Yeatman, Burak Temelkuran   +6 more
wiley   +1 more source

Investigation of the Oscillatory Properties of Fourth-Order Delay Differential Equations Using a Comparison Approach with First- and Second-Order Equations

Axioms
This paper investigates the oscillatory behavior of solutions to fourth-order functional differential equations (FDEs) with multiple delays and a middle term.
Osama Moaaz, Shaimaa Elsaeed, Asma Al-Jaser, Samia Ibrahim, Amira Essam   +4 more
doaj   +1 more source