We present work towards a spoken-dialogue embodied companion system that behaves in a socially cooperative fashion, i.e., being attentive to communicative and social cues emitted by the user, inferring internal cognitive, affective and interactional states, and reciprocating with appropriately adapted behavior. It is argued that this capability is vital for fostering cooperative, effortless, an...

The analysis of programs by the exhaustive inspection of reachable states in a nite state graph is a well-understood procedure It is actually implemented in several industrial tools but one of their main limitations is the size of the memory needed to exhaustively build the state graphs of the programs. For numerous properties such as B uchi acceptance (in the deterministic case) and behavioral...

Through a comparison of two communities, this paper addresses village formation in frontier Campeche, Mexico. Mexico's village political unit, the ejido, allows farmers flexibility in deciding who may take up residence in their communities. The paper analyzes how established farmers employ ideas of ethnicity, family, and expectations of social strife to assess the longterm compatibility of newc...

Introduction The reinforced concrete tilt-up building is the most popular form of light industrial and low-rise commercial construction in the Western United States and is a significant portion of new construction nationwide. This popularity is primarily driven by the construction speed and economical nature of tilt-up construction. Architectural acceptance has become more widespread as tilt-up...

On the (im)possibility of improving upon the student-proposing deferred acceptance mechanism by Onur Kesten and Morimitsu Kurino* This paper studies a general school choice problem with or without outside options. The Gale-Shapley student-proposing deferred acceptance mechanism (DA) has played a central role not only in theory but also in important practical applications. We show that in proble...

In this paper we describe block algorithms for the reduction of a real symmetric matrix to tridiagonal form and for the reduction of a general real matrix to either bidiagonal or Hessenberg form using Householder transformations. The approach is to aggregate the transformations and to apply them in a blocked fashion, thus achieving algorithms that are rich in matrix-matrix operations. These red...

This paper describes a planning methodology and tools for a truncated SPRT (sequential probability ratio test) for checking the means ratio of the times between failures (assumed to be exponentially distributed) of two items. The problem is considered for the situation in which the ratio may differ from unity, whereby the results are applicable for any specified ratio, or wherever multiple copi...

aim and background: there is a relation between patients' levels of physical functioning and their acceptance of chronic pain. however, this relation has not been examined amongst iranian chronic pain patients. the purpose of this paper was to evaluate the relation between acceptance of chronic pain and physical disability. methods and materials: in a descriptive-correlational study, convenienc...