Hpi Future Soc Lab Proceedings 2018

Author : Kaushik Rana,Durga Prasad Mohapatra,Julia Sidorova,Lars Lundberg,Lars Sköld,Luís Fernando Lopes Grim,André Leon Sampaio Gradvohl,Jonas Cremerius,Simon Siegert,Anton von Weltzien,Annika Baldi,Finn Klessascheck,Svitlana Kalancha,Tom Lichtenstein,Nuhad Shaabani,Christoph Meinel,Tobias Friedrich,Pascal Lenzner,David Schumann,Ingmar Wiese,Nicole Sarna,Lena Wiese,Araek Sami Tashkandi,Estée van der Walt,Jan H. P. Eloff,Christopher Schmidt,Johannes Hügle,Siegfried Horschig,Matthias Uflacker,Pejman Najafi,Andrey Sapegin,Feng Cheng,Dragan Stojanovic,Aleksandra Stojnev Ilić,Igor Djordjevic,Natalija Stojanovic,Bratislav Predic,Mario González-Jiménez,Juan de Lara,Sven Mischkewitz,Bernhard Kainz,André van Hoorn,Vincenzo Ferme,Henning Schulz,Marlene Knigge,Sonja Hecht,Loina Prifti,Helmut Krcmar,Benjamin Fabian,Tatiana Ermakova,Stefan Kelkel,Annika Baumann,Laura Morgenstern,Max Plauth,Felix Eberhard,Felix Wolff,Andreas Polze,Tim Cech,Noel Danz,Nele Sina Noack,Lukas Pirl,Jossekin Jakob Beilharz,Roberto C. L. De Oliveira,Fábio Mendes Soares,Carlos Juiz,Belen Bermejo,Alexander Mühle,Andreas Grüner,Vageesh Saxena,Tatiana Gayvoronskaya,Christopher Weyand,Mirko Krause,Markus Frank,Sebastian Bischoff,Freya Behrens,Julius Rückin,Adrian Ziegler,Thomas Vogel,Chinh Tran,Irene Moser,Lars Grunske,Gábor Szárnyas,József Marton,János Maginecz,Dániel Varró,János Benjamin Antal
Publisher : Universitätsverlag Potsdam
Page : 290 pages
File Size : 43,5 Mb
Release : 2023-06-06
Category : Computers
ISBN : 9783869565477

Get Book

HPI Future SOC Lab – Proceedings 2018 by Kaushik Rana,Durga Prasad Mohapatra,Julia Sidorova,Lars Lundberg,Lars Sköld,Luís Fernando Lopes Grim,André Leon Sampaio Gradvohl,Jonas Cremerius,Simon Siegert,Anton von Weltzien,Annika Baldi,Finn Klessascheck,Svitlana Kalancha,Tom Lichtenstein,Nuhad Shaabani,Christoph Meinel,Tobias Friedrich,Pascal Lenzner,David Schumann,Ingmar Wiese,Nicole Sarna,Lena Wiese,Araek Sami Tashkandi,Estée van der Walt,Jan H. P. Eloff,Christopher Schmidt,Johannes Hügle,Siegfried Horschig,Matthias Uflacker,Pejman Najafi,Andrey Sapegin,Feng Cheng,Dragan Stojanovic,Aleksandra Stojnev Ilić,Igor Djordjevic,Natalija Stojanovic,Bratislav Predic,Mario González-Jiménez,Juan de Lara,Sven Mischkewitz,Bernhard Kainz,André van Hoorn,Vincenzo Ferme,Henning Schulz,Marlene Knigge,Sonja Hecht,Loina Prifti,Helmut Krcmar,Benjamin Fabian,Tatiana Ermakova,Stefan Kelkel,Annika Baumann,Laura Morgenstern,Max Plauth,Felix Eberhard,Felix Wolff,Andreas Polze,Tim Cech,Noel Danz,Nele Sina Noack,Lukas Pirl,Jossekin Jakob Beilharz,Roberto C. L. De Oliveira,Fábio Mendes Soares,Carlos Juiz,Belen Bermejo,Alexander Mühle,Andreas Grüner,Vageesh Saxena,Tatiana Gayvoronskaya,Christopher Weyand,Mirko Krause,Markus Frank,Sebastian Bischoff,Freya Behrens,Julius Rückin,Adrian Ziegler,Thomas Vogel,Chinh Tran,Irene Moser,Lars Grunske,Gábor Szárnyas,József Marton,János Maginecz,Dániel Varró,János Benjamin Antal Pdf

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.

Author : Kaushik Rana,Durga Prasad Mohapatra,Julia Sidorova,Lars Lundberg,Lars Sköld,Luís Fernando Lopes Grim,André Leon Sampaio Gradvohl,Jonas Cremerius,Simon Siegert,Anton von Weltzien,Annika Baldi,Finn Klessascheck,Svitlana Kalancha,Tom Lichtenstein,Nuhad Shaabani,Christoph Meinel,Tobias Friedrich,Pascal Lenzner,David Schumann,Ingmar Wiese,Nicole Sarna,Lena Wiese,Araek Sami Tashkandi,Estée van der Walt,Jan H. P. Eloff,Christopher Schmidt,Johannes Hügle,Siegfried Horschig,Matthias Uflacker,Pejman Najafi,Andrey Sapegin,Feng Cheng,Dragan Stojanovic,Aleksandra Stojnev Ilić,Igor Djordjevic,Natalija Stojanovic,Bratislav Predic,Mario González-Jiménez,Juan de Lara,Sven Mischkewitz,Bernhard Kainz,André van Hoorn,Vincenzo Ferme,Henning Schulz,Marlene Knigge,Sonja Hecht,Loina Prifti,Helmut Krcmar,Benjamin Fabian,Tatiana Ermakova,Stefan Kelkel,Annika Baumann,Laura Morgenstern,Max Plauth,Felix Eberhard,Felix Wolff,Andreas Polze,Tim Cech,Noel Danz,Nele Sina Noack,Lukas Pirl,Jossekin Jakob Beilharz,Roberto C. L. De Oliveira,Fábio Mendes Soares,Carlos Juiz,Belen Bermejo,Alexander Mühle,Andreas Grüner,Vageesh Saxena,Tatiana Gayvoronskaya,Christopher Weyand,Mirko Krause,Markus Frank,Sebastian Bischoff,Freya Behrens,Julius Rückin,Adrian Ziegler,Thomas Vogel,Chinh Tran,Irene Moser,Lars Grunske,Gábor Szárnyas,József Marton,János Maginecz,Dániel Varró,János Benjamin Antal
Publisher : Unknown
Page : 0 pages
File Size : 52,5 Mb
Release : 2022
Category : Electronic
ISBN : OCLC:1389372154

Get Book

HPI Future SOC Lab - Proceedings 2018 by Kaushik Rana,Durga Prasad Mohapatra,Julia Sidorova,Lars Lundberg,Lars Sköld,Luís Fernando Lopes Grim,André Leon Sampaio Gradvohl,Jonas Cremerius,Simon Siegert,Anton von Weltzien,Annika Baldi,Finn Klessascheck,Svitlana Kalancha,Tom Lichtenstein,Nuhad Shaabani,Christoph Meinel,Tobias Friedrich,Pascal Lenzner,David Schumann,Ingmar Wiese,Nicole Sarna,Lena Wiese,Araek Sami Tashkandi,Estée van der Walt,Jan H. P. Eloff,Christopher Schmidt,Johannes Hügle,Siegfried Horschig,Matthias Uflacker,Pejman Najafi,Andrey Sapegin,Feng Cheng,Dragan Stojanovic,Aleksandra Stojnev Ilić,Igor Djordjevic,Natalija Stojanovic,Bratislav Predic,Mario González-Jiménez,Juan de Lara,Sven Mischkewitz,Bernhard Kainz,André van Hoorn,Vincenzo Ferme,Henning Schulz,Marlene Knigge,Sonja Hecht,Loina Prifti,Helmut Krcmar,Benjamin Fabian,Tatiana Ermakova,Stefan Kelkel,Annika Baumann,Laura Morgenstern,Max Plauth,Felix Eberhard,Felix Wolff,Andreas Polze,Tim Cech,Noel Danz,Nele Sina Noack,Lukas Pirl,Jossekin Jakob Beilharz,Roberto C. L. De Oliveira,Fábio Mendes Soares,Carlos Juiz,Belen Bermejo,Alexander Mühle,Andreas Grüner,Vageesh Saxena,Tatiana Gayvoronskaya,Christopher Weyand,Mirko Krause,Markus Frank,Sebastian Bischoff,Freya Behrens,Julius Rückin,Adrian Ziegler,Thomas Vogel,Chinh Tran,Irene Moser,Lars Grunske,Gábor Szárnyas,József Marton,János Maginecz,Dániel Varró,János Benjamin Antal Pdf

Author : Nathan Clarke,Steven Furnell
Publisher : Lulu.com
Page : 294 pages
File Size : 45,5 Mb
Release : 2018-09-09
Category : Computers
ISBN : 9780244402549

Get Book

Proceedings of the Twelfth International Symposium on Human Aspects of Information Security & Assurance (HAISA 2018) by Nathan Clarke,Steven Furnell Pdf

The Human Aspects of Information Security and Assurance (HAISA) symposium specifically addresses information security issues that relate to people. It concerns the methods that inform and guide users' understanding of security, and the technologies that can benefit and support them in achieving protection. This book represents the proceedings from the 2018 event, which was held in Dundee, Scotland, UK. A total of 24 reviewed papers are included, spanning a range of topics including the communication of risks to end-users, user-centred security in system development, and technology impacts upon personal privacy. All of the papers were subject to double-blind peer review, with each being reviewed by at least two members of the international programme committee.

Author : Bär, Florian,Barrera-Animas, Ari Yair,Baumann, Annika,Cheng, Feng,Choudhary, Yash,Cooray, Thilini,de Oliveira, Roberto C. L.,Di Varano, Igor,Eberhardt, Felix,Eloff, Jan H. P.,Ermakova, Tatiana,Fabian, Benjamin,Friedrich, Tobias,Grohmann, Maria,Hecht, Sonja,Huegle, Johannes,Jabeen, Hajira,Jaeger, David,Kelkel, Stefan,Knigge, Marlene,Krcmar, Helmut,Kuster, Bernhard,Lehmann, Jens,López-Cuevas, Armando,Lundberg, Lars,Medina-Pérez, Miguel Angel,Meinel, Christoph,Monroy-Borja, Raúl,Möstl, Christian,Netzeband, André,Neumer, Tamas,Niederleithinger, Ernst,Plauth, Max,Podapati, Sasidhar,Polze, Andreas,Prifti, Loina,Ramírez-Márquez, José Emmanuel,Rodríguez, Jorge,Rosander, Oliver,Rothenberger, Ralf,Sapegin, Andrey,Schmidt, Christopher,Schmidt, Rainer,Sejdiu, Gëzim,Servadei, Lorenzo,Sidorova, Julia A.,Sköld, Lars,Soares, Fábio Mendes,Sutton, Andrew M.,Trejo, Luis A.,van der Walt, Estée,van Hoorn, André,Wilhelm, Mathias,Willnecker, Felix,Zhang, Shuhao
Publisher : Universitätsverlag Potsdam
Page : 246 pages
File Size : 45,9 Mb
Release : 2019
Category : Computers
ISBN : 9783869564753

Get Book

HPI Future SOC Lab by Bär, Florian,Barrera-Animas, Ari Yair,Baumann, Annika,Cheng, Feng,Choudhary, Yash,Cooray, Thilini,de Oliveira, Roberto C. L.,Di Varano, Igor,Eberhardt, Felix,Eloff, Jan H. P.,Ermakova, Tatiana,Fabian, Benjamin,Friedrich, Tobias,Grohmann, Maria,Hecht, Sonja,Huegle, Johannes,Jabeen, Hajira,Jaeger, David,Kelkel, Stefan,Knigge, Marlene,Krcmar, Helmut,Kuster, Bernhard,Lehmann, Jens,López-Cuevas, Armando,Lundberg, Lars,Medina-Pérez, Miguel Angel,Meinel, Christoph,Monroy-Borja, Raúl,Möstl, Christian,Netzeband, André,Neumer, Tamas,Niederleithinger, Ernst,Plauth, Max,Podapati, Sasidhar,Polze, Andreas,Prifti, Loina,Ramírez-Márquez, José Emmanuel,Rodríguez, Jorge,Rosander, Oliver,Rothenberger, Ralf,Sapegin, Andrey,Schmidt, Christopher,Schmidt, Rainer,Sejdiu, Gëzim,Servadei, Lorenzo,Sidorova, Julia A.,Sköld, Lars,Soares, Fábio Mendes,Sutton, Andrew M.,Trejo, Luis A.,van der Walt, Estée,van Hoorn, André,Wilhelm, Mathias,Willnecker, Felix,Zhang, Shuhao Pdf

Das Future SOC Lab am HPI ist eine Kooperation des Hasso-Plattner-Instituts mit verschiedenen Industriepartnern. Seine Aufgabe ist die Ermöglichung und Förderung des Austausches zwischen Forschungsgemeinschaft und Industrie. Am Lab wird interessierten Wissenschaftlern eine Infrastruktur von neuester Hard- und Software kostenfrei für Forschungszwecke zur Verfügung gestellt. Dazu zählen teilweise noch nicht am Markt verfügbare Technologien, die im normalen Hochschulbereich in der Regel nicht zu finanzieren wären, bspw. Server mit bis zu 64 Cores und 2 TB Hauptspeicher. Diese Angebote richten sich insbesondere an Wissenschaftler in den Gebieten Informatik und Wirtschaftsinformatik. Einige der Schwerpunkte sind Cloud Computing, Parallelisierung und In-Memory Technologien. In diesem Technischen Bericht werden die Ergebnisse der Forschungsprojekte des Jahres 2017 vorgestellt. Ausgewählte Projekte stellten ihre Ergebnisse am 25. April und 15. November 2017 im Rahmen der Future SOC Lab Tag Veranstaltungen vor. 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 2017. Selected projects have presented their results on April 25th and November 15th 2017 at the Future SOC Lab Day events.

Author : Anonim
Publisher : Universitätsverlag Potsdam
Page : 82 pages
File Size : 52,7 Mb
Release : 2023-06-27
Category : Computers
ISBN : 9783869565514

Get Book

Human pose estimation for decubitus prophylaxis by Anonim Pdf

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.

Author : Matthias Barkowsky,Holger Giese
Publisher : Universitätsverlag Potsdam
Page : 36 pages
File Size : 40,6 Mb
Release : 2023-06-06
Category : Computers
ISBN : 9783869565569

Get Book

Triple graph grammars for multi-version models by Matthias Barkowsky,Holger Giese Pdf

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.

Author : Matthias Barkowsky,Holger Giese
Publisher : Universitätsverlag Potsdam
Page : 70 pages
File Size : 49,7 Mb
Release : 2023-06-06
Category : Computers
ISBN : 9783869565552

Get Book

Modular and incremental global model management with extended generalized discrimination networks by Matthias Barkowsky,Holger Giese Pdf

Complex projects developed under the model-driven engineering paradigm nowadays often involve several interrelated models, which are automatically processed via a multitude of model operations. Modular and incremental construction and execution of such networks of models and model operations are required to accommodate efficient development with potentially large-scale models. The underlying problem is also called Global Model Management. In this report, we propose an approach to modular and incremental Global Model Management via an extension to the existing technique of Generalized Discrimination Networks (GDNs). In addition to further generalizing the notion of query operations employed in GDNs, we adapt the previously query-only mechanism to operations with side effects to integrate model transformation and model synchronization. We provide incremental algorithms for the execution of the resulting extended Generalized Discrimination Networks (eGDNs), as well as a prototypical implementation for a number of example eGDN operations. Based on this prototypical implementation, we experiment with an application scenario from the software development domain to empirically evaluate our approach with respect to scalability and conceptually demonstrate its applicability in a typical scenario. Initial results confirm that the presented approach can indeed be employed to realize efficient Global Model Management in the considered scenario.

Author : Andreas Polze,Charles Ayo,Ambrose Azeta,Matthias Bastian,Mohamed Esam Eldin Elsaid,Jan Eloff,Jan Graichen,Christoph Meinel,Sanjay Misra,Isaac Odun-Ayo,Nicholas Omoregbe,Lukas Pirl,Max Plauth,Ahmed Shawish,Estee van der Walt
Publisher : Universitätsverlag Potsdam
Page : 84 pages
File Size : 45,9 Mb
Release : 2018
Category : Computers
ISBN : 9783869564326

Get Book

Proceedings of the Fifth HPI Cloud Symposium "Operating the Cloud“ 2017 by Andreas Polze,Charles Ayo,Ambrose Azeta,Matthias Bastian,Mohamed Esam Eldin Elsaid,Jan Eloff,Jan Graichen,Christoph Meinel,Sanjay Misra,Isaac Odun-Ayo,Nicholas Omoregbe,Lukas Pirl,Max Plauth,Ahmed Shawish,Estee van der Walt Pdf

Jedes Jahr lädt das Hasso-Plattner-Institut (HPI) Gäste aus der Industrie und der Wissenschaft zu einem kooperativen und wissenschaftlichen Symposium zum Thema Cloud Computing ein. Unser Ziel ist es, ein Forum für den Austausch von Wissen und Erfahrungen zwischen der Industrie und der Wissenschaft zu bieten. Parallel zur Veranstaltung findet der HPI Future SOC Lab Tag statt, der eine zusätzliche attraktive Umgebung für wissenschaftliche und branchenbezogene Diskussionen bietet. Das Symposium zielt darauf ab, eine Plattform für produktive Interaktionen von innovativen Ideen, Visionen und aufkommenden Technologien im Bereich von Cloud Computing zu bitten. Anlässlich dieses Symposiums fordern wir die Einreichung von Forschungsarbeiten und Erfahrungsberichte. Dieser technische Bericht umfasst eine Zusammenstellung der im Rahmen des fünften HPI Cloud Symposiums "Operating the Cloud" 2017 angenommenen Forschungspapiere. Wir danken den Autoren für spannende Vorträge und Einblicke in ihre aktuelle Arbeit und Forschung. Darüber hinaus freuen wir uns auf weitere interessante Einreichungen für das kommende Symposium im Laufe des Jahres. Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic Operating the Cloud. Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Co-located with the event is the HPI’s Future SOC Lab day, which offers an additional attractive and conducive environment for scientific and industry related discussions. Operating the Cloud aims to be a platform for productive interactions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration. In these proceedings, the results of the fifth HPI cloud symposium Operating the Cloud 2017 are published. We thank the authors for exciting presentations and insights into their current work and research. Moreover, we look forward to more interesting submissions for the upcoming symposium in 2018.

Author : Maria Maximova,Holger Giese,Sven Schneider
Publisher : Universitätsverlag Potsdam
Page : 64 pages
File Size : 40,9 Mb
Release : 2022-05-19
Category : Computers
ISBN : 9783869565026

Get Book

Interval Probabilistic Timed Graph Transformation Systems by Maria Maximova,Holger Giese,Sven Schneider Pdf

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.

Author : Friedrich Schöne,Patrick Rein,Robert Hirschfeld
Publisher : Universitätsverlag Potsdam
Page : 86 pages
File Size : 46,6 Mb
Release : 2022-06-14
Category : Computers
ISBN : 9783869565033

Get Book

Fast Packrat Parsing in a Live Programming Environment by Friedrich Schöne,Patrick Rein,Robert Hirschfeld Pdf

Language developers who design domain-specific languages or new language features need a way to make fast changes to language definitions. Those fast changes require immediate feedback. Also, it should be possible to parse the developed languages quickly to handle extensive sets of code. Parsing expression grammars provides an easy to understand method for language definitions. Packrat parsing is a method to parse grammars of this kind, but this method is unable to handle left-recursion properly. Existing solutions either partially rewrite left-recursive rules and partly forbid them, or use complex extensions to packrat parsing that are hard to understand and cost-intensive. We investigated methods to make parsing as fast as possible, using easy to follow algorithms while not losing the ability to make fast changes to grammars. We focused our efforts on two approaches. One is to start from an existing technique for limited left-recursion rewriting and enhance it to work for general left-recursive grammars. The second approach is to design a grammar compilation process to find left-recursion before parsing, and in this way, reduce computational costs wherever possible and generate ready to use parser classes. Rewriting parsing expression grammars is a task that, if done in a general way, unveils a large number of cases such that any rewriting algorithm surpasses the complexity of other left-recursive parsing algorithms. Lookahead operators introduce this complexity. However, most languages have only little portions that are left-recursive and in virtually all cases, have no indirect or hidden left-recursion. This means that the distinction of left-recursive parts of grammars from components that are non-left-recursive holds great improvement potential for existing parsers. In this report, we list all the required steps for grammar rewriting to handle left-recursion, including grammar analysis, grammar rewriting itself, and syntax tree restructuring. Also, we describe the implementation of a parsing expression grammar framework in Squeak/Smalltalk and the possible interactions with the already existing parser Ohm/S. We quantitatively benchmarked this framework directing our focus on parsing time and the ability to use it in a live programming context. Compared with Ohm, we achieved massive parsing time improvements while preserving the ability to use our parser it as a live programming tool. The work is essential because, for one, we outlined the difficulties and complexity that come with grammar rewriting. Also, we removed the existing limitations that came with left-recursion by eliminating them before parsing.

Author : Maria Maximova,Holger Giese,Sven Schneider
Publisher : Universitätsverlag Potsdam
Page : 60 pages
File Size : 55,7 Mb
Release : 2022-05-19
Category : Computers
ISBN : 9783869565019

Get Book

Compositional Analysis of Probabilistic Timed Graph Transformation Systems by Maria Maximova,Holger Giese,Sven Schneider Pdf

The analysis of behavioral models is of high importance for cyber-physical systems, as the systems often encompass complex behavior based on e.g. concurrent components with mutual exclusion or probabilistic failures on demand. The rule-based formalism of probabilistic timed graph transformation systems is a suitable choice when the models representing states of the system can be understood as graphs and timed and probabilistic behavior is important. However, model checking PTGTSs is limited to systems with rather small state spaces. We present an approach for the analysis of large scale systems modeled as probabilistic timed graph transformation systems by systematically decomposing their state spaces into manageable fragments. To obtain qualitative and quantitative analysis results for a large scale system, we verify that results obtained for its fragments serve as overapproximations for the corresponding results of the large scale system. Hence, our approach allows for the detection of violations of qualitative and quantitative safety properties for the large scale system under analysis. We consider a running example in which we model shuttles driving on tracks of a large scale topology and for which we verify that shuttles never collide and are unlikely to execute emergency brakes. In our evaluation, we apply an implementation of our approach to the running example.

Author : Klara Seitz,Jens Lincke,Patrick Rein,Robert Hirschfeld
Publisher : Universitätsverlag Potsdam
Page : 108 pages
File Size : 46,6 Mb
Release : 2021-09-09
Category : Computers
ISBN : 9783869565057

Get Book

Language and tool support for 3D crochet patterns by Klara Seitz,Jens Lincke,Patrick Rein,Robert Hirschfeld Pdf

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.

Author : Wanda Baltzer,Theresa Hradilak,Lara Pfennigschmidt,Luc Maurice Prestin,Moritz Spranger,Simon Stadlinger,Leo Wendt,Jens Lincke,Patrick Rein,Luke Church,Robert Hirschfeld
Publisher : Universitätsverlag Potsdam
Page : 338 pages
File Size : 46,8 Mb
Release : 2021-11-05
Category : Computers
ISBN : 9783869565040

Get Book

An individual-centered approach to visualize people’s opinions and demographic informationc by Wanda Baltzer,Theresa Hradilak,Lara Pfennigschmidt,Luc Maurice Prestin,Moritz Spranger,Simon Stadlinger,Leo Wendt,Jens Lincke,Patrick Rein,Luke Church,Robert Hirschfeld Pdf

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.

Author : Carlos E. Cuesta,David Garlan,Jennifer Pérez
Publisher : Springer
Page : 374 pages
File Size : 49,7 Mb
Release : 2018-09-19
Category : Computers
ISBN : 9783030007614

Get Book

Software Architecture by Carlos E. Cuesta,David Garlan,Jennifer Pérez Pdf

This book constitutes the refereed proceedings of the 12th European Conference on Software Architecture, ECSA 2018, held in Madrid, Spain, in September 2018. The 17 full papers presented together with 7 short papers were carefully reviewed and selected from 96 submissions. They are organized in topical sections as follows: Self-Adaptive Architectures, IoT Architectures, Embedded and Cyber-Physical Systems, Microservices Architectures, Service-Oriented Architectures, Architectural Design Decisions, Software Architecture in Practice.

Author : Luis M. Camarinha-Matos,Xavier Boucher,Hamideh Afsarmanesh
Publisher : Springer Nature
Page : 792 pages
File Size : 43,5 Mb
Release : 2021-11-15
Category : Computers
ISBN : 9783030859695

Get Book

Smart and Sustainable Collaborative Networks 4.0 by Luis M. Camarinha-Matos,Xavier Boucher,Hamideh Afsarmanesh Pdf

This book constitutes the refereed proceedings of the 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, held in Saint-Étienne, and virtually in November 2021. The 70 papers (15 full and 55 short) presented with 5 industrial workshop papers were carefully reviewed and selected from 189 submissions. They provide a comprehensive overview of major challenges and recent advances in various domains related to the digital transformation and collaborative networks and their applications with a strong focus on the following areas related to the main theme of the conference: sustainable collaborative networks; sustainability via digitalization; analysis and assessment of business ecosystems; human factors in collaboration 4.0; maintenance and life-cycle management; policies and new digital services; safety and collaboration management; simulation and optimization; complex collaborative systems and ontologies; value co-creation in digitally enabled ecosystems; digitalization strategy in collaborative enterprises’ networks; pathways and tools for DIHs; socio-technical perspectives on smart product-service systems; knowledge transfer and accelerated innovation in FoF; interoperability of IoT and CPS for industrial CNs; sentient immersive response network; digital tools and applications for collaborative healthcare; collaborative networks and open innovation in education 4.0; collaborative learning networks with industry and academia; and industrial workshop.