Results 31 to 40 of about 2,992,787 (257)
Artificial Intelligence Meets Micro/Nanorobotics
Artificial intelligence is transforming micro‐ and nanorobots from externally controlled, task‐specific machines into adaptive, autonomous systems. Machine learning, multimodal perception, digital twins, AI‐guided materials and geometry design enhance propulsion, localization, decision‐making, whichaccelerates clinical and environmental applications ...
Fatma M. Yurtsever +6 more
wiley +1 more source
Cálculo de determinantes via métodos de condensação [PDF]
TCC (graduação) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Curso de Matemática.O cálculo do determinante é matéria base no estudo e desenvolvimento de sistemasde equações lineares, entretanto falar apenas sobre ...
Kososki, David
core
Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots
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 +3 more
wiley +1 more source
A aprendizagem da álgebra nos anos finais do ensino fundamental [PDF]
TCC (graduação) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Curso de Matemática.Esta pesquisa foi motivada pela curisiodade em entender o motivo pelo qual o ensino de álgebra, em uma escola pública, encontra ...
Schneider, Alexsandro
core
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 +2 more
wiley +1 more source
HISTÓRIA DA DISCIPLINA ÁLGEBRA LINEAR: primeiras aproximações
Nesse artigo são dados os primeiros passos em direção à construção de uma trajetória histórica da disciplina de Álgebra Linear (AL) no Brasil. Iniciamos essa construção observando o plano internacional, buscando compreender, por um lado, alguns contextos
Eduardo Gonçalves Santos
doaj
Lawra – linear algebra with recursive algorithms
Recursion leads to automatic variable blocking for dense linear‐algebra algorithms. The recursive way of programming algorithms eliminates using BLAS level 2 during the factorization steps.
B. S. Andersen +4 more
doaj +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
Resolução de problemas geométricos através de polinômios [PDF]
TCC (graduação) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Curso de Matemática.Este trabalho trata da resolução de problemas geométricos através de polinômios, visando fornecer ao futuro professor de matemática ...
Pecanka, Sergio Alberto
core
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
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 +7 more
wiley +1 more source

