Results 141 to 150 of about 101,154 (305)
Robots can learn manipulation tasks from human demonstrations. This work proposes a versatile method to identify the physical interactions that occur in a demonstration, such as sequences of different contacts and interactions with mechanical constraints.
Alex Harm Gert‐Jan Overbeek +3 more
wiley +1 more source
The Language Intersection Problem for Non-Recursive Context-Free Grammars
We prove that, given as input two context-free grammars, deciding non-emptiness of intersection of the two generated languages is PSPACE-complete if at least one grammar is non-recursive.
Nederhof, M.J. +6 more
core +1 more source
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
ON THE FIELD INTERSECTION PROBLEM OF SOLVABLE QUINTIC GENERIC POLYNOMIALS
We study a general method of the field intersection problem of generic polynomials over an arbitrary field k via formal Tschirnhausen transformation.
AKINARI HOSHI, KATSUYA MIYAKE
core +1 more source
Pak Biawak, a necrobot, embodies an unusual fusion of biology and robotics. Designed to repurpose natural structures after death, it challenges conventional boundaries between nature and engineering. Its movements are precise yet unsettling, raising questions about sustainability, ethics, and the untapped potential of biointegrated machines.
Leo Foulds +2 more
wiley +1 more source
Disjoint Intersection Problem For Steiner Triple Systems
Let (S, T_1) and (S, T_2) be two Steiner Triple systems on the set S of symbols with the set of triples T_1 and T_2 respectively. They are said to intersect in m blocks if |T_1 intersection T_2| = m.
Srinivasan, Sangeetha
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
Liquid Crystalline Elastomers in Soft Robotics: Assessing Promise and Limitations
Liquid crystalline elastomers (LCEs) are programmable soft materials that undergo large, anisotropic deformation in response to external stimuli. Their molecular alignment encodes directional actuation in a monolithic structure, making them long‐standing candidates for soft robotic systems.
Justin M. Speregen, Timothy J. White
wiley +1 more source
Intersection problem and different pairs problem for Latin squares
The intersection of two Latin squares of the same order is the set of cells that contain the same entries in both Latin squares. Determining the order of this set can be asked for any type of Latin square and has been solved for most.
Howell, Jared
core
Stability for the Complete Intersection Theorem, and the Forbidden Intersection Problem of Erdos and Sos [PDF]
A family F of sets is said to be t-intersecting if ∣A∩B∣≥t for any A,B∈F. The seminal Complete Intersection Theorem of Ahlswede and Khachatrian (1997) gives the maximal size f(n,k,t) of a t-intersecting family of k-element subsets of [n]={1,…,n ...
Keller, Nathan +2 more
core +1 more source

