Decoupling behavior modeling from a specific inheritance hierarchy has become one of the challenges for object-oriented software engineering. The goal is to encapsulate behavior on its own, and yet be able to freely apply it to a given class structure. We claim that standard object-oriented languages do not directly address this problem and propose the concept of Personalities as a design and p...

Among the abundance of generalizations of abstract argumentation frameworks, the formalism of abstract dialectical frameworks (ADFs) proved to be powerful in modelling various argumentation problems. Implementations of reasoning tasks that come within ADFs struggle with their high computational complexity. Thus methods simplifying the evaluation process are required. One such method is splittin...

Protocol stacks and other distributed applications have been structured as a set of collaborating components with more or less well-defined interfaces. Recent frameworks provide flexible interfaces, arrangements and communication patterns, and thus allow for finer-grained components, called microprotocols. Multi-threaded programming is the key to high performance in these frameworks. This paper...

We introduce a decomposition scheme for abstract dialectical frameworks (ADFs). The decomposition proceeds along the ADF’s strongly connected components. For several semantics, the decomposition-based version coincides with the original semantics. For others, the scheme defines new semantics. These new semantics allow us to deal with pertinent problems such as odd-length negative cycles in a mo...

Due to the difficulty of constructing new quantum algorithms, frameworks that facilitate this construction are of great importance in quantum computing. These frameworks reduce the problem of coming up with a quantum algorithm to that of constructing some combinatorial object that is often much simpler to reason about. The implementation and analysis of an algorithm for the specified problem fo...

Tangible interaction is a growing area of human–computer interaction research that has become popular in recent years. Yet designers and researchers are still trying to comprehend and clarify its nature, characteristics, and implications. One approach has been to create frameworks that help us look back at and categorize past tangible interaction systems, and look forward at the possibilities a...

Metal-organic frameworks (MOFs) are crystalline hybrid framework materials composed of inorganic metal “nodes” bridged by rigid organic linkers, thereby featuring exceptionally high surface areas and porosities. Despite the successful synthesis of a plethora of intricate framework topologies, a major objective in current MOF chemistry is the extension of pore sizes from the micropore (> 2 nm) t...

Building upon and complementing recent results on the rigidity theory of periodic bar-and-joint frameworks, this paper studies tetrahedral structures modeled on specific crystalline materials: quartz, cristobalite and tridymite. The general theory predicts at least three infinitesimal degrees-of-freedom. Here, we investigate the actual deformations of these structures. We show that quartz and c...

A classical activity theory has for long been established as a de-facto framework on which many human activity models and recognition algorithms are based. We observed several limitations to the classical activity theory, mostly attributed to its inability to discern among seemingly similar concepts and artifacts. We discuss these limitations and introduce a generic activity framework that addr...

John W. McArthur, Jeffrey D. Sachs, Guido SchmidtTraub Amir Attaran’s Policy Forum [1] raises important points on the poor quality of data for some indicators used to measure progress on the Millennium Development Goals (MDGs), but, sadly, uses these fi ndings to draw the wrong conclusions. The evidence he presents on a small number of indicators is partial, and does not justify his conclusion ...