This study analyses behavioral psychological facilitators and barriers to using different carsharing business models. It identifies the most preferable models for trip purposes as well main motivators it. Users of services (N=1121) in German cities completed a questionnaire distributed by five operators representing three models: free-floating (FF), round-trip station-based (RTSB), peer-to-peer...

Pablo A. Straub and Carlos Hurtado L. [email protected] [email protected] Depto. de Ciencia de la Computaci on Universidad Cat olica de Chile Vicu~ na Mackenna 4860 (143) Santiago 22, Chile Abstract Petri-nets have been used to model and analyze business process behavior, both in pure form and as the semantics of visual formalisms. We and others have advocated the use of a restricted class of...

We present a work-in-progress prototype to support the treatment of reoccurring, seasonal depressions using a set of tangible proxy-objects. The system provides reminders that help users to adapt health promoting behavior. Based on findings from the field of chronobiology which indicate a relation between ambient light exposure and an individual’s mood, three devices are proposed. By increasing...

This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, kPC extends Milner's Calculus of Conmmnicating Systems with operators fl'om the alternation free linear time p calculus (kT#). Semantically, kPC is equipped with a behavioral preorder that generalizes ...

Data on the responsiveness of free-ranging cetaceans to mid-frequency sonar signals are lacking, with only a few species having been studied in relation to a few types of sonar signals, mostly SURTASSLFA (Nowacek et al., 2007). This specific project was initially motivated by observations of possible killer whale (Orcinus orca) reactions to sonars, in the Vestfjord basin of Norway and the USS S...