This paper describes an acoustic-phonetic comparison of casual and clear speech styles elicited in read and spontaneous speech. For the spontaneous speech, 20 pairs of English talkers were recorded doing a problem-solving picture task in good and degraded listening conditions. Each person also read sentences in casual and clear styles. The read clear speech was an exaggerated form of clear spee...

We present a reflexive tactic for deciding the equational theory of Kleene algebras in the Coq proof assistant. This tactic relies on a careful implementation of efficient finite automata algorithms, so that it solves casual equations almost instantaneously. The corresponding decision procedure was proved correct and complete; correctness is established w.r.t. any model (including binary relati...

Ubiquitous computing spaces, which have displays generously embedded into the environment, allow interaction with graphical user interfaces in a much more casual manner than desktop computers, which tie the user a particular desk. But simply putting desktop applications on a ubiquitous display will not make their use casual. We propose applications that can roam among displays as well as to per...

Typically, in digital entertainment, the screen is the center of the player's attention. If the real world was part of the gameplay, the player would also pay attention to what is happening around her. That is the case of pervasive games. Our objective is to find ways of making pervasive play available for a large casual audience, but in a way that casual games are not deprived of their intrins...

Usability and user satisfaction are of paramount importance when designing interactive software solutions. Furthermore, the optimal design can be dependent not only on the task but also on the type of user. Evaluations can shed light on these issues; however, very few studies have focused on assessing the usability of semantic search systems. As semantic search becomes mainstream, there is grow...

In this study, we compared current data and of the census made in 1990s related to vascular flora Capo Mortola (Ventimiglia, Italy), considering 270 taxa not dependent on crop management. The status reported 198 alien species: 5 invasive, 65 naturalized 75 casual, 38 occurring as casual human-dominated systems, but without direct intervention by humans close parent plant, 15 alien, still with s...

Like most other parts of the Australian public sector, Australian universities have been required to do more with less over the past decade. A key strategy in reducing costs has been the increased casualisation of teaching. This paper uses a hard/soft model of Human Resource Management as a framework within which to argue that increased casualisation of university teaching has increased the emo...

System dynamics is a popular modeling technique which is widely used in the analysis and design of dynamic systems. It can be applied to complex social, managerial, economic, or ecological systems. It conveniently models interdependence, mutual interaction, information feedback, and circular causality. The NIAM (Nijssen’s Information Analysis Methodology) is a fact-based conceptual schema model...