In this paper, we extend existing results about simulation and intrinsic universality in a model of tile-based self-assembly. Namely, we work within the 2-Handed Assembly Model (2HAM), which is a model of self-assembly in which assemblies are formed by square tiles that are allowed to combine, using glues along their edges, individually or as pairs of arbitrarily large assemblies in a hierarchi...

Facing a diagnostic challenge, the decision about the algorithmic variant to adopt for a certain project is a challenging one. With PyMBD, we provide an easily accessible Python library, offering our implementations of several established model-based diagnosis (MBD) algorithms that a user can experiment with. Via the integrated experimentation features, a user can also delve into assessing the ...

We motivate and describe a new freely available human-human dialogue data set for interactive learning of visually grounded word meanings through ostensive definition by a tutor to a learner. The data has been collected using a novel, character-by-character variant of the DiET chat tool (Healey et al., 2003; Mills and Healey, submitted) with a novel task, where a Learner needs to learn invented...

This paper is concerned with diagnosability analysis, which proves a requisite for several tasks during the system’s life cycle. The Model-Based Diagnosis (MBD) community has developed specific approaches for Continuous Systems (CS) and for Discrete Event Systems (DES) in two distinct and parallel tracks. In this paper, the correspondences between the concepts used in CS and DES approaches are ...

Hybrid systems models are a powerful tool for representing systems with both discrete and continuous dynamics. However, computationally these models are challenging to perform most classes of inference on. In this article we focus on diagnosing hybrid systems. Rather than work on the full hybrid model, for which diagnosis is undecidable in the general case, we abstract the model to a propositio...

The delight design platform (DDP) is a vision of a new integrated design environment that would enable design engineers to consistently design delightful products. Such delightful products satisfy an attractive quality as well as the performance and must-have qualities of the Kano model. The attractive quality depends on a customer’s subjective evaluation involving emotion. To implement DDP, we...

Color correction describes the transformation process between device RGB values and CIEXYZ resp. CIELab values. In every metamer color reproduction system this is the first color transformation after image acquisition. In general, this mapping is not unique since the spectral sensitivities of most of the devices do not satisfy the Luther condition and because the acquisition and viewing light s...

Model-Based Design (MBD) is a powerful design technique for cyber-physical systems, but too often literature assumes knowledge of a methodology without reference to a specific design process. This report decomposes MBD into ten fundamental steps and introduces an iterative design process that is exercised with two case studies of cyberphysical systems.

We present an abstraction of the genetic algorithm (GA), termed population-based incremental learning (PBIL), that explicitly maintains the statistics contained in a GA’s population, but which abstracts away the crossover operator and redefines the role of the population. This results in PBIL being simpler, both computationally and theoretically, than the GA. Empirical results reported elsewher...

This chapter introduces an agent-based modeling framework for reproducing micro behavior in economic experiments. It gives an overview of the theoretical concept which forms the foundation of the framework as well as short descriptions of two exemplary models based on experimental data. The heterogeneous agents are endowed with a number of attributes like cooperativeness and employ more or less...