- Table View
- List View
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.
National Security, Personal Privacy and the Law: Surveying Electronic Surveillance and Data Acquisition (Routledge Research in Terrorism and the Law)
by Sybil SharpeThere have been significant changes in public attitudes towards surveillance in the last few years as a consequence of the Snowden disclosures and the Cambridge Analytica scandal. This book re-evaluates competing arguments between national security and personal privacy. The increased assimilation between the investigatory powers of the intelligence services and the police and revelations of unauthorised surveillance have resulted in increased demands for transparency in information gathering and for greater control of personal data. Recent legal reforms have attempted to limit the risks to freedom of association and expression associated with electronic surveillance. This book looks at the background to recent reforms and explains how courts and the legislature are attempting to effect a balance between security and personal liberty within a social contract. It asks what drives public concern when other aspects seem to be less contentious. In view of our apparent willingness to post on social media and engage in online commerce, it considers if we are truly consenting to a loss of privacy and how this reconciles with concerns about state surveillance.
National Security Research on the Internet
by William M. ArkinGuide to research on the internet on national security issues.
National Spatial Data Infrastructure Partnership Programs: Rethinking the Focus
by National Research CouncilThe National Academies Press (NAP)--publisher for the National Academies--publishes more than 200 books a year offering the most authoritative views, definitive information, and groundbreaking recommendations on a wide range of topics in science, engineering, and health. Our books are unique in that they are authored by the nation's leading experts in every scientific field.
Native Ads
by Brian GravesBasically, what we are doing in this special method is that we send cheap traffic to simple domains we own that have sponsored ads on them. How do we get the ads on the domains? We simply park the domain with a provider that will put the ads on our domain automatically.
Native Advertising: Digitale Werbung Mit Nativen Kampagnen
by Cevahir Ejder Coskun TunaDieses Buch erklärt kompakt und auf den Punkt, was Native Advertising ist, wie diese neue Werbedisziplin funktioniert und welche Vorteile sie Werbungtreibenden bietet. Die Autoren – selber Vorreiter in dieser jungen Branche – geben einen aktuellen Überblick mit wichtigen Daten und Fakten, erklären alle nativen Werbeformate im Detail und beschreiben die Technologien sowie die durchaus kontrovers diskutierten Rollen der einzelnen Player dabei: Publisher, Advertiser und Konsumenten.Ein Praxisleitfaden für alle, die an Online-Werbung jenseits von Bannern und Rectangles interessiert sind, um ihren Produkten mit sensibel gestalteten und gut ausgesteuerten nativen Kampagnen mehr Glaubwürdigkeit und Sympathie zu verleihen.