Skip navigation

Computer Science and Intelligent Systems

Computer Science and Intelligent Systems

  • Page 3 of 91
Evidence-Based Social Design

Online communities are among the most popular destinations on the Internet, but not all online communities are equally successful. For every flourishing Facebook, there is a moribund Friendster—not to mention the scores of smaller social networking sites that never attracted enough members to be viable. This book offers lessons from theory and empirical research in the social sciences that can help improve the design of online communities.

Ecosystems of Bits, Bytes, and Biology

The relationship of humans to computers can no longer be represented as one person in a chair and one computer on a desk. Today computing finds its way into our pockets, our cars, our appliances; it is ubiquitous—an inescapable part of our everyday lives. Computing is even expanding beyond our devices; sensors, microcontrollers, and actuators are increasingly embedded into the built environment. In Architectural Robotics, Keith Evan Green looks toward the next frontier in computing: interactive, partly intelligent, meticulously designed physical environments.

Implementing and Evaluating Search Engines

Information retrieval is the foundation for modern search engines. This textbook offers an introduction to the core topics underlying modern search technologies, including algorithms, data structures, indexing, retrieval, and evaluation. The emphasis is on implementation and experimentation; each chapter includes exercises and suggestions for student projects. Wumpus—a multiuser open-source information retrieval system developed by one of the authors and available online—provides model implementations and a basis for student work.

Logic, Language, and Analysis

In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach—which Jackson calls “lightweight formal methods” or “agile modeling”—takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback.

If only today’s technology were simpler! It’s the universal lament, but it’s wrong. In this provocative and informative book, Don Norman writes that the complexity of our technology must mirror the complexity and richness of our lives. It’s not complexity that’s the problem, it’s bad design. Bad design complicates things unnecessarily and confuses us. Good design can tame complexity.

Making and Remaking the Modern Computer

Conceived in 1943, completed in 1945, and decommissioned in 1955, ENIAC (the Electronic Numerical Integrator and Computer) was the first general-purpose programmable electronic computer. But ENIAC was more than just a milestone on the road to the modern computer.

Designing Secure Socio-Technical Systems

Security requirements engineering is especially challenging because designers must consider not just the software under design but also interactions among people, organizations, hardware, and software. Taking this broader perspective means designing a secure socio-technical system rather than a merely technical system. This book presents a novel, model-driven approach to designing secure socio-technical systems.

Navigating the Emotional Spaces of Digital Social Networks

We are active with our mobile devices; we play games, watch films, listen to music, check social media, and tap screens and keyboards while we are on the move. In Mood and Mobility, Richard Coyne argues that not only do we communicate, process information, and entertain ourselves through devices and social media; we also receive, modify, intensify, and transmit moods. Designers, practitioners, educators, researchers, and users should pay more attention to the moods created around our smartphones, tablets, and laptops.

Simulation modeling is increasingly integrated into research and policy analysis of complex sociotechnical systems in a variety of domains. Model-based analysis and policy design inform a range of applications in fields from economics to engineering to health care. This book offers a hands-on introduction to key analytical methods for dynamic modeling.

Edited by Pavan Balaji

With the coming of the parallel computing era, computer scientists have turned their attention to designing programming models that are suited for high-performance parallel computing and supercomputing systems. Programming parallel systems is complicated by the fact that multiple processing units are simultaneously computing and moving data. This book offers an overview of some of the most prominent parallel programming models used in high-performance computing and supercomputing systems today.

  • Page 3 of 91