Author: Paula Klinke
Publisher: Universitätsverlag Potsdam
ISBN: 3869565217
Category : Computers
Languages : en
Pages : 178
Book Description
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.
Tool support for collaborative creation of interactive storytelling media
Author: Paula Klinke
Publisher: Universitätsverlag Potsdam
ISBN: 3869565217
Category : Computers
Languages : en
Pages : 178
Book Description
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.
Publisher: Universitätsverlag Potsdam
ISBN: 3869565217
Category : Computers
Languages : en
Pages : 178
Book Description
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.
Interactive Storytelling
Author: Ido A Iurgel
Publisher: Springer
ISBN: 3642106439
Category : Computers
Languages : en
Pages : 374
Book Description
The rich programme of ICIDS 2009, comprising invited talks, technical pres- tations and posters, demonstrations, and co-located post-conference workshops clearly underscores the event’s status as premier international meeting in the domain. It thereby con?rms the decision taken by the Constituting Committee of the conference series to take the step forward: out of the national cocoons of its precursors, ICVS and TIDSE, and towards an itinerant platform re?ecting its global constituency. This move re?ects the desire and the will to take on the challenge to stay on the lookout, critically re?ect upon and integrate views and ideas,?ndingsandexperiences,andtopromoteinterdisciplinaryexchange,while ensuring overall coherence and maintaining a sense of direction. This is a signi?cant enterprise: The challenges sought are multifarious and must be addressed consistently at all levels. The desire to involve all research communitiesandstakeholdersmustbematchedbyacknowledgingthedi?erences in established practises and by providing suitable means of guidance and int- duction, exposition and direct interaction at the event itself and of lasting (and increasingly:living) documentation, of which the present proceedings are but an important part.
Publisher: Springer
ISBN: 3642106439
Category : Computers
Languages : en
Pages : 374
Book Description
The rich programme of ICIDS 2009, comprising invited talks, technical pres- tations and posters, demonstrations, and co-located post-conference workshops clearly underscores the event’s status as premier international meeting in the domain. It thereby con?rms the decision taken by the Constituting Committee of the conference series to take the step forward: out of the national cocoons of its precursors, ICVS and TIDSE, and towards an itinerant platform re?ecting its global constituency. This move re?ects the desire and the will to take on the challenge to stay on the lookout, critically re?ect upon and integrate views and ideas,?ndingsandexperiences,andtopromoteinterdisciplinaryexchange,while ensuring overall coherence and maintaining a sense of direction. This is a signi?cant enterprise: The challenges sought are multifarious and must be addressed consistently at all levels. The desire to involve all research communitiesandstakeholdersmustbematchedbyacknowledgingthedi?erences in established practises and by providing suitable means of guidance and int- duction, exposition and direct interaction at the event itself and of lasting (and increasingly:living) documentation, of which the present proceedings are but an important part.
openHPI
Author: Christoph Meinel
Publisher: Universitätsverlag Potsdam
ISBN: 3869565446
Category : Computers
Languages : en
Pages : 132
Book Description
On the occasion of the 10th openHPI anniversary, this technical report provides information about the HPI MOOC platform, including its core features, technology, and architecture. In an introduction, the platform family with all partner platforms is presented; these now amount to nine platforms, including openHPI. This section introduces openHPI as an advisor and research partner in various projects. In the second chapter, the functionalities and common course formats of the platform are presented. The functionalities are divided into learner and admin features. The learner features section provides detailed information about performance records, courses, and the learning materials of which a course is composed: videos, texts, and quizzes. In addition, the learning materials can be enriched by adding external exercise tools that communicate with the HPI MOOC platform via the Learning Tools Interoperability (LTI) standard. Furthermore, the concept of peer assessments completed the possible learning materials. The section then proceeds with further information on the discussion forum, a fundamental concept of MOOCs compared to traditional e-learning offers. The section is concluded with a description of the quiz recap, learning objectives, mobile applications, gameful learning, and the help desk. The next part of this chapter deals with the admin features. The described functionality is restricted to describing the news and announcements, dashboards and statistics, reporting capabilities, research options with A/B testing, the course feed, and the TransPipe tool to support the process of creating automated or manual subtitles. The platform supports a large variety of additional features, but a detailed description of these features goes beyond the scope of this report. The chapter then elaborates on common course formats and openHPI teaching activities at the HPI. The chapter concludes with some best practices for course design and delivery. The third chapter provides insights into the technology and architecture behind openHPI. A special characteristic of the openHPI project is the conscious decision to operate the complete application from bare metal to platform development. Hence, the chapter starts with a section about the openHPI Cloud, including detailed information about the data center and devices, the used cloud software OpenStack and Ceph, as well as the openHPI Cloud Service provided for the HPI. Afterward, a section on the application technology stack and development tooling describes the application infrastructure components, the used automation, the deployment pipeline, and the tools used for monitoring and alerting. The chapter is concluded with detailed information about the technology stack and concrete platform implementation details. The section describes the service-oriented Ruby on Rails application, inter-service communication, and public APIs. It also provides more information on the design system and components used in the application. The section concludes with a discussion of the original microservice architecture, where we share our insights and reasoning for migrating back to a monolithic application. The last chapter provides a summary and an outlook on the future of digital education.
Publisher: Universitätsverlag Potsdam
ISBN: 3869565446
Category : Computers
Languages : en
Pages : 132
Book Description
On the occasion of the 10th openHPI anniversary, this technical report provides information about the HPI MOOC platform, including its core features, technology, and architecture. In an introduction, the platform family with all partner platforms is presented; these now amount to nine platforms, including openHPI. This section introduces openHPI as an advisor and research partner in various projects. In the second chapter, the functionalities and common course formats of the platform are presented. The functionalities are divided into learner and admin features. The learner features section provides detailed information about performance records, courses, and the learning materials of which a course is composed: videos, texts, and quizzes. In addition, the learning materials can be enriched by adding external exercise tools that communicate with the HPI MOOC platform via the Learning Tools Interoperability (LTI) standard. Furthermore, the concept of peer assessments completed the possible learning materials. The section then proceeds with further information on the discussion forum, a fundamental concept of MOOCs compared to traditional e-learning offers. The section is concluded with a description of the quiz recap, learning objectives, mobile applications, gameful learning, and the help desk. The next part of this chapter deals with the admin features. The described functionality is restricted to describing the news and announcements, dashboards and statistics, reporting capabilities, research options with A/B testing, the course feed, and the TransPipe tool to support the process of creating automated or manual subtitles. The platform supports a large variety of additional features, but a detailed description of these features goes beyond the scope of this report. The chapter then elaborates on common course formats and openHPI teaching activities at the HPI. The chapter concludes with some best practices for course design and delivery. The third chapter provides insights into the technology and architecture behind openHPI. A special characteristic of the openHPI project is the conscious decision to operate the complete application from bare metal to platform development. Hence, the chapter starts with a section about the openHPI Cloud, including detailed information about the data center and devices, the used cloud software OpenStack and Ceph, as well as the openHPI Cloud Service provided for the HPI. Afterward, a section on the application technology stack and development tooling describes the application infrastructure components, the used automation, the deployment pipeline, and the tools used for monitoring and alerting. The chapter is concluded with detailed information about the technology stack and concrete platform implementation details. The section describes the service-oriented Ruby on Rails application, inter-service communication, and public APIs. It also provides more information on the design system and components used in the application. The section concludes with a discussion of the original microservice architecture, where we share our insights and reasoning for migrating back to a monolithic application. The last chapter provides a summary and an outlook on the future of digital education.
Interactive Storytelling
Author: Mei Si
Publisher: Springer
ISBN: 3642252893
Category : Computers
Languages : en
Pages : 374
Book Description
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Digital Storytelling, ICIDS 2011, held in Vancouver, Canada, in November/December 2011. The 17 full papers, 14 short papers and 16 poster papers were carefully reviewed and selected from 72 paper and poster submissions. In addition, the volume includes 6 workshops descriptions. The full and short papers have been organized into the following topical sections: interactive storytelling theory, new authoring modes, virtual characters and agents, story generation and drama managment, narratives in digital games, evaluation and user experience reports, tools for interactive storytelling.
Publisher: Springer
ISBN: 3642252893
Category : Computers
Languages : en
Pages : 374
Book Description
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Digital Storytelling, ICIDS 2011, held in Vancouver, Canada, in November/December 2011. The 17 full papers, 14 short papers and 16 poster papers were carefully reviewed and selected from 72 paper and poster submissions. In addition, the volume includes 6 workshops descriptions. The full and short papers have been organized into the following topical sections: interactive storytelling theory, new authoring modes, virtual characters and agents, story generation and drama managment, narratives in digital games, evaluation and user experience reports, tools for interactive storytelling.
Operating systems II - student projects
Author: Andreas Grapentin
Publisher: Universitätsverlag Potsdam
ISBN: 3869565241
Category :
Languages : en
Pages : 130
Book Description
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.
Publisher: Universitätsverlag Potsdam
ISBN: 3869565241
Category :
Languages : en
Pages : 130
Book Description
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.
Multimedia Technologies: Concepts, Methodologies, Tools, and Applications
Author: Syed, Mahbubur Rahman
Publisher: IGI Global
ISBN: 1599049546
Category : Computers
Languages : en
Pages : 1874
Book Description
"This book offers an in-depth explanation of multimedia technologies within their many specific application areas as well as presenting developing trends for the future"--Provided by publisher.
Publisher: IGI Global
ISBN: 1599049546
Category : Computers
Languages : en
Pages : 1874
Book Description
"This book offers an in-depth explanation of multimedia technologies within their many specific application areas as well as presenting developing trends for the future"--Provided by publisher.
Learning from failure
Author: Falco Dürsch
Publisher: Universitätsverlag Potsdam
ISBN: 3869565284
Category : Computers
Languages : en
Pages : 92
Book Description
Regression testing is a widespread practice in today's software industry to ensure software product quality. Developers derive a set of test cases, and execute them frequently to ensure that their change did not adversely affect existing functionality. As the software product and its test suite grow, the time to feedback during regression test sessions increases, and impedes programmer productivity: developers wait longer for tests to complete, and delays in fault detection render fault removal increasingly difficult. Test case prioritization addresses the problem of long feedback loops by reordering test cases, such that test cases of high failure probability run first, and test case failures become actionable early in the testing process. We ask, given test execution schedules reconstructed from publicly available data, to which extent can their fault detection efficiency improved, and which technique yields the most efficient test schedules with respect to APFD? To this end, we recover regression 6200 test sessions from the build log files of Travis CI, a popular continuous integration service, and gather 62000 accompanying changelists. We evaluate the efficiency of current test schedules, and examine the prioritization results of state-of-the-art lightweight, history-based heuristics. We propose and evaluate a novel set of prioritization algorithms, which connect software changes and test failures in a matrix-like data structure. Our studies indicate that the optimization potential is substantial, because the existing test plans score only 30% APFD. The predictive power of past test failures proves to be outstanding: simple heuristics, such as repeating tests with failures in recent sessions, result in efficiency scores of 95% APFD. The best-performing matrix-based heuristic achieves a similar score of 92.5% APFD. In contrast to prior approaches, we argue that matrix-based techniques are useful beyond the scope of effective prioritization, and enable a number of use cases involving software maintenance. We validate our findings from continuous integration processes by extending a continuous testing tool within development environments with means of test prioritization, and pose further research questions. We think that our findings are suited to propel adoption of (continuous) testing practices, and that programmers' toolboxes should contain test prioritization as an existential productivity tool.
Publisher: Universitätsverlag Potsdam
ISBN: 3869565284
Category : Computers
Languages : en
Pages : 92
Book Description
Regression testing is a widespread practice in today's software industry to ensure software product quality. Developers derive a set of test cases, and execute them frequently to ensure that their change did not adversely affect existing functionality. As the software product and its test suite grow, the time to feedback during regression test sessions increases, and impedes programmer productivity: developers wait longer for tests to complete, and delays in fault detection render fault removal increasingly difficult. Test case prioritization addresses the problem of long feedback loops by reordering test cases, such that test cases of high failure probability run first, and test case failures become actionable early in the testing process. We ask, given test execution schedules reconstructed from publicly available data, to which extent can their fault detection efficiency improved, and which technique yields the most efficient test schedules with respect to APFD? To this end, we recover regression 6200 test sessions from the build log files of Travis CI, a popular continuous integration service, and gather 62000 accompanying changelists. We evaluate the efficiency of current test schedules, and examine the prioritization results of state-of-the-art lightweight, history-based heuristics. We propose and evaluate a novel set of prioritization algorithms, which connect software changes and test failures in a matrix-like data structure. Our studies indicate that the optimization potential is substantial, because the existing test plans score only 30% APFD. The predictive power of past test failures proves to be outstanding: simple heuristics, such as repeating tests with failures in recent sessions, result in efficiency scores of 95% APFD. The best-performing matrix-based heuristic achieves a similar score of 92.5% APFD. In contrast to prior approaches, we argue that matrix-based techniques are useful beyond the scope of effective prioritization, and enable a number of use cases involving software maintenance. We validate our findings from continuous integration processes by extending a continuous testing tool within development environments with means of test prioritization, and pose further research questions. We think that our findings are suited to propel adoption of (continuous) testing practices, and that programmers' toolboxes should contain test prioritization as an existential productivity tool.
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
Author: Sven Schneider
Publisher: Universitätsverlag Potsdam
ISBN: 3869565314
Category : Computers
Languages : en
Pages : 44
Book Description
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.
Publisher: Universitätsverlag Potsdam
ISBN: 3869565314
Category : Computers
Languages : en
Pages : 44
Book Description
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.
Interactive Storytelling
Author: Antonio Pizzo
Publisher: Taylor & Francis
ISBN: 1000955257
Category : Language Arts & Disciplines
Languages : en
Pages : 193
Book Description
Taking a cross-media approach to the ever-changing field of digital storytelling, this book offers an essential introduction to producing and editing interactive storytelling content, and to the platforms that host it. Merging algorithmic and AI approaches with basic writing technique, the authors begin by providing a brief history of the field before moving on to practical step-by-step guides on techniques, models and software architectures. Examples and exercises are drawn from free-to-access, purpose-built software created by the authors as well as exemplary interactive storytelling work. Assuming the perspective of the storyteller and focusing on elements shared across different fields of professional communication, the book is designed to be a primer for digital communicators, irrespective of the medium they are working with. As such, the methods provided will be applicable across the spectrum of TV, film, videogames, web and mobile storytelling. Interactive Storytelling is recommended reading for professionals as well as advanced undergraduate and postgraduate students of interactive entertainment, multimedia design and production, and digital journalism.
Publisher: Taylor & Francis
ISBN: 1000955257
Category : Language Arts & Disciplines
Languages : en
Pages : 193
Book Description
Taking a cross-media approach to the ever-changing field of digital storytelling, this book offers an essential introduction to producing and editing interactive storytelling content, and to the platforms that host it. Merging algorithmic and AI approaches with basic writing technique, the authors begin by providing a brief history of the field before moving on to practical step-by-step guides on techniques, models and software architectures. Examples and exercises are drawn from free-to-access, purpose-built software created by the authors as well as exemplary interactive storytelling work. Assuming the perspective of the storyteller and focusing on elements shared across different fields of professional communication, the book is designed to be a primer for digital communicators, irrespective of the medium they are working with. As such, the methods provided will be applicable across the spectrum of TV, film, videogames, web and mobile storytelling. Interactive Storytelling is recommended reading for professionals as well as advanced undergraduate and postgraduate students of interactive entertainment, multimedia design and production, and digital journalism.
Interactive Storytelling
Author: Mirjam Vosmeer
Publisher: Springer Nature
ISBN: 3031222989
Category : Computers
Languages : en
Pages : 714
Book Description
This book constitutes the refereed proceedings of the 15th International Conference on Interactive Digital Storytelling, ICIDS 2022, held in Santa Cruz, CA, USA, in December 2022. The 30 full papers and 10 short papers, presented together with 17 posters and demos, were carefully reviewed and selected from 79 submissions.
Publisher: Springer Nature
ISBN: 3031222989
Category : Computers
Languages : en
Pages : 714
Book Description
This book constitutes the refereed proceedings of the 15th International Conference on Interactive Digital Storytelling, ICIDS 2022, held in Santa Cruz, CA, USA, in December 2022. The 30 full papers and 10 short papers, presented together with 17 posters and demos, were carefully reviewed and selected from 79 submissions.