Home | Amazing | Today | Tags | Publishers | Years | Search 
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of...
Soft Computing and Intelligent Systems: Theory and Applications (Academic Press Series in Engineering)
Soft Computing and Intelligent Systems: Theory and Applications (Academic Press Series in Engineering)
The field of soft computing is emerging from the cutting edge research over the last ten years devoted to fuzzy engineering and genetic algorithms. The subject is being called soft computing and computational intelligence. With acceptance of the research fundamentals in these important areas, the field is expanding into direct applications through...
Creative Environments: Issues of Creativity Support for the Knowledge Civilization Age (Studies in Computational Intelligence)
Creative Environments: Issues of Creativity Support for the Knowledge Civilization Age (Studies in Computational Intelligence)
Creative Environments is a follow-up on the book Creative Space in the same series and by the same authors, serving this time as editors of a broader book on computational intelligence and knowledge engineering tools for supporting knowledge creation. This book contains four parts. The first part presents a further development of models of...
Soft Computing for Hybrid Intelligent Systems (Studies in Computational Intelligence)
Soft Computing for Hybrid Intelligent Systems (Studies in Computational Intelligence)
We describe in this book, new methods and applications of hybrid intelligent systems using soft computing techniques. Soft Computing (SC) consists of several intelligent computing paradigms, including fuzzy logic, neural networks, and evolutionary algorithms, which can be used to produce powerful hybrid intelligent systems. The book is organized in...
Hybrid Methods in Pattern Recognition
Hybrid Methods in Pattern Recognition
The discipline of pattern recognition has seen enormous progress since its beginnings more than four decades ago. Over the years various approaches have emerged, based on statistical decision theory, structural matching and parsing, neural networks, fuzzy logic, artificial intelligence, evolutionary computing, and others. Obviously, these...
Linkage in Evolutionary Computation (Studies in Computational Intelligence)
Linkage in Evolutionary Computation (Studies in Computational Intelligence)
In recent years, the issue of linkage in GEAs has garnered greater attention and recognition from researchers. Conventional approaches that rely much on ad hoc tweaking of parameters to control the search by balancing the level of exploitation and exploration are grossly inadequate. As shown in the work reported here, such parameters tweaking based...
Foundations of Cognitive Psychology: Core Readings
Foundations of Cognitive Psychology: Core Readings
Scientists from many disciplines, including physics, chemistry, biology, and neuroscience, contribute to the study of cognition. Cognitive psychology, the science of the human mind and of how people process information, is at the core of empirical investigations into the nature of mind and thought. This anthology is based on the assumption that...
Pro JavaFX Platform: Script, Desktop and Mobile RIA with Java Technology
Pro JavaFX Platform: Script, Desktop and Mobile RIA with Java Technology
JavaFX was born amid a particularly interesting confluence of upheavals in the technology industry and the way commerce was conducted in the developed world. At the turn of the twenty-first century, companies were looking for ways to do business directly with their customers. Whether they had goods to sell, information to impart, or entertainment...
Personality Disorders in Modern Life
Personality Disorders in Modern Life
A revision of the leading textbook on personality disorders by renowned expert Theodore Millon

"Personalities are like impressionistic paintings. At a distance, each person is ‘all of a piece’; up close, each is a bewildering complexity of moods, cognitions, and motives."
–Theodore Millon

...
Handbook of Applied Analysis (Advances in Mechanics and Mathematics)
Handbook of Applied Analysis (Advances in Mechanics and Mathematics)
Accurate models to describe real-world phenomena are indispensable for research in such scientific fields as physics, engineering, biology, chemistry, and economics. The tools and techniques of applied analysis facilitate the development of mathematical models and can thereby serve as an excellent resource for students and researchers in various...
Computational Intelligence in Medical Imaging: Techniques and Applications
Computational Intelligence in Medical Imaging: Techniques and Applications

CI Techniques & Algorithms for a Variety of Medical Imaging Situations

Documents recent advances and stimulates further research

A compilation of the latest trends in the field, Computational Intelligence in Medical Imaging: Techniques and Applications explores how intelligent...

The Evolution of Hominin Diets: Integrating Approaches to the Study of Palaeolithic Subsistence
The Evolution of Hominin Diets: Integrating Approaches to the Study of Palaeolithic Subsistence
This volume brings together new and important research from the top experts in hominid diets across multiple fields. The objective of the volume is to explore if there is a consensus between the different methods, allowing us to better understand the nature of hominin dietary strategies through time. Contributions focus on modern studies, faunal...
Result Page: 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy