Results 31 to 40 of about 21,799 (256)

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

DMA:an algebra for multicriteria spatial modeling

, 2006
The objective of this paper is to propose a new algebra, called decision map algebra (DMA), especially devoted to multicriteria spatial modeling. DMA is a generic and context-independent modeling language inspired from map algebra and other similar ...
Chakhar, Salem, Mousseau, Vincent
core   +1 more source

A State‐Adaptive Koopman Control Framework for Real‐Time Deformable Tool Manipulation in Robotic Environmental Swabbing

Advanced Robotics Research, EarlyView.
This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi, Amirreza Davar, Dongyi Wang   +2 more
wiley   +1 more source

Toward formal development of programs from algebraic specifications: Model-theoretic foundations [PDF]

, 1992
This paper presents in an informal way the main ideas underlying our work on the model-theoretic foundations of algebraic specification and program development. We attempt to offer an overall view, rather than new results, and focus on the basic motivation behind the technicalities presented elsewhere and on the conclusions from this work.
Donald Sannella, Andrzej Tarlecki
openaire   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
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

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Traction Force Microscopy for Viscoelastic Substrates: A Semi‐Analytical Method

Advanced Science, EarlyView.
A semi‐analytical viscoelastic traction force microscopy framework is introduced for quantifying time‐resolved cell tractions on flat finite‐thickness substrates. The method generalizes elastic traction force microscopy to Generalized Maxwell materials, identifies when elastic approximations remain valid and, when they do not, shows that inferred ...
Adrià Villacrosa‐Ribas, Daniëlle C. A. Duffhues, Pim van den Bersselaar, Sarah Pragnere, Bart G. W. Groenen, Mariana Azevedo Gonzalez Oliva, Giuseppe Ciccone, Manuel Salmeron‐Sanchez, Carlijn V. C. Bouten, Jose J. Muñoz, Vito Conte   +10 more
wiley   +1 more source

Mechanoadaptation via Myosin Cytoplasmic Redistribution Protects Circulating Tumor Cells From Shear‐induced Death During Hematogenous Dissemination

Advanced Science, EarlyView.
This study investigates how CTCs survive varying shear stress during hematogenous metastasis. We uncover a self‐protection mechanism, by which non‐adherent CTCs adapt to high shearing milieu through accumulated cytoplasmic myosin‐mediated disruption of myosin‐actin binding, attenuating force transmission into chromatin to protect CTCs from shear ...
Cunyu Zhang, Qianchun Wang, Keming Li, Guanshuo Hu, Ying Xin, Kai Tang, Bing Hu, Pengyu Du, Renwei Mao, Baohua Ji, Youhua Tan   +10 more
wiley   +1 more source

Ultra‐Wide‐Field Noninvasive Imaging Through Scattering Media Via Physics‐Guided Deep Learning

Advanced Science, EarlyView.
We propose a physics‐guided adaptive dual‐domain learning method for ultra‐wide‐field noninvasive imaging through scattering media, namely UNI‐Net. Our method not only reduces the requirement for real experimental data by an order of magnitude but also enables clear imaging of complex scenes with an ultra‐large field of view, which is 164 times the OME
Lintao Peng, Mingwei He, Jeff Zhu, Sujit K. Sahoo, Liheng Bian, Cuong Dang   +5 more
wiley   +1 more source

Physics‐Constrained Constitutive Learning of Rate‐Limiting Timescales for Efficient Hydrogen‐Based Direct Reduction for Green Steel Making

Advanced Science, EarlyView.
A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai, Barak Ratzker, Pasquale Cavaliere, Dierk Raabe   +3 more
wiley   +1 more source