Entrainment and musicality in the human system interface

What constitutes our human capacity to engage and be in the same frame of mind as another human? How do we come to share a sense of what ‘looks good’ and what ‘makes sense’? How do we handle differences and come to coexist with them? How do we come to feel that we understand what someone else is experiencing? How are we able to walk in silence with someone familiar and be sharing a peaceful space? All of these aspects are part of human ‘interaction’. In designing interactive technologies designers have endeavoured to explicate, analyse and simulate, our capacity for social adaptation. Their motivations are mixed and include the desires to improve efficiency, improve consumption, to connect people, to make it easier for people to work together, to improve education and learning. In these endeavours to explicate, analyse and simulate, there is a fundamental human capacity that is beyond technology and that facilitates these aspects of being, feeling and thinking with others. That capacity, we suggest, is human entrainment. This is our ability to coordinate the timing of our behaviours and rhythmically synchronise our attentional resources. Expressed within the movements of our bodies and voices, it has a quality that is akin to music. In this paper, disparate domains of research such as pragmatics, social psychology, behaviourism, cognitive science, computational linguistics, gesture, are brought together, and considered in light of the developments in interactive technology, in order to shape a conceptual framework for understanding entrainment in everyday human interaction.     

The Geometry of D-Decomposition of a Two-Dimensional Plane of Arbitrary Coefficients of the Characteristic Polynomial of a Discrete System

The D-decomposition of a two-dimensional plane of arbitrary coefficients of a discrete characteristic polynomial is studied. The geometry of the boundary curve is analyzed and its common properties with a linear discrete system of any order are described. Example are given.     

Malyugin's Theorems: A New Concept in Logical Control, VLSI Design, and Data Structures for New Technologies

Theoretical results due to V. Malyugin on linearization of arithmetical models of logical functions are interpreted and refined from the viewpoint of modern techniques of logical design of integral circuits and nearest neighbor technologies.     

A Static Output Feedback Control for Linear Systems

Necessary and sufficient condition for the stabilizability of linear discrete systems by a static output feedback control are formulated and used in designing algorithms for robust stabilizing controls and controls that ensure concurrent stabilization of a family of discrete systems. Algorithms are implemented by MATLAB and SCILAB with LMISOLVER and SeDuMi interfaces. The results are generalized to random-structure systems.     

Power management in networked devices

Networks are one of the most significant developments in computing and a hallmark of modern society. However, along with increasing efficiency and productivity, both at home and in the workplace, networks have costs. One cost is the additional energy that electronic devices consume when attached to networks. Power management, a standard feature of modern PCs, was primarily developed to increase battery lifetime in laptop PCs, which historically were not network-connected when using battery power. Today, however, many laptops are connected to a network - typically a Wi-Fi network - as are the majority of desktop computers. Three key drivers of energy use are induced consumption by devices prevented by network connections from entering low-power states, increasing link data rates that inherently consume more energy for the network interfaces, and proliferation of network-connected displays that actively update and display data when no one is present.     

Evaluating software reuse alternatives: a model and its application to an industrial case study

We propose a model that enables software developers to systematically evaluate and compare all possible alternative reuse scenarios. The model supports the clear identification of the basic operations involved and associates a cost component with each basic operation in a focused and precise way. The model is a practical tool that assists developers to weigh and evaluate different reuse scenarios, based on accumulated organizational data, and then to decide which option to select in a given situation. The model is currently being used at six different companies for cost-benefit analysis of alternative reuse scenarios; we give a case study that illustrates how it has been used in practice.     

Nonlinear control synthesis by convex optimization

A stability criterion for nonlinear systems, recently derived by the third author, can be viewed as a dual to Lyapunov's second theorem. The criterion is stated in terms of a function which can be interpreted as the stationary density of a substance that is generated all over the state-space and flows along the system trajectories toward the equilibrium. The new criterion has a remarkable convexity property, which in this note is used for controller synthesis via convex optimization. Recent numerical methods for verification of positivity of multivariate polynomials based on sum of squares decompositions are used.     

Minimal forbidden subwords

Motivated by a study of similar problems stated for factors of words, we study forbidden subwords of a language or a word. A procedure for obtaining the set of all words avoiding a given set of subwords is presented. On the other hand, an algorithm for computing the set of minimal forbidden subwords for a word is given. The case of a two-letter alphabet appears to be particularly interesting and it is considered separately.