dimanche 27 janvier 2013

Intermediate Robot Building

Intermediate Robot
Intermediate Robot Building
David Cook (Auteur)

Download : EUR 15,15 (as of 01/27/2013 20:42 PST)

(Consultez la liste Meilleures ventes Artificial Intelligence pour des informations officielles sur le classement actuel de ce produit.)

jeudi 24 janvier 2013

How to Create a Mind: The Secret of Human Thought Revealed

How to Create a Mind
How to Create a Mind: The Secret of Human Thought Revealed
Ray Kurzweil (Auteur)
(3)

Download : EUR 14,86 (as of 01/24/2013 22:37 PST)

(Consultez la liste Meilleures ventes Artificial Intelligence pour des informations officielles sur le classement actuel de ce produit.)

The Elements of Statistical Learning: Data Mining, Inference, and Prediction, Second Edition

The Elements of Statistical Learning
The Elements of Statistical Learning: Data Mining, Inference, and Prediction, Second Edition
Jerome Friedman (Auteur), Trevor Hastie (Auteur), Robert Tibshirani (Auteur)
(1)

Download : EUR 47,38 (as of 01/24/2013 03:28 PST)

(Consultez la liste Cadeaux les plus demandes dans la rubrique Artificial Intelligence pour des informations officielles sur le classement actuel de ce produit.)

Description du produit

During the past decade there has been an explosion in computation and information technology. With it has come vast amounts of data in a variety of fields such as medicine, biology, finance, and marketing. The challenge of understanding these data has led to the development of new tools in the field of statistics, and spawned new areas such as data mining, machine learning, and bioinformatics. Many of these tools have common underpinnings but are often expressed with different terminology. This book describes the important ideas in these areas in a common conceptual framework. While the approach is statistical, the emphasis is on concepts rather than mathematics. Many examples are given, with a liberal use of color graphics. It should be a valuable resource for statisticians and anyone interested in data mining in science or industry. The book's coverage is broad, from supervised learning (prediction) to unsupervised learning. The many topics include neural networks, support vector machines, classification trees and boosting--the first comprehensive treatment of this topic in any book. Trevor Hastie, Robert Tibshirani, and Jerome Friedman are professors of statistics at Stanford University. They are prominent researchers in this area: Hastie and Tibshirani developed generalized additive models and wrote a popular book of that title. Hastie wrote much of the statistical modeling software in S-PLUS and invented principal curves and surfaces. Tibshirani proposed the Lasso and is co-author of the very successful An Introduction to the Bootstrap. Friedman is the co-inventor of many data-mining tools including CART, MARS, and projection pursuit. FROM THE REVIEWS: TECHNOMETRICS "[This] is a vast and complex book. Generally, it concentrates on explaining why and how the methods work, rather than how to use them. Examples and especially the visualizations are principle features...As a source for the methods of statistical learning...it will probably be a long time before there is a competitor to this book."

mercredi 23 janvier 2013

dimanche 13 janvier 2013

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics

Sheaves, Games, and Model Completions
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics
Silvio Ghilardi (Auteur), M. Zawadowski (Auteur)

Download : EUR 101,27 (as of 01/13/2013 15:11 PST)

(Consultez la liste Meilleures ventes Artificial Intelligence pour des informations officielles sur le classement actuel de ce produit.)

Description du produit

This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-Fraisse games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory. Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra.