Refine
H-BRS Bibliography
- yes (316) (remove)
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)
- Institute of Visual Computing (IVC) (27)
- Internationales Zentrum für Nachhaltige Entwicklung (IZNE) (14)
- Institut für Sicherheitsforschung (ISF) (13)
Document Type
- Conference Object (99)
- Article (82)
- Part of Periodical (40)
- Part of a Book (38)
- Book (monograph, edited volume) (16)
- Report (11)
- Contribution to a Periodical (9)
- Working Paper (5)
- Doctoral Thesis (4)
- Other (3)
Year of publication
- 2015 (316) (remove)
Keywords
- Lehrbuch (6)
- Arbeitswelt (4)
- Eco-Feedback (4)
- Prozessmanagement (4)
- Qualitätssicherung (4)
- Rehabilitation (4)
- Sozialversicherung (4)
- Sozialversicherungswissenschaft (4)
- FPGA (3)
- Personalentwicklung (3)
Alles dreht sich um's Denken im gerade erschienenen Jahresbericht 2014.
Im Interview erörtern Hochschulpräsident Hartmut Ihne und 3Sat-Moderator Gert Scobel den Denkbegriff - "Dürfen wir unsere Autonomie aus freien Stücken an Algorithmen abgeben?".
James Chamberlain, Leiter des Sprachenzentrums der H-BRS, geht der Frage auf den Grund, in wieweit sich das Denken in unterschiedlichen Sprachen unterscheidet.
Professor Paul Plöger vom Fachbereich Informatik erklärt, warum Roboter große Probleme damit haben, komplexe Zusammenhänge in offenen Umgebungen zu verstehen.
Der knapp 90 Seiten starke Jahresbericht verknüpft sein großes Thema mit der enormen Vielfalt von Leben, Forschung und Lehre an der H-BRS und wirft nicht nur einen Blick in die Zukunft der Hochschule.
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.