We provide a diagrammatic criterion for semi-adequate links to be hyperbolic. We also give a conjectural description of the satellite structures of semi-adequate links. One application of our result is that the closures of sufficiently complicated positive braids are hyperbolic links.

Let l be a prime, and let Γ be a finite subgroup of GLn(Fl) = GL(V ). With these assumptions we say that Condition (C) holds if for every irreducible Γ-submodule W ⊂ ad V there exists an element g ∈ Γ with an eigenvalue α such that tr eg,αW 6= 0. Here, eg,α denotes the projection to the generalised α-eigenspace of g. This condition arises in the definition of adequacy in section 2. Let Γ denote...

Reverse engineering a program constructs a highlevel representation suitable for various software development purposes such as documentation or reengineering. Unfortunately however, there are no established guidelines to assess the adequacy of such a representation. We propose two such criteria, completeness and accuracy, and show how they can be determined during the course of reversing the re...

Components of a software system may be related in a wide variety of ways. These relationships need to be represented in software architecture in order develop quality software. In practice, software architecture is immensely challenging, strikingly multifaceted, extravagantly domain based, perpetually changing, rarely cost-effective, and deceptively ambiguous. This paper analyses relations amon...