Formal Software Development

Free eBooks Information Site, eBooks Download, ebooks rapidshare, download rapidshare, download ebook, IT ebook, Business ebook

Publisher : Palgrave Macmillan
Publication Date : 2003-09-09
Author : Quentin Charatan; Aaron Kans
Edition :
ISBN-10 : 0333992814
ISBN-13 : 9780333992814
Total Pages : 400

Brief Description :

A Java Foundation Classes Programmers Primer

Free eBooks Information Site, eBooks Download, ebooks rapidshare, download rapidshare, download ebook, IT ebook, Business ebook

Publisher : Palgrave Macmillan
Publication Date : 2000-01-05
Author : Fintan Culwin
Edition :
ISBN-10 : 033377339X
ISBN-13 : 9780333773390
Total Pages : 528

Brief Description :

Innovation in Information Technology

Free eBooks Information Site, eBooks Download, ebooks rapidshare, download rapidshare, download ebook, IT ebook, Business ebook

Publisher : National Academy Press
Publication Date : 2003-08
Author :
Edition :
ISBN-10 : 0309089808
ISBN-13 : 9780309089807
Total Pages : 72

Brief Description :

Molecular Computing

Free eBooks Information Site, eBooks Download, ebooks rapidshare, download rapidshare, download ebook, IT ebook, Business ebook

Publisher : The MIT Press
Publication Date : 2003-09-14
Author :
Edition :
ISBN-10 : 0262194872
ISBN-13 : 9780262194877
Total Pages : 277

Brief Description : The next great change in computer science and information technology will come from mimicking the techniques by which biological organisms process information. To do this computer scientists must draw on expertise in subjects not usually associated with their field, including organic chemistry, molecular biology, bioengineering, and smart materials. This book provides an introduction to the interdisciplinary field of molecular computing.

The book moves from abstract principles of molecular computing to the building of actual systems. The topics include the use of proteins and other molecules for information-processing, molecular recognition, computation in nonlinear media, computers based on physical reaction-diffusion systems found in chemical media, DNA computing, bioelectronics and protein-based optical computing, and biosensors.

Layered Learning in Multiagent Systems: A Winning Approach to Robotic Soccer (Intelligent Robotics and Autonomous Agents)

Free eBooks Information Site, eBooks Download, ebooks rapidshare, download rapidshare, download ebook, IT ebook, Business ebook

Publisher : The MIT Press
Publication Date : 2000-03-17
Author : Peter Stone
Edition :
ISBN-10 : 0262194384
ISBN-13 : 9780262194389
Total Pages : 284

Brief Description : This book looks at multiagent systems that consist of teams of autonomous agents acting in real-time, noisy, collaborative, and adversarial environments. The book makes four main contributions to the fields of machine learning and multiagent systems.

First, it describes an architecture within which a flexible team structure allows member agents to decompose a task into flexible roles and to switch roles while acting. Second, it presents layered learning, a general-purpose machine-learning method for complex domains in which learning a mapping directly from agents' sensors to their actuators is intractable with existing machine-learning methods. Third, the book introduces a new multiagent reinforcement learning algorithm--team-partitioned, opaque-transition reinforcement learning (TPOT-RL)--designed for domains in which agents cannot necessarily observe the state-changes caused by other agents' actions. The final contribution is a fully functioning multiagent system that incorporates learning in a real-time, noisy domain with teammates and adversaries--a computer-simulated robotic soccer team.

Peter Stone's work is the basis for the CMUnited Robotic Soccer Team, which has dominated recent RoboCup competitions. RoboCup not only helps roboticists to prove their theories in a realistic situation, but has drawn considerable public and professional attention to the field of intelligent robotics. The CMUnited team won the 1999 Stockholm simulator competition, outscoring its opponents by the rather impressive cumulative score of 110-0.

Programming with Constraints: An Introduction

Free eBooks Information Site, eBooks Download, ebooks rapidshare, download rapidshare, download ebook, IT ebook, Business ebook

Publisher : The MIT Press
Publication Date : 1998-03-13
Author : Kim Marriott; Peter J. Stuckey
Edition :
ISBN-10 : 0262133415
ISBN-13 : 9780262133418
Total Pages : 483

Brief Description : The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programming, operations research, and mathematical programming. Topics discussed range from constraint-solving techniques to programming methodologies for constraint programming languages. Because there is not yet a universally used syntax for constraint logic programming languages, the authors present the programs in a way that is independent of any existing programming language. Practical exercises cover how to use the book with a number of existing constraint languages.

Architects of the Information Society: Thirty-Five Years of the Laboratory for Computer Science at MIT

Free eBooks Information Site, eBooks Download, ebooks rapidshare, download rapidshare, download ebook, IT ebook, Business ebook

Publisher : The MIT Press
Publication Date : 1999-04-30
Author : Simson L. Garfinkel
Edition :
ISBN-10 : 0262071967
ISBN-13 : 9780262071963
Total Pages : 86

Brief Description : The Massachusetts Institute of Technology's Laboratory for Computer Science (LCS) has been responsible for some of the most significant technological achievements of the past few decades. Much of the hardware and software driving the information revolution has been, and continues to be, created at LCS. Anyone who sends and receives email, communicates with colleagues through a LAN, surfs the Web, or makes decisions using a spreadsheet is benefiting from the creativity of LCS members.

LCS is an interdepartmental laboratory that brings together faculty, researchers, and students in a broad program of study, research, and experimentation. Their principal goal is to pursue innovations in information technology that will improve people's lives. LCS members have been instrumental in the development of ARPAnet, the Internet, the Web, Ethernet, time-shared computers, UNIX, RSA encryption, the X Windows system, NuBus, and many other technologies.

This book, published in celebration of LCS's thirty-fifth anniversary, chronicles its history, achievements, and continued importance to computer science. The essays are complemented by historical photographs.