Algebraic Approaches to Program Semantics, Ernest G. Manes; Michael A. Arbib
Автор: Edsger W. Dijkstra; Carel S. Scholten Название: Predicate Calculus and Program Semantics ISBN: 1461279240 ISBN-13(EAN): 9781461279242 Издательство: Springer Рейтинг: Цена: 74490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
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 Рейтинг: Цена: 130590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Oscar Castillo; Patricia Melin; Witold Pedrycz; Ja Название: Recent Advances on Hybrid Approaches for Designing Intelligent Systems ISBN: 3319382748 ISBN-13(EAN): 9783319382746 Издательство: Springer Рейтинг: Цена: 191550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Constantin Cranganu; Henri Luchian; Mihaela Elena Название: Artificial Intelligent Approaches in Petroleum Geosciences ISBN: 3319359924 ISBN-13(EAN): 9783319359922 Издательство: Springer Рейтинг: Цена: 95770.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Henri Prade; Gilles Richard Название: Computational Approaches to Analogical Reasoning: Current Trends ISBN: 3662523647 ISBN-13(EAN): 9783662523643 Издательство: Springer Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Michael G. Hinchey; James L. Rash; Walter F. Trusz Название: Formal Approaches to Agent-Based Systems ISBN: 3540406654 ISBN-13(EAN): 9783540406655 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: S.G. Tzafestas; Madan Singh; G?nther Schmidt Название: System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches ISBN: 9027725519 ISBN-13(EAN): 9789027725516 Издательство: Springer Рейтинг: Цена: 231990.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This 2-volume work represents the proceedings of the First European Workshop on Fault Diagnostics, Reliability and Re- lated Knowledge-Based Approaches held in the Island of Rho- des, Greece (August 3l-September 3, 1986). This Workshop was organized in the framework of a joint research project spon- sored by the Commission of the European Communi ties under the Stimulation Action Programme. The principal aim of the Workshop was to bring together people working on the numeric and symbolic (knowledge-based) treatment of reliability and fault diagnosis problems, in order to promote the interaction and exhange of ideas, expe- riences and results in this area. The workshop was a real success, with SS papers presen- ted and 70 participants. A second Workshop of the same na- ture has been decided to be held in Manchester (UMIST), - gland, in April 1987. . The two volumes contain sufficient amount of informa- tion which reflects very well the state-of-the-art of the field, and shows the current tendency towards knowledge-ba- sed (expert systems) and fault-tolerant approaches. Volume 1 contains the contributions on fault diagnostics and reliability issues (numeric treatment), and Vo-lume 2 the contributions on knowledge based and fault-tolerant techni- ques. We are grateful to the Commission of the European Com- munities for having sponsored the Workshop, and to all au- thors for their high quality contributions and presenta- tions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
