Computer Software Cataloging Techniques And Examples Mit Abb

The new edition of an introduction to computer programming within the context of the visual arts, using the open-source programming language Processing; thoroughly updated throughout. The visual arts are rapidly changing as media moves into the web, mobile devices, and architecture. When designers and artists learn the basics of writing software, they develop a new form of literacy that enables them to create new media for the present, and to imagine future media that are beyond the capacities of current software tools. This book introduces this new literacy by teaching computer programming within the context of the visual arts. It offers a comprehensive reference and text for Processing (www.processing.org), an open-source programming language that can be used by students, artists, designers, architects, researchers, and anyone who wants to program images, animation, and interactivity. Written by Processing's cofounders, the book offers a definitive reference for students and professionals. Tutorial chapters make up the bulk of the book; advanced professional projects from such domains as animation, performance, and installation are discussed in interviews with their creators. This second edition has been thoroughly updated. It is the first book to offer in-depth coverage of Processing 2.0 and 3.0, and all examples have been updated for the new syntax. Every chapter has been revised, and new chapters introduce new ways to work with data and geometry. New “synthesis” chapters offer discussion and worked examples of such topics as sketching with code, modularity, and algorithms. New interviews have been added that cover a wider range of projects. “Extension” chapters are now offered online so they can be updated to keep pace with technological developments in such fields as computer vision and electronics. Interviews SUE.C, Larry Cuba, Mark Hansen, Lynn Hershman Leeson, Jürg Lehni, LettError, Golan Levin and Zachary Lieberman, Benjamin Maus, Manfred Mohr, Ash Nehru, Josh On, Bob Sabiston, Jennifer Steinkamp, Jared Tarbell, Steph Thirion, Robert Winter

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.

A cumulative list of works represented by Library of Congress printed cards.

Why the card catalog—a “paper machine” with rearrangeable elements—can be regarded as a precursor of the computer. Today on almost every desk in every office sits a computer. Eighty years ago, desktops were equipped with a nonelectronic data processing machine: a card file. In Paper Machines, Markus Krajewski traces the evolution of this proto-computer of rearrangeable parts (file cards) that became ubiquitous in offices between the world wars. The story begins with Konrad Gessner, a sixteenth-century Swiss polymath who described a new method of processing data: to cut up a sheet of handwritten notes into slips of paper, with one fact or topic per slip, and arrange as desired. In the late eighteenth century, the card catalog became the librarian's answer to the threat of information overload. Then, at the turn of the twentieth century, business adopted the technology of the card catalog as a bookkeeping tool. Krajewski explores this conceptual development and casts the card file as a “universal paper machine” that accomplishes the basic operations of Turing's universal discrete machine: storing, processing, and transferring data. In telling his story, Krajewski takes the reader on a number of illuminating detours, telling us, for example, that the card catalog and the numbered street address emerged at the same time in the same city (Vienna), and that Harvard University's home-grown cataloging system grew out of a librarian's laziness; and that Melvil Dewey (originator of the Dewey Decimal System) helped bring about the technology transfer of card files to business.

Knowledge management (KM) - or the practice of using information and collaboration technologies and processes to capture organizational learning and thereby improve business performance - is becoming one of the key disciplines in management, especially in large companies. Many books, magazines, conferences, vendors, consultancies, Web sites, online communities and email lists have been formed around this concept. This practical book focuses on the vast offerings of KM solutions—technology, content, and services. The focus is not on technology details, but on how KM and IT practitioners actually use KM tools and techniques. Over twenty case studies describe the real story of choosing and implementing various KM tools and techniques, and experts analyse the trends in the evolution of these technologies and tools, along with opportunities and challenges facing companies harnessing them. Lessons from successes and failures are drawn, along with roadmaps for companies beginning or expanding their KM practice. The introductory chapter presents a taxonomy of KM tools, identifies IT implications of KM practices, highlights lessons learned, and provides tips and recommendations for companies using these tools. Relevant literature on KM practices and key findings of market research groups and industry consortia such as IDC, Gartner and APQC, are presented. The majority of the book is devoted to case studies, featuring clients and vendors along the entire spectrum of solutions: hardware (e.g. handheld/wearable devices), software (e.g. analytics, collaboration, document management) and content (e.g. newsfeeds, market research). Each chapter is structured along the "8Cs" framework developed by the author: connectivity, content, community, commerce, community, capacity, culture, cooperation and capital. In other words, each chapter addresses how appropriate KM tools and technologies help a company on specific fronts such as fostering adequate employee access to knowledge bodies, user-friendly work-oriented content, communities of practice, a culture of knowledge, learning capacity, a spirit of cooperation, commercial and other incentives, and carefully measured capital investments and returns. Vendor history, product/service offerings, implementation details, client testimonials, ROI reports, and future trends are highlighted. Experts in the field then provide third-party analysis on trends in KM tools and technique areas, and recommendations for KM practitioners.

This Dictionary covers information and communication technology (ICT), including hardware and software; information networks, including the Internet and the World Wide Web; automatic control; and ICT-related computer-aided fields. The Dictionary also lists abbreviated names of relevant organizations, conferences, symposia and workshops. This reference is important for all practitioners and users in the areas mentioned above, and those who consult or write technical material. This Second Edition contains 10,000 new entries, for a total of 33,000.