Cognition and Physicality in Musical Cyberinstruments

In this paper, we present the SensOrg, a musical CyberInstrument designed as a modular assembly of input/output devices and musical software, mapped and arranged according to functional characteristics of the Man-Instrument system. We discuss how the cognitive ergonomics of non-verbal and symbolic task modalities influenced the design of our hardware interface for asynchronous as well as synchronous task situations. Using malleable atoms and tangible bits, we externally represented the musical functionality in a physical interface which is totally flexible yet completely freezable. Introduction Musicians strive many years in order to connect their neural pathways to a vibrating segment of string, wood, metal or air. In many ways, learning how to play a musical instrument is dictated by the physical idiosyncrasies of the instrument design. A good instrumentalist typically needs to start almost from scratch when trying to play a new instrument. Even when musicians master their instrume..

Abstract Regular Model Checking

International audienceWe propose abstract regular model checking as a new generic technique for verification of parametric and infinite-state systems. The technique combines the two approaches of regular model checking and verification by abstraction. We propose a general framework of the method as well as several concrete ways of abstracting automata or transducers, which we use for modelling systems and encoding sets of their states as usual in regular model checking. The abstraction is based on collapsing states of automata (or transducers) and its precision is being incrementally adjusted by analysing spurious counterexamples. We illustrate the technique on verification of a wide range of systems including a novel application of automata-based techniques to an example of systems with dynamic linked data structure

Systems electronics for craft, design and technology

This thesis examines, defines, clarifies and establishes a coherent theoretical framework to support the application of systems concepts, in a C.D.T. (Craft, Design and Technology) electronic design context. The literature based research highlights the hierarchical nature of systems, the supporting terminology and the manner in which the term denotes the interaction between the objective world and the subjective perception of observers. The central holistic concept of system, synthesizes the notion of a set of interconnected elements, which generate emergent properties that may not exist in the elements embodied within it. [Continues.

State-of-the-art on evolution and reactivity

This report starts by, in Chapter 1, outlining aspects of querying and updating resources on the Web and on the Semantic Web, including the development of query and update languages to be carried out within the Rewerse project. From this outline, it becomes clear that several existing research areas and topics are of interest for this work in Rewerse. In the remainder of this report we further present state of the art surveys in a selection of such areas and topics. More precisely: in Chapter 2 we give an overview of logics for reasoning about state change and updates; Chapter 3 is devoted to briefly describing existing update languages for the Web, and also for updating logic programs; in Chapter 4 event-condition-action rules, both in the context of active database systems and in the context of semistructured data, are surveyed; in Chapter 5 we give an overview of some relevant rule-based agents frameworks

Inside here: Daydreaming space and the digital monument

This paper starts by considering the theories of Henri Lefebvre and Rosalind Krauss to outline an understanding of monumentality, drawing on the theories of the well-respected geographer and theorist Doreen Massey which support the importance of understanding the relationality of site. Following on from this, the role of the monument, and the monument’s connection to imagination and daydreaming in art practice is explored. Strategies including Modernist reductionism and unmonumental/anti-monumental art practice are exemplified by artists’ works explicitly concerned with the monument and the monumental, and the questions these works raise are discussed with respect to my own documentarist art practice as represented by artworks included in the Intentions exhibition in 2017: the zine what is public space?, 2017, moving image artwork, vault, 2017, and collaborative sound artwork Script, 2017

NASA Thesaurus Supplement: A three part cumulative supplement to the 1982 edition of the NASA Thesaurus (supplement 3)

The three part cumulative NASA Thesaurus Supplement to the 1982 edition of the NASA Thesaurus includes Part 1, Hierarchical Listing, Part 2, Access Vocabulary, and Part 3, Deletions. The semiannual supplement gives complete hierarchies for new terms and includes new term indications for entries new to this supplement