The Computer Contradictionary

The Computer Contradictionary PDF Author: Stan Kelly-Bootle
Publisher: MIT Press
ISBN: 9780262611121
Category : Computers
Languages : en
Pages : 262

Get Book Here

Book Description
Ascertain the meaning before consulting this dictionary, warns the author of this collection of deliberately satirical misdefinitions. New computer cultures and their jargons have burgeoned since this book's progenitor, The Devil's DP Dictionary, was published in 1981. This updated version of Stan Kelly-Bootle's romp through the data processing lexicon is a response to the Unix pandemic that has swept academia and government, to the endlessly hyped panaceas offered to the MIS, and to the PC explosion that has brought computer terminology to a hugely bewildered, lay audience.' The original dictionary, a pastiche of Ambrose Bierce's famous work, parried chiefly the mainframe and mini-folklore of the 1950s, 1960s and 1970s. This revision adds over 550 new entries and enhances many of the original definitions. Key targets are a host of new follies crying out for cynical lexicography including: the GUI-Phooey iconoclasts, object orienteering and the piping of BLObs down the Clinton-Gore InfoPike.

The Computer Contradictionary

The Computer Contradictionary PDF Author: Stan Kelly-Bootle
Publisher: MIT Press
ISBN: 9780262611121
Category : Computers
Languages : en
Pages : 262

Get Book Here

Book Description
Ascertain the meaning before consulting this dictionary, warns the author of this collection of deliberately satirical misdefinitions. New computer cultures and their jargons have burgeoned since this book's progenitor, The Devil's DP Dictionary, was published in 1981. This updated version of Stan Kelly-Bootle's romp through the data processing lexicon is a response to the Unix pandemic that has swept academia and government, to the endlessly hyped panaceas offered to the MIS, and to the PC explosion that has brought computer terminology to a hugely bewildered, lay audience.' The original dictionary, a pastiche of Ambrose Bierce's famous work, parried chiefly the mainframe and mini-folklore of the 1950s, 1960s and 1970s. This revision adds over 550 new entries and enhances many of the original definitions. Key targets are a host of new follies crying out for cynical lexicography including: the GUI-Phooey iconoclasts, object orienteering and the piping of BLObs down the Clinton-Gore InfoPike.

The Audio Programming Book

The Audio Programming Book PDF Author: Richard Boulanger
Publisher: MIT Press
ISBN: 0262288605
Category : Music
Languages : en
Pages : 917

Get Book Here

Book Description
An encyclopedic handbook on audio programming for students and professionals, with many cross-platform open source examples and a DVD covering advanced topics. This comprehensive handbook of mathematical and programming techniques for audio signal processing will be an essential reference for all computer musicians, computer scientists, engineers, and anyone interested in audio. Designed to be used by readers with varying levels of programming expertise, it not only provides the foundations for music and audio development but also tackles issues that sometimes remain mysterious even to experienced software designers. Exercises and copious examples (all cross-platform and based on free or open source software) make the book ideal for classroom use. Fifteen chapters and eight appendixes cover such topics as programming basics for C and C++ (with music-oriented examples), audio programming basics and more advanced topics, spectral audio programming; programming Csound opcodes, and algorithmic synthesis and music programming. Appendixes cover topics in compiling, audio and MIDI, computing, and math. An accompanying DVD provides an additional 40 chapters, covering musical and audio programs with micro-controllers, alternate MIDI controllers, video controllers, developing Apple Audio Unit plug-ins from Csound opcodes, and audio programming for the iPhone. The sections and chapters of the book are arranged progressively and topics can be followed from chapter to chapter and from section to section. At the same time, each section can stand alone as a self-contained unit. Readers will find The Audio Programming Book a trustworthy companion on their journey through making music and programming audio on modern computers.

The Computer's Voice

The Computer's Voice PDF Author: Liz W. Faber
Publisher: U of Minnesota Press
ISBN: 1452964130
Category : Performing Arts
Languages : en
Pages : 246

Get Book Here

Book Description
A deconstruction of gender through the voices of Siri, HAL 9000, and other computers that talk Although computer-based personal assistants like Siri are increasingly ubiquitous, few users stop to ask what it means that some assistants are gendered female, others male. Why is Star Trek’s computer coded as female, while HAL 9000 in 2001: A Space Odyssey is heard as male? By examining how gender is built into these devices, author Liz W. Faber explores contentious questions around gender: its fundamental constructedness, the rigidity of the gender binary, and culturally situated attitudes on male and female embodiment. Faber begins by considering talking spaceships like those in Star Trek, the film Dark Star, and the TV series Quark, revealing the ideologies that underlie space-age progress. She then moves on to an intrepid decade-by-decade investigation of computer voices, tracing the evolution from the masculine voices of the ’70s and ’80s to the feminine ones of the ’90s and ’00s. Faber ends her account in the present, with incisive looks at the film Her and Siri herself. Going beyond current scholarship on robots and AI to focus on voice-interactive computers, The Computer’s Voice breaks new ground in questions surrounding media, technology, and gender. It makes important contributions to conversations around the gender gap and the increasing acceptance of transgender people.

Philosophy And The Computer

Philosophy And The Computer PDF Author: Leslie Burkholder
Publisher: Routledge
ISBN: 1000302911
Category : Philosophy
Languages : en
Pages : 284

Get Book Here

Book Description
The contributors set out to demonstrate the influence of the computer - not just in the philosophy of mind, where the influence has been enormous, but also in epistemology, metaphysics, logic and the philosophy of mathematics. Even ethics and ethical reasoning have been explored through the use of the computer. Indeed, the lead contribution by Nobel Laureate Herbert Simon argues that it is no exaggeration to speak of a "computational turn" in philosophy to match the much-celebrated (and maligned) "linguistic turn" of a previous generation. Of particular interest are the examinations of the wide range of applications of computational methods, the innovative instructional computer programs, and the discussions of the ethical implications of computer use.

Elements of Control

Elements of Control PDF Author: Idan Landau
Publisher: Springer Science & Business Media
ISBN: 9781402002939
Category : Language Arts & Disciplines
Languages : en
Pages : 232

Get Book Here

Book Description
This book offers a new outlook on the derivation and interpretation of control constructions. It clears up some common misconceptions about the nature of control, as well as sharpening the empirical challenges that face any comprehensive theory in this domain. Regardless of theoretical framework, scholars of syntax and semantics interested in these topics, will find this book a major contribution to the field.

Artificial Intelligence Humor

Artificial Intelligence Humor PDF Author: Fouad Sabry
Publisher: One Billion Knowledgeable
ISBN:
Category : Computers
Languages : en
Pages : 129

Get Book Here

Book Description
What Is Artificial Intelligence Humor The use of computers in the field of comedy study is the focus of the subfield of computational linguistics and artificial intelligence known as computational humor. This is a very new field, with the first conference specifically devoted to it being held in 1996. How You Will Benefit (I) Insights, and validations about the following topics: Chapter 1: Computational Humor Chapter 2: Computational Linguistics Chapter 3: Joke Chapter 4: Natural Language Generation Chapter 5: Computational Creativity Chapter 6: Theories of Humor Chapter 7: Computer Humor Chapter 8: Kim Binsted Chapter 9: Rada Mihalcea Chapter 10: Preslav Nakov (II) Answering the public top questions about artificial intelligence humor. (III) Real world examples for the usage of artificial intelligence humor in many fields. (IV) 17 appendices to explain, briefly, 266 emerging technologies in each industry to have 360-degree full understanding of artificial intelligence humor' technologies. Who This Book Is For Professionals, undergraduate and graduate students, enthusiasts, hobbyists, and those who want to go beyond basic knowledge or information for any kind of artificial intelligence humor.

Behind Human Error

Behind Human Error PDF Author: David Woods
Publisher: CRC Press
ISBN: 1317175530
Category : Technology & Engineering
Languages : en
Pages : 495

Get Book Here

Book Description
Human error is cited over and over as a cause of incidents and accidents. The result is a widespread perception of a 'human error problem', and solutions are thought to lie in changing the people or their role in the system. For example, we should reduce the human role with more automation, or regiment human behavior by stricter monitoring, rules or procedures. But in practice, things have proved not to be this simple. The label 'human error' is prejudicial and hides much more than it reveals about how a system functions or malfunctions. This book takes you behind the human error label. Divided into five parts, it begins by summarising the most significant research results. Part 2 explores how systems thinking has radically changed our understanding of how accidents occur. Part 3 explains the role of cognitive system factors - bringing knowledge to bear, changing mindset as situations and priorities change, and managing goal conflicts - in operating safely at the sharp end of systems. Part 4 studies how the clumsy use of computer technology can increase the potential for erroneous actions and assessments in many different fields of practice. And Part 5 tells how the hindsight bias always enters into attributions of error, so that what we label human error actually is the result of a social and psychological judgment process by stakeholders in the system in question to focus on only a facet of a set of interacting contributors. If you think you have a human error problem, recognize that the label itself is no explanation and no guide to countermeasures. The potential for constructive change, for progress on safety, lies behind the human error label.

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Concepts of Proof in Mathematics, Philosophy, and Computer Science PDF Author: Dieter Probst
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 150150262X
Category : Philosophy
Languages : en
Pages : 384

Get Book Here

Book Description
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.

Automation of Reasoning

Automation of Reasoning PDF Author: J. Siekmann
Publisher: Springer Science & Business Media
ISBN: 3642819559
Category : Computers
Languages : en
Pages : 641

Get Book Here

Book Description
"Kind of crude, but it works, boy, it works!" AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program for the full first order predicate calculus to prove mathematical theorems; their computer proofs were obtained around 1957 and 1958, about the same time that H. Gelernter finished a computer program to prove simple high school geometry theorems. Since the field of computational logic (or automated theorem proving) is emerging from the ivory tower of academic research into real world applications, asserting also a definite place in many university curricula, we feel the time has corne to examine and evaluate its history. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.

Human Language Technology. Challenges for Computer Science and Linguistics

Human Language Technology. Challenges for Computer Science and Linguistics PDF Author: Zygmunt Vetulani
Publisher: Springer Science & Business Media
ISBN: 364220094X
Category : Computers
Languages : en
Pages : 596

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 4th Language and Technology Conference: Challenges for Computer Science and Linguistics, LTC 2009, held in Poznan, Poland, in November 2009. The 52 revised and in many cases substantially extended papers presented in this volume were carefully reviewed and selected from 103 submissions. The contributions are organized in topical sections on speech processing, computational morphology/lexicography, parsing, computational semantics, dialogue modeling and processing, digital language resources, WordNet, document processing, information processing, and machine translation.