Algorithmic skeletons in conjunction with list homomorphisms play an important role in formal development of parallel algorithms. We have designed a notion of homomorphism dedicated to bulk synchronous parallelism. In this paper we derive two application using this theory: sparse matrix vector multiplication and the all nearest smaller values problem. We implement a support for BSP homomorphism...

We present the moment cone (MC) relaxation and a hierarchy of sparse LagrangianSDP relaxations of polynomial optimization problems (POPs) using the unified framework established in Part I. The MC relaxation is derived for a POP of minimizing a polynomial subject to a nonconvex cone constraint and polynomial equality constraints. It is an extension of the completely positive programming relaxati...

Inheritance is a powerful mechanism in Object-Oriented (OO) programming. This mechanism supports the class hierarchy design and captures the IS-A relationship between a super class and its subclass. Several OO metrics have been proposed and their reviews are available in the literature. Among the various measurements of OO characteristics, this paper focuses on the metrics of class inheritance ...

We present the moment cone (MC) relaxation and a hierarchy of sparse LagrangianSDP relaxations of polynomial optimization problems (POPs) using the unified framework established in Part I. The MC relaxation is derived for a POP of minimizing a polynomial subject to a nonconvex cone constraint and polynomial equality constraints. It is an extension of the completely positive programming relaxati...

The possibility to determine the type of neutrino mass hierarchy by studying atmospheric neutrino oscillations with a detector capable to distinguish between neutrino and antineutrino events, such as magnetized iron calorimeters, is considered. We discuss how the ability to distinguish between the neutrino mass spectrum with normal and inverted hierarchy depends on detector characteristics like...

Hierarchies play a fundamental role in knowledge representation and reasoning. They have been considered as the structures created by abstraction processes. According to Smith and Smith (1977), an abstraction process is an instinctively known human activity, and abstraction processes and their properties are generally used for multilevel object representation in information systems. An abstract...

As sensor network applications often involve remote, distributed monitoring of inaccessible and hostile locations, they are vulnerable to both physical and electronic security breaches. The sensor nodes, once compromised, can send erroneous data to the base station, thereby possibly compromising network effectiveness. We consider sensor nodes organized in a hierarchy where the non-leaf nodes se...