Refine
Departments, institutes and facilities
- Fachbereich Informatik (86)
- Fachbereich Wirtschaftswissenschaften (68)
- Fachbereich Angewandte Naturwissenschaften (42)
- Institut für Technik, Ressourcenschonung und Energieeffizienz (TREE) (39)
- Präsidium (39)
- Fachbereich Ingenieurwissenschaften und Kommunikation (38)
- Fachbereich Sozialpolitik und Soziale Sicherung (33)
- Institut für Cyber Security & Privacy (ICSP) (30)
- Institute of Visual Computing (IVC) (27)
- Institut für funktionale Gen-Analytik (IFGA) (16)
Document Type
- Conference Object (123)
- Article (105)
- Part of a Book (93)
- Part of Periodical (40)
- Book (monograph, edited volume) (18)
- Contribution to a Periodical (15)
- Report (12)
- Doctoral Thesis (5)
- Working Paper (5)
- Master's Thesis (3)
Year of publication
- 2015 (431) (remove)
Keywords
- Sozialversicherung (13)
- Rehabilitation (7)
- Lehrbuch (6)
- Qualitätssicherung (5)
- Selbstverwaltung (5)
- Arbeitswelt (4)
- Controlling (4)
- Eco-Feedback (4)
- Prozessmanagement (4)
- Prävention (4)
Communicating Sequential Processes (CSP) [7] is a calculus for concurrent systems that has been the basis of subject-oriented business process management (S-BPM) [4]. We use CSPm -- a machine readable dialect of CSP -- to create a sequence of models for a case study on an "Automated Teller Machine" [1]. We use the refinement checker FDR2 to prove that certain models are correct implementations of specifications.
Over the last 50 years, the controlled motion of robots has become a very mature domain of expertise. It can deal with all sorts of topologies and types of joints and actuators, with kinematic as well as dynamic models of devices, and with one or several tools or sensors attached to the mechanical structure. Nevertheless, the domain has not succeeded in standardizing the modelling of robot devices (including such fundamental entities as “reference frames”!), let alone the semantics of their motion specification and control. This thesis aims to solve this long-standing problem, from three different sides: semantic models for robot kinematics and dynamics, semantic models of all possible motion specification and control problems, and software that can support the latter while being configured by a systematic use of the former.
Competitions for Benchmarking: Task and Functionality Scoring Complete Performance Assessment
(2015)
Comparison of the subject-oriented and the Petri net based approach for business process automation
(2015)
The subject-oriented modelling approach [5] significally differs from the classic Petri net based approach of many business process modeling languages like EPC [9], Business Process Model and Notation (BPMN) [11], and also Yet Another Workflow Language (YAWL) [10]. In this work, we compare the two approaches by modeling a case study called "Procure to Pay"[3], a typical business process where some equipment for a construction site is rented and finally paid. The case study is not only modelled but also automated using the Metasonic Suite for the subject-oriented and YAWL for the Petri net based approach.
Communicating Climate Risks. A case study of the International Red Cross/Red Crescent Movement
(2015)
Only since the turn of the 21st century have humanitarian organisations developed specific strategies that address climate change impacts as a humanitarian challenge. Taking the International Red Cross / Red Crescent Movement, being the largest humanitarian network, as an empirical case study, the article discusses the Movement’s changes in the areas 1) agenda setting, 2) organisational restructuring, 3) networking, 4) programming, and 5) advocacy. Based on the case study and a theoretical framework of organisational sociology, the article provides conclusions on internal and external factors that can explain why the Movement has been successful in being one of the first actors within the organisational field of humanitarian organisations to focus systematically on the humanitarian implications of climatic changes.
Case Management an der Schnittstelle zwischen Versicherten, Arbeitgebern und Leistungserbringern
(2015)
We propose a high-performance GPU implementation of Ray Histogram Fusion (RHF), a denoising method for stochastic global illumination rendering. Based on the CPU implementation of the original algorithm, we present a naive GPU implementation and the necessary optimization steps. Eventually, we show that our optimizations increase the performance of RHF by two orders of magnitude when compared to the original CPU implementation and one order of magnitude compared to the naive GPU implementation. We show how the quality for identical rendering times relates to unfiltered path tracing and how much time is needed to achieve identical quality when compared to an unfiltered path traced result. Finally, we summarize our work and describe possible future applications and research based on this.
This book presents bond graph model-based fault detection with a focus on hybrid system models. The book addresses model design, simulation, control and model-based fault diagnosis of multidisciplinary engineering systems. The text beings with a brief survey of the state-of-the-art, then focuses on hybrid systems. The author then uses different bond graph approaches throughout the text and provides case studies.