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.     

Rapid Analysis of Interval Value Ordering

Two models of ranking the interval-defined objects were described. They are based on the principles of domination in probability and utility. Proposed was a two-stage ranking procedure where the objects are first ranked according to the model of domination in probability and then this ranking is corrected using the model of domination in utility.     

Investigation of Maximum and Minimum Satisfiability Problems Using L-Partition

Problems of the maximum and the minimum satisfiability on the basis of the integer linear programming and L-partition are studied. The L-structure of polyhedrons of the problems is investigated. Families are set up of unweighted problems of the maximum and the minimum satisfiability, the powers of L-coverings of which grow exponentially with an increase in the number of variables in a formula.     

A quantitative study of firewall configuration errors

The protection that firewalls provide is only as good as the policy they are configured to implement. Analysis of real configuration data show that corporate firewalls are often enforcing rule sets that violate well established security guidelines. Firewalls are the cornerstone of corporate intranet security. Once a company acquires a firewall, a systems administrator must configure and manage it according to a security policy that meets the company's needs. Configuration is a crucial task, probably the most important factor in the security a firewall provides.     

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.     

Input-output feedback linearization of time-delay systems

In this note, the input-output linearization problem (IOLP) for a class of single-input-single-output nonlinear systems with multiple delays in the input, the output, and the state is studied. The problem is solved by means of various static or dynamic compensators, including state and output feedback. The mathematical setting is based on some noncommutative algebraic tools and the introduction of a nonlinear version of the so-called Roesser models for this class of systems. These are claimed to be the cornerstones for studying nonlinear time-delay systems. Necessary and sufficient conditions are given for the existence of a static or pure shift output feedback which solves the IOLP. Sufficient conditions for the existence of a dynamic state feedback solution are included as well.     

A new method for singular value loop shaping in design of multiple-channel controllers

In this note, simple symmetric interval bounds on the singular values of a matrix based on its Gershgorin disks are proposed. This allows the Gershgorin theorem to be used not only to provide information about the location of the eigenvalues of a matrix but also its singular values. This is utilized for the proposition of a new design technique for singular value loop shaping based on the diagonal dominance methodology for design of linear multivariable plants. In return, this allows multiple-channel simply structured controllers to be designed with a view to robustness and to meet constraints and specifications on the behavior of its singular values. A design example is given demonstrating the effectiveness of this approach.     

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.     

Probability-Theoretic and Statistical Analysis of Dictionary Texts

We consider probability-theoretic and statistical models and methods for computing the characteristics of dictionary structures. Results of a statistical analysis of several commonly used dictionaries are presented in order to test the adequacy of the computing methods proposed.