Kristina Lerman USC Information Science Institute Marina del Rey, CA 90292 [email protected] Megha Arora IIIT-Delhi New Delhi, India 110020 [email protected] Luciano Gallegos USC Information Science Institute Marina del Rey, CA 90292 [email protected] Ponnurangam Kumaraguru IIIT-Delhi New Delhi, India 110020 [email protected] David Garcia ETH Zurich 8092 Zurich, Switzerland [email protected]

The UML 1.1. as released in September 1997 represents an improved version of the previous document by giving revised definitions of many modelling elements and including well-formedness rules, defining its four layered architecture and organisation by package, and including an Object Constraint Language Specification used within well-formedness rules. In this paper we analyse and critically ass...

Mit GPRS, den Location Based Services und schliesslich auch mit UMTS nimmt die Komplexität der TK-Netze stark zu. Die Aufwände, solche Netze zu planen, zu administrieren und neue Dienste einzubringen, steigen dramatisch. Mit der Konsolidierung der Datenbanken im Netz kann ein erster Schritt getan werden, den Trend umzukehren und die Netze wieder zu vereinfachen. Darüber hinaus muss überlegt wer...

OF THE DISSERTATION Unified Deterministic/Statistical Deformable Models for Cardiac Image Analysis by Sharath Kumar Gopal Doctor of Philosophy in Computer Science University of California, Los Angeles, 2016 Professor Demetri Terzopoulos, Chair This thesis proposes to fully automate the shape and motion reconstruction of non-rigid objects from visual information using a unified deterministic/sta...

This article advances the theory that the hypocretinergic (orexinergic) system initiates, coordinates, and maintains survival behaviors and survival-related processes (i.e., the Unified Survival Theory of the Functioning of the Hypocretinergic System or "Unified Hypocretinergic Survival Theory"). A priori presumptive support for the Unified Hypocretinergic Survival Theory emanates from the fact...

Object invariants define the consistency of objects. They have subtle semantics because of call-backs, multi-object invariants and subclassing. Several visible-state verification techniques for object invariants have been proposed. It is difficult to compare these techniques and ascertain their soundness because of differences in restrictions on programs and invariants, in the use of advanced t...

These two concept descriptions are not equivalent, but they are nevertheless meant to represent the same concept. They can obviously be made equivalent by treating the concept names Head_injury and Severe_finding as variables, and substituting the first one by Injury u ∃finding_site.Head and the second one by ∃severity.Severe. In this case, we say that the descriptions are unifiable, and call t...

We explore filled pause usage in spontaneous medical narration. Expert physicians viewed images of dermatological conditions and provided a description while working toward a diagnosis. The narratives were analyzed for differences in filled pauses used by attending (experienced) and resident (in-training) physicians and by male and female physicians. Attending physicians described more and used...

We describe a distributed administration tool based on the concept of delegation. Management operations are lightweight processes created on a manager’s machine, but executed remotely on specific targets. Various libraries are provided on target machines to cover the widest range of administration tasks such as modification of configuration files, recurrent, scheduled executions of programs or ...