Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fact that requirements and architectures leverage different terms and concepts to capture the artifacts relevant to each. In this paper we will present CBSP, a lightweight approach intended to provide a systematic way of ...

Let Y ∈ ∆2 be Martin-Löf-random. Then there is a promptly simple set A such that for each Martin-Löf-random set Z, Y ≤T A ⊕ Z ⇒ Y ≤T Z. When Y = Ω, one obtains a c.e. non-computable set A which is not weakly Martin-Löf cuppable. That is, for any Martin-Löf-random set Z, if ∅′ ≤T A⊕ Z, then ∅′ ≤T Z.

Multiple orthogonal polynomials are polynomials of one variable that satisfy orthogonality conditions with respect to several measures. They are a very useful extension of orthogonal polynomials and recently received renewed interest because tools have become available to investigate their asymptotic behavior. They appear in rational approximation, number theory, random matrices, integrable sys...

Principal chiral models on a d-1 dimensional simplex are introduced and studied analytically in the large N limit. The d = 0, 2, 4 and ∞ models are explicitly solved. Relationship with standard lattice models and with few-matrix systems in the double scaling limit are discussed. ⋆ Work supported in part by the Department of Energy under contract DE-FG02-91ER40688Task A The importance of underst...

The modern Western Weltanschauung, affirming an empirical view of the world, tends towards a singular analysis of complexity. Compartmentalization and dissociation are emphasized, and reinforced by the structure of the Simple Hierarchy that the Weltanschauung promotes. Within human institutions, this structure characteristically gives rise to unsatisfactory political environments, which are rig...

It is at times important to detect human presence automatically in secure environments. This needs a shape recognition algorithm that is robust, fast and has low error rates. The algorithm needs to process camera images quickly to detect any human in the range of vision, and generate alerts, especially if the object under scrutiny is moving in certain directions. We present here a simple, effic...

We calculate the two-loop β-functions for soft supersymmetry-breaking interactions in a general supersymmetric gauge theory, emphasising the role of the evanescent couplings and masses that are generic to a non-supersymmetric theory. We also show that a simple set of conditions sufficient for one-loop finiteness renders a theory two-loop finite, and we speculate on the possible significance of ...