In this demonstration, we present the MAMView framework for exploring and understanding metric trees. Users and developers of metric trees can use the MAMView framework to visually explore operations and data indexed in metric trees. Understanding how these structures operate and organize the indexed data is an important task for both users and developers. MAMView was developed as a practical t...

The main goal of our demonstration is to show how omniscient debugging can be applied in practice to cognitive agents. A concrete implementation of the mechanisms proposed in [Koeman et al., 2017] has been created for the GOAL agent programming language in the Eclipse environment, integrated with the source-level debugger of [Koeman et al., 2016], thus fully implementing the proposal within a s...

In this paper we examine the practical use of hardware neural networks in an autonomous mobile robot. We have developed a hardware neural system based around a custom VLSI chip, EPSILON III, designed specifically for embedded hardware neural applications. We present here a demonstration application of an autonomous mobile robot that highlights the flexibility of this system. This robot gains ba...

We report on the characterization of nanometer-scale resonators. Each device incorporates one multiwalled carbon nanotube (MWNT) as a torsional spring. The devices are actuated electrostatically, and their deflections, both low frequency and on resonance, are detected optically. These are some of the smallest electromechanical devices ever created and are a demonstration of practical integrated...

This paper presents a video based system for hand-gesture recognition. It is able to process the video data and to classify the gestures in real time. Even more, there exists a method for gesture tracking and fault tolerant recognition of gesture sequences. By choosing the colour video channel the system is almost independent of light innuence. For demonstration two practical applications of th...

This demonstration paper describes version 4.1 of the ProM process mining tool. Process mining techniques attempt to extract non-trivial and useful process information from so-called “event logs”. ProM allows for the discovery of different process perspectives (e.g., control-flow, time, resources, and data) and supports related techniques such as control-flow mining, performance analysis, resou...

Symbiotic Miras give a nice practical demonstration of the formation of bipolar and highly aspherical nebulae as a consequence of interaction in detached binaries. We believe that these binary systems are among the most promising candidates for the progenitors of bipolar planetary nebulae. We present a list of the optically extended nebulae known to date around symbiotic Miras, and illustrate t...

In this paper, we summarize our experiences from teaching a course in humanoid robotics at Chalmers University of Technology in Göteborg, Sweden. We describe the robotic platform used in the course and we propose the use of a custom-built robot consisting of standard electronic and mechanical components. In our experience, by using standard components, the students obtain a deeper understanding...

Grover’s database search algorithm, although discovered in the context of quantum computation, can be implemented using any physical system that allows superposition of states. A physical realization of this algorithm is described using coupled simple harmonic oscillators, which can be exactly solved in both classical and quantum domains. Classical wave algorithms are far more stable against de...

A demonstration of the effects of reinforcement requires comparison of response rates in the presence of a contingency with those in another condition that controls for the influence of extraneous variables. We describe several control conditions that have been used in evaluating the effects of positive and negative reinforcement. The methodological rigor and practical utility of each type of c...