Refine
H-BRS Bibliography
- yes (238) (remove)
Departments, institutes and facilities
- Fachbereich Informatik (76)
- Fachbereich Wirtschaftswissenschaften (56)
- Fachbereich Angewandte Naturwissenschaften (35)
- Institut für Technik, Ressourcenschonung und Energieeffizienz (TREE) (34)
- Fachbereich Ingenieurwissenschaften und Kommunikation (33)
- Fachbereich Sozialpolitik und Soziale Sicherung (33)
- Institute of Visual Computing (IVC) (22)
- Institut für Sicherheitsforschung (ISF) (13)
- Institut für Cyber Security & Privacy (ICSP) (11)
- Institut für funktionale Gen-Analytik (IFGA) (10)
- Internationales Zentrum für Nachhaltige Entwicklung (IZNE) (8)
- Institut für Verbraucherinformatik (IVI) (5)
- Graduierteninstitut (4)
- Institut für Detektionstechnologien (IDT) (3)
- Institut für Soziale Innovationen (ISI) (2)
- Bibliothek (1)
- Centrum für Entrepreneurship, Innovation und Mittelstand (CENTIM) (1)
- Sprachenzentrum (1)
- Zentrum für Wissenschafts- und Technologietransfer (ZWT) (1)
Document Type
- Conference Object (89)
- Article (69)
- Part of a Book (37)
- Book (monograph, edited volume) (15)
- Contribution to a Periodical (9)
- Doctoral Thesis (4)
- Report (4)
- Working Paper (3)
- Conference Proceedings (2)
- Master's Thesis (2)
Year of publication
- 2015 (238) (remove)
Has Fulltext
- no (238) (remove)
Keywords
- Lehrbuch (6)
- Arbeitswelt (4)
- Qualitätssicherung (4)
- Rehabilitation (4)
- Sozialversicherung (4)
- Sozialversicherungswissenschaft (4)
- FPGA (3)
- Personalentwicklung (3)
- Prozessmanagement (3)
- Arbeitsmedizin (2)
Industrie 4.0: Digitale Wirtschaft – Herausforderung und Chance für Unternehmen und Arbeitswelt
(2015)
Seit Mitte der 1990er Jahre werden neue Informations- und Kommunikationstechnologien in der Arbeitswelt genutzt, in wachsendem Ausmaß und mit wachsender Bedeutung. Die verstärkte Digitalisierung verändert sowohl die Wirtschaft als auch die Gesellschaft. Es wird sogar von der "vierten industriellen Revolution" gesprochen, denn traditionelle Geschäftsmodelle geraten unter Druck.
Statistische Fragestellungen finden sich in den verschiedensten alltäglichen Lebensbereichen. Ohne Grundlagen der Deskriptiven Statistik ist das Verständnis technischer, sozialer oder naturwissenschaftlicher Zusammenhänge kaum denkbar. Dieses Buch verbindet hohe analytische Tiefe statistischer Fragestellungen mit großer Anschaulichkeit.
Langfristige Finanzierungen tragen wesentlich zur Beruhigung der Märkte und damit zur Stabilität von Volkswirtschaften bei. Dies zeigt eindrucksvoll das Beispiel des deutschen Marktes für Wohnungsfinanzierungen. Bedingt durch die neuen Finanzmarktregulierungen wie Basel III und Solvency II wird sich der Markt für langfristige Finanzierungen jedoch verkleinern, da Banken Anreize erhalten, eher kurzfristige Darlehen zu vergeben. Andere Finanzintermediäre, etwa Versicherungen oder Fonds, werden diese Lücke kaum schließen können. Zwar werden alternative Finanzintermediäre aufgrund von Vorteilen in der Regulierung ihre Kreditvergabe erhöhen, aber wegen fehlender Erfahrungen und Anreize werden sie den Mangel an Langfristfinanzierungen nicht beheben können. Geboten ist daher eine Anpassung des Regelwerks, damit der Bankensektor robuster wird, gleichzeitig aber seine originären volkswirtschaftlichen Funktionen weiter erfüllen kann.
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.