Nicht ermittelbar
Refine
Has Fulltext
- yes (207) (remove)
Year of publication
Document Type
- Article (163)
- Monograph/Edited Volume (25)
- Postprint (4)
- Doctoral Thesis (3)
- Other (3)
- Report (3)
- Conference Proceeding (2)
- Review (2)
- Master's Thesis (1)
- Working Paper (1)
Keywords
- Digitalisierung (4)
- cyber-physical systems (4)
- digitalization (4)
- openHPI (4)
- probabilistic timed systems (4)
- qualitative Analyse (4)
- qualitative analysis (4)
- quantitative Analyse (4)
- quantitative analysis (4)
- Bounded Model Checking (2)
- Dialektik (2)
- European Union (2)
- Europäische Union (2)
- Graphentransformationssysteme (2)
- HPI Schul-Cloud (2)
- Kompetenzen (2)
- MERLOT (2)
- MOOC (2)
- Modellprüfung (2)
- Teamarbeit (2)
- bounded model checking (2)
- cyber-physische Systeme (2)
- digital education (2)
- digital enlightenment (2)
- digital learning platform (2)
- digital sovereignty (2)
- digitale Aufklärung (2)
- digitale Bildung (2)
- digitale Lernplattform (2)
- digitale Souveränität (2)
- graph transformation systems (2)
- lebenslanges Lernen (2)
- lifelong learning (2)
- machine learning (2)
- maschinelles Lernen (2)
- model checking (2)
- probabilistische gezeitete Systeme (2)
- probabilistische zeitgesteuerte Systeme (2)
- 19. Jahrhundert (1)
- Adelbert von Chamisso (1)
- Adult education (1)
- Aesthetic education (1)
- All-day school (1)
- Analog-zu-Digital-Konvertierung (1)
- Analyse (1)
- Andere Fachrichtungen (1)
- Annemarie Schwarzenbach (1)
- Arndt (1)
- Ausdehnungslehre (1)
- Bahnwesen (1)
- Betriebssysteme (1)
- Beweisaufgaben (1)
- Big Data (1)
- Blended Learning (1)
- Blended learning (1)
- Blockchain (1)
- Bounded Backward Model Checking (1)
- C-Test (1)
- COVID-19 (1)
- Chamisso (1)
- Cloud Computing (1)
- Codeverständnis (1)
- Creators of Arts and Culture (1)
- Cyber-physikalische Systeme (1)
- Data Literacy (1)
- Data Science (1)
- Daten (1)
- Datensatz (1)
- Datenschutz-sicherer Einsatz in der Schule (1)
- Datenvisualisierung (1)
- Degenerationsprozesse (1)
- Dekubitus (1)
- Didactics from the subjects view (1)
- Didaktik vom Subjektstandpunkt (1)
- Dispositional learning analytics (1)
- Distributed-Ledger-Technologie (DLT) (1)
- ELE (1)
- Echtzeit (1)
- Elementarschulwesen (1)
- Ella Maillart (1)
- Empirische Untersuchung (1)
- Erwachsenenbildung (1)
- European expansion (1)
- Evaluation (1)
- Expansion Europas (1)
- Explorative Datenanalyse (1)
- Fehlertoleranz (1)
- Fertigkeiten (1)
- Forbildung (1)
- Formale Sprachen und Automaten (1)
- Formative assessment (1)
- Forschung (1)
- Forschungsprojekte (1)
- Fremdsprachendidaktik (1)
- Future SOC Lab (1)
- Ganztagsschule (1)
- Generalized Discrimination Networks (1)
- GitHub (1)
- Globalisierung (1)
- Grassmann (1)
- Heuristiken (1)
- Hochschulkurse (1)
- Hochschullehre (1)
- Häkeln (1)
- In-Memory Technologie (1)
- Informatik (1)
- Informatik für alle (1)
- Informationskompetenz (1)
- Inhalte (1)
- Inhaltsanalyse (1)
- Initiative „europäische Hochschulnetzwerke“ (1)
- Interkulturalität (1)
- Interval Timed Automata (1)
- Java (1)
- Johann Friedrich Eschscholtz (1)
- Kausalität (1)
- Kollaboration (1)
- Kompetenzmessung (1)
- Konsensprotokolle (1)
- Krise (1)
- Kunst- und Kulturschaffende (1)
- Kunstanalyse (1)
- Learning analytics (1)
- Learning dispositions (1)
- Lebenskunst (1)
- Lehre (1)
- Lehrevaluation (1)
- Lehrkräfte mit Fluchterfahrung (1)
- Lehrkräftebildung (1)
- Live-Programmierung (1)
- Lively Kernel (1)
- Louis Choris (1)
- Lückentext (1)
- Materialismus (1)
- Mathematik (1)
- Metaphysik (1)
- Migration (1)
- Modelle mit mehreren Versionen (1)
- Morton Wormskiold (1)
- Multicore Architekturen (1)
- Naturgeschichte (1)
- Naturkunde (1)
- Netzwerkprotokolle (1)
- Nicolas Bouvier (1)
- Otto von Kotzebue (1)
- Pandemie (1)
- Politikberatung (1)
- Posenabschätzung (1)
- Pragmatik (1)
- Professionalisierung (1)
- Professionelle Integration (1)
- Programmierausbildung (1)
- Projekte (1)
- Pädagogische Weiterbildung (1)
- Quanten-Computing (1)
- Quantengravitation (1)
- Re-Engineering (1)
- Regressionstests (1)
- Reisebeschreibung (1)
- Reiseliteratur (1)
- Reisen um 1800 (1)
- Reverse Engineering (1)
- Romanzoff (1)
- Romanzoff Expedition (1)
- Romanzow (1)
- Rurik (1)
- SaF (1)
- Savanne (1)
- Schelling (1)
- Schleiermacher (1)
- Schulentwicklung (1)
- Schulleitungen (1)
- Scrollytelling (1)
- Software Engineering (1)
- Software/Hardware Co-Design (1)
- Softwareentwicklung (1)
- Spin-Schaum (1)
- Standardisierung (1)
- Strukturverbesserung (1)
- Studiengänge (1)
- Studierendenperformance (1)
- Teacher training (1)
- Telemedizin (1)
- Testergebnisse (1)
- Testpriorisierungs (1)
- Theoretische Informatik (1)
- Timed Automata (1)
- Training concept (1)
- Training didactics (1)
- Trajektorien (1)
- Transdisziplinarität (1)
- Tripel-Graph-Grammatiken (1)
- Unterricht mit digitalen Medien (1)
- Verlässlichkeit (1)
- Versionsverwaltung (1)
- Visualisierungskonzept-Exploration (1)
- Wartung von Lehrveranstaltungen (1)
- Weiterbildungsdidaktik (1)
- Weiterbildungskonzept (1)
- Weltreisen (1)
- Weltumsegelung (1)
- Werkzeuge (1)
- Wissenschaft (1)
- Wissenschaftliches Arbeiten (1)
- Wissenschaftsgeschichte (1)
- Wüstenbildung (1)
- analog-to-digital conversion (1)
- art analysis (1)
- art of life (1)
- artifical intelligence (1)
- asset management (1)
- benutzergenerierte Inhalte (1)
- bounded backward model checking (1)
- causality (1)
- circumnavigation (1)
- cloud computing (1)
- compositional analysis (1)
- computer vision (1)
- computer-aided design (1)
- consensus protocols (1)
- continuous integration (1)
- convolutional neural networks (1)
- crisis (1)
- crochet (1)
- cultural heritage (1)
- culture, identity, and inclusion (1)
- cyber-physikalische Systeme (1)
- data (1)
- data set (1)
- data visualization (1)
- decentral identities (1)
- decubitus (1)
- deep learning (1)
- demografische Informationen (1)
- demographic information (1)
- dependability (1)
- desertification (1)
- dezentrale Identitäten (1)
- didáctica (1)
- digital picture archive (1)
- digital unterstützter Unterricht (1)
- digitale Infrastruktur für den Schulunterricht (1)
- digitales Bildarchiv (1)
- discrete-event model (1)
- diskretes Ereignismodell (1)
- duale IT-Ausbildung (1)
- dynamic systems (1)
- dynamische Systeme (1)
- e-Assessment (1)
- e-Learning (1)
- empowerment (1)
- expedition (1)
- fault tolerance (1)
- forschungsorientiertes Lernen (1)
- gefaltete neuronale Netze (1)
- generalized discrimination networks (1)
- global model management (1)
- globales Modellmanagement (1)
- globalization (1)
- heterogeneity (1)
- heuristics (1)
- history of science (1)
- ict (1)
- in-memory technology (1)
- initiative „European University Networks“ (1)
- initiative „universités européenne“ (1)
- interactive media (1)
- interaktive Medien (1)
- interculturalidad (1)
- interval probabilistic timed systems (1)
- interval probabilistische zeitgesteuerte Systeme (1)
- interval timed automata (1)
- intuitive Benutzeroberflächen (1)
- intuitive interfaces (1)
- journey around the world (1)
- juridical recording (1)
- k-inductive invariant checking (1)
- k-induktive Invariantenprüfung (1)
- kompositionale Analyse (1)
- kontinuierliche Integration (1)
- kontrastive Linguistik (1)
- kontrastive Pragmatik (1)
- kulturelles Erbe (1)
- künstliche Intelligenz (1)
- left recursion (1)
- lingüística contrastiva (1)
- live programming (1)
- maschinelles Sehen (1)
- multi-version models (1)
- multicore architectures (1)
- natural history (1)
- natural sciences (1)
- naturalistic research (1)
- network protocols (1)
- operating systems (1)
- packrat parsing (1)
- pandemic (1)
- parallel and sequential independence (1)
- parallele und Sequentielle Unabhängigkeit (1)
- parsing expression grammars (1)
- policy advice (1)
- pose estimation (1)
- pragmática (1)
- pragmática contrastiva (1)
- qualitative model (1)
- qualitatives Modell (1)
- quantum computing (1)
- railways (1)
- real-time (1)
- rechnerunterstütztes Konstruieren (1)
- refugees (1)
- regression testing (1)
- research projects (1)
- reverse engineering (1)
- récit de voyage (1)
- savanna (1)
- savoir vivre (1)
- science (1)
- scrollytelling (1)
- selbstbestimmte Identitäten (1)
- self-sovereign identity (1)
- social inclusion (1)
- software/hardware co-design (1)
- standardization (1)
- static source-code analysis (1)
- statische Quellcodeanalyse (1)
- symbolic analysis (1)
- symbolische Analyse (1)
- technology (1)
- telemedicine (1)
- test case prioritization (1)
- test results (1)
- tiefes Lernen (1)
- timed automata (1)
- tools (1)
- trajectories (1)
- transdisciplinarity (1)
- travel literature (1)
- travelling around 1800 (1)
- travelogue (1)
- triple graph grammars (1)
- user-generated content (1)
- verifiable credentials (1)
- version control (1)
- visual language (1)
- visualization concept exploration (1)
- visuelle Sprache (1)
- voyage around the world (1)
- web-based development (1)
- web-based development environment (1)
- web-basierte Entwicklungsumgebung (1)
- webbasierte Entwicklung (1)
- Ästhetische Bildung (1)
- überprüfbare Nachweise (1)
Institute
- Department Musik und Kunst (49)
- MenschenRechtsZentrum (42)
- Hasso-Plattner-Institut für Digital Engineering GmbH (24)
- Department Erziehungswissenschaft (19)
- Klassische Philologie (15)
- Institut für Umweltwissenschaften und Geographie (12)
- Bürgerliches Recht (11)
- Arbeitskreis Militär und Gesellschaft in der Frühen Neuzeit e. V. (10)
- Institut für Mathematik (10)
- Historisches Institut (5)
- Juristische Fakultät (5)
- Institut für Philosophie (2)
- Institut für Romanistik (2)
- Deutsches MEGA-Konsortialbüro an der Universität Potsdam (1)
- Fachgruppe Betriebswirtschaftslehre (1)
- Fachgruppe Politik- & Verwaltungswissenschaft (1)
- Institut für Germanistik (1)
- Institut für Informatik und Computational Science (1)
- Öffentliches Recht (1)
Since the beginning of the recent global refugee crisis, researchers have been tackling many of its associated aspects, investigating how we can help to alleviate this crisis, in particular, using ICTs capabilities. In our research, we investigated the use of ICT solutions by refugees to foster the social inclusion process in the host community. To tackle this topic, we conducted thirteen interviews with Syrian refugees in Germany. Our findings reveal different ICT usages by refugees and how these contribute to feeling empowered. Moreover, we show the sources of empowerment for refugees that are gained by ICT use. Finally, we identified the two types of social inclusion benefits that were derived from empowerment sources. Our results provide practical implications to different stakeholders and decision-makers on how ICT usage can empower refugees, which can foster the social inclusion of refugees, and what should be considered to support them in their integration effort.
Nils-Hendrik Grohmann beschäftigt sich mit dem noch andauernden Stärkungsprozess der UN-Menschenrechtsvertragsorgane. Er analysiert, welche rechtlichen Befugnisse die Ausschüsse haben, ob sie von sich aus Vorschläge einbringen können und inwieweit sie ihre Verfahrensweisen bisher aufeinander abgestimmt haben. Ein weiterer Schwerpunkt liegt auf der Zusammenarbeit zwischen den verschiedenen Ausschüssen und der Frage, welche Rolle das Treffen der Vorsitzenden bei der Stärkung spielen kann.
This technical report presents the results of student projects which were prepared during the lecture “Operating Systems II” offered by the “Operating Systems and Middleware” group at HPI in the Summer term of 2020. The lecture covered ad- vanced aspects of operating system implementation and architecture on topics such as Virtualization, File Systems and Input/Output Systems. In addition to attending the lecture, the participating students were encouraged to gather practical experience by completing a project on a closely related topic over the course of the semester. The results of 10 selected exceptional projects are covered in this report.
The students have completed hands-on projects on the topics of Operating System Design Concepts and Implementation, Hardware/Software Co-Design, Reverse Engineering, Quantum Computing, Static Source-Code Analysis, Operating Systems History, Application Binary Formats and more. It should be recognized that over the course of the semester all of these projects have achieved outstanding results which went far beyond the scope and the expec- tations of the lecture, and we would like to thank all participating students for their commitment and their effort in completing their respective projects, as well as their work on compiling this report.
Digital technology offers significant political, economic, and societal opportunities. At the same time, the notion of digital sovereignty has become a leitmotif in German discourse: the state’s capacity to assume its responsibilities and safeguard society’s – and individuals’ – ability to shape the digital transformation in a self-determined way. The education sector is exemplary for the challenge faced by Germany, and indeed Europe, of harnessing the benefits of digital technology while navigating concerns around sovereignty. It encompasses education as a core public good, a rapidly growing field of business, and growing pools of highly sensitive personal data. The report describes pathways to mitigating the tension between digitalization and sovereignty at three different levels – state, economy, and individual – through the lens of concrete technical projects in the education sector: the HPI Schul-Cloud (state sovereignty), the MERLOT data spaces (economic sovereignty), and the openHPI platform (individual sovereignty).
Digitale Technologien bieten erhebliche politische, wirtschaftliche und gesellschaftliche Chancen. Zugleich ist der Begriff digitale Souveränität zu einem Leitmotiv im deutschen Diskurs über digitale Technologien geworden: das heißt, die Fähigkeit des Staates, seine Verantwortung wahrzunehmen und die Befähigung der Gesellschaft – und des Einzelnen – sicherzustellen, die digitale Transformation selbstbestimmt zu gestalten. Exemplarisch für die Herausforderung in Deutschland und Europa, die Vorteile digitaler Technologien zu nutzen und gleichzeitig Souveränitätsbedenken zu berücksichtigen, steht der Bildungssektor. Er umfasst Bildung als zentrales öffentliches Gut, ein schnell aufkommendes Geschäftsfeld und wachsende Bestände an hochsensiblen personenbezogenen Daten. Davon ausgehend beschreibt der Bericht Wege zur Entschärfung des Spannungsverhältnisses zwischen Digitalisierung und Souveränität auf drei verschiedenen Ebenen – Staat, Wirtschaft und Individuum – anhand konkreter technischer Projekte im Bildungsbereich: die HPI Schul-Cloud (staatliche Souveränität), die MERLOT-Datenräume (wirtschaftliche Souveränität) und die openHPI-Plattform (individuelle Souveränität).
Decubitus is one of the most relevant diseases in nursing and the most expensive to treat. It is caused by sustained pressure on tissue, so it particularly affects bed-bound patients. This work lays a foundation for pressure mattress-based decubitus prophylaxis by implementing a solution to the single-frame 2D Human Pose Estimation problem.
For this, methods of Deep Learning are employed. Two approaches are examined, a coarse-to-fine Convolutional Neural Network for direct regression of joint coordinates and a U-Net for the derivation of probability distribution heatmaps.
We conclude that training our models on a combined dataset of the publicly available Bodies at Rest and SLP data yields the best results. Furthermore, various preprocessing techniques are investigated, and a hyperparameter optimization is performed to discover an improved model architecture.
Another finding indicates that the heatmap-based approach outperforms direct regression.
This model achieves a mean per-joint position error of 9.11 cm for the Bodies at Rest data and 7.43 cm for the SLP data.
We find that it generalizes well on data from mattresses other than those seen during training but has difficulties detecting the arms correctly.
Additionally, we give a brief overview of the medical data annotation tool annoto we developed in the bachelor project and furthermore conclude that the Scrum framework and agile practices enhanced our development workflow.
RailChain
(2023)
The RailChain project designed, implemented, and experimentally evaluated a juridical recorder that is based on a distributed consensus protocol. That juridical blockchain recorder has been realized as distributed ledger on board the advanced TrainLab (ICE-TD 605 017) of Deutsche Bahn.
For the project, a consortium consisting of DB Systel, Siemens, Siemens Mobility, the Hasso Plattner Institute for Digital Engineering, Technische Universität Braunschweig, TÜV Rheinland InterTraffic, and Spherity has been formed. These partners not only concentrated competencies in railway operation, computer science, regulation, and approval, but also combined experiences from industry, research from academia, and enthusiasm from startups.
Distributed ledger technologies (DLTs) define distributed databases and express a digital protocol for transactions between business partners without the need for a trusted intermediary. The implementation of a blockchain with real-time requirements for the local network of a railway system (e.g., interlocking or train) allows to log data in the distributed system verifiably in real-time. For this, railway-specific assumptions can be leveraged to make modifications to standard blockchains protocols.
EULYNX and OCORA (Open CCS On-board Reference Architecture) are parts of a future European reference architecture for control command and signalling (CCS, Reference CCS Architecture – RCA). Both architectural concepts outline heterogeneous IT systems with components from multiple manufacturers. Such systems introduce novel challenges for the approved and safety-relevant CCS of railways which were considered neither for road-side nor for on-board systems so far. Logging implementations, such as the common juridical recorder on vehicles, can no longer be realized as a central component of a single manufacturer. All centralized approaches are in question.
The research project RailChain is funded by the mFUND program and gives practical evidence that distributed consensus protocols are a proper means to immutably (for legal purposes) store state information of many system components from multiple manufacturers. The results of RailChain have been published, prototypically implemented, and experimentally evaluated in large-scale field tests on the advanced TrainLab. At the same time, the project showed how RailChain can be integrated into the road-side and on-board architecture given by OCORA and EULYNX.
Logged data can now be analysed sooner and also their trustworthiness is being increased. This enables, e.g., auditable predictive maintenance, because it is ensured that data is authentic and unmodified at any point in time.
The “HPI Future SOC Lab” is a cooperation of the Hasso Plattner Institute (HPI) and industry partners. Its mission is to enable and promote exchange and interaction between the research community and the industry partners.
The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores and 2 TB main memory. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies.
This technical report presents results of research projects executed in 2018. Selected projects have presented their results on April 17th and November 14th 2017 at the Future SOC Lab Day events.
Pictures are a medium that helps make the past tangible and preserve memories. Without context, they are not able to do so. Pictures are brought to life by their associated stories. However, the older pictures become, the fewer contemporary witnesses can tell these stories.
Especially for large, analog picture archives, knowledge and memories are spread over many people. This creates several challenges: First, the pictures must be digitized to save them from decaying and make them available to the public. Since a simple listing of all the pictures is confusing, the pictures should be structured accessibly. Second, known information that makes the stories vivid needs to be added to the pictures. Users should get the opportunity to contribute their knowledge and memories. To make this usable for all interested parties, even for older, less technophile generations, the interface should be intuitive and error-tolerant.
The resulting requirements are not covered in their entirety by any existing software solution without losing the intuitive interface or the scalability of the system.
Therefore, we have developed our digital picture archive within the scope of a bachelor project in cooperation with the Bad Harzburg-Stiftung. For the implementation of this web application, we use the UI framework React in the frontend, which communicates via a GraphQL interface with the Content Management System Strapi in the backend. The use of this system enables our project partner to create an efficient process from scanning analog pictures to presenting them to visitors in an organized and annotated way. To customize the solution for both picture delivery and information contribution for our target group, we designed prototypes and evaluated them with people from Bad Harzburg. This helped us gain valuable insights into our system’s usability and future challenges as well as requirements.
Our web application is already being used daily by our project partner. During the project, we still came up with numerous ideas for additional features to further support the exchange of knowledge.
Like conventional software projects, projects in model-driven software engineering require adequate management of multiple versions of development artifacts, importantly allowing living with temporary inconsistencies. In the case of model-driven software engineering, employed versioning approaches also have to handle situations where different artifacts, that is, different models, are linked via automatic model transformations.
In this report, we propose a technique for jointly handling the transformation of multiple versions of a source model into corresponding versions of a target model, which enables the use of a more compact representation that may afford improved execution time of both the transformation and further analysis operations. Our approach is based on the well-known formalism of triple graph grammars and a previously introduced encoding of model version histories called multi-version models. In addition to showing the correctness of our approach with respect to the standard semantics of triple graph grammars, we conduct an empirical evaluation that demonstrates the potential benefit regarding execution time performance.