- Table View
- List View
Narrating Complexity
by Richard Walsh Susan StepneyThis book stages a dialogue between international researchers from the broad fields of complexity science and narrative studies. It presents an edited collection of chapters on aspects of how narrative theory from the humanities may be exploited to understand, explain, describe, and communicate aspects of complex systems, such as their emergent properties, feedbacks, and downwards causation; and how ideas from complexity science can inform narrative theory, and help explain, understand, and construct new, more complex models of narrative as a cognitive faculty and as a pervasive cultural form in new and old media. The book is suitable for academics, practitioners, and professionals, and postgraduates in complex systems, narrative theory, literary and film studies, new media and game studies, and science communication.
Narrative as Virtual Reality 2: Revisiting Immersion and Interactivity in Literature and Electronic Media
by Marie-Laure RyanRethinking textuality, mimesis, and the cognitive processing of texts in light of new modes of artistic world construction.Winner of the Aldo and Jeanne Scaglione Prize for Comparative Literary Studies from the Modern Language Association of AmericaIs there a significant difference between engagement with a game and engagement with a movie or novel? Can interactivity contribute to immersion, or is there a trade-off between the immersive "world" aspect of texts and their interactive "game" dimension? As Marie-Laure Ryan demonstrates in Narrative as Virtual Reality 2, the questions raised by the new interactive technologies have their precursors and echoes in pre-electronic literary and artistic traditions. Approaching the idea of virtual reality as a metaphor for total art, Ryan applies the concepts of immersion and interactivity to develop a phenomenology of narrative experience that encompasses reading, watching, and playing. The book weighs traditional literary narratives against the new textual genres made possible by the electronic revolution of the past thirty years, including hypertext, electronic poetry, interactive drama, digital installation art, computer games, and multi-user online worlds like Second Life and World of Warcraft.In this completely revised edition, Ryan reflects on the developments that have taken place over the past fifteen years in terms of both theory and practice and focuses on the increase of narrativity in video games and its corresponding loss in experimental digital literature. Following the cognitive approaches that have rehabilitated immersion as the product of fundamental processes of world-construction and mental simulation, she details the many forms that interactivity has taken—or hopes to take—in digital texts, from determining the presentation of signs to affecting the level of story.
Narrative Design: The Craft of Writing for Games
by Michael BreaultNarrative designers and game designers are critical to the development of digital and analog games. This book provides a detailed look at the work writers and designers perform every day on game development projects. It includes practical advice on how to break into the game industry as a writer or game designer. Readers can use the templates and detailed instructions provided here to create lively portfolios that will help open the door to jobs in the game industry. Key features of this book: • An intimate look at the workings of AAA game development from someone who has spent decades embedded on teams at well-known companies. • An insider’s look at the game industry, including advice on breaking into the industry. • Detailed instructions for creating a portfolio to demonstrate narrative design and game design skills to prospective employers. • Lessons and exercises to help students develop narrative design and game design skills. • A how-to guide for college instructors teaching classes in narrative design and game design. Detailed assignments and syllabi are included. Author Bio: Michael Breault is a 35-year industry veteran who has contributed his writing and game design skills to over 130 published games. He currently teaches narrative design and game design courses at Webster University in St. Louis. The courses he creates and teaches are based on the tasks narrative designers and game designers undertake every day while developing games. These classes provide his students with a real-world view of the work they will be doing as writers and designers in the game industry.
Narrative Design for Mobile and Live Games
by Valentina TamerThis is a comprehensive guidebook for long-term storytelling in mobile games and games-as-a-service (also known as live games). This book formalizes creative techniques of game writing and narrative design for a platform (and revenue model) that has shown drastic growth and changes over the past few years. The unique challenges of mobile games and live games are also increasingly relevant across the whole games industry. With hybrid consoles such as the Nintendo Switch, cloud gaming, and cross-platform titles, the lines between mobile and console have begun to blur. Additionally, many games now offer live support to extend player engagement. This book starts with an introduction to narrative design and the world of mobile games, followed by a deep dive into open-ended and seasonal storytelling. Besides the creative aspect of development, it covers areas of production such as documentation, collaboration, and monetization. To illustrate its solutions, it uses examples from video games and other media, specifically screenwriting for TV shows. This book will be of great interest to all game narrative and writing professionals working on mobile and live games.
Narrative Ecologies: Teachers As Pedagogical Toolmakers
by Keith TurveyIn recent years there has been significant investment by policy makers in the potential of technological tools to transform learning and teaching across a range of professional practitioner groups; education, nursing and social care. There remain, however, outstanding issues concerning the ways educators and professional practitioners harness the p
Narrative Form: Revised and Expanded Second Edition
by Suzanne KeenThis revised and expanded handbook concisely introduces narrative form to advanced students of fiction and creative writing, with refreshed references and new discussions of cognitive approaches to narrative, nonfiction, and narrative emotions.
A Narrative History of Artificial Intelligence: The Perpetual Frontier of Information Technology
by Masayuki IdaThis book addresses the history of artificial intelligence through the author’s experiences from the 1960s, when AI was a dream to give computers far more power than the progress for industrial technological advancement. The book starts from the AI pioneering days including what the author witnessed and impressed, then the episodes during AI boom of the 80s and 90s when the author was involved in ANSI X3J13 committee work as a principal member, translating Common Lisp books into Japanese, leading committee works in Japan for global standardization, and visiting MIT AI Lab for totally three years. The book points out that neural network research started in the 1980s, highlighting the DARPA report dated in 1988. The last episodes and thoughts include the experiences with business school students after the author moved from engineering school. The former half is from a view of an engineering mind and then the latter is based on how the author struggled with business-minded people to explain the core of AI. This book is suitable for anyone interested in the history of Artificial Intelligence. The content is easy to follow, even for readers without prior knowledge of AI. Experts will also find something new and thought-provoking.
Narrative Tactics for Mobile and Social Games: Pocket-Sized Storytelling
by Toiya Kristen FinleyDespite its significant growth over the past five years, the mobile and social videogame industry is still maturing at a rapid rate. Due to various storage and visual and sound asset restrictions, mobile and social gaming must have innovative storytelling techniques. Narrative Tactics grants readers practical advice for improving narrative design and game writing for mobile and social games, and helps them rise to the challenge of mobile game storytelling. The first half of the book covers general storytelling techniques, including worldbuilding, character design, dialogue, and quests. In the second half, leading experts in the field explore various genres and types of mobile and social games, including educational games, licensed IP, games for specific demographics, branding games, and free to play (F2P). <P><P>Key Features <li>The only book dedicated to narrative design and game writing in social and mobile games, an explosive market overtaking the console gaming market. <li>Provides tips for narrative design and writing tailored specifically for mobile and social game markets. <li>Guides readers along with conclusions that include questions to help the reader in narrative design and/or writing. <li>Explores real games to illustrate theory and best practices with analyses of game case studies per chapter, covering indie, social/mobile, and AAA games. <li>Includes checklists to help readers critique their own narrative design/writing.
Narrowband Single Photons for Light-Matter Interfaces (Springer Theses)
by Markus RambachThis book provides a step-by-step guide on how to construct a narrowband single photon source for the integration with atom-based memory systems. It combines the necessary theoretical background with crucial experimental methods and characterisations to form a complete handbook for readers at all academic levels. The future implementation of large quantum networks will require the hybridisation of photonic qubits for communication with quantum memories in the context of information storage. Such an interface requires carefully tailored single photons to ensure compatibility with the chosen memory. The source itself is remarkable for a number of reasons, including being the spectrally narrowest and brightest source of its kind; in addition, it offers a novel technique for frequency stabilisation in an optical cavity, together with exceptional portability. Starting with a thorough analysis of the current literature, this book derives the essential parameters needed to design the source, describes its individual components in detail, and closes with the characterisation of a single photon source.
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Lecture Notes in Computer Science #11460)
by Julia M. Badger Kristin Yvonne RozierThis book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings (Lecture Notes in Computer Science #14627)
by Nathaniel Benz Divya Gopinath Nija ShiThis LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings (Lecture Notes in Computer Science #12673)
by Aaron Dutle Mariano M. Moscato Laura Titolo César A. Muñoz Ivan PerezThis book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
NASA Formal Methods: 10th International Symposium, Nfm 2018, Newport News, Va, Usa, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science #10811)
by Aaron Dutle César Muñoz Anthony NarkawiczThis book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (Lecture Notes in Computer Science #13260)
by Klaus Havelund Ivan Perez Jyotirmoy V. DeshmukhThis book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings (Lecture Notes in Computer Science #12229)
by Ritchie Lee Susmit Jha Anastasia MavridouThis book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic.
NASA Formal Methods
by Sanjai Rayadurgam Oksana TkachukThis book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (Lecture Notes in Computer Science #13903)
by Kristin Yvonne Rozier Swarat ChaudhuriThis book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
Nation as Network: Diaspora, Cyberspace, and Citizenship
by Victoria BernalHow is the internet transforming the relationships between citizens and states? What happens to politics when international migration is coupled with digital media, making it easy for people to be politically active in a nation from outside its borders? In Nation as Network, Victoria Bernal creatively combines media studies, ethnography, and African studies to explore this new political paradigm through a striking analysis of how Eritreans in diaspora have used the internet to shape the course of Eritrean history. Bernal argues that Benedict Anderson’s famous concept of nations as "imagined communities” must now be rethought because diasporas and information technologies have transformed the ways nations are sustained and challenged. She traces the development of Eritrean diaspora websites over two turbulent decades that saw the Eritrean state grow ever more tyrannical. Through Eritreans’ own words in posts and debates, she reveals how new subjectivities are formed and political action is galvanized online. She suggests that "infopolitics”--struggles over the management of information--make politics in the 21st century distinct, and she analyzes the innovative ways Eritreans deploy the internet to support and subvert state power. Nation as Network is a unique and compelling work that advances our understanding of the political significance of digital media.
National 4 & 5 Administration and IT
by Adam Stephenson Anne BradleyBuilds on the outcomes and experiences at Level 4 and provides full coverage of the National 4 & 5 course. This title is endorsed by SQA.- Covers all of the requirements of the Unit Outcomes- Contains practice tasks to allow students to prepare for the National 4 Added Value Unit/National 5 Assignment- Written by respected authors in the Business Education community
National 5 Computing Science: Second Edition
by John Walsh Jane PatersonExam Board: SQALevel: National 5 Subject: Computing ScienceFirst Teaching: August 2017First Exam: June 2018National 5 Computing Science provides complete coverage of the new SQA syllabus for the updated National 5 course Ensures clear support throughout the course with a text built specifically around the requirements, teaching approaches and syllabus outlines. Divided into four sections to follow this latest syllabus: Software Design and Development, Computer Systems, Database Design and Development and Web Design and Development.Assesses student progress with regular questions for National 5 students to test knowledge and understandingConsolidates knowledge with a summary of key points at the end of each chapterIncludes a glossary and index for ease of reference
National 5 Computing Science, Second Edition
by John Walsh Jane PatersonExam Board: SQALevel: National 5 Subject: Computing ScienceFirst Teaching: August 2017First Exam: June 2018National 5 Computing Science provides complete coverage of the new SQA syllabus for the updated National 5 course Ensures clear support throughout the course with a text built specifically around the requirements, teaching approaches and syllabus outlines. Divided into four sections to follow this latest syllabus: Software Design and Development, Computer Systems, Database Design and Development and Web Design and Development.Assesses student progress with regular questions for National 5 students to test knowledge and understandingConsolidates knowledge with a summary of key points at the end of each chapterIncludes a glossary and index for ease of reference
National Cyber Summit (Advances in Intelligent Systems and Computing #1055)
by Kim-Kwang Raymond Choo Thomas H. Morris Gilbert L. PetersonThese proceedings gather papers presented at the Cyber Security Education Stream and Cyber Security Technology Stream of The National Cyber Summit’s Research Track, and report on the latest advances in areas ranging from software security to cyber attack detection and modeling; the use of machine learning in cyber security; legislation and policy; surveying small businesses; cyber competition, and so on. Understanding the latest capabilities in cyber security is the best way to prepare users and organizations for potential negative events. Consequently, this book will be of interest to cyber security researchers, educators and practitioners, as well as students who want to learn about cyber security.
National Cyber Summit (Lecture Notes in Networks and Systems #310)
by Kim-Kwang Raymond Choo Tommy Morris Gilbert Peterson Eric ImsandThis book presents findings from the papers accepted at the Cyber Security Education Stream and Cyber Security Technology Stream of The National Cyber Summit’s Research Track, reporting on latest advances on topics ranging from software security to cyber-attack detection and modelling to the use of machine learning in cyber security to legislation and policy to surveying of small businesses to cyber competition, and so on. Understanding the latest capabilities in cyber security ensures users and organizations are best prepared for potential negative events. This book is of interest to cyber security researchers, educators and practitioners, as well as students seeking to learn about cyber security.
National Cyber Summit (Advances in Intelligent Systems and Computing #1271)
by Kim-Kwang Raymond Choo Tommy Morris Gilbert L. Peterson Eric ImsandThis book presents findings from the papers accepted at the Cyber Security Education Stream and Cyber Security Technology Stream of The National Cyber Summit’s Research Track, reporting on the latest advances on topics ranging from software security to cyber attack detection and modelling to the use of machine learning in cyber security to legislation and policy to surveying of small businesses to cyber competition, and so on. Understanding the latest capabilities in cyber security ensures that users and organizations are best prepared for potential negative events. This book is of interest to cyber security researchers, educators, and practitioners, as well as students seeking to learn about cyber security.
National Security Issues in Science, Law, and Technology
by Thomas A. JohnsonUsing the best scientific decision-making practices, this book introduces the concept of risk management and its application in the structure of national security decisions. It examines the acquisition and utilization of all-source intelligence and addresses reaction and prevention strategies applicable to chemical, biological, and nuclear weapons; agricultural terrorism; cyberterrorism; and other potential threats to our critical infrastructure. It discusses legal issues and illustrates the dispassionate analysis of our intelligence, law enforcement, and military operations and actions. The book also considers the redirection of our national research and laboratory system to investigate weapons we have yet to confront.