We present a type theory for analyzing concurrent multiparty interactionsas found in service-oriented computing. Our theory introduces a novel andflexible type structure, able to uniformly describe both the internal and theinterface behavior of systems, referred respectively as choreographies and con-tracts in web-services terminology. The notion of conversation builds on th...

Models of conversation that rely on a robust notion of cooperation don't model dialogues where the agents' goals conflict; for instance, negotiation over restricted resources, courtroom cross examination and political debate. We aim to provide a framework in which both cooperative and non-cooperative conversation can be analyzed. We develop a logic that links the public commitments that agents ...

This paper describes a strategy for the conversation system to take part in human-to-human group conversation. One big characteristic of the group conversation system is that it can choose whether to observe or to take turn in the conversation. We implement the computational model combined with speech and gaze recognizers to keep the rules in turn taking, and define an interruption decision str...

From the start, I was never entirely sold on the idea of Chat Circles. I very much liked how the user's avatar was a circle on the visualization plane, and how it changed to match the users activity. However, immediately my concern turned to people abusing this fact. From the looks of the prototype pictures, players chat will be displayed inside their circle. What is to stop a user from spammin...

dust accumulation capacity of ficus carica l. and psidium guajava l. was investigated from eight different sites of multan, pakistan.  leaves of both plants were used for analyzing biometric (leaf area, fresh and dry weights) and biochemical attributes (chlorophyll contents, carotenoids and ascorbic acid).  maximum dust accumulation was occurred in the plants growing near road sites, while, min...

in what follows, the author has dealt with the relation between the necessary being as an unchangeable essence and his changeable and unchangeable attributes. neither is the ascription of any changeable attribute impossible for god nor is the ascription of any kind of unchangeable attribute possible. as the change of genitive attributes does not demand the change in the essence, it is possible ...

the relation between ethics and human good and evil attributes and his nature is among the age-old discourses in the field of practical philosophy (wisdom). since long ago, it has been of concern to the learned and the philosophers as to whether all ethics or a part of it in all human beings or in some of them is optional and acquired or non-optional, unacquirable, and unchangeable. this writin...

The creative cognition approach views creativity as the generation of novel and appropriate products through the application of basic cognitive processes to existing knowledge structures. It relies on converging evidence from anecdotal accounts of creativity and tightly controlled laboratory studies designed to examine the processes that are assumed to operate in those anecdotes. Specific examp...

Office workers are today often faced with the dilemma of being focused on the present activity and yet available for incoming calls on their mobile phone. Current technology does not support this situation. Many intrusive calls seem to occur as consequence of the lack of information about the recipient's context. The focus of this thesis is the initiation of mobile communication via mobile phon...