Emerging self powered systems challenge and dictate the direction of research in energy harvesting (EH). State of the art in energy harvesting is being applied in various fields using different single energy sources or a combination of two or more sources. In certain applications like smart packaging, radio frequency (RF) is the preferred method to power the electronics while for smart building...

*Correspondence: Muhammad Zubair , Department of Basic Sciences, University of Engineering and Technology Taxila, Taxila, Pakistan e-mail: [email protected] By using analytic hierarchy process (AHP) and Bayesian Network (BN) the present research signifies the technical and non-technical issues of nuclear accidents. The study exposed that the technical faults was one major reason of these acci...

The problem of formation of generic structures in the Universe is addressed, whereby rst the kinematics of inertial continua for coherent initial data is considered. The generalization to self{gravitating continua is outlined focused on the classiication problem of singularities and metamorphoses arising in the density eld. Self{gravity gives rise to an internal hierarchy of structures, and, dr...

1. Introduction Power has become a primary design constraint in digital integrated circuits. Most designs in sub-100nm technologies will either maximize the performance under power constraints or minimize the energy for required amount of computation. To achieve the optimality in power-performance space, integrated circuits have to be optimized at all levels of hierarchy: device, circuit, micro...

Fixpoint Logic with Chop extends the modal μ-calculus with a sequential composition operator which results in an increase in expressive power. We develop a game-theoretic characterisation of its model checking problem and use these games to show that the alternation hierarchy in this logic is strict. The structure of this result follows the lines of Arnold’s proof showing that the alternation h...

We study the expressive power of fragments of inclusion logic under the so-called lax team semantics. The fragments are defined either by restricting the number of universal quantifiers or the arity of inclusion atoms in formulae. In case of universal quantifiers, the corresponding hierarchy collapses at the first level. Arity hierarchy is shown to be strict by relating the question to the stud...

In this paper, we study the computational power of an SIMD type parallel computation model with simple processors, called cube-APA. Some relationships between the computational power of cube-APAs that run with at most k alternations in communication and the polynomial time hierarchy are stated.