We give an algebraic characterization of when a d-dimensional periodic framework has no non-trivial, symmetry preserving, motion for any choice of periodicity lattice. Our condition is decidable, and we provide a simple algorithm that does not require complicated algebraic computations. In dimension d = 2, we give a combinatorial characterization in the special case when the the number of edge ...

Introduction The JISC 3/04 Call seeks to fund user-facing tools that broadly support the areas: authoring of resources for learning; lifelong learning planning and ePortfolio systems; associated negotiation of learning; project-based collaborative learning; assignments and assessments; and personal learning environments that compliment and work with institutional learning environments. Under th...

Software engineering frameworks tame the complexity of large collections of classes by identifying structural invariants, regularizing interfaces, and increasing sharing across the collection. We wish to appropriate these benefits for families of closely related benchmarks, say for evaluating query engine implementation strategies. We introduce the notion of a benchmark framework, an ecosystem ...

Nine new manganese(III) fluorophosphates have been synthesised hydrothermally in a fluoride-rich medium, through the use of MnF(3), HPF(6) and monovalent metal fluorides as reactants. Products have been structurally characterised using single crystal X-ray diffraction. Reaction in fluoride-rich conditions produces chain, layer and three dimensional framework structures containing new and unusua...

Often it is di cult to reuse a software component outside of its original context. Object-oriented frameworks can provide the context in which the component is meant to be reused and thus allow for a signi cant amount of reuse. An object-oriented framework is the reusable design of a system or subsystem implemented through a collection of concrete and abstract classes and their collaborations [...

We present the definition of the logical framework TF, the Type Framework. TF is a lambda-free logical framework; that is, it does not include lambda-abstraction or product kinds. We give formal proofs of several results in the metatheory of TF, and show how it can be conservatively embedded in the logical framework LF: its judgements can be seen as the judgements of LF that are in beta-normal,...

Suppose we consider extensibility as an important characteristic of frameworks, the discussion continued. Then we can go even farther back and view operating systems as the first frameworks since they are extended by applications. As many operating system implementations lack any objectoriented flavor, SketchPad was proposed as a candidate deserving the honor of being the first object-oriented ...

In order to improve possibilities for language support for the development and use of object-oriented frameworks, we propose to elaborate on the conceptual understanding of frameworks, especially regarding architectural issues. For this purpose we suggest the use of different perspectives on frameworks. The different perspectives supports different needs in a framework’s life cycle, and they sh...

Two main topics are studied in this work. First, updates of assumption-based frameworks over deductive systems. Second, a problem of an inertia of an admissible set after an update of an abstract argumentation framework. We consider an assumption-based framework over a logic program as composed of three parts – an argumentation framework, a deduction machinery and a knowledge base (a logic prog...

We present a method for designing operating systems as an object-oriented framework of generalized, abstract components. The framework is specialized into further subframeworks to implement subqystems of the operating system. Each subframework introduces constraints and relationships between the abstract classes of the components. The constraints are inherited by the instantiations of the frame...