Download or read book An individual centered approach to visualize people s opinions and demographic informationc written by Wanda Baltzer and published by Universitätsverlag Potsdam. This book was released on 2021-11-05 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Proceedings of the HPI Research School on Service oriented Systems Engineering 2020 Fall Retreat written by Christoph Meinel and published by Universitätsverlag Potsdam. This book was released on 2023-06-07 with total page 160 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Invariant Analysis for Multi Agent Graph Transformation Systems using k Induction written by Sven Schneider and published by Universitätsverlag Potsdam. This book was released on 2022-11-17 with total page 44 pages. Available in PDF, EPUB and Kindle. Book excerpt: The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether. In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before.

Download or read book Operating systems II student projects written by Andreas Grapentin and published by Universitätsverlag Potsdam. This book was released on 2023-11-29 with total page 130 pages. Available in PDF, EPUB and Kindle. Book excerpt: EN 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. DE Dieser technische Bericht beschriebt die Ergebnisse der Projekte, welche im Rahmen der Lehrveranstaltung "Betriebssysteme II" on teilnehmenden Studierenden durchgeführt wurden. Die Lehrveranstaltung wurde von der "Betriebssysteme und Middleware" am HPI im Sommersemester 2020 durchgeführt und behandele fortgeschrittene Aspekte der Betriebssystemarchitektur und -Implementierung am Beispiel der Virtualisierung, der Dateisysteme und der Eingabe/Ausgabe (I/O) Systeme. Zusätzlich zu den Vorlesungen wurden die Studierenden angeleitet, durch die Durchführung eines begleitenden Projekts praktische Erfahrungen im Umgang mit den behandelten Themen zu sammeln. Die Ergebnisse von 10 ausgewählten, herausragenden Projekten werden in diesem Report vorgestellt. Die Studierenden haben unter anderem Projekte zu den Themen Betriebssystemdesign und -Implementierung, Hardware/Software Co-Design, Reverse Engineering, Quanten-Computing, Statische Quellcodeanalyse, Betriebssystemgeschichte, dem Binärformat von ausführbaren Dateien durchgeführt. Es ist anzuerkennen, dass alle teilnehmenden Studierenden im Verlauf des Semesters herausragende Ergebnisse erzielt haben, die weit über die Anforderungen der Lehrveranstaltung hinausgingen. Wir möchten uns bei allen teilnehmenden Studierenden für Ihren Einsatz bei der Durchführung der Projekte, sowie bei der Erstellung dieses Reports bedanken.

Download or read book Probabilistic metric temporal graph logic written by Sven Schneider and published by Universitätsverlag Potsdam. This book was released on 2023-01-30 with total page 44 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Tool support for collaborative creation of interactive storytelling media written by Paula Klinke and published by Universitätsverlag Potsdam. This book was released on 2022-09-21 with total page 178 pages. Available in PDF, EPUB and Kindle. Book excerpt: Scrollytellings are an innovative form of web content. Combining the benefits of books, images, movies, and video games, they are a tool to tell compelling stories and provide excellent learning opportunities. Due to their multi-modality, creating high-quality scrollytellings is not an easy task. Different professions, such as content designers, graphics designers, and developers, need to collaborate to get the best out of the possibilities the scrollytelling format provides. Collaboration unlocks great potential. However, content designers cannot create scrollytellings directly and always need to consult with developers to implement their vision. This can result in misunderstandings. Often, the resulting scrollytelling will not match the designer’s vision sufficiently, causing unnecessary iterations. Our project partner Typeshift specializes in the creation of individualized scrollytellings for their clients. Examined existing solutions for authoring interactive content are not optimally suited for creating highly customized scrollytellings while still being able to manipulate all their elements programmatically. Based on their experience and expertise, we developed an editor to author scrollytellings in the lively.next live-programming environment. In this environment, a graphical user interface for content design is combined with powerful possibilities for programming behavior with the morphic system. The editor allows content designers to take on large parts of the creation process of scrollytellings on their own, such as creating the visible elements, animating content, and fine-tuning the scrollytelling. Hence, developers can focus on interactive elements such as simulations and games. Together with Typeshift, we evaluated the tool by recreating an existing scrollytelling and identified possible future enhancements. Our editor streamlines the creation process of scrollytellings. Content designers and developers can now both work on the same scrollytelling. Due to the editor inside of the lively.next environment, they can both work with a set of tools familiar to them and their traits. Thus, we mitigate unnecessary iterations and misunderstandings by enabling content designers to realize large parts of their vision of a scrollytelling on their own. Developers can add advanced and individual behavior. Thus, developers and content designers benefit from a clearer distribution of tasks while keeping the benefits of collaboration.

Download or read book Deep learning for computer vision in the art domain written by Christian Bartz and published by Universitätsverlag Potsdam. This book was released on 2021-11-15 with total page 94 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Language and tool support for 3D crochet patterns written by Klara Seitz and published by Universitätsverlag Potsdam. This book was released on 2021-09-09 with total page 108 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Visualizing Surveys in R written by Teppo Valtonen and published by CRC Press. This book was released on 2023-12-01 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: Visualizing Surveys in R is about creating static, print quality figures from survey data using R. The focus is not, for example, on statistical analysis of survey data, but rather on giving concrete solutions for typical problems in visualizing survey data. While there are many excellent books on data visualization, surveys and R, the aim of this book is to bring these topics together, and offer practical instructions for visualizing surveys in R. Features • Introduction to survey data: variables, categories, and scales • Description of a process for visualizing survey data • Recommendations for reading survey data into R • Advice on building a survey dataset in R to facilitate versatile plotting • Step-by-step recipes in R for creating useful plots from survey data The book is intended for researchers who regularly use surveys and are interested in learning how to seize the vast possibilities and the flexibility of R in survey analysis and visualizations. The book is also valuable for psychologists, marketeers, HR personnel, managers, and other professionals who wish to standardize and automate the process for visualizing survey data. Finally, the book is suitable as a course textbook, either more widely on survey studies, or more strictly on visualizing survey data in R.

Download or read book Visualizing Health Care Statistics A Data Mining Approach written by Zada T. Wicker and published by Jones & Bartlett Learning. This book was released on 2020-09-25 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: Visualizing Health Care Statistics: A Data-Mining Approach is an introductory statistics text that demonstrates how to visualize health care statistics using Microsoft Excel and R-Project (open source statistical software) and hands-on examples using real-world data. In each chapter, students are encouraged to apply statistical knowledge to real-world health care situations. Through this approach, students develop data gathering and analysis skills all while preparing for the national Registered Health Information Technician (RHIT) exam.

Download or read book Collaborative Information Behavior User Engagement and Communication Sharing written by Foster, Jonathan and published by IGI Global. This book was released on 2010-06-30 with total page 303 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This book coordinates and integrates current research and practices in the area of collaborative information behavior, providing information on empirical research findings, theoretical frameworks, and models relevant to understanding collaborative information behavior"--Provided by publisher.

Download or read book MEDINFO 2019 Health and Wellbeing e Networks for All written by L. Ohno-Machado and published by IOS Press. This book was released on 2019-11-12 with total page 2078 pages. Available in PDF, EPUB and Kindle. Book excerpt: Combining and integrating cross-institutional data remains a challenge for both researchers and those involved in patient care. Patient-generated data can contribute precious information to healthcare professionals by enabling monitoring under normal life conditions and also helping patients play a more active role in their own care. This book presents the proceedings of MEDINFO 2019, the 17th World Congress on Medical and Health Informatics, held in Lyon, France, from 25 to 30 August 2019. The theme of this year’s conference was ‘Health and Wellbeing: E-Networks for All’, stressing the increasing importance of networks in healthcare on the one hand, and the patient-centered perspective on the other. Over 1100 manuscripts were submitted to the conference and, after a thorough review process by at least three reviewers and assessment by a scientific program committee member, 285 papers and 296 posters were accepted, together with 47 podium abstracts, 7 demonstrations, 45 panels, 21 workshops and 9 tutorials. All accepted paper and poster contributions are included in these proceedings. The papers are grouped under four thematic tracks: interpreting health and biomedical data, supporting care delivery, enabling precision medicine and public health, and the human element in medical informatics. The posters are divided into the same four groups. The book presents an overview of state-of-the-art informatics projects from multiple regions of the world; it will be of interest to anyone working in the field of medical informatics.

Download or read book Managing Life Insurance written by SHASHIDHARAN K. KUTTY and published by PHI Learning Pvt. Ltd.. This book was released on 2008-08-12 with total page 728 pages. Available in PDF, EPUB and Kindle. Book excerpt: With the liberalization of the Indian economy, the insurance sector has opened up, and a lot of new players, both multinationals and Indian companies with foreign collaboration, have entered this arena realizing the vast potential in life insurance. A basic knowledge of life insurance has therefore become essential for the students opting for this course as well as for the practitioners. With this view in mind, Dr. Kutty gives in this text a masterly analysis and a holistic view of every dimension of life insurance management in the sequence of 6Ps—purpose, principles, purchase, products, process and people, in an easy to understand language. He strives to demystify the complex world of life insurance and present its fundamentals to all the readers. Based on the author’s rich experience in insurance sector over the two decades, the text provides new research insights in the areas such as product comparisons, e.g. portfolio approach to purchase of life insurance. It covers the actuarial dimensions of life insurance, with the minimum use of mathematics. Besides, the text discusses in detail the two core operations of an insurance company—underwriting and claims. The hallmark of this book is its attempt to transform the way marketing and operations in life insurance are approached and its sure guidance on how a professional should approach and manage sales, service, process and people. Key Features  Separate chapters are devoted to topics such as general insurance, risk management, underwriting, claims and financial management.  The nature of contracts in general and life insurance contracts in particular is explained.  Different traditional insurance products such as term insurance and non-conventional products like unit-linked policies are dealt with in detail. This book is primarily designed for students of management, commerce and those pursuing specific insurance courses. It can also be profitably used by industry practitioners. Finally, the book will be invaluable to managers of Life Insurance companies, Banks (engaged in Bancassurance), and Security firms.

Download or read book Environmental Medicine written by Jon G. Ayres and published by CRC Press. This book was released on 2010-07-30 with total page 722 pages. Available in PDF, EPUB and Kindle. Book excerpt: Environmental Medicine is an indispensable aid to the investigation, diagnosis and treatment of a wide variety of environmentally-acquired disorders. It brings into sharp focus the increasing importance of the practice of environmental medicine, drawing together the many different strands that make up this modern discipline, and putting topical and controversial subjects into evidence-based context. The editors and authors are all leading authorities in their respective fields and are drawn from a wide variety of sources, including government advisory bodies. They have put emphasis on the issues most relevant to contemporary pratice, ensuring everyday relevance, while not neglecting less common conditions. Boxes and tables are used throughout for clarity and accessibility.

Download or read book Using Online Data to Understand Personal and Public Health Outcomes and Behaviors written by and published by Frontiers Media SA. This book was released on 2023-04-05 with total page 158 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Data Driven Security written by Jay Jacobs and published by John Wiley & Sons. This book was released on 2014-01-24 with total page 354 pages. Available in PDF, EPUB and Kindle. Book excerpt: Uncover hidden patterns of data and respond with countermeasures Security professionals need all the tools at their disposal to increase their visibility in order to prevent security breaches and attacks. This careful guide explores two of the most powerful data analysis and visualization. You'll soon understand how to harness and wield data, from collection and storage to management and analysis as well as visualization and presentation. Using a hands-on approach with real-world examples, this book shows you how to gather feedback, measure the effectiveness of your security methods, and make better decisions. Everything in this book will have practical application for information security professionals. Helps IT and security professionals understand and use data, so they can thwart attacks and understand and visualize vulnerabilities in their networks Includes more than a dozen real-world examples and hands-on exercises that demonstrate how to analyze security data and intelligence and translate that information into visualizations that make plain how to prevent attacks Covers topics such as how to acquire and prepare security data, use simple statistical methods to detect malware, predict rogue behavior, correlate security events, and more Written by a team of well-known experts in the field of security and data analysis Lock down your networks, prevent hacks, and thwart malware by improving visibility into the environment, all through the power of data and Security Using Data Analysis, Visualization, and Dashboards.

Download or read book Human Centric Computing in a Data Driven Society written by David Kreps and published by Springer Nature. This book was released on 2020-11-11 with total page 415 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 14th IFIP TC 9 International Conference on Human Choice and Computers, HCC14 2020, which was supposed take place in Tokyo, Japan, in September 2020, but the conference was cancelled due to the COVID-19 crisis. The 31 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers deal with the constantly evolving intimate relationship between humans and technology. They are organized in the following sections: ethical and legal considerations in a data-driven society; the data-driven society; peace and war; our digital lives; individuals in data-driven society; and gender, diversity and ICT.