The Depth First Search (DF.S.) algori.thm i§. one of the basic techniques which is used in a very large variety of graph algorithms. Every -application' of the DFS involves, beside traversing the graph, cOnstructing a special structured tree, called a DFS tree. In this paper, we give a complete characterization of all the graphs in which every spanning tree is ~ 'DFS tree. These graphs are call...

Dual EC is an algorithm to compute pseudorandom numbers starting from some random input. Dual EC was standardized by NIST, ANSI, and ISO among other algorithms to generate pseudorandom numbers. For a long time this algorithm was considered suspicious – the entity designing the algorithm could have easily chosen the parameters in such a way that it can predict all outputs – and on top of that it...

Let X = S " ' x . . . x S"" be a product of spheres of total dimension n=nl+n2 +... +nk. A fundamental unanswered question is the determination of which finite groups can act freely on X and what actions on the cohomology so arise. In particular it is conjectured that if an elementary abelian group acts freely, then its rank is less than or equal to k. Great progress has been made recently on t...

Polyamines are essential for cell proliferation; therefore, we hypothesized that arginase I or arginase II activities, via production of ornithine for polyamine synthesis, may be limiting for proliferation of endothelial cells (EC). Bovine coronary venular EC stably transfected with a lacZ gene (lacZ-EC, control), rat arginase I cDNA (AI-EC), or mouse arginase II cDNA (AII-EC) were utilized to ...

The coupling of two s-wave superconductors through a small magnetic dot is discussed. Assuming that the dot charging energy is small compared to the superconducting gap, Ec D, and that the moment of the dot is classical, we develop a simple theory of transport through the dot. The presence of the magnetic dot will position Andreev bound states within the superconducting gap at energies tunable ...

Lattice tests are quality measures for assessing the intrinsic structure of pseudorandom number generators. Recently a new lattice test has been introduced by Niederreiter and Winterhof. In this paper, we present a general inequality that is satisfied by any periodic sequence. Then, we analyze the behavior of the linear congruential generators on elliptic curves (abbr. EC-LCG) under this new la...

This paper proposes a modal logic reconstruction of temporal reasoning about partially ordered events in a logic programming framework. It considers two variants of Kowalski and Sergot's Event Calculus (EC): the Skeptical EC (SKEC) and the Credulous EC (CREC). In the presence of partially ordered sequences of events, SKEC and CREC derive the maximal validity intervals over which the relevant pr...