Sciweavers

ISSAC
2011
Springer
225views Mathematics» more  ISSAC 2011»
12 years 6 months ago
On the structure of compatible rational functions
A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-...
Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li
ISSAC
2011
Springer
243views Mathematics» more  ISSAC 2011»
12 years 6 months ago
Practical polynomial factoring in polynomial time
There are several algorithms for factoring in Z[x] which have a proven polynomial complexity bound such as Sch¨onhage of 1984, Belabas/Kl¨uners/van Hoeij/Steel of 2004, and vanH...
William Hart, Mark van Hoeij, Andrew Novocin
ASMTA
2011
Springer
295views Mathematics» more  ASMTA 2011»
12 years 7 months ago
Performance Evaluation of a Single Node with General Arrivals and Service
Queueing delays experienced by packets buffered at a node are among the most difficult to predict when considering the performance of a flow in a network. The arrivals of packets a...
Alexandre Brandwajn, Thomas Begin
AML
2011
221views Mathematics» more  AML 2011»
12 years 7 months ago
A remark on the tree property in a choiceless context
We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree prope...
Arthur W. Apter
AML
2011
190views Mathematics» more  AML 2011»
12 years 7 months ago
Topological aspects of the Medvedev lattice
We study the Medvedev degrees of mass problems with distinguished topological properties, such as denseness, closedness, or discreteness. We investigate the sublattices generated ...
Andrew E. M. Lewis, Richard A. Shore, Andrea Sorbi
AO
2011
154views more  AO 2011»
12 years 10 months ago
MIREOT: The minimum information to reference an external ontology term
While the Web Ontology Language (OWL) provides a mechanism to import ontologies, this mechanism is not always suitable. First, given the current state of editing tools and the iss...
Mélanie Courtot, Frank Gibson, Allyson L. L...
AR
2011
12 years 10 months ago
Imitation Learning of Positional and Force Skills Demonstrated via Kinesthetic Teaching and Haptic Input
A method to learn and reproduce robot force interactions in a Human-Robot Interaction setting is proposed. The method allows a robotic manipulator to learn to perform tasks which ...
Petar Kormushev, Sylvain Calinon, Darwin G. Caldwe...
ITPRO
2010
80views more  ITPRO 2010»
12 years 10 months ago
Free and Open Source Software
Keith W. Miller, Jeffrey M. Voas, Tom Costello
AR
2011
12 years 10 months ago
A Direct Physical Interface for Navigation and Positioning of a Robotic Nursing Assistant
People often use direct physical contact to guide a person to a desired location (e.g., leading a child by the hand) or to adjust a person’s posture for a task (e.g., a dance in...
Tiffany L. Chen, Charles C. Kemp
AML
2011
177views Mathematics» more  AML 2011»
12 years 10 months ago
A superhigh diamond in the c.e. tt-degrees
The notion of superhigh computably enumerable (c.e.) degrees was first introduced by Mohrherr in [7], where she proved the existence of incomplete superhigh c.e. degrees, and high...
Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu ...