Learn IT - Elsevier Limited

CAFE: An Industrial-Strength Algebraic Formal Method

Elsevier Limited, 2000

This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10...

Software Architectures and Tools for Computer Aided Process Engineering, Volume 11

Elsevier Limited, 2002

The idea of editing a book on modern software architectures and tools for CAPE (Computer Aided Process Engineering) came about when the editors of this volume realized that existing titles relating to CAPE did not include references to the design and development of CAPE software.

Scientific software is needed to solve CAPE related...

Hematology: Basic Principles and Practice

Elsevier Limited, 2004

The fourth edition of this leading text reflects the new direction and growth of the field of hematology as an academic and clinical discipline. Edited and written by practitioners who are the leaders of the field, the book covers both the basic scientific foundations of hematology and its clinical aspects. It provides practitioners with the most...

Modern Information Processing: From Theory to Applications

Elsevier Limited, 2006

The volume "Modern Information Processing: From Theory to Applications," edited by Bernadette Bouchon-Meunier, Giulianella Coletti and Ronald Yager, is a collection of carefully selected papers drawn from the program of IPMU'04, which was held in Perugia, Italy.

The book represents the cultural policy of IPMU conference which...

Fuzzy Logic and the Semantic Web (Capturing Intelligence)

Elsevier Limited, 2006

It is with great delight that I write the preface for this, the very first volume in Elsevier's new book series "Capturing Intelligence".

This series aims at publishing books on research from all disciplines dealing with and affecting the issue of understanding and reproducing intelligent artificial systems. The series will...

Problem Solving: Methods, Programming and Future Concepts

Elsevier Limited, 1995

Problem solving is the very area of artificial intelligence (AI) which, probably, will never result in a complete set of formalized theories, in a kind of pragmatic philosophy, or in a "universal" applied discipline. Studying the questions concerning this area encompasses different concepts, models and theories.

In this...

Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 (Foundations of Artificial Intelligence)

Elsevier Limited, 2005

This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence. Yet, until now, there has been no single volume collecting together the breadth of work in this area. This...

Digital Communications with Chaos: Multiple Access Techniques and Performance

Elsevier Limited, 2006

Since the 1970's, there has been a great deal of research effort spent on studying chaotic systems and the properties of the chaotic signals generated. Characterized by their wideband, impulse-like autocorrelation and low cross-correlation properties, chaotic signals are useful spread-spectrum signals for carrying digital information. Spectrum...

Topological Algorithms for Digital Image Processing (Machine Intelligence and Pattern Recognition)

Elsevier Limited, 1996

Objects in three dimensions, and their two-dimensional images, are approximated digitally by sets of voxels ("volume elements") or pixels ("picture elements"), respectively. Digital geometry is the study of geometric properties of digitized objects (or digitized images of objects); it deals both with the definitions of such...

Biochemistry of Lipids, Lipoproteins and Membranes, 4th edition (New Comprehensive Biochemistry)

Elsevier Limited, 2002

The first edition of this book was published in 1985. The content of the 4th edition reflects the enormous advances that have occurred since that time in the field of lipid biochemistry. This publication is unique in that it represents a bridge between the superficial coverage of the lipid field found in basic biochemistry text books and the highly...

Nature-inspired methods in chemometrics: genetic algorithms and artificial neural networks, Volume 23

Elsevier Limited, 2003

In recent years Genetic Algorithms (GA) and Artificial Neural Networks (ANN) have progressively increased in importance amongst the techniques routinely used in chemometrics. This book contains contributions from experts in the field is divided in two sections (GA and ANN). In each part, tutorial chapters are included in which the theoretical bases...

Reliable Methods for Computer Simulation, Volume 33: Error Control and Posteriori Estimates (Studies in Mathematics and its Applications)

Elsevier Limited, 2004

Presentation of the main approaches developed for a posteriori error estimation in various problems.

Recent decades have seen a very rapid success in developing numerical methods based on explicit control over approximation errors. It may be said that nowadays a new direction is forming in numerical analysis, the main goal of...

Result Page: 13 12 11 10 9 8 7 6 5 4 3