This report presents the study of algorithms whose goal is to determine whether two Datalog programs are equivalent. Datalog is a query language used over deductive databases. Datalog is a fragment of Prolog, and consists in Horn clauses without function symbols. In general, it is undecidable whether two given Datalog programs are equivalent one to each other; however, this problem becomes deci...

Better conversational alignment can lead to shared understanding, changed beliefs, and increased rapport. We investigate the relationship in peer tutoring of convergence, interpersonal rapport, and student learning. We develop an approach for computational modeling of convergence by accounting for the horizontal richness and time-based dependencies that arise in non-stationary and noisy longitu...

BACKGROUND GPs detect at best 50c of mental health problems in young people. Barriers to detecting mental health problems include lack of screening tools, limited appointment times and young people's reluctance to report mental health symptoms to GPs. The mobiletype program is a mobile phone mental health assessment and management application which monitors mood, stress and everyday activities ...

Zusammenfassung Der Fokus der chinesisch-deutschen Kommunikationsforschung liegt vor allem auf dem Vergleich kulturspezifischer Konventionen und den daraus resultierenden Konflikten Missverständnissen. Die vorliegende Studie erweitert dieses Bild betrachtet Interkulturalität als eine synergetische Ressource für erfolgreiches Beziehungsmanagement. Anhand Methode ethnographischen Gesprächsanalyse...

With standardization e orts of a query language for XML documents drawing to a close, researchers and users increasingly focus their attention on the database technology that has to deliver on the new challenges that the sheer amount of XML documents produced by applications pose to data management: validation, performance evaluation and optimization of XML query processors are the upcoming iss...

The expressive power of process algebras is investigated in a general setting of structural operational semantics. The notion of an eeective operational semantics is introduced and it is observed that no eeective operational semantics for an enumerable language can specify all eeective process graphs up to trace equivalence. A natural class of Plotkin style SOS speciications is identiied, conta...

OBJECTIVE The purpose of this study was to describe the special considerations for building rapport and establishing a therapeutic alliance when conducting mental health evaluations for children and adolescents via videoconferencing. METHODS The authors review the literature and describe their experience in conducting mental health evaluations, developing rapport, and establishing a therapeut...