Algebraic Approaches to Program Semantics, Ernest G. Manes; Michael A. Arbib

Автор: Jens Palsberg
Название: Semantics and Algebraic Specification
ISBN: 3642041639 ISBN-13(EAN): 9783642041631
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.

Автор: Punam K. Saha; Ujjwal Maulik; Subhadip Basu
Название: Advanced Computational Approaches to Biomedical Engineering
ISBN: 3662514559 ISBN-13(EAN): 9783662514559
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book surveys computational advances which applied to biomedical engineering have resulted in the development of new implants and prosthetics, new imaging technologies and new tools and techniques for detection, prevention and treatment of disease.

Автор: Constantin Cranganu; Henri Luchian; Mihaela Elena
Название: Artificial Intelligent Approaches in Petroleum Geosciences
ISBN: 3319359924 ISBN-13(EAN): 9783319359922
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These intelligent techniques can be used for uncertainty analysis, risk assessment, data fusion and mining, data analysis and interpretation, and knowledge discovery, from diverse data such as 3-D seismic, geological data, well logging, and production data.

Автор: Hideyuki Nakashima; Chengqi Zhang
Название: Approaches to Intelligent Agents
ISBN: 3540668233 ISBN-13(EAN): 9783540668237
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Edsger W. Dijkstra; Carel S. Scholten
Название: Predicate Calculus and Program Semantics
ISBN: 1461279240 ISBN-13(EAN): 9781461279242
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This booklet presents a reasonably self-contained theory of predicate trans- former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications.

Автор: Siddhartha Bhattacharyya; Paramartha Dutta; Susant
Название: Hybrid Soft Computing Approaches
ISBN: 8132229789 ISBN-13(EAN): 9788132229780
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Section 1. Hybrid Soft Computing Approaches: Research Chapter 1. A Hybrid CS-GSA Algorithm for Optimization.- Chapter 2. Study of Economic Load Dispatch by Various Hybrid Optimization Techniques.- Chapter 3. Unsolved Problems of Ambient Computationally Intelligent TBM Algorithms.- Chapter 4. Hybridizing Differential Evolution Variants through Heterogeneous Mixing in a Distributed Framework.- Section 2. Hybrid Soft Computing Approaches: Applications Chapter 5. Collaborative Simulated Annealing Genetic Algorithm for Geometric Optimization of Thermo-electric Coolers.- Chapter 6. Color Magnetic Resonance Brain Image Segmentation by Para Opti MUSIG Activation Function: An Application.- Chapter 7. Convergence Analysis of Back Propagation Algorithm for Designing an Intelligent System for Sensing Manhole Gases.- Chapter 8. REFII Model as a Base for Data Mining Techniques Hybridization with Purpose of Time Series Pattern Recognition.- Chapter 9. A Soft Computing Approach for Targeted Product Promotion on Social Networks.- Chapter 10. Hybrid Rough-PSO Approach in Remote Sensing Imagery Analysis.- Chapter 11. A Study and Analysis of Hybrid Intelligent Techniques for Breast Cancer Detection using Breast Thermograms.- Chapter 12. Neuro-Fuzzy Hybridized Model for Seasonal Rainfall Forecasting: A Case Study in Stock Index Forecasting.- Chapter 13. Hybridization of 2D-3D Images for Human Face Recognition.- Chapter 14. Neutrosophic Trust Evaluation Model in B2C E-commerce.- Chapter 15. Immune Based Feature Selection in Rigid Medical Image Registration Using Supervised Neural Network.

Автор: Janusz Sobecki; Veera Boonjing; Suphamit Chittayas
Название: Advanced Approaches to Intelligent Information and Database Systems
ISBN: 3319382373 ISBN-13(EAN): 9783319382371
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book is organized in four parts devoted to intelligent systems models and methods, intelligent systems advanced applications, database systems methods and applications and multimedia systems methods and applications.

Автор: Henri Prade; Gilles Richard
Название: Computational Approaches to Analogical Reasoning: Current Trends
ISBN: 3662523647 ISBN-13(EAN): 9783662523643
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Then, different formal frameworks for handling analogies are presented, dealing with case-based reasoning, heuristic-driven theory projection, commonsense reasoning about incomplete rule bases, logical proportions induced by similarity and dissimilarity indicators, and analogical proportions in lattice structures.

Автор: Oscar Castillo; Patricia Melin; Witold Pedrycz; Ja
Название: Recent Advances on Hybrid Approaches for Designing Intelligent Systems
ISBN: 3319382748 ISBN-13(EAN): 9783319382746
Издательство: Springer
Рейтинг:
Цена: 28732.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes recent advances on hybrid intelligent systems using soft computing techniques for diverse areas of application, such as intelligent control and robotics, pattern recognition, time series prediction and optimization complex problems.

Автор: James L. Rash; Christopher A. Rouff; Walter Truszk
Название: Formal Approaches to Agent-Based Systems
ISBN: 3540427163 ISBN-13(EAN): 9783540427162
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents` mental states, synthesizing agents initially and modelling.

Автор: Michael G. Hinchey; James L. Rash; Walter F. Trusz
Название: Formal Approaches to Agent-Based Systems
ISBN: 3540406654 ISBN-13(EAN): 9783540406655
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations.

Автор: Christine Froidevaux; Juerg Kohlas
Название: Symbolic and Quantitative Approaches to Reasoning and Uncertainty
ISBN: 3540601120 ISBN-13(EAN): 9783540601128
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty. A variety of nonclassical formalisms, both symbolic and numerical, are addressed in this volume.