If the load F produces a linear or angular momentum it cannot be resolved by any framework. Therefore we restrict ourselves to loads with ∑ pi fi = 0 and ∑ pi 〈pi , fi〉 = 0. (The vector pi denotes pi rotated by 90 degrees.) If a framework can resolve any load it is called statically rigid. Static rigidity is an equivalent condition for infinitesimal rigidity (see [3]). In general a statically r...

Recent results have confirmed that the global rigidity of bar and joint frameworks on a graph G is a generic property in Euclidean spaces of all dimensions, although it is not known if there is a deterministic algorithm, that runs in polynomial time and space, to decide if a graph is generically globally rigid, although there is an algorithm [10] running in polynomial time and space that will d...

Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs (b) Concerning Aristotle, it is true that he might have been fond of dog...

Since a big part of web content is stored in relational databases (RDB) there are several approaches for generating of semantic web metadata from RDB. In our previous work we designed a novel approach for RDB to RDF data transformation. This paper describes experimental comparison of our system with several means of RDF production. We benchmarked both systems for the RDB to RDF transformation a...

Effectors are molecules produced by plant-associated organisms, such as fungal pathogens, that facilitate infection of specific plant hosts. Some effectors directly or indirectly suppress host defence responses while others help to mask the foreign invader from recognition by the plant. Plants can also recognise and respond to specific effectors to mount a resistance response. Thus the study of...

Laboratory fracture toughness tests of concrete using wedge-loaded round double beam specimens with a length to diameter ratio of 2:1 show two distinctly different specimen behaviors. Either the crack remains in the plane of the notch, and a valid test result can be obtained, or there is lateral cracking around mid-length which invalidates the results. Results of a controlled study show that th...

This paper applies the multibond graph approach for rigid multibody systems to model the dynamics of general spatial mechanisms. The commonly used quick return mechanism which comprises of revolute as well as prismatic joints has been chosen as a representative example to demonstrate the application of this technique and its resulting advantages. In this work, the links of the quick return mech...

The two main concepts of Rigidity Theory are rigidity, where the framework has no continuous deformation, and global given distance set determines locations points up to isometry. We consider following augmentation problem. Given a minimally rigid graph \(G=(V,E)\) in \(\mathbb {R}^2\), find minimum cardinality edge F such that \(G'=(V,E+F)\) is globally {R}^2\). provide min-max theorem an \(O(...

This paper presents several basic results on compiling indefinite and GCWA(Generalized Closed World Assumption) inference in IDDB(Indefinite Dedutive Databases). We do not allow function symbols, but do allow non-Horn clauses. Further, although the GCWA is used to derive negative assumptions, we do also allow negative clauses to occur explicitly. We show a fundamental relationship between indef...