Refine
Has Fulltext
- yes (12) (remove)
Year of publication
- 2021 (12) (remove)
Document Type
- Monograph/Edited Volume (12) (remove)
Is part of the Bibliography
- yes (12) (remove)
Keywords
- cyber-physical systems (2)
- probabilistic timed systems (2)
- qualitative Analyse (2)
- qualitative analysis (2)
- quantitative Analyse (2)
- quantitative analysis (2)
- Bildung (1)
- Bounded Model Checking (1)
- Computerspiele (1)
- Datenvisualisierung (1)
- Didaktik (1)
- Forschungskolleg (1)
- Forum Romanum (1)
- Graphentransformationssysteme (1)
- Hasso Plattner Institute (1)
- Hasso-Plattner-Institut (1)
- Häkeln (1)
- Interval Timed Automata (1)
- Klausurtagung (1)
- Kriegsbericht (1)
- Kunstanalyse (1)
- Lateintag (1)
- Literaturwissenschaft (1)
- Medien (1)
- Modellprüfung (1)
- Nero (1)
- Personalmarketing (1)
- Ph.D. retreat (1)
- Pädadgogik (1)
- Randgruppen (1)
- Rezensionen (1)
- Service-oriented Systems Engineering (1)
- Social-Media (1)
- Social-Media-Marketing (1)
- StGB (1)
- Strafgesetzbuch (1)
- Strafrecht (1)
- Theodor Fontane (1)
- Theodor-Fontane-Archiv (1)
- Timed Automata (1)
- Unterricht (1)
- Visualisierungskonzept-Exploration (1)
- Werkzeuge (1)
- art analysis (1)
- bounded model checking (1)
- computer games (1)
- computer vision (1)
- computer-aided design (1)
- crochet (1)
- cultural heritage (1)
- cyber-physikalische Systeme (1)
- cyber-physische Systeme (1)
- data visualization (1)
- demografische Informationen (1)
- demographic information (1)
- didactics (1)
- education (1)
- graph transformation systems (1)
- interval probabilistic timed systems (1)
- interval probabilistische zeitgesteuerte Systeme (1)
- interval timed automata (1)
- kulturelles Erbe (1)
- maschinelles Sehen (1)
- media (1)
- model checking (1)
- pedagogy (1)
- personnel marketing (1)
- probabilistische gezeitete Systeme (1)
- probabilistische zeitgesteuerte Systeme (1)
- public administration (1)
- rechnerunterstütztes Konstruieren (1)
- research school (1)
- russische Kommentierung StGB (1)
- russische Übersetzung StGB (1)
- service-oriented systems engineering (1)
- social media (1)
- social media marketing (1)
- teaching (1)
- timed automata (1)
- tools (1)
- visual language (1)
- visualization concept exploration (1)
- visuelle Sprache (1)
- web-based development environment (1)
- web-basierte Entwicklungsumgebung (1)
- Öffentliche Verwaltung (1)
- Уголовное уложение Германии (1)
- Уголовный кодекс Германии (1)
- комментарий к УУ (УК) ФРГ (1)
- перевод УУ (УК) ФРГ (1)
- уголовное право Германии (1)
Настоящий научно-практический комментарий и перевод Уголовного уложения Федеративной Республики Германия не ограничивается собственно трансформацией текста основного уголовного закона Германии на русский язык. Руководствуясь принципами функционального перевода, автор посредством точного и систематического перевода доводит до сведения читателя смысл уголовно-правовых норм. Научно-практический комментарий к Уголовному уложению Германии представляет собой постатейный комментарий, учитывающий как мнение законодателя, так и мнение правоприменительной практики Федерального Верховного суда и высших Земельных судов Германии, а также немецкой юридической доктрины по основным проблемам уголовного права. Необходимое внимание было уделено также дополнительному уголовному праву и уголовно-процессуальным проблемам. Таким образом, задачей настоящего издания является предоставить читателю возможность правильного языкового понимания и юридического толкования уголовно-правовых норм Германии.
Вступительная статья «Введение в уголовное право Германии» содержит общий обзор немецкого уголовного права. Особое внимание уделено развитию и источникам уголовного законодательства, а также доктрине уголовного права ФРГ.
Книга может заинтересовать практиков и правоведов, а также всех, кто в своей профессиональной деятельности или в процессе обучения сталкивается с уголовным правом Германии.
Mit 52 Texten versammelt diese Dokumentation sämtliche uns heute bekannten Rezensionen zu Theodor Fontanes „Der Krieg gegen Frankreich 1870–1871“, das in zwei Bänden, bestehend aus insgesamt vier Halbbänden, zwischen März 1873 und September 1876 im Verlag der Königlichen Geheimen Ober-Hofbuchdruckerei (R. v. Decker) erschien. Der Text der Rezensionen wird jeweils nach dem Erstdruck in Zeitungen oder Zeitschriften zeichengetreu konstituiert. Damit wird der Forschung zu Fontanes Darstellung über den Deutsch-Französischen Krieg erstmals eine wichtige rezeptionsgeschichtliche Materialgruppe als Ausgabe zur Verfügung gestellt.
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.
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.
Der vorliegende Band enthält sämtliche Impulsvorträge der Lateintage von 2018 bis 2020. Zum Thema „Im Schatten der Gesellschaft? Roms Umgang mit sozialen Randgruppen“ sprachen 2018 Meike Rühl und Nicola Hömke. Unter der Überschrift „Im Zentrum der Macht: Forum Romanum“ beleuchteten Jon Albers, Filippo Carlà-Uhink und Jan Reimann 2019 jenen wirkmächtigen Ort in seinen verschiedenen Facetten näher. 2020 gab Holger Sonnabend Lateinschülern einen Einblick in das Thema „Nero – Kaiser und Künstler“. Die Vorträge sind in der Reihenfolge abgedruckt, in der sie auf dem jeweiligen Lateintag gehalten wurden.
Mildred Harnack, geb. Fish, stammte ursprünglich aus Milwaukee, Wisconsin. Zusammen mit ihrem Ehemann Arvid Harnack zog sie nach Deutschland und lebte seit 1930 in Berlin. Hier lehrte die Literaturwissenschaftlerin an der Friedrich-Wilhelms-Universität (heute Humboldt-Universität) und am Berliner Abendgymnasium (heute Peter A. Silbermann-Schule). Bereits kurz nach der Machtübernahme von Adolf Hitler hatte sich um das Ehepaar Harnack ein Kreis von Freunden gebildet, der gegen die Herrschaft der Nationalsozialisten opponierte. Dazu zählten auch Karl Behrens und Bodo Schlösinger, die beide Schüler Mildred Harnacks am Berliner Abendgymnasium waren. Mildred Harnack konnte mit Hilfe ihrer Kontakte zur amerikanischen Botschaft ihren Schülern im nationalsozialistischen Deutschland ansonsten nicht zugängliche Informationen besorgen.
Aufgrund von Funkkontakten des Freundeskreises zur Sowjetunion wurde die Gruppe von den Nationalsozialisten Rote Kapelle genannt – „rot“ bezog sich auf deren linke Haltung und mit „Kapelle“ wurden Funker assoziiert, die wie Pianisten in einer Kapelle spielen. Der Berliner Oppositionszirkel umfasste bis zu seiner Zerschlagung durch die Nationalsozialisten etwa 150 Personen verschiedenster Berufsgruppen, unterschiedlicher parteipolitischer Einstellungen und Konfessionen. Die Gruppe verfertigte oppositionelle Flugblätter und lieferte Informationen an die amerikanische Botschaft sowie an die Sowjetunion. Mildred Harnack wurde – wie viele ihrer Mitstreiterinnen und Mitstreiter – nach ihrer Verhaftung vom Reichskriegsgericht zum Tode verurteilt und am 16. Februar 1943 in Plötzensee guillotiniert.
In diesem Band stellen Studierende der Universität Potsdam sowie Hörerinnen und Hörer der Peter A. Silbermann-Schule (Berlin) nach einem kurzen Überblick zum Widerstand gegen den Nationalsozialismus in Deutschland das Netzwerk der Roten Kapelle sowie die Biographien von Mildred Harnack und ihren Schülern Karl Behrens und Bodo Schlösinger vom Berliner Abendgymnasium eindrücklich vor.
Crochet is a popular handcraft all over the world. While other techniques such as knitting or weaving have received technical support over the years through machines, crochet is still a purely manual craft. Not just the act of crochet itself is manual but also the process of creating instructions for new crochet patterns, which is barely supported by domain specific digital solutions. This leads to unstructured and often also ambiguous and erroneous pattern instructions. In this report, we propose a concept to digitally represent crochet patterns. This format incorporates crochet techniques which allows domain specific support for crochet pattern designers during the pattern creation and instruction writing process. As contributions, we present a thorough domain analysis, the concept of a graph structure used as domain specific language to specify crochet patterns and a prototype of a projectional editor using the graph as representation format of patterns and a diagramming system to visualize them in 2D and 3D. By analyzing the domain, we learned about crochet techniques and pain points of designers in their pattern creation workflow. These insights are the basis on which we defined the pattern representation. In order to evaluate our concept, we built a prototype by which the feasibility of the concept is shown and we tested the software with professional crochet designers who approved of the concept.
The formal modeling and analysis is of crucial importance for software development processes following the model based approach. We present the formalism of Interval Probabilistic Timed Graph Transformation Systems (IPTGTSs) as a high-level modeling language. This language supports structure dynamics (based on graph transformation), timed behavior (based on clocks, guards, resets, and invariants as in Timed Automata (TA)), and interval probabilistic behavior (based on Discrete Interval Probability Distributions). That is, for the probabilistic behavior, the modeler using IPTGTSs does not need to provide precise probabilities, which are often impossible to obtain, but rather provides a probability range instead from which a precise probability is chosen nondeterministically. In fact, this feature on capturing probabilistic behavior distinguishes IPTGTSs from Probabilistic Timed Graph Transformation Systems (PTGTSs) presented earlier.
Following earlier work on Interval Probabilistic Timed Automata (IPTA) and PTGTSs, we also provide an analysis tool chain for IPTGTSs based on inter-formalism transformations. In particular, we provide in our tool AutoGraph a translation of IPTGTSs to IPTA and rely on a mapping of IPTA to Probabilistic Timed Automata (PTA) to allow for the usage of the Prism model checker. The tool Prism can then be used to analyze the resulting PTA w.r.t. probabilistic real-time queries asking for worst-case and best-case probabilities to reach a certain set of target states in a given amount of time.
Welche Eigenschaften machen das Computerspiel zum geeigneten Medium, das den pädagogischen Einsatz im Unterricht bereichern kann? Welche Computerspiele bieten welche Möglichkeiten zur Auseinandersetzung mit welchen Themen? Wie kann das Computerspiel auch im schulischen Umfeld den für den Lernprozess so wichtigen Lebensweltbezug herstellen?
Diese und viele weitere Fragen beantworten die Autor*innen des Bandes „Didaktik des digitalen Spielens“. Dafür begeben sie sich in einen Dialog der Wissenschaftsdisziplinen, leiten Möglichkeiten zum Einsatz von Computerspielen ab und werten Erfahrungen mit dem Einsatz von Computerspielen – auch in der Lehrendenbildung – aus. Mit ihren verschiedenen Zugängen zu Fragestellungen rund um eine „Didaktik des digitalen Spielens“ liefern sie einen Beitrag zu einem Diskurs, der besonders in Zeiten von Distanzunterricht notwendig und folgerichtig geführt werden muss. Die im Rahmen der gleichnamigen interdisziplinären Ringvorlesung im Wintersemester 2018/19 an der Universität Potsdam gehaltenen Vorträge sind durch die Diskussionen mit Studierenden geprägt und ausgewertet worden, so dass sie in der nun veröffentlichten Form auf mehreren Ebenen einen mehrperspektivischen Blick auf den Gegenstand „Computerspiel im Unterricht“ legen.
In recent years, computer vision algorithms based on machine learning have seen rapid development. In the past, research mostly focused on solving computer vision problems such as image classification or object detection on images displaying natural scenes. Nowadays other fields such as the field of cultural heritage, where an abundance of data is available, also get into the focus of research. In the line of current research endeavours, we collaborated with the Getty Research Institute which provided us with a challenging dataset, containing images of paintings and drawings. In this technical report, we present the results of the seminar "Deep Learning for Computer Vision". In this seminar, students of the Hasso Plattner Institute evaluated state-of-the-art approaches for image classification, object detection and image recognition on the dataset of the Getty Research Institute. The main challenge when applying modern computer vision methods to the available data is the availability of annotated training data, as the dataset provided by the Getty Research Institute does not contain a sufficient amount of annotated samples for the training of deep neural networks. However, throughout the report we show that it is possible to achieve satisfying to very good results, when using further publicly available datasets, such as the WikiArt dataset, for the training of machine learning models.
The noble way to substantiate decisions that affect many people is to ask these people for their opinions. For governments that run whole countries, this means asking all citizens for their views to consider their situations and needs.
Organizations such as Africa's Voices Foundation, who want to facilitate communication between decision-makers and citizens of a country, have difficulty mediating between these groups. To enable understanding, statements need to be summarized and visualized. Accomplishing these goals in a way that does justice to the citizens' voices and situations proves challenging. Standard charts do not help this cause as they fail to create empathy for the people behind their graphical abstractions. Furthermore, these charts do not create trust in the data they are representing as there is no way to see or navigate back to the underlying code and the original data. To fulfill these functions, visualizations would highly benefit from interactions to explore the displayed data, which standard charts often only limitedly provide.
To help improve the understanding of people's voices, we developed and categorized 80 ideas for new visualizations, new interactions, and better connections between different charts, which we present in this report. From those ideas, we implemented 10 prototypes and two systems that integrate different visualizations. We show that this integration allows consistent appearance and behavior of visualizations. The visualizations all share the same main concept: representing each individual with a single dot. To realize this idea, we discuss technologies that efficiently allow the rendering of a large number of these dots. With these visualizations, direct interactions with representations of individuals are achievable by clicking on them or by dragging a selection around them. This direct interaction is only possible with a bidirectional connection from the visualization to the data it displays. We discuss different strategies for bidirectional mappings and the trade-offs involved. Having unified behavior across visualizations enhances exploration. For our prototypes, that includes grouping, filtering, highlighting, and coloring of dots. Our prototyping work was enabled by the development environment Lively4. We explain which parts of Lively4 facilitated our prototyping process. Finally, we evaluate our approach to domain problems and our developed visualization concepts.
Our work provides inspiration and a starting point for visualization development in this domain. Our visualizations can improve communication between citizens and their government and motivate empathetic decisions. Our approach, combining low-level entities to create visualizations, provides value to an explorative and empathetic workflow. We show that the design space for visualizing this kind of data has a lot of potential and that it is possible to combine qualitative and quantitative approaches to data analysis.