The configuration management of a sensor network composed of tens or up to thousands of nodes is difficult due to the limit of memory space and energy consumption. This paper presents an approach for dynamic reconfiguration of application modules in sensor networks based on Nano-Qplus. The version information from proposed methods is registered into NVSync (Nano-Qplus Version Synchronization), ...

Current Internet routing protocols exhibit several types of anomalies that can reduce network reliability. In order to design more robust protocols we need better formal models to capture the complexities of Internet routing. In this paper we develop an algebraic model that clarifies the distinction between routing tables and forwarding tables. We hope that this suggests new approaches to the d...

In this paper we consider generalized metric spaces in the sense of Lawvere and the categorical Isbell completion construction. We show that this is an analogue of the tight span construction of classical metric spaces, and that the Isbell completion coincides with the directed tight span of Hirai and Koichi. The notions of categorical completion and cocompletion are related to the existence of...

We classify the filtered modules with coefficients corresponding to two-dimensional potentially semi-stable p-adic representations of the Galois groups of p-adic fields under the assumptions that p is odd and the coefficients are large enough. Introduction Let p be an odd prime number, and let K be a p-adic field. The absolute Galois group of K is denoted by GK . By the fundamental theorem of C...

During this search all rings are commutative and modules unitary. In we introduced the concept of Restrict Nearly semi-prime Sub-modules as generalization give some basic properties, examples charactarizations concepts stablished sufficient conditions on to be

New types of asymmetric functionalizations of alkenes are highly desirable for chemical synthesis. Here, we develop three novel types of regio- and enantioselective multiple oxy- and amino-functionalizations of terminal alkenes via cascade biocatalysis to produce chiral α-hydroxy acids, 1,2-amino alcohols and α-amino acids, respectively. Basic enzyme modules 1-4 are developed to convert alkenes...

In the last decade different applications of computer science (data mining, text mining) have been recognised. Presently an automatic question generation is a current research area. The elaborated system generates multi-choice questions from textbooks without using an external semantic database. Main demands made for the implemented automatic question generation system: supporting the Hungarian...

This paper solves the global moduli problem for regular holonomic D-modules with normal crossing singularities on a nonsingular complex projective variety. This is done by introducing a level structure (which gives rise to "pre-D-modules"), and then introducing a notion of (semi-)stability and applying Geometric Invariant Theory to construct a coarse moduli scheme for semistable pre-D-modules. ...

More than 2000 silicon modules need to be placed and fastened on the ATLAS SCT barrel tracker. A semi-automatic pick-and-place work robot was designed and developed to cope with the module placement for the SCT barrel assembly. We found that this robot could place modules to a mechanical precision of better than 25 mm. r 2005 Elsevier B.V. All rights reserved. PACS: 29.40.Gx; 29.40.Wk; 29.90.+r