Book picks similar to
Building Ontologies with Basic Formal Ontology by Robert Arp
philosophy
primary-applied-ontology
computing
computers
Reinforcement Learning: An Introduction
Richard S. Sutton - 1998
Their discussion ranges from the history of the field's intellectual foundations to the most recent developments and applications.Reinforcement learning, one of the most active research areas in artificial intelligence, is a computational approach to learning whereby an agent tries to maximize the total amount of reward it receives when interacting with a complex, uncertain environment. In Reinforcement Learning, Richard Sutton and Andrew Barto provide a clear and simple account of the key ideas and algorithms of reinforcement learning. Their discussion ranges from the history of the field's intellectual foundations to the most recent developments and applications. The only necessary mathematical background is familiarity with elementary concepts of probability.The book is divided into three parts. Part I defines the reinforcement learning problem in terms of Markov decision processes. Part II provides basic solution methods: dynamic programming, Monte Carlo methods, and temporal-difference learning. Part III presents a unified view of the solution methods and incorporates artificial neural networks, eligibility traces, and planning; the two final chapters present case studies and consider the future of reinforcement learning.
What to Think About Machines That Think: Today's Leading Thinkers on the Age of Machine Intelligence
John Brockman - 2015
Today, Stephen Hawking believes that AI “could spell the end of the human race.” At the very least, its development raises complicated moral issues with powerful real-world implications—for us and for our machines.In this volume, recording artist Brian Eno proposes that we’re already part of an AI: global civilization, or what TED curator Chris Anderson elsewhere calls the hive mind. And author Pamela McCorduck considers what drives us to pursue AI in the first place.On the existential threat posed by superintelligent machines, Steven Pinker questions the likelihood of a robot uprising. Douglas Coupland traces discomfort with human-programmed AI to deeper fears about what constitutes “humanness.” Martin Rees predicts the end of organic thinking, while Daniel C. Dennett explains why he believes the Singularity might be an urban legend.Provocative, enriching, and accessible, What to Think About Machines That Think may just be a practical guide to the not-so-distant future.
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life Plus the Secrets of Enigma
Alan Turing - 2004
In 1935, aged 22, he developed the mathematical theory upon which all subsequent stored-program digital computers are modeled.At the outbreak of hostilities with Germany in September 1939, he joined the Government Codebreaking team at Bletchley Park, Buckinghamshire and played a crucial role in deciphering Engima, the code used by the German armed forces to protect their radio communications. Turing's work on the versionof Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as Fish, which were used by the German High Command for the encryption of signals during the latter part of the war. His contribution helped toshorten the war in Europe by an estimated two years.After the war, his theoretical work led to the development of Britain's first computers at the National Physical Laboratory and the Royal Society Computing Machine Laboratory at Manchester University.Turing was also a founding father of modern cognitive science, theorizing that the cortex at birth is an unorganized machine which through training becomes organized into a universal machine or something like it. He went on to develop the use of computers to model biological growth, launchingthe discipline now referred to as Artificial Life.The papers in this book are the key works for understanding Turing's phenomenal contribution across all these fields. The collection includes Turing's declassified wartime Treatise on the Enigma; letters from Turing to Churchill and to codebreakers; lectures, papers, and broadcasts which opened upthe concept of AI and its implications; and the paper which formed the genesis of the investigation of Artifical Life.
How to Prove It: A Structured Approach
Daniel J. Velleman - 1994
The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5
The Element Encyclopedia of Secret Societies and Hidden History: The Ultimate A-Z of Ancient Mysteries, Lost Civilizations and Forgotten Wisdom
John Michael Greer - 2006
It helps you discover everything you wanted to know about secret societies like the Freemasons, the historical mystery of Atlantis, why King Arthur, Leonardo da Vinci and Hitler are key figures, plus conspiracy theories, forgotten sciences, and ancient wisdom.
C: The Complete Reference
Herbert Schildt - 1987
You'll get in-depth coverage of the C language and function libraries as well as all the newest C features, including restricted pointers, inline functions, variable-length arrays, and complex math. This jam-packed resource includes hundreds of examples and sample applications.
Deep Learning with Python
François Chollet - 2017
It is the technology behind photo tagging systems at Facebook and Google, self-driving cars, speech recognition systems on your smartphone, and much more.In particular, Deep learning excels at solving machine perception problems: understanding the content of image data, video data, or sound data. Here's a simple example: say you have a large collection of images, and that you want tags associated with each image, for example, "dog," "cat," etc. Deep learning can allow you to create a system that understands how to map such tags to images, learning only from examples. This system can then be applied to new images, automating the task of photo tagging. A deep learning model only has to be fed examples of a task to start generating useful results on new data.
This Is How They Tell Me the World Ends: The Cyberweapons Arms Race
Nicole Perlroth - 2021
One of the most coveted tools in a spy's arsenal, a zero day has the power to silently spy on your iPhone, dismantle the safety controls at a chemical plant, alter an election, and shut down the electric grid (just ask Ukraine).For decades, under cover of classification levels and non-disclosure agreements, the United States government became the world's dominant hoarder of zero days. U.S. government agents paid top dollar-first thousands, and later millions of dollars- to hackers willing to sell their lock-picking code and their silence. Then the United States lost control of its hoard and the market. Now those zero days are in the hands of hostile nations and mercenaries who do not care if your vote goes missing, your clean water is contaminated, or our nuclear plants melt down.Filled with spies, hackers, arms dealers, and a few unsung heroes, written like a thriller and a reference, This Is How They Tell Me the World Ends is an astonishing feat of journalism. Based on years of reporting and hundreds of interviews, The New York Times reporter Nicole Perlroth lifts the curtain on a market in shadow, revealing the urgent threat faced by us all if we cannot bring the global cyber arms race to heel.
Programming Pearls
Jon L. Bentley - 1986
Jon has done a wonderful job of updating the material. I am very impressed at how fresh the new examples seem." - Steve McConnell, author, Code CompleteWhen programmers list their favorite books, Jon Bentley's collection of programming pearls is commonly included among the classics. Just as natural pearls grow from grains of sand that irritate oysters, programming pearls have grown from real problems that have irritated real programmers. With origins beyond solid engineering, in the realm of insight and creativity, Bentley's pearls offer unique and clever solutions to those nagging problems. Illustrated by programs designed as much for fun as for instruction, the book is filled with lucid and witty descriptions of practical programming techniques and fundamental design principles. It is not at all surprising that
Programming Pearls
has been so highly valued by programmers at every level of experience. In this revision, the first in 14 years, Bentley has substantially updated his essays to reflect current programming methods and environments. In addition, there are three new essays on (1) testing, debugging, and timing; (2) set representations; and (3) string problems. All the original programs have been rewritten, and an equal amount of new code has been generated. Implementations of all the programs, in C or C++, are now available on the Web.What remains the same in this new edition is Bentley's focus on the hard core of programming problems and his delivery of workable solutions to those problems. Whether you are new to Bentley's classic or are revisiting his work for some fresh insight, this book is sure to make your own list of favorites.
Object-Oriented Programming in C++
Robert Lafore - 1995
While the structure of this book is similar to that of the previous edition, each chapter reflects the latest ANSI C++ standard and the examples have been thoroughly revised to reflect current practices and standards.
JavaScript Enlightenment
Cody Lindley - 2012
In this concise book, JavaScript expert Cody Lindley (jQuery Cookbook) provides an accurate view of the language by examining its objects and supporting nuances.Libraries and frameworks help you build web applications quickly and efficiently, but when things go wrong or performance becomes an issue, knowing how and why they work is critical. If you're ready to go under the hood and get your hands dirty with JavaScript internals, this is your book. Get a short and digestible summary of ECMA-262, Edition 3, backed by real code you can run instantly Examine the creation of JavaScript objects Learn complex values, primitive values, scope, and inheritance Understand the importance of the head object Work with string, number, and Boolean objects and values Discover how to use the null value and the built-in math object Get into the details--beyond Mozilla's reference guide for JavaScript 1.5
Uncle John's Bathroom Reader Attack of the Factoids
Bathroom Readers' Institute - 2014
Like what, you ask? Here are just a few extraordinary examples: * Bats always turn left when they exit a cave.* In the 1960s, astronauts trained for moon voyages by walking on Hawaiian lava fields.* Lloyd's of London insured Bruce Springsteen's voice for 3.5 million English pounds.* Physician Amynthas of Alexandria, Greece, performed the first known nose job in the Third Century B.C.* Military toilet paper is printed in a camouflage design, since white could attract enemy fire.* Elvis Presley always wore a helmet when watching football on TV.* King Henry VIII's ladies at court had a ration of one gallon of beer per day.* It takes the energy from 50 leaves on an apple tree to produce one ripe fruit.* The only country to host the Summer Olympics but not win a sinlge gold medal was Canada, in 1976. And that's just the beginning! So what are you waiting for? Attack!
Secrets and Lies: Digital Security in a Networked World
Bruce Schneier - 2000
Identity Theft. Corporate Espionage. National secrets compromised. Can anyone promise security in our digital world?The man who introduced cryptography to the boardroom says no. But in this fascinating read, he shows us how to come closer by developing security measures in terms of context, tools, and strategy. Security is a process, not a product – one that system administrators and corporate executives alike must understand to survive.This edition updated with new information about post-9/11 security.
Windows 7 For Dummies
Andy Rathbone - 2009
Windows expert Andy Rathbone walks you step by step through the most common Windows 7 tasks, including managing files, applications, media, and Internet access. You'll learn how to navigate the interface, customize the desktop, and work with the file system. You'll then go deeper into the system, discovering new features and improvements, and finding tips and techniques for getting the most out of Windows 7. Covers basic management of applications, files, and data; creating and printing documents; setting up an Internet connection and e-mail account; and online security Includes specially produced videos explaining features and illustrating techniques in greater depth Explores using Windows to edit and manage audio, video, and photo files, and how to create CDs, DVDs, and playlists with Media Center Helps you tweak and customize Windows 7 to operate your way and set up user accounts, build a home network, and maintain your PC Provides troubleshooting advice, helps you find missing files and use the Help system, and explains common error messages Windows 7 For Dummies, Enhanced Edition will have you up and running on the newest version of Windows quickly and easily.
Admission Assessment Exam Review
HESI - 2012
Plus, it helps you identify areas of weakness so you can focus your study time. Sample problems and step-by-step examples with explanations in the math and physics sections show you how to work through each problem so you understand the steps it takes to complete the equation. Practice tests with answer keys for each topic - located in the appendices for quick access - help you assess your understanding of each topic and familiarize you with the types of questions you're likely to encounter on the actual exam. HESI Hints boxes offer valuable test-taking tips, as well as rationales, suggestions, examples, and reminders for specific topics.End-of-chapter review questions help you gauge your understanding of chapter content.A full-color layout and more illustrations in the life science chapters visually reinforce key concepts for better understanding.Expanded and updated content in each chapter ensures you're studying the most current content.Basic algebra review in the math section offers additional review and practice.Color-coded chapters help you quickly find specific topic sections.Helpful organizational features in each chapter include an introduction, key terms, chapter outline, and a bulleted chapter summary to help you focus your study.A glossary at the end of the text offers quick access to key terms and their definitions.