- Table View
- List View
Foundations of Network Optimization and Games
by Terry L. Friesz David BernsteinThis is a book about infrastructure networks that are intrinsically nonlinear. The networks considered range from vehicular networks to electric power networks to data networks. The main point of view taken is that of mathematical programming in concert with finite-dimensional variational inequality theory. The principle modeling perspectives are network optimization, the theory of Nash games, and mathematical programming with equilibrium constraints. Computational methods and novel mathematical formulations are emphasized. Among the numerical methods explored are network simplex, gradient projection, fixed-point, gap function, Lagrangian relaxation, Dantzig-Wolfe decomposition, simplicial decomposition, and computational intelligence algorithms. Many solved example problems are included that range from simple to quite challenging. Theoretical analyses of several models and algorithms, to uncover existence, uniqueness and convergence properties, are undertaken. The book is meant for use in advanced undergraduate as well as doctoral courses taught in civil engineering, industrial engineering, systems engineering, and operations research degree programs. At the same time, the book should be a useful resource for industrial and university researchers engaged in the mathematical modeling and numerical analyses of infrastructure networks.
Foundations of Physically Based Modeling and Animation
by Donald House John C. KeyserPhysics forms the basis for many of the motions and behaviors seen in both the real world and in the virtual worlds of animated films, visual effects, and computer games. By describing the underlying physical principles and then creating simulations based on these principles, these computer-generated worlds are brought to life. Physically Based Modeling and Animation goes behind the scenes of computer animation and details the mathematical and algorithmic foundations that are used to determine the behavior underlying the movement of virtual objects and materials. Dr. Donald House and Dr. John Keyser offer an approachable, hands-on view of the equations and programming that form the foundations of this field. They guide readers from the beginnings of modeling and simulation to more advanced techniques, enabling them to master what they need to know in order to understand and create their own animations Emphasizes the underlying concepts of the field, and is not tied to any particular software package, language, or API. Develops concepts in mathematics, physics, numerical methods, and software design in a highly integrated way, enhancing both motivation and understanding. Progressively develops the material over the book, starting from very basic techniques, and building on these to introduce topics of increasing complexity. Motivates the topics by tying the underlying physical and mathematical techniques directly to applications in computer animation.
Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning
by Fabrizio RiguzziProbabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory. Probabilistic Logic Programming is at the intersection of two wider research fields: the integration of logic and probability and Probabilistic Programming.Logic enables the representation of complex relations among entities while probability theory is useful for model uncertainty over attributes and relations. Combining the two is a very active field of study.Probabilistic Programming extends programming languages with probabilistic primitives that can be used to write complex probabilistic models. Algorithms for the inference and learning tasks are then provided automatically by the system.Probabilistic Logic programming is at the same time a logic language, with its knowledge representation capabilities, and a Turing complete language, with its computation capabilities, thus providing the best of both worlds.Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. Foundations of Probabilistic Logic Programming aims at providing an overview of the field with a special emphasis on languages under the Distribution Semantics, one of the most influential approaches. The book presents the main ideas for semantics, inference, and learning and highlights connections between the methods.Many examples of the book include a link to a page of the web application http://cplint.eu where the code can be run online.
Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning
by Fabrizio RiguzziSince its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at providing an overview of the field with a special emphasis on languages under the Distribution Semantics, one of the most influential approaches. The book presents the main ideas for semantics, inference, and learning and highlights connections between the methods. Many examples of the book include a link to a page of the web application http://cplint.eu where the code can be run online. This 2nd edition aims at reporting the most exciting novelties in the field since the publication of the 1st edition. The semantics for hybrid programs with function symbols was placed on a sound footing. Probabilistic Answer Set Programming gained a lot of interest together with the studies on the complexity of inference. Algorithms for solving the MPE and MAP tasks are now available. Inference for hybrid programs has changed dramatically with the introduction of Weighted Model Integration. With respect to learning, the first approaches for neuro-symbolic integration have appeared together with algorithms for learning the structure for hybrid programs. Moreover, given the cost of learning PLPs, various works proposed language restrictions to speed up learning and improve its scaling.
Foundations of Programming Languages
by Kent D. LeeThis clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming. The focus of the text moves from highly prescriptive languages to very descriptive languages, demonstrating the many and varied ways in which we can think about programming. Designed for interactive learning both inside and outside of the classroom, each programming paradigm is highlighted through the implementation of a non-trivial programming language, demonstrating when each language may be appropriate for a given problem. Features: includes review questions and solved practice exercises, with supplementary code and support files available from an associated website; provides the foundations for understanding how the syntax of a language is formally defined by a grammar; examines assembly language programming using CoCo; introduces C++, Standard ML, and Prolog; describes the development of a type inference system for the language Small.
Foundations of Programming Languages
by Kent D. LeeThis clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming. The focus of the text moves from highly prescriptive languages to very descriptive languages, demonstrating the many and varied ways in which we can think about programming. Designed for interactive learning both inside and outside of the classroom, each programming paradigm is highlighted through the implementation of a non-trivial programming language, demonstrating when each language may be appropriate for a given problem. Features: includes review questions and solved practice exercises, with supplementary code and support files available from an associated website; provides the foundations for understanding how the syntax of a language is formally defined by a grammar; examines assembly language programming using CoCo; introduces C++, Standard ML, and Prolog; describes the development of a type inference system for the language Small.
Foundations of PyGTK Development: GUI Creation with Python
by W. David Ashley Andrew KrauseThere are only two mainstream solutions for building the graphical interface of Linux-based desktop applications, and GTK+ (GIMP Toolkit) is one of them. It is a necessary technology for all Linux programmers. This book guides the reader through the complexities of GTK+, laying the groundwork that allows the reader to make the leap from novice to professional. Beginning with an overview of key topics such as widget choice, placement, and behavior, readers move on to learn about more advanced issues. Replete with real-world examples, the developer can quickly take advantages of the concepts presented within to begin building his own projects.
Foundations of Python Network Programming
by Brandon Rhodes John GoerzenFoundations of Python Network Programming, Third Edition, covers all of the classic topics found in the second edition of this book, including network protocols, network data and errors, email, server architecture, and HTTP and web applications, plus updates for Python 3. Some of the new topics in this edition include: * Extensive coverage of the updated SSL support in Python 3 * How to write your own asynchronous I/O loop. * An overview of the "asyncio" framework that comes with Python 3. 4. * How the Flask web framework connects URLs to your Python code. * How cross-site scripting and cross-site request forgery can be used to attack your web site, and how to protect against them. * How a full-stack web framework like Django can automate the round trip from your database to the screen and back. If you're a Python programmer who needs a deep understanding of how to use Python for network-related tasks and applications, this is the book for you. From web application developers, to systems integrators, to system administrators--this book has everything that you need to know. What you'll learn * Extensive coverage of the updated SSL support in Python 3 * How to write your own asynchronous I/O loop. * An overview of the "asyncio" framework that comes with Python 3. 4. * How the Flask web framework connects URLs to your Python code. * How cross-site scripting and cross-site request forgery can be used to attack your web site, and how to protect against them. * How a full-stack web framework like Django can automate the round trip from your database to the screen and back. * Updated coverage of network protocol layers and data encodings * How Python 3 works with network exception handling * How to use the requests library instead of urllib2 * Expanded coverage of Python web frameworks * How to work with web applications and email Who this book is for If you're a Python programmer who needs a deep understanding of how to use Python for network-related tasks and applications, this is the book for you. From web application developers, to systems integrators, to system administrators--this book has everything that you need to know. Table of Contents Introduction to Client/Server Networking UDP TCP Socket Names and DNS Network Data and Network Errors TLS and SSL Server Architecture Caches, Message Queues, and Map-Reduce HTTP Screen Scraping Web Applications E-mail Composition and Decoding SMTP POP IMAP Other technologies: Telnet, SSH, and FTP RPC System Administration
Foundations of Robotics: A Multidisciplinary Approach with Python and ROS
by Damith Herath David St-OngeThis open access book introduces key concepts in robotics in an easy to understand language using an engaging project-based approach. It covers contemporary topics in robotics, providing an accessible entry point to fundamentals in all the major domains. A section is dedicated to introducing programming concepts using Python, which has become a language of choice in robotics and AI. The book also introduces the reader to the Robot Operating System (ROS), the ubiquitous software and algorithmic framework used by researchers and the industry. The book provides an inspired, up-to-date and multidisciplinary introduction to robotics in its many forms, including emerging topics related to robotics on Machine Learning, ethics, Human-Robot Interaction, and Design Thinking. The book also includes interviews with industry experts, providing an additional layer of insight into the world of robotics. The book is made open access through the generous support from Kinova Robotics. The book is suitable as an undergraduate textbook in a relevant engineering course. It is also suitable for students in art and design, high school students, and self-learners who would like to explore foundational concepts in robotics. “This book provides the ‘foundation’ for understanding how robots work. It is the accessible introduction that artists and engineers have been waiting for.” - Ken Goldberg, William S. Floyd Jr. Distinguished Chair in Engineering, UC Berkeley.
Foundations of Scalable Systems: Designing Distributed Architectures
by Ian GortonIn many systems, scalability becomes the primary driver as the user base grows. Attractive features and high utility breed success, which brings more requests to handle and more data to manage. But organizations reach a tipping point when design decisions that made sense under light loads suddenly become technical debt. This practical book covers design approaches and technologies that make it possible to scale an application quickly and cost-effectively.Author Ian Gorton takes software architects and developers through the principles of foundational distributed systems. You'll explore the essential ingredients of scalable solutions, including replication, state management, load balancing, and caching. Specific chapters focus on the implications of scalability for databases, microservices, and event-based streaming systems.You will focus on:Foundations of scalable systems: Learn basic design principles of scalability, its costs, and architectural tradeoffsDesigning scalable services: Dive into service design, caching, asynchronous messaging, serverless processing, and microservicesDesigning scalable data systems: Learn data system fundamentals, NoSQL databases, and eventual consistency versus strong consistencyDesigning scalable streaming systems: Explore stream processing systems and scalable event-driven processing
Foundations of Security Analysis and Design VIII
by Alessandro Aldini Javier Lopez Fabio MartinelliFOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Over the years, both the summer school and the book series have represented a reference point for graduate students and young researchers from academia and industry, interested to approach the field, investigate open problems, and follow priority lines of research. This book presents thoroughly revised versions of four tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD, held in Bertinoro, Italy, in September 2014, 2015 and 2016. The topics covered in this book include zero-knowledge proof systems, JavaScript sandboxing, assessment of privacy, and distributed authorization.
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows (Lecture Notes in Computer Science #11565)
by Joshua D. Guttman Carl E. Landwehr José Meseguer Dusko PavlovicThis Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has been fruitfully applied to the analysis of many protocols and protocol standards and has had an enormous influence in the field. She also developed a new temporal logic to specify protocol properties, as well as new methods for analyzing various kinds of properties beyond secrecy such as authentication and resilience under Denial of Service (DoS) attacks and has made important contributions in other areas such as wireless protocol security, intrusion detection, and the relationship between computational and symbolic approaches to cryptography. This volume contains 14 contributions authored by researchers from Europe and North America. They reflect on the long-term evolution and future prospects of research in cryptographic protocol specification and verification.
Foundations of Software Engineering
by Ashfaque Ahmed Bhanu PrasadThe best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that are essential for becoming proficient in the field. The book devotes a complete chapter to each of the core areas. Several peripheral areas are also explained by assigning a separate chapter to each of them. Rather than using UML or other formal notations, the content in this book is explained in easy-to-understand language. Basic programming knowledge using an object-oriented language is helpful to understand the material in this book. The knowledge gained from this book can be readily used in other relevant courses or in real-world software development environments.This textbook educates students in software engineering principles. It covers almost all facets of software engineering, including requirement engineering, system specifications, system modeling, system architecture, system implementation, and system testing. Emphasizing practical issues, such as feasibility studies, this book explains how to add and develop software requirements to evolve software systems.This book was written after receiving feedback from several professors and software engineers. What resulted is a textbook on software engineering that not only covers the theory of software engineering but also presents real-world insights to aid students in proper implementation. Students learn key concepts through carefully explained and illustrated theories, as well as concrete examples and a complete case study using Java. Source code is also available on the book’s website. The examples and case studies increase in complexity as the book progresses to help students build a practical understanding of the required theories and applications.
Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings (Lecture Notes in Computer Science #10803)
by Christel Baier Ugo Dal LagoThis book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings (Lecture Notes in Computer Science #11425)
by Mikołaj Bojańczyk Alex SimpsonThis open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.
Foundations of Software Science and Computation Structures
by Javier Esparza Andrzej S. MurawskiThis book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14574)
by Naoki Kobayashi James WorrellThe two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14575)
by Naoki Kobayashi James WorrellThe two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings (Lecture Notes in Computer Science #13992)
by Orna Kupferman Pawel SobocinskiThis open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Foundations of Software Science and Computation Structures
by Christof Löding Bart JacobsThis book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016. The 31 full papers presented in this volume werecarefully reviewed and selected from 85 submissions. They were organized intopical sections named: types; recursion and fixed-points; verification andprogram analysis; automata, logic, games; probabilistic and timed systems;proof theory and lambda calculus; algorithms for infinite systems; and monads.
Foundations of Statistical Natural Language Processing
by Christopher D. Manning Hinrich SchutzeAs a comprehensive introduction to statistical natural language processing it contains all the theory and algorithms needed for building NLP tools and covers collocation finding, word sense disambiguation, probabilistic parsing, information retrieval, and other applications.
The Foundations of Threat Hunting: Organize and design effective cyber threat hunts to meet business needs
by Chad Maurice Jeremy Thompson William Copeland Anthony ParticiniBuild and mature a threat hunting team capable of repeatably stalking and trapping advanced adversaries in the darkest parts of an enterpriseKey FeaturesLearn foundational concepts for effective threat hunting teams in pursuit of cyber adversariesRecognize processes and requirements for executing and conducting a huntCustomize a defensive cyber framework needed to grow and mature a hunt teamBook DescriptionThreat hunting is a concept that takes traditional cyber defense and spins it onto its head. It moves the bar for network defenses beyond looking at the known threats and allows a team to pursue adversaries that are attacking in novel ways that have not previously been seen. To successfully track down and remove these advanced attackers, a solid understanding of the foundational concepts and requirements of the threat hunting framework is needed. Moreover, to confidently employ threat hunting in a business landscape, the same team will need to be able to customize that framework to fit a customer's particular use case.This book breaks down the fundamental pieces of a threat hunting team, the stages of a hunt, and the process that needs to be followed through planning, execution, and recovery. It will take you through the process of threat hunting, starting from understanding cybersecurity basics through to the in-depth requirements of building a mature hunting capability. This is provided through written instructions as well as multiple story-driven scenarios that show the correct (and incorrect) way to effectively conduct a threat hunt.By the end of this cyber threat hunting book, you'll be able to identify the processes of handicapping an immature cyber threat hunt team and systematically progress the hunting capabilities to maturity.What you will learnUnderstand what is required to conduct a threat huntKnow everything your team needs to concentrate on for a successful huntDiscover why intelligence must be included in a threat huntRecognize the phases of planning in order to prioritize effortsBalance the considerations concerning toolset selection and employmentAchieve a mature team without wasting your resourcesWho this book is forThis book is for anyone interested in learning how to organize and execute effective cyber threat hunts, establishing extra defense capabilities within their company, and wanting to mature an organization's cybersecurity posture. It will also be useful for anyone looking for a framework to help a hunt team grow and evolve.
The Founders: The Story of Paypal and the Entrepreneurs Who Shaped Silicon Valley
by Jimmy SoniNAMED A BEST BOOK OF 2022 BY THE NEW YORKER National Bestseller * New York Times Editors&’ Choice * Financial Times &“Books to Read in 2022&” A SABEW BEST IN BUSINESS BOOK AWARDS FINALIST &“A gripping account of PayPal&’s origins and a vivid portrait of the geeks and contrarians who made its meteoric rise possible&” (The Wall Street Journal)—including Elon Musk, Amy Rowe Klement, Peter Thiel, Julie Anderson, Max Levchin, Reid Hoffman, and many others whose stories have never been shared.Today, PayPal&’s founders and earliest employees are considered the technology industry&’s most powerful network. Since leaving PayPal, they have formed, funded, and advised the leading companies of our era, including Tesla, Facebook, YouTube, SpaceX, Yelp, Palantir, and LinkedIn, among many others. As a group, they have driven twenty-first-century innovation and entrepreneurship. Their names stir passions; they&’re as controversial as they are admired. Yet for all their influence, the story of where they first started has gone largely untold. Before igniting the commercial space race or jumpstarting social media&’s rise, they were the unknown creators of a scrappy online payments start-up called PayPal. In building what became one of the world&’s foremost companies, they faced bruising competition, internal strife, the emergence of widespread online fraud, and the devastating dot-com bust of the 2000s. Their success was anything but certain. In The Founders: The Story of PayPal and the Entrepreneurs Who Shaped Silicon Valley, award-winning author and biographer Jimmy Soni explores PayPal&’s turbulent early days. With hundreds of interviews and unprecedented access to thousands of pages of internal material, he shows how the seeds of so much of what shapes our world today—fast-scaling digital start-ups, cashless currency concepts, mobile money transfer—were planted two decades ago. He also reveals the stories of countless individuals who were left out of the front-page features and banner headlines but who were central to PayPal&’s success. Described as &“an intensely magnetic chronicle&” (The New York Times) and &“engrossing&” (Business Insider), The Founders is a story of iteration and inventiveness—the products of which have cast a long and powerful shadow over modern life. This narrative illustrates how this rare assemblage of talent came to work together and how their collaboration changed our world forever.
Founders at Work: Stories of Startups' Early Days
by Jessica LivingstonFounders at Work: Stories of Startups' Early Days is a collection of interviews with founders of famous technology companies about what happened in the very earliest days. These people are celebrities now.
Four Battlegrounds: Power In The Age Of Artificial Intelligence
by Paul ScharreAn NPR 2023 "Books We Love" Pick One of the Next Big Idea Club's Must-Read Books "An invaluable primer to arguably the most important driver of change for our future." —P. W. Singer, author of Burn-In An award-winning defense expert tells the story of today’s great power rivalry—the struggle to control artificial intelligence. A new industrial revolution has begun. Like mechanization or electricity before it, artificial intelligence will touch every aspect of our lives—and cause profound disruptions in the balance of global power, especially among the AI superpowers: China, the United States, and Europe. Autonomous weapons expert Paul Scharre takes readers inside the fierce competition to develop and implement this game-changing technology and dominate the future. Four Battlegrounds argues that four key elements define this struggle: data, computing power, talent, and institutions. Data is a vital resource like coal or oil, but it must be collected and refined. Advanced computer chips are the essence of computing power—control over chip supply chains grants leverage over rivals. Talent is about people: which country attracts the best researchers and most advanced technology companies? The fourth “battlefield” is maybe the most critical: the ultimate global leader in AI will have institutions that effectively incorporate AI into their economy, society, and especially their military. Scharre’s account surges with futuristic technology. He explores the ways AI systems are already discovering new strategies via millions of war-game simulations, developing combat tactics better than any human, tracking billions of people using biometrics, and subtly controlling information with secret algorithms. He visits China’s “National Team” of leading AI companies to show the chilling synergy between China’s government, private sector, and surveillance state. He interviews Pentagon leadership and tours U.S. Defense Department offices in Silicon Valley, revealing deep tensions between the military and tech giants who control data, chips, and talent. Yet he concludes that those tensions, inherent to our democratic system, create resilience and resistance to autocracy in the face of overwhelmingly powerful technology. Engaging and direct, Four Battlegrounds offers a vivid picture of how AI is transforming warfare, global security, and the future of human freedom—and what it will take for democracies to remain at the forefront of the world order.