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.     

Cyclic oxidation response of multiphase niobium-based alloys

Cyclic oxidation tests were performed on multiphase Nb-based alloys containing silicide, Laves, and Nb solid solution phases. In particular, the oxidation resistance of six alloys with various compositions (Nb, Ti, Hf, Cr, Ge, and Si) and microstructures was characterized by thermal cycling from ambient temperature to a peak temperature that ranges from 900 °C to 1400 °C. Weight change data were obtained and the corresponding spalled oxides were collected and identified by X-ray diffraction. The results indicated that Nb-based alloys formed a mixture of CrNbO₄, Nb₂O₅, and Nb₂O₅ · TiO₂, with possibly small amounts of SiO₂ or GeO₂. The oxidation resistance was improved when CrNbO₄ formed instead of Nb₂O₅ and Nb₂O₅ · TiO₂. These results were used to assess the influence of microstructure and composition on the oxidation resistance of multiphase Nb-based alloys.     

Fault-aware Communication Mapping for NoCs with Guaranteed Latency

As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival probability and response time. We address the problem of transient link failures by means of temporally and spatially redundant transmission of messages, such that designer-imposed message arrival probabilities are guaranteed. Response time minimisation is achieved by a heuristic that statically assigns multiple copies of each message to network links, intelligently combining temporal and spatial redundancy. Concerns regarding energy consumption are addressed in two ways. First, we reduce the total amount of transmitted messages, and, second, we minimise the application response time such that the resulted time slack can be exploited for energy savings through voltage reduction. The advantages of the proposed approach are guaranteed message arrival probability and guaranteed worst case application response time.     

Copper-zirconium tungstate composites exhibiting low and negative thermal expansion influenced by reinforcement phase transformations

A fully-dense Cu-75 vol pct ZrW₂O₈ metal matrix composite was fabricated by hot isostatic pressing of Cu-coated ZrW₂O₈ particles. A small amount of the high-pressure γ-ZrW₂O₈ phase was created during the cooldown and depressurization following densification; near complete transformation to γ-ZrW₂O₈ was achieved by subsequent cold isostatic pressing. The thermal expansion behavior of the composite between 25°C and 325°C was altered by the cold isostatic pressing treatment, and also depended on the length of time that had passed between thermal cycles. The measured thermal expansion coefficients within specific temperature ranges varied from −6·10⁻⁶ K⁻¹ to far above the thermal expansion coefficient of the copper matrix. The complex temperature-dependent expansion/contraction behavior could be justified by considering the evolution of phase transformations taking place in the ZrW₂O₈ phase, which were observed by in-situ synchrotron X-ray diffraction measurements.     

Application of Support Vector Machines in Assessing Conceptual Cost Estimates

Total conceptual cost estimates and the assessment of the quality of these estimates are critical in the early stages of a building construction project. In this study, the support vector machine (SVM) model for assessing the quality of conceptual cost estimates is proposed, and the application of SVM in construction areas is investigated. The results show that the SVM model assessed the quality of conceptual cost estimates slightly more accurately than the discriminant analysis model. This shows that using the SVM has potential in construction areas. In addition, the SVM model can assist clients in their evaluation of the quality of the estimated cost and the probability of exceeding the target cost, and in their decision on whether or not it is necessary to seek a more accurate estimate in the early stages of a project.     

Defining Yield from Bender Element Measurements in Triaxial Stress Probe Experiments

This paper describes the elastic response of a block sample of compressible Chicago glacial clay under a variety of stresses and its relationship with the deformation characteristics at relatively large strains. The elastic shear stiffness was obtained from bender element tests during consolidation and shearing in drained triaxial stress probe tests. An empirical correlation was established based on the elastic shear stiffness in a preyield condition. By comparing the empirical correlation with the measured elastic shear stiffness in the stress region during probing, the changes of elastic shear stiffness were investigated. The departure of elastic shear stiffness from values computed by the empirical relation based on K0 loading directly relates to the yielding characteristics of the clay. The large-scale change of soil structure at yielding alters the well-established relationship between the elastic shear stiffness and stresses in the preyield condition. The mechanical yielding response of clays can be detected based on the systematic analysis of the elastic shear wave velocities.     

Algorithms in the W-Hierarchy

We show new upper bounds for problems in the W-hierarchy of fixed-parameter complexity. A crucial ingredient of our proofs is an extension to the W-RAM model, which permits more-powerful operations but remains equivalent to the original. We use the extended model to give new upper bounds for Subsetsum, Maximum Irredundant Set, and various problems concerning intersection of finite-state machines.     

Polynomial-Space Decidable Membership Problems for Recurrent Systems over Sets of Natural Numbers

A finite recurrent system over sets of natural numbers of dimension n is a pair composed of n n-ary functions over sets of natural numbers and an n-tuple of singleton sets of natural numbers. Every function is applied to the entries of the tuple and computes a set of natural numbers, that may also be empty. The results are composed into another tuple, and the process is started anew. Thus, a finite recurrent system defines an infinite sequence of n-tuples containing sets of natural numbers. The last entry of a generated n-tuple is called the output of a step, and the union of the output sets of all steps is the set defined by the finite recurrent system. Membership problems ask whether a given number is in a specified output set or in some output set. We study membership problems for special finite recurrent systems, whose functions are built from the set operations union, intersection and complementation and the arithmetical operations addition and multiplication. Sum and product of two sets of natural numbers are defined elementwise. We restrict the set of operations from which functions are built and determine the impact on the complexity of the membership problems. We focus on PSPACE-decidable membership problems and show completeness results for the complexity classes NL, NP and PSPACE.