Results 51 to 60 of about 17,688 (209)
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 +4 more
wiley +1 more source
Evolution of OLED Lamination Technology With Development of Display Form Factors
This review evaluates the evolution of organic light‐emitting diode (OLED) lamination technologies alongside advancing display form factors. It contrasts optically clear adhesives and resins, highlighting uniformity control for rigid screens, bubble‐free optimization for bended architectures, and visible‐light curing for foldable layers.
Kwan‐Young Han, Ji‐Hoon Park
wiley +1 more source
A Review on Sensor Technologies, Control Approaches, and Emerging Challenges in Soft Robotics
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 +5 more
wiley +1 more source
Efficient and Robust Standing Postures of Quadruped Robots
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 +5 more
wiley +1 more source
Investigation Of Category Theory For Mathematical Foundations Of Computer Science
As a potent mathematical framework, category theory has gained popularity and has important applications in many disciplines, including computer technology. The category theory's role as a basis for mathematical inference in computer science is examined in this paper.
openaire +1 more source
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 +3 more
wiley +1 more source
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
Consensus Formation and Change are Enhanced by Neutrality
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 +3 more
wiley +1 more source
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source

