Universitätsverlag Potsdam
Refine
Year of publication
- 2021 (153) (remove)
Document Type
- Article (95)
- Part of Periodical (20)
- Monograph/Edited Volume (14)
- Review (10)
- Report (5)
- Doctoral Thesis (2)
- Other (2)
- Bachelor Thesis (1)
- Conference Proceeding (1)
- Master's Thesis (1)
Keywords
- USA (10)
- United States (9)
- moderne jüdische Geschichte (9)
- Christian Gottfried Ehrenberg (8)
- 20. Jahrhundert (7)
- 20th century (7)
- modern Jewish history (7)
- 19. Jahrhundert (5)
- Forschungsreisen (5)
- 19th century (4)
Institute
- Extern (33)
- Hasso-Plattner-Institut für Digital Engineering GmbH (32)
- Institut für Romanistik (22)
- Vereinigung für Jüdische Studien e. V. (21)
- MenschenRechtsZentrum (17)
- Verband für Patholinguistik e. V. (vpl) (12)
- Institut für Biochemie und Biologie (11)
- Arbeitskreis Militär und Gesellschaft in der Frühen Neuzeit e. V. (9)
- Klassische Philologie (7)
- Universitätsbibliothek (3)
Proceedings of the HPI Research School on Service-oriented Systems Engineering 2020 Fall Retreat
(2021)
Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application.
Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns.
The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the research school, this technical report covers a wide range of topics. These include but are not limited to: Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; and Services Specification, Composition, and Enactment.
Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time. In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.
Durch den demographischen Wandel wird das Erwerbspersonenpotential und damit die Anzahl erwerbstätiger Personen, insbesondere die Zahl der Fachkräfte in den kommen-den Jahren in Deutschland zurückgehen. Aufgrund dessen wird es für Arbeitgeber zukünftig schwieriger werden, qualifizierten Nachwuchs zu finden. Aufgrund seiner Alterstruktur und der zunehmenden Arbeitsverdichtung ist der öffentliche Dienst, sowie der Teilbereich der öffentlichen Verwaltung, stärker als andere Arbeitgeber mit der Notwendigkeit konfrontiert, mittelfristig externes Personal zu rekrutieren. In Anbetracht dessen ging die Arbeit der Frage nach, inwieweit die öffentliche Verwaltung das hierfür geeignete, innovative Instrument des Social - Media - Personalmarketings bereits imple-mentiert hat und wie sich das ermittelte Ergebnis erklären lässt. Hinsichtlich der aktuellen Anwendung konnte festgestellt werden, dass Social - Media - Personalmarketing erst vor Kurzem in der öffentlichen Verwaltung implementiert wurde und aufgrund dessen gegenwärtig primär zur operativen Personalgewinnung genutzt wird. Als erklärende Einflussfaktoren konnten im Rahmen einer empirischen Untersuchung die mangelnde Relevanz des Personalmarketings als Aufgabe der öffentlichen Verwaltung, der aktuelle Per-sonalbestand und dessen digitale Kompetenzen, sowie die hierarchisch geprägten Kommunikationswege innerhalb der öffentlichen Verwaltung ermittelt werden. Mit Ausnahme der Kommunikationswege decken die Faktoren sich mit denen der Privatwirtschaft. Die öffentliche Verwaltung ist dazu angehalten, den aktuellen Ausprägungsgrad der Amtshierarchie kritisch zu hinterfragen, um das volle Potential des Social - Media - Personalmarketings zukünftig zu heben.
Human size changes over time with worldwide secular trends in height, weight, and body mass index (BMI). There is general agreement to relate the state of nutrition to height and weight, and to ratios of weight-to-height. The BMI is a ratio. It is commonly used to classify underweight, overweight and obesity in adults. Yet, the BMI is inappropriate to provide any immediate information on body composition.
It is accepted that the BMI is “a simple index to classify underweight, overweight and obesity in adults”. It is stated that “policies, programmes and investments need to be “nutrition-sensitive”, which means they must have positive impacts on nutrition”. It is also stated that “a need for policies that address all forms of malnutrition by making healthy foods accessible and affordable, while restricting unhealthy foods through fiscal and regulatory restrictions“. But these statements are neither warranted by arithmetic considerations, nor by historic evidence.
Measuring the BMI is an appropriate screening tool for detecting an unusual weight-to-height ratio, but the BMI is an inappropriate tool for estimating body composition, or suggesting medical and health policy decisions.