Browse Results

Select your format based upon: 1) how you want to read your book, and 2) compatibility with your reading tool. To learn more about using Bookshare with your device, visit the Help Center.

Here is an overview of the specialized formats that Bookshare offers its members with links that go to the Help Center for more information.

• Bookshare Web Reader - A customized reading tool for Bookshare members offering all the features of DAISY with a single click of the "Read Now" link.
• DAISY (Digital Accessible Information System) - A digital book file format. DAISY books from Bookshare are DAISY 3.0 text files that work with just about every type of access technology that reads text. Books that contain images will have the download option of ‘DAISY Text with Images’.
• BRF (Braille Refreshable Format) - Digital Braille for use with refreshable Braille devices and Braille embossers.
• MP3 (MPEG audio layer 3) - Provides audio only with no text. These books are created with a text-to-speech engine and spoken by Kendra, a high quality synthetic voice from Ivona. Any device that supports MP3 playback is compatible.
• DAISY Audio - Similar to the DAISY option above; however, this option uses MP3 files created with our text-to-speech engine that utilizes Ivonas Kendra voice. This format will work with Daisy Audio compatible players such as Victor Reader Stream and Read2Go.
• EPUB - A standard e-book format that can be read on many tools, such as iBooks, Readium or others.
• Word - Accessible Word output, which can be unzipped and opened in any tool that allows .docx files

Automated Theorem Proving in Software Engineering

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture.

Automated Theorem Proving: A Logical Basis (Fundamental Studies in Computer Science #1)

Automated Theorem Proving: A Logical Basis

Automated Theory Formation in Pure Mathematics (Distinguished Dissertations)

In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer. HR uses various pieces of mathematical software, including automated theorem provers, model generators and databases, to build a theory from the bare minimum of information - the axioms of a domain. The main application of this work has been mathematical discovery, and HR has had many successes. In particular, it has invented 20 new types of number of sufficient interest to be accepted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed by many (human) mathematicians.

Automated Trading with R: Quantitative Research and Platform Development

Learn to trade algorithmically with your existing brokerage, from data management, to strategy optimization, to order execution, using free and publicly available data. Connect to your brokerage’s API, and the source code is plug-and-play.Automated Trading with R explains automated trading, starting with its mathematics and moving to its computation and execution. You will gain a unique insight into the mechanics and computational considerations taken in building a back-tester, strategy optimizer, and fully functional trading platform.The platform built in this book can serve as a complete replacement for commercially available platforms used by retail traders and small funds. Software components are strictly decoupled and easily scalable, providing opportunity to substitute any data source, trading algorithm, or brokerage. This book will:Provide a flexible alternative to common strategy automation frameworks, like Tradestation, Metatrader, and CQG, to small funds and retail tradersOffer an understanding of the internal mechanisms of an automated trading systemStandardize discussion and notation of real-world strategy optimization problemsWhat You Will LearnUnderstand machine-learning criteria for statistical validity in the context of time-seriesOptimize strategies, generate real-time trading decisions, and minimize computation time while programming an automated strategy in R and using its package libraryBest simulate strategy performance in its specific use case to derive accurate performance estimatesUnderstand critical real-world variables pertaining to portfolio management and performance assessment, including latency, drawdowns, varying trade size, portfolio growth, and penalization of unused capitalWho This Book Is ForTraders/practitioners at the retail or small fund level with at least an undergraduate background in finance or computer science; graduate level finance or data science students

Automated Transit: Planning, Operation, and Applications (IEEE Press Series on Systems Science and Engineering)

A comprehensive discussion of automated transit This book analyzes the successful implementations of automated transit in various international locations, such as Paris, Toronto, London, and Kuala Lumpur, and investigates the apparent lack of automated transit applications in the urban environment in the United States. The book begins with a brief definition of automated transit and its historical development. After a thorough description of the technical specifications, the author highlights a few applications from each sub-group of the automated transit spectrum. International case studies display various technologies and their applications, and identify vital factors that affect each system and performance evaluations of existing applications. The book then discusses the planning and operation of automated transit applications at both macro and micro levels. Finally, the book covers a number of less successful concepts, as well as the lessons learned, allowing readers to gain a comprehensive understanding of the topic. Key features: Provides a thorough examination of automated transit applications, their impact and implications for society Written by the committee chair for the Automated Transit Systems Transportation, Research Board Offers essential information on planning, costs, and applications of automated transit systems Covers driverless metros, automated LRT, group and personal rapid transit, a review of worldwide applications Includes capacity and safety guidelines, as well as vehicles, propulsion, and communication and control systems This book is essential reading for engineers, researchers, scientists, college or graduate students who work in transportation planning, engineering, operation and management fields.

Automated Transit: Planning, Operation, and Applications (IEEE Press Series on Systems Science and Engineering)

A comprehensive discussion of automated transit This book analyzes the successful implementations of automated transit in various international locations, such as Paris, Toronto, London, and Kuala Lumpur, and investigates the apparent lack of automated transit applications in the urban environment in the United States. The book begins with a brief definition of automated transit and its historical development. After a thorough description of the technical specifications, the author highlights a few applications from each sub-group of the automated transit spectrum. International case studies display various technologies and their applications, and identify vital factors that affect each system and performance evaluations of existing applications. The book then discusses the planning and operation of automated transit applications at both macro and micro levels. Finally, the book covers a number of less successful concepts, as well as the lessons learned, allowing readers to gain a comprehensive understanding of the topic. Key features: Provides a thorough examination of automated transit applications, their impact and implications for society Written by the committee chair for the Automated Transit Systems Transportation, Research Board Offers essential information on planning, costs, and applications of automated transit systems Covers driverless metros, automated LRT, group and personal rapid transit, a review of worldwide applications Includes capacity and safety guidelines, as well as vehicles, propulsion, and communication and control systems This book is essential reading for engineers, researchers, scientists, college or graduate students who work in transportation planning, engineering, operation and management fields.

Automated Unit Testing with ABAP: A Practical Approach

Write automated unit tests for the ABAP language. This book teaches programmers using simple examples and metaphors and explains the underlying concepts of writing effective automated unit tests. Many, if not most, ABAP programmers learned their programming and testing skills before the ABAP development environment provided an automated unit testing facility. Automated Unit Testing with ABAP: A Practical Approach offers hope and salvation to ABAP programmers who continue to toil with antiquated manual unit testing processes, taking them by the hand and lifting them out of that dungeon of despair with a modern and proven alternative. It begins by explaining how the xUnit family of automated testing frameworks provides a quick and effective means of insuring high-quality software. It then focuses on the ABAP Unit Testing Facility, the xUnit framework applicable specifically to the ABAP language, showing how it can be used to bring ABAP applications under automated testing control, from old legacy applications to those newly written.Whereas xUnit testing has been widely accepted with developers writing in many other programming languages, it is an unfortunate fact in the ABAP community that many programmers still are unfamiliar with xUnit concepts and do not know how to begin implementing automated unit testing into their development process. This book demonstrates how to refactor programs so they become designed for testability, showing how to use process encapsulation and test isolation to facilitate automated testing, including a thorough explanation of test-driven development and the use of test doubles. The book: Shows how to write automated unit tests for ABAPInstills ABAP programmers with the confidence to refactor poorly written codeExplains how an automated testing harness facilitates rapid software developmentTeaches how to utilize test-driven development (TDD) with ABAPOffers advice and tips on the best ways to write automated unit tests What You Will Learn Become familiar with the xUnit approach to testingKnow the ABAP statements that interfere with running automated unit tests and how to accommodate themUnderstand what it means to isolate code for testing and how this is achievedGain the confidence to refactor poorly written codeMake ABAP programs designed for testabilityReap the benefits of spending less time manually unit testing ABAP programsUse test-driven development (TDD) with ABAP programmingUse configurable test doubles in ABAP Who This Book Is ForABAP programmers who remain unfamiliar with the automated unit testing facility and those who already use it but want to improve their skill writing and using automated tests. The book addresses the reluctance and trepidation felt by procedural ABAP programmers who need to know some object-oriented concepts to use this facility, expands their horizons, and helps them step through the doorway leading to a different approach to program design.

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.

Automated Vehicles and MaaS: Removing the Barriers (Wiley - IEEE)

AUTOMATED VEHICLES AND MaaS A topical overview of the issues facing automated driving systems and Mobility as a Service, identifies the obstacles to implementation and offers potential solutionsAdvances in cooperative and automated vehicle (CAV) technologies, cultural and socio-economic shifts, measures to combat climate change, social pressures to reduce road deaths and injuries, and changing attitudes toward self-driving cars, are creating new and exciting mobility scenarios worldwide. However, many obstacles remain and are compounded by the consequences of COVID-19. Mobility as a Service (MaaS) integrates various forms of public and private transport services into a single on-demand mobility service. Combining trains, cars, buses, bicycles, and other forms of transport, MaaS promises a convenient, cost-effective, and eco-friendly alternative to private automobiles.Automated Vehicles and MaaS: Removing the Barriers is an up-to-date overview of the contemporary challenges facing CAVs and MaaS. Written in a clear and accessible style, this timely volume summarizes recent research studies, describes the evolution of automated driving systems and MaaS, identifies the barriers to their widespread adoption, and proposes potential solutions to overcome and remove these barriers. The text focuses on the claims, realities, politics, new organizational roles, and implementation problems associated with CAVs and MaaS—providing industry professionals, policymakers, planners, administrators, and investors with a clear understanding of the issues facing the introduction of automated driving systems and MaaS. This important guide and reference:Provides an overview of recent progress, the current state of the art, and discussion of future objectivesPresents both technical background and general overview of automated driving systems and MaaSCovers political, commercial, and practical issues, as well as technical and research content, yet suitable for non-specialistsHelps readers make informed decisions and realistic estimates for implementing mobility solutions and new business models for transport servicesIncludes an extensive bibliography with direct links to in-depth technical engineering and research informationAutomated Vehicles and MaaS: Removing the Barriers is an essential resource for transport providers, vehicle manufacturers, urban and transport planners, students of transportation, vehicle technology, and urban planning, and transport policy and strategy managers, advisors, and reviewers.

Automated Vehicles and MaaS: Removing the Barriers (Wiley - IEEE)

AUTOMATED VEHICLES AND MaaS A topical overview of the issues facing automated driving systems and Mobility as a Service, identifies the obstacles to implementation and offers potential solutionsAdvances in cooperative and automated vehicle (CAV) technologies, cultural and socio-economic shifts, measures to combat climate change, social pressures to reduce road deaths and injuries, and changing attitudes toward self-driving cars, are creating new and exciting mobility scenarios worldwide. However, many obstacles remain and are compounded by the consequences of COVID-19. Mobility as a Service (MaaS) integrates various forms of public and private transport services into a single on-demand mobility service. Combining trains, cars, buses, bicycles, and other forms of transport, MaaS promises a convenient, cost-effective, and eco-friendly alternative to private automobiles.Automated Vehicles and MaaS: Removing the Barriers is an up-to-date overview of the contemporary challenges facing CAVs and MaaS. Written in a clear and accessible style, this timely volume summarizes recent research studies, describes the evolution of automated driving systems and MaaS, identifies the barriers to their widespread adoption, and proposes potential solutions to overcome and remove these barriers. The text focuses on the claims, realities, politics, new organizational roles, and implementation problems associated with CAVs and MaaS—providing industry professionals, policymakers, planners, administrators, and investors with a clear understanding of the issues facing the introduction of automated driving systems and MaaS. This important guide and reference:Provides an overview of recent progress, the current state of the art, and discussion of future objectivesPresents both technical background and general overview of automated driving systems and MaaSCovers political, commercial, and practical issues, as well as technical and research content, yet suitable for non-specialistsHelps readers make informed decisions and realistic estimates for implementing mobility solutions and new business models for transport servicesIncludes an extensive bibliography with direct links to in-depth technical engineering and research informationAutomated Vehicles and MaaS: Removing the Barriers is an essential resource for transport providers, vehicle manufacturers, urban and transport planners, students of transportation, vehicle technology, and urban planning, and transport policy and strategy managers, advisors, and reviewers.

Automated Vehicles as a Game Changer for Sustainable Mobility: Learnings and Solutions (Contributions to Management Science)

This open access book explores a vision for a sustainable future in urban mobility through the AVENUE project, showcasing full-scale demonstrations of automated minibuses in European cities. AVENUE pioneers on-demand, door-to-door services, challenging traditional fixed bus itineraries. It delves into the implementation of automated vehicles, emphasizing safety, services, cybersecurity, and accessibility. Part two evaluates the economic, environmental, and social impacts on companies, citizens, and cities. By integrating automated vehicles into Mobility-as-a-Service and Intelligent Transport Systems, the book argues for the using of automated vehicles as game changer towards a transformative shift to sustainable, citizen-centric mobility. It advocates for efficiency, flexibility, and resilience of the transport system without imposing coercive transformation policies.

Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science)

Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them notoriously difficult to design correctly. Indeed, bugs have been found both in actual implementations and in the designs proposed by experts in peer-reviewed publications. The rapid development and deployment of these concurrent algorithms has resulted in a rift between the algorithms that can be verified by the state-of-the-art techniques and those being developed and used today. The goal of this book is to show how to bridge this gap in order to bring the certified safety of formal verification to high-performance concurrent search structures. Similar techniques and frameworks can be applied to concurrent graph and network algorithms beyond search structures.

Automated Web Site Evaluation: Researchers’ and Practioners’ Perspectives (Human–Computer Interaction Series #4)

Among all information systems that are nowadays available, web sites are definitely the ones having the widest potential audience and the most significant impact on the everyday life of people. Web sites contribute largely to the information society: they provide visitors with a large array of services and information and allow them to perform various tasks without prior assumptions about their computer literacy. Web sites are assumed to be accessible and usable to the widest possible audience. Consequently, usability has been recognized as a critical success factor for web sites of every kind. Beyond this universal recognition, usability still remains a notion that is hard to grasp. Summative evaluation methods have been introduced to identify potential usability problems to assess the quality of web sites. However, summative evaluation remains limited in impact as it does not necessarily deliver constructive comments to web site designers and developers on how to solve the usability problems. Formative evaluation methods have been introduced to address this issue. Evaluation remains a process that is hard to drive and perform, while its potential impact is probably maximal for the benefit of the final user. This complexity is exacerbated when web sites are very large, potentially up to several hundreds of thousands of pages, thus leading to a situation where eval­ uating the web site is almost impossible to conduct manually. Therefore, many attempts have been made to support evaluation with: • Models that capture some characteristics of the web site of interest.

Automated Workflow Scheduling in Self-Adaptive Clouds: Concepts, Algorithms and Methods (Computer Communications and Networks)

This timely text/reference presents a comprehensive review of the workflow scheduling algorithms and approaches that are rapidly becoming essential for a range of software applications, due to their ability to efficiently leverage diverse and distributed cloud resources. Particular emphasis is placed on how workflow-based automation in software-defined cloud centers and hybrid IT systems can significantly enhance resource utilization and optimize energy efficiency.Topics and features: describes dynamic workflow and task scheduling techniques that work across multiple (on-premise and off-premise) clouds; presents simulation-based case studies, and details of real-time test bed-based implementations; offers analyses and comparisons of a broad selection of static and dynamic workflow algorithms; examines the considerations for the main parameters in projects limited by budget and time constraints; covers workflow management systems, workflow modeling and simulation techniques, and machine learning approaches for predictive workflow analytics. This must-read work provides invaluable practical insights from three subject matter experts in the cloud paradigm, which will empower IT practitioners and industry professionals in their daily assignments. Researchers and students interested in next-generation software-defined cloud environments will also greatly benefit from the material in the book.

Automated Written Corrective Feedback in Research Paper Revision: The Good, The Bad, and The Missing (China Perspectives)

This book studies the use of an automated writing evaluation (AWE) systems in research paper revision for publication purposes by Chinese doctoral students.Research writing skills are essential for achieving academic status, and AWE tools can be a great companion on the journey. However, AWE tools may provide a disservice if users do not stay alert to inaccurate feedback, inaccurate correction suggestions, and missed errors. The effects of accurate feedback on revision outcomes have been the focus of a number of AWE studies, but student engagement and revision results in cases of inaccurate feedback and missed errors have rarely been investigated. Such investigations can provide practical advice on using automated feedback in research writing. This book provides a comprehensive evaluation of AWE tools and profiles student engagement with tool use in cases of different qualities of feedback. It can empower novice scholars and improve the effectiveness of academic writing instructors. The findings can also inform AWE system developers about possible ways of system improvement for research paper writing.The book will be particularly useful to students and scholars of language and linguistic studies, education, and academic English writing.

Automated Written Corrective Feedback in Research Paper Revision: The Good, The Bad, and The Missing (China Perspectives)

This book studies the use of an automated writing evaluation (AWE) systems in research paper revision for publication purposes by Chinese doctoral students.Research writing skills are essential for achieving academic status, and AWE tools can be a great companion on the journey. However, AWE tools may provide a disservice if users do not stay alert to inaccurate feedback, inaccurate correction suggestions, and missed errors. The effects of accurate feedback on revision outcomes have been the focus of a number of AWE studies, but student engagement and revision results in cases of inaccurate feedback and missed errors have rarely been investigated. Such investigations can provide practical advice on using automated feedback in research writing. This book provides a comprehensive evaluation of AWE tools and profiles student engagement with tool use in cases of different qualities of feedback. It can empower novice scholars and improve the effectiveness of academic writing instructors. The findings can also inform AWE system developers about possible ways of system improvement for research paper writing.The book will be particularly useful to students and scholars of language and linguistic studies, education, and academic English writing.

Automaten: Die konstruktive Durchbildung die Werkzeuge, die Arbeitsweise und der Betrieb der selbsttätigen Drehbänke Ein Lehr- und Nachschlagebuch

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Automaten: Die konstruktive Durchbildung die Werkzeuge, die Arbeitsweise und der Betrieb der selbsttätigen Drehbänke. Ein Lehr- und Nachschlagebuch

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Automaten Sprachen Berechenbarkeit: Grundkurs Angewandte Informatik IV (XLeitfäden der Informatik)

Automatentheorie: Eine Einführung in die Theorie endlicher Automaten (Leitfäden und Monographien der Informatik)

Automatentheorie und Logik (eXamen.press)

Das Buch beschäftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Sätzen von Richard Büchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Wörter, Bäume, endliche und unendliche Bäume. Jeder Teil endet mit Übungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterführende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.

Automatic Algorithm Selection for Complex Simulation Problems

To select the most suitable simulation algorithm for a given task is often difficult. This is due to intricate interactions between model features, implementation details, and runtime environment, which may strongly affect the overall performance. An automated selection of simulation algorithms supports users in setting up simulation experiments without demanding expert knowledge on simulation. Roland Ewald analyzes and discusses existing approaches to solve the algorithm selection problem in the context of simulation. He introduces a framework for automatic simulation algorithm selection and describes its integration into the open-source modelling and simulation framework James II. Its selection mechanisms are able to cope with three situations: no prior knowledge is available, the impact of problem features on simulator performance is unknown, and a relationship between problem features and algorithm performance can be established empirically. The author concludes with an experimental evaluation of the developed methods.

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects

This book introduces readers to a variety of tools for automatic analog integrated circuit (IC) sizing and optimization. The authors provide a historical perspective on the early methods proposed to tackle automatic analog circuit sizing, with emphasis on the methodologies to size and optimize the circuit, and on the methodologies to estimate the circuit’s performance. The discussion also includes robust circuit design and optimization and the most recent advances in layout-aware analog sizing approaches. The authors describe a methodology for an automatic flow for analog IC design, including details of the inputs and interfaces, multi-objective optimization techniques, and the enhancements made in the base implementation by using machine leaning techniques. The Gradient model is discussed in detail, along with the methods to include layout effects in the circuit sizing. The concepts and algorithms of all the modules are thoroughly described, enabling readers to reproduce the methodologies, improve the quality of their designs, or use them as starting point for a new tool. An extensive set of application examples is included to demonstrate the capabilities and features of the methodologies described.

Automatic Architecture: Motivating Form after Modernism

In the 1960s and ’70s, architects, influenced by recent developments in computing and the rise of structuralist and poststructuralist thinking, began to radically rethink how architecture could be created. Though various new approaches gained favor, they had one thing in common: they advocated moving away from the traditional reliance on an individual architect’s knowledge and instincts and toward the use of external tools and processes that were considered objective, logical, or natural. Automatic architecture was born. The quixotic attempts to formulate such design processes extended modernist principles and tried to draw architecture closer to mathematics and the sciences. By focusing on design methods, and by examining evidence at a range of scales—from institutions to individual buildings—Automatic Architecture offers an alternative to narratives of this period that have presented postmodernism as a question of style, as the methods and techniques traced here have been more deeply consequential than the many stylistic shifts of the past half century. Sean Keller closes the book with an analysis of the contemporary condition, suggesting future paths for architectural practice that work through, but also beyond, the merely automatic.

Automatic Architecture: Motivating Form after Modernism

In the 1960s and ’70s, architects, influenced by recent developments in computing and the rise of structuralist and poststructuralist thinking, began to radically rethink how architecture could be created. Though various new approaches gained favor, they had one thing in common: they advocated moving away from the traditional reliance on an individual architect’s knowledge and instincts and toward the use of external tools and processes that were considered objective, logical, or natural. Automatic architecture was born. The quixotic attempts to formulate such design processes extended modernist principles and tried to draw architecture closer to mathematics and the sciences. By focusing on design methods, and by examining evidence at a range of scales—from institutions to individual buildings—Automatic Architecture offers an alternative to narratives of this period that have presented postmodernism as a question of style, as the methods and techniques traced here have been more deeply consequential than the many stylistic shifts of the past half century. Sean Keller closes the book with an analysis of the contemporary condition, suggesting future paths for architectural practice that work through, but also beyond, the merely automatic.