Results 71 to 80 of about 882,159 (328)
TacticToe: Learning to Reason with HOL4 Tactics [PDF]
Logic Programming and Automated Reasoning, 2017 Techniques combining machine learning with translation to automated reasoning have recently become an important component of formal proof assistants. Such "hammer" tech- niques complement traditional proof assistant automation as implemented by tactics ...
Thibault Gauthier, C. Kaliszyk, J. Urban
semanticscholar +1 more source
Rapid Fabrication of Self‐Propelled and Steerable Magnetic Microcatheters for Precision Medicine
Advanced Materials, EarlyView.A rapid Joule heating fabrication method for the production of self‐propelling, adaptive microcatheters, with tunable stiffness and integrated microfluidic channels is presented. Demonstrated through three microrobotic designs, including a steerable guiding catheter, an untethered wave‐crawling TubeBot, and a distal‐end propelled microcatheter, it was ...
Zhi Chen +5 more
wiley +1 more source
Liquid Metal Microrobots for Magnetically Guided Transvascular Navigation
Advanced Materials, EarlyView.Liquid metal‐based microrobots combine magnetic steering, intrinsic X‐ray visibility and softness, to navigate blood vessels even against flow. Under clinically relevant magnetic fields, liquid metal microrobots roll along vessel walls, cross endothelial barriers, and accumulate in target tissues.
Xiaohui Ju +7 more
wiley +1 more source
ToxicsPollution can be broadly defined as the presence of contaminants or energy sources detrimental to ecosystems and human health. The human organism serves as a valuable indicator of ecosystem contamination.
Mirela Volf +2 more
doaj +1 more source
Pedagogical characteristics of the systems for assessing the technical and tactical skills of qualified volleyball players [PDF]
Слобожанський науково-спортивний вісник, 2017 Purpose: on the basis of the analysis of the special literature and their own experimental studies, to determine the characteristics of the systems for assessing the technical and tactical skills of qualified volleyball players. Material & Methods: study
Мykhailo Oliinyk, Eduard Doroshenko
doaj +1 more source
Learning Highly Dynamic Skills Transition for Quadruped Jumping Through Constrained Space
Advanced Robotics Research, EarlyView.A quadruped robot masters dynamic jumps through constrained spaces with animal‐inspired moves and intelligent vision control. This hierarchical learning approach combines imitation of biological agility with real‐time trajectory planning. Although legged animals are capable of performing explosive motions while traversing confined spaces, replicating ...
Zeren Luo +6 more
wiley +1 more source
Mechanisms of the biological response cascade to exercise-induced stress: a comprehensive review
Frontiers in Sports and Active LivingExercise is widely recognized as a critical determinant of health, yet its effects can diverge substantially depending on intensity, duration, and individual characteristics. This review synthesizes current knowledge on the mechanisms underlying exercise-
Jing Xu +3 more
doaj +1 more source
Memorandum on Bargaining Tactics, 1979 [PDF]
, 1979 Memo to all WCIRA consultants with 102 LRRM 1079-1080 attached discussing Arrow Molded Plastics Inc.
Ogden, Warren C
core +1 more source
On risk attitude and optimal yacht racing tactics [PDF]
, 2014 When the future wind direction is uncertain, the tactical decisions of a yacht skipper involve a stochastic routing problem. The objective of this problem is to maximise the probability of reaching the next mark ahead of all the other competitors.
Flay, Richard G. J. +3 more
core +1 more source
Stable Imitation of Multigait and Bipedal Motions for Quadrupedal Robots Over Uneven Terrains
Advanced Robotics Research, EarlyView.How are quadrupedal robots empowered to execute complex navigation tasks, including multigait and bipedal motions? Challenges in stability and real‐world adaptation persist, especially with uneven terrains and disturbances. This article presents an imitation learning framework that enhances adaptability and robustness by incorporating long short‐term ...
Erdong Xiao +3 more
wiley +1 more source