Sciweavers

5105 search results - page 826 / 1021
» Approximate Structural Consistency
Sort
View
JSYML
2008
63views more  JSYML 2008»
15 years 6 months ago
Classifying model-theoretic properties
In 2004 Csima, Hirschfeldt, Knight, and Soare [1] showed that a set A T 0 is nonlow2 if and only if A is prime bounding, i.e. for every complete atomic decidable theory T , there i...
Chris J. Conidis
JCT
2006
75views more  JCT 2006»
15 years 6 months ago
New polytopes from products
We construct a new 2-parameter family Emn, m, n 3, of self-dual 2-simple and 2-simplicial 4-polytopes, with flexible geometric realisations. E44 is the 24-cell. For large m, n the...
Andreas Paffenholz
ENGL
2007
78views more  ENGL 2007»
15 years 6 months ago
A Theorem on the Manipulability of Redundant Serial Kinematic Chains
—The concept of ‘manipulability’ is particularly important to characterize the ability of a serial kinematic chain – artificial manipulator or natural limb – to move quic...
Bertrand Tondu
JOT
2006
121views more  JOT 2006»
15 years 6 months ago
Constructing persistent object-oriented models with standard C++
In this paper, it is suggested an approach and a design pattern for developing object-oriented models that need to be persistent, including the databases of moderate size, with us...
Alexander Kozynchenko
JSW
2006
124views more  JSW 2006»
15 years 6 months ago
Dynamic Web Service Calls for Data Integration
Web Services are considered as a dominant paradigm for constructing and composing distributed business application and enabling enterprise-wide interoperability. A peer to peer arc...
Salima Benbernou, Mohand-Said Hacid