Research Books - Page 2

Proofs and Types (Cambridge Tracts in Theoretical Computer Science)

Jean-Yves Girard, Yves Lafont, Paul Taylor

List Price: $49.95 By: Cambridge University Press Amazon Marketplace: 3 new & used starting at $107.74

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Research
Subjects -> Computers & Internet -> Computer Science -> General AAS
Subjects -> Computers & Internet -> Operating Systems -> General

Editorial Review:

This book is derived from notes prepared by J-Y.Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic. It sheds light on traditional logic material and its prospective application to computer science.

Advances in Intelligent Information Processing: Tools and Applications (Statistical Science and Interdisciplinary Research, Vol. 2)

Amazon Price: $92.00 List Price: $92.00 Usually ships in 24 hours By: World Scientific Publishing Company Amazon Marketplace: 11 new & used starting at $84.74

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Research
Subjects -> Computers & Internet -> Computer Science -> General
Subjects -> Computers & Internet -> Computer Science -> General AAS

Editorial Review:

The book deals with several key aspects of developing technologies in information processing systems. It explains various problems related to advanced image processing systems and describes some of the latest state-of-the-art techniques in solving them. Particularly, the recent advances in image and video processing are covered thoroughly with real-life applications. Some of the latest topics like rough fuzzy hybridization and knowledge reuse in computational intelligence are included adequately.

Contents: Non-parametric Mixture Model Based Evolution of Level Sets (N Joshi & M Brady); Pattern Generation Using Level Set Based Curve Evolution (A Chattopadhyay & D P Mukherjee); Stable Contour Tracking Through Tangential Evolution (V Srikrishnan & S Chaudhuri); Information Theoretic Approaches for Next Best View Planning in Active Computer Vision (C Derichs et al.); Evaluation of Linear Combination of Views for Object Recognition (V Zografos & B F Buxton); Using Object Models as Domain Knowledge in Perceptual Organization (G Harit et al.); Image Representations Based on Discriminant Non-negative Matrix Factorization (I Buciu & I Pitas); Duplicate Image Detection in Large Scale Databases (P Ghosh et al.); Unsupervised Change Detection Techniques Based on Self-Organizing Feature Map Neural Network (S Patra et al.); Recent Advances in Video Compression (L Liu et al.); Hardware Architecture for Ridge Extraction in Fingerprints (A Bishnu et al.); Rough-Fuzzy Hybridization for Protein Sequence Analysis (P Maji & S K Pal); Knowledge Reuse in the Design of Models of Computational Intelligence (W Pedrycz).

Alvey: Britain's Strategic Computing Initiative

Brian Oakley, Kenneth Owen

List Price: $44.00 By: The MIT Press Amazon Marketplace: 11 new & used starting at $21.40

Buy at Amazon.com

Browse similar items by category:
Subjects -> Business & Investing -> Industries & Professions -> High-Tech
Subjects -> Business & Investing -> Management & Leadership -> Production & Operations
Subjects -> Computers & Internet -> Computer Science -> Research

Editorial Review:

This inside story of the Alvey Program, Britain's own Fifth Generation project, provides fascinating insights into how one Western nation chose to meet the Japanese challenge and how high-technology development was promoted at the national level with lessons for all who are concerned about the future of the computer/artificial intelligence industry or the direction of industrial policy.

During its five-year lifetime and at the cost of 350 million, Alvey spawned a new information technology community that has become an integral part of Britain's national science and technology policy. The authors, who were participants in Alvey, provide a personal and hands-on review of the Program, the participants, and the results.

How can such a complex undertaking be evaluated? There is no doubt that Alvey created new academic posts, new industrial research laboratories, and new teams where few existed before. It was a publicly funded program outside the defense field, a directed effort involving all parts of the industrial technology research community in a way that had not been attempted outside wartime. The authors provide a detailed comparison of Alvey and the Japanese Fifth Generation project and note Alvey's contributions in AI, parallel architecture, VLSI, integrated circuit CAD, software engineering, and speech technology. Above all they note Alvey's contribution in strengthening Britain's academic/industrial complex; British companies are now better placed to collaborate in the broader arena of Europe.

The original Alvey is John Alvey, former Senior Director, Technology, at British Telecom (now retired). Alvey chaired the committee that recommended the launching of a major industrial technology program. Brian Oakley was Director of the UK national Alvey Program of advanced information technology research. Kenneth Owen a freelance writer, was editorial consultant to the Alvey Directorate.

Computation and Cognition: Proceedings of the First NEC Research Symposium (Proceedings in Applied Mathematics)

Amazon Price: $47.50 List Price: $47.50 Usually ships in 24 hours By: Soc for Industrial & Applied Math Amazon Marketplace: 6 new & used starting at $17.91

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Research
Subjects -> Computers & Internet -> Computer Science -> Software Engineering -> Information Systems
Subjects -> Computers & Internet -> Computer Science -> General AAS

Editorial Review:

The theme of the symposium, computation and cognition, was designed to explore the relations between very different modes of computation, and to bring together views of the computation process from different disciplines.

Computational Complexity of Machine Learning (ACM Distinguished Dissertation)

Michael J. Kearns

List Price: $34.95 By: The MIT Press Amazon Marketplace: 6 new & used starting at $23.98

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Machine Learning
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> General
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> General AAS

Editorial Review:

The Computational Complexity of Machine Learning is a mathematical study of the possibilities for efficient learning by computers. It works within recently introduced models for machine inference that are based on the theory of computational complexity and that place an explicit emphasis on efficient and general algorithms for learning.

Theorems are presented that help elucidate the boundary of what is efficiently learnable from examples. These results take the form of both algorithms with proofs of their performance, and hardness results demonstrating the intractability of learning in certain natural settings. In addition the book contains lower bounds on the resources required for learning, an extensive study of learning in the presence of errors in the sample data, and several theorems demonstrating reducibilities between learning problems.

Michael J. Kearns is Postdoctoral Associate in the Laboratory for Computer Science at MIT.

Contents: Definitions, Notations, and Motivation. Overview of Recent Research in Computational Learning Theory. Useful Tools for Distribution-Free Learning. Learning in the Presence of Errors. Lower Bounds on Sample Complexity. Cryptographic Limitations on Polynomial-Time Learning. Distribution-Specific Learning in Polynomial Time. Equivalence of Weak Learning and Group Learning.

Computer Science

Amazon Price: $203.67 List Price: $279.00 Usually ships in 4 to 7 weeks By: Springer Amazon Marketplace: 3 new & used starting at $82.33

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Research
Subjects -> Computers & Internet -> Computer Science -> Software Engineering -> Information Systems
Subjects -> Computers & Internet -> Computer Science -> General AAS

The Essence of Computing Projects: A Student's Guide (Prentice-Hall E=essence of Computing)

Christian W. Dawson

By: Prentice Hall Amazon Marketplace: 1 new & used starting at $49.99

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Research
Subjects -> Computers & Internet -> Computer Science -> Software Engineering -> Information Systems
Subjects -> Computers & Internet -> General

Editorial Review:

Appropriate as supplement for computer science courses where students must complete projects. Untill now there has been no single resource to help students aquire the skills they need to complete computing projects successfully. This book will fill the gap for both graduate and undergraduate students. It covers all the fundanental skills a student will need to meet and exceed the standard required everytime.

First International Workshop on Larch: P Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, Usa, 13-15 July 1992 (Workshops in Computing)

Ursula Martin

List Price: $79.00 By: Springer Amazon Marketplace: 5 new & used starting at $59.97

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Research
Subjects -> Computers & Internet -> Programming -> Languages & Tools -> General
Subjects -> Computers & Internet -> Programming -> Languages & Tools -> General AAS

Fundamentals of Computation Theory: International Conference Fct'89 Szeged, Hungary, August 21-25, 1989 Proceedings (Lecture Notes in Computer Science)

J. Csirik, J. Demetrovics

List Price: $59.95 By: Springer Amazon Marketplace: 5 new & used starting at $12.65

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Research
Subjects -> Computers & Internet -> General
Subjects -> Computers & Internet -> General AAS

How to Find Information: Computer Sciences (How to Find Information)

Paul Allchin

List Price: $19.95 By: The British Library Amazon Marketplace: 4 new & used starting at $16.99

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Research
Subjects -> Computers & Internet -> Computer Science -> Software Engineering -> Information Systems
Subjects -> Computers & Internet -> Computer Science -> General AAS

Editorial Review:

This guide outlines the major information sources in computer science. It includes the computer literature in the British Library collections, general reference material, specialist library collections, UK and EU information sources and many other sources of information. In addition, there is information on computer system analysis and design, hardware and software, database design and development, and computer communications and networking.