Metaheuristics

Download Metaheuristics PDF Online Free

Author :
Publisher : John Wiley & Sons
ISBN 13 : 0470496908
Total Pages : 625 pages
Book Rating : 4.4/5 (74 download)

DOWNLOAD NOW!


Book Synopsis Metaheuristics by : El-Ghazali Talbi

Download or read book Metaheuristics written by El-Ghazali Talbi and published by John Wiley & Sons. This book was released on 2009-05-27 with total page 625 pages. Available in PDF, EPUB and Kindle. Book excerpt: A unified view of metaheuristics This book provides a complete background on metaheuristics and shows readers how to design and implement efficient algorithms to solve complex optimization problems across a diverse range of applications, from networking and bioinformatics to engineering design, routing, and scheduling. It presents the main design questions for all families of metaheuristics and clearly illustrates how to implement the algorithms under a software framework to reuse both the design and code. Throughout the book, the key search components of metaheuristics are considered as a toolbox for: Designing efficient metaheuristics (e.g. local search, tabu search, simulated annealing, evolutionary algorithms, particle swarm optimization, scatter search, ant colonies, bee colonies, artificial immune systems) for optimization problems Designing efficient metaheuristics for multi-objective optimization problems Designing hybrid, parallel, and distributed metaheuristics Implementing metaheuristics on sequential and parallel machines Using many case studies and treating design and implementation independently, this book gives readers the skills necessary to solve large-scale optimization problems quickly and efficiently. It is a valuable reference for practicing engineers and researchers from diverse areas dealing with optimization or machine learning; and graduate students in computer science, operations research, control, engineering, business and management, and applied mathematics.

Parallel Metaheuristics

Download Parallel Metaheuristics PDF Online Free

Author :
Publisher : John Wiley & Sons
ISBN 13 : 0471739375
Total Pages : 574 pages
Book Rating : 4.4/5 (717 download)

DOWNLOAD NOW!


Book Synopsis Parallel Metaheuristics by : Enrique Alba

Download or read book Parallel Metaheuristics written by Enrique Alba and published by John Wiley & Sons. This book was released on 2005-10-03 with total page 574 pages. Available in PDF, EPUB and Kindle. Book excerpt: Solving complex optimization problems with parallel metaheuristics Parallel Metaheuristics brings together an international group of experts in parallelism and metaheuristics to provide a much-needed synthesis of these two fields. Readers discover how metaheuristic techniques can provide useful and practical solutions for a wide range of problems and application domains, with an emphasis on the fields of telecommunications and bioinformatics. This volume fills a long-existing gap, allowing researchers and practitioners to develop efficient metaheuristic algorithms to find solutions. The book is divided into three parts: * Part One: Introduction to Metaheuristics and Parallelism, including an Introduction to Metaheuristic Techniques, Measuring the Performance of Parallel Metaheuristics, New Technologies in Parallelism, and a head-to-head discussion on Metaheuristics and Parallelism * Part Two: Parallel Metaheuristic Models, including Parallel Genetic Algorithms, Parallel Genetic Programming, Parallel Evolution Strategies, Parallel Ant Colony Algorithms, Parallel Estimation of Distribution Algorithms, Parallel Scatter Search, Parallel Variable Neighborhood Search, Parallel Simulated Annealing, Parallel Tabu Search, Parallel GRASP, Parallel Hybrid Metaheuristics, Parallel Multi-Objective Optimization, and Parallel Heterogeneous Metaheuristics * Part Three: Theory and Applications, including Theory of Parallel Genetic Algorithms, Parallel Metaheuristics Applications, Parallel Metaheuristics in Telecommunications, and a final chapter on Bioinformatics and Parallel Metaheuristics Each self-contained chapter begins with clear overviews and introductions that bring the reader up to speed, describes basic techniques, and ends with a reference list for further study. Packed with numerous tables and figures to illustrate the complex theory and processes, this comprehensive volume also includes numerous practical real-world optimization problems and their solutions. This is essential reading for students and researchers in computer science, mathematics, and engineering who deal with parallelism, metaheuristics, and optimization in general.

Hybrid Metaheuristics

Download Hybrid Metaheuristics PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3642306713
Total Pages : 464 pages
Book Rating : 4.6/5 (423 download)

DOWNLOAD NOW!


Book Synopsis Hybrid Metaheuristics by : El-ghazali Talbi

Download or read book Hybrid Metaheuristics written by El-ghazali Talbi and published by Springer. This book was released on 2012-07-31 with total page 464 pages. Available in PDF, EPUB and Kindle. Book excerpt: The main goal of this book is to provide a state of the art of hybrid metaheuristics. The book provides a complete background that enables readers to design and implement hybrid metaheuristics to solve complex optimization problems (continuous/discrete, mono-objective/multi-objective, optimization under uncertainty) in a diverse range of application domains. Readers learn to solve large scale problems quickly and efficiently combining metaheuristics with complementary metaheuristics, mathematical programming, constraint programming and machine learning. Numerous real-world examples of problems and solutions demonstrate how hybrid metaheuristics are applied in such fields as networks, logistics and transportation, bio-medical, engineering design, scheduling.

Solutions to Parallel and Distributed Computing Problems

Download Solutions to Parallel and Distributed Computing Problems PDF Online Free

Author :
Publisher : Wiley-Interscience
ISBN 13 :
Total Pages : 296 pages
Book Rating : 4.F/5 ( download)

DOWNLOAD NOW!


Book Synopsis Solutions to Parallel and Distributed Computing Problems by : Albert Y. Zomaya

Download or read book Solutions to Parallel and Distributed Computing Problems written by Albert Y. Zomaya and published by Wiley-Interscience. This book was released on 2000-11-14 with total page 296 pages. Available in PDF, EPUB and Kindle. Book excerpt: Solving problems in parallel and distributed computing through the use of bioinspired techniques. Recent years have seen a surge of interest in computational methods patterned after natural phenomena, with biologically inspired techniques such as fuzzy logic, neural networks, simulated annealing, genetic algorithms, or evolutionary computer models increasingly being harnessed for problem solving in parallel and distributed computing. Solutions to Parallel and Distributed Computing Problems presents a comprehensive review of the state of the art in the field, providing researchers and practitioners with critical information on the use of bio-inspired techniques for improving software and hardware design in high-performance computing. Through contributions from top leaders in the field, this important book brings together current research results, exploring some of the most intriguing and cutting-edge topics from the world of biocomputing, including: Parallel and distributed computing of cellular automata and evolutionary algorithms How the speedup of bio-inspired algorithms will help their applicability in a wide range of problems Solving problems in parallel simulation through such techniques as simulated annealing algorithms and genetic algorithms Techniques for solving scheduling and load-balancing problems in parallel and distributed computers Applying neural networks for problem solving in wireless communication systems

Glowworm Swarm Optimization

Download Glowworm Swarm Optimization PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319515950
Total Pages : 265 pages
Book Rating : 4.3/5 (195 download)

DOWNLOAD NOW!


Book Synopsis Glowworm Swarm Optimization by : Krishnanand N. Kaipa

Download or read book Glowworm Swarm Optimization written by Krishnanand N. Kaipa and published by Springer. This book was released on 2017-01-10 with total page 265 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a comprehensive account of the glowworm swarm optimization (GSO) algorithm, including details of the underlying ideas, theoretical foundations, algorithm development, various applications, and MATLAB programs for the basic GSO algorithm. It also discusses several research problems at different levels of sophistication that can be attempted by interested researchers. The generality of the GSO algorithm is evident in its application to diverse problems ranging from optimization to robotics. Examples include computation of multiple optima, annual crop planning, cooperative exploration, distributed search, multiple source localization, contaminant boundary mapping, wireless sensor networks, clustering, knapsack, numerical integration, solving fixed point equations, solving systems of nonlinear equations, and engineering design optimization. The book is a valuable resource for researchers as well as graduate and undergraduate students in the area of swarm intelligence and computational intelligence and working on these topics.

The R Book

Download The R Book PDF Online Free

Author :
Publisher : John Wiley & Sons
ISBN 13 : 9780470515068
Total Pages : 953 pages
Book Rating : 4.5/5 (15 download)

DOWNLOAD NOW!


Book Synopsis The R Book by : Michael J. Crawley

Download or read book The R Book written by Michael J. Crawley and published by John Wiley & Sons. This book was released on 2007-06-13 with total page 953 pages. Available in PDF, EPUB and Kindle. Book excerpt: The high-level language of R is recognized as one of the mostpowerful and flexible statistical software environments, and israpidly becoming the standard setting for quantitative analysis,statistics and graphics. R provides free access to unrivalledcoverage and cutting-edge applications, enabling the user to applynumerous statistical methods ranging from simple regression to timeseries or multivariate analysis. Building on the success of the author’s bestsellingStatistics: An Introduction using R, The R Book ispacked with worked examples, providing an all inclusive guide to R,ideal for novice and more accomplished users alike. The bookassumes no background in statistics or computing and introduces theadvantages of the R environment, detailing its applications in awide range of disciplines. Provides the first comprehensive reference manual for the Rlanguage, including practical guidance and full coverage of thegraphics facilities. Introduces all the statistical models covered by R, beginningwith simple classical tests such as chi-square and t-test. Proceeds to examine more advance methods, from regression andanalysis of variance, through to generalized linear models,generalized mixed models, time series, spatial statistics,multivariate statistics and much more. The R Book is aimed at undergraduates, postgraduates andprofessionals in science, engineering and medicine. It is alsoideal for students and professionals in statistics, economics,geography and the social sciences.

Statistical Inference for Ergodic Diffusion Processes

Download Statistical Inference for Ergodic Diffusion Processes PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 144713866X
Total Pages : 493 pages
Book Rating : 4.4/5 (471 download)

DOWNLOAD NOW!


Book Synopsis Statistical Inference for Ergodic Diffusion Processes by : Yury A. Kutoyants

Download or read book Statistical Inference for Ergodic Diffusion Processes written by Yury A. Kutoyants and published by Springer Science & Business Media. This book was released on 2013-03-09 with total page 493 pages. Available in PDF, EPUB and Kindle. Book excerpt: The first book in inference for stochastic processes from a statistical, rather than a probabilistic, perspective. It provides a systematic exposition of theoretical results from over ten years of mathematical literature and presents, for the first time in book form, many new techniques and approaches.

Semiparametric Theory and Missing Data

Download Semiparametric Theory and Missing Data PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 0387373454
Total Pages : 392 pages
Book Rating : 4.3/5 (873 download)

DOWNLOAD NOW!


Book Synopsis Semiparametric Theory and Missing Data by : Anastasios Tsiatis

Download or read book Semiparametric Theory and Missing Data written by Anastasios Tsiatis and published by Springer Science & Business Media. This book was released on 2007-01-15 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book summarizes current knowledge regarding the theory of estimation for semiparametric models with missing data, in an organized and comprehensive manner. It starts with the study of semiparametric methods when there are no missing data. The description of the theory of estimation for semiparametric models is both rigorous and intuitive, relying on geometric ideas to reinforce the intuition and understanding of the theory. These methods are then applied to problems with missing, censored, and coarsened data with the goal of deriving estimators that are as robust and efficient as possible.

Design and Modeling of Mechanical Systems

Download Design and Modeling of Mechanical Systems PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 3642371434
Total Pages : 653 pages
Book Rating : 4.6/5 (423 download)

DOWNLOAD NOW!


Book Synopsis Design and Modeling of Mechanical Systems by : Mohamed Haddar

Download or read book Design and Modeling of Mechanical Systems written by Mohamed Haddar and published by Springer Science & Business Media. This book was released on 2013-03-12 with total page 653 pages. Available in PDF, EPUB and Kindle. Book excerpt: The 5th International Congress on Design and Modeling of Mechanical Systems (CMSM) was held in Djerba, Tunisia on March 25-27, 2013 and followed four previous successful editions, which brought together international experts in the fields of design and modeling of mechanical systems, thus contributing to the exchange of information and skills and leading to a considerable progress in research among the participating teams. The fifth edition of the congress (CMSM ́2013), organized by the Unit of Mechanics, Modeling and Manufacturing (U2MP) of the National School of Engineers of Sfax, Tunisia, the Mechanical Engineering Laboratory (MBL) of the National School of Engineers of Monastir, Tunisia and the Mechanics Laboratory of Sousse (LMS) of the National School of Engineers of Sousse, Tunisia, saw a significant increase of the international participation. This edition brought together nearly 300 attendees who exposed their work on the following topics: mechatronics and robotics, dynamics of mechanical systems, fluid structure interaction and vibroacoustics, modeling and analysis of materials and structures, design and manufacturing of mechanical systems. This book is the proceedings of CMSM ́2013 and contains a careful selection of high quality contributions, which were exposed during various sessions of the congress. The original articles presented here provide an overview of recent research advancements accomplished in the field mechanical engineering.

The R Software

Download The R Software PDF Online Free

Author :
Publisher : Springer Science & Business
ISBN 13 : 1461490200
Total Pages : 654 pages
Book Rating : 4.4/5 (614 download)

DOWNLOAD NOW!


Book Synopsis The R Software by : Pierre Lafaye de Micheaux

Download or read book The R Software written by Pierre Lafaye de Micheaux and published by Springer Science & Business. This book was released on 2014-05-13 with total page 654 pages. Available in PDF, EPUB and Kindle. Book excerpt: The contents of The R Software are presented so as to be both comprehensive and easy for the reader to use. Besides its application as a self-learning text, this book can support lectures on R at any level from beginner to advanced. This book can serve as a textbook on R for beginners as well as more advanced users, working on Windows, MacOs or Linux OSes. The first part of the book deals with the heart of the R language and its fundamental concepts, including data organization, import and export, various manipulations, documentation, plots, programming and maintenance. The last chapter in this part deals with oriented object programming as well as interfacing R with C/C++ or Fortran, and contains a section on debugging techniques. This is followed by the second part of the book, which provides detailed explanations on how to perform many standard statistical analyses, mainly in the Biostatistics field. Topics from mathematical and statistical settings that are included are matrix operations, integration, optimization, descriptive statistics, simulations, confidence intervals and hypothesis testing, simple and multiple linear regression, and analysis of variance. Each statistical chapter in the second part relies on one or more real biomedical data sets, kindly made available by the Bordeaux School of Public Health (Institut de Santé Publique, d'Épidémiologie et de Développement - ISPED) and described at the beginning of the book. Each chapter ends with an assessment section: memorandum of most important terms, followed by a section of theoretical exercises (to be done on paper), which can be used as questions for a test. Moreover, worksheets enable the reader to check his new abilities in R. Solutions to all exercises and worksheets are included in this book.

Supply Chain Management

Download Supply Chain Management PDF Online Free

Author :
Publisher : SAGE
ISBN 13 : 9780761921110
Total Pages : 530 pages
Book Rating : 4.9/5 (211 download)

DOWNLOAD NOW!


Book Synopsis Supply Chain Management by : John T. Mentzer

Download or read book Supply Chain Management written by John T. Mentzer and published by SAGE. This book was released on 2001 with total page 530 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work presents a comprehensive model of supply chain management. Experienced executives from 20 companies clearly define supply chain management, identifying those factors that contribute to its effective implementation. They provide practical guidelines on how companies can manage supply chains, addressing the role of all the traditional business functions in supply chain management and suggest how the adoption of a supply chain management approach can affect business strategy and corporate performance.

Numerical Methods for Partial Differential Equations

Download Numerical Methods for Partial Differential Equations PDF Online Free

Author :
Publisher : Academic Press
ISBN 13 : 0128035048
Total Pages : 484 pages
Book Rating : 4.1/5 (28 download)

DOWNLOAD NOW!


Book Synopsis Numerical Methods for Partial Differential Equations by : Sandip Mazumder

Download or read book Numerical Methods for Partial Differential Equations written by Sandip Mazumder and published by Academic Press. This book was released on 2015-12-01 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt: Numerical Methods for Partial Differential Equations: Finite Difference and Finite Volume Methods focuses on two popular deterministic methods for solving partial differential equations (PDEs), namely finite difference and finite volume methods. The solution of PDEs can be very challenging, depending on the type of equation, the number of independent variables, the boundary, and initial conditions, and other factors. These two methods have been traditionally used to solve problems involving fluid flow. For practical reasons, the finite element method, used more often for solving problems in solid mechanics, and covered extensively in various other texts, has been excluded. The book is intended for beginning graduate students and early career professionals, although advanced undergraduate students may find it equally useful. The material is meant to serve as a prerequisite for students who might go on to take additional courses in computational mechanics, computational fluid dynamics, or computational electromagnetics. The notations, language, and technical jargon used in the book can be easily understood by scientists and engineers who may not have had graduate-level applied mathematics or computer science courses. - Presents one of the few available resources that comprehensively describes and demonstrates the finite volume method for unstructured mesh used frequently by practicing code developers in industry - Includes step-by-step algorithms and code snippets in each chapter that enables the reader to make the transition from equations on the page to working codes - Includes 51 worked out examples that comprehensively demonstrate important mathematical steps, algorithms, and coding practices required to numerically solve PDEs, as well as how to interpret the results from both physical and mathematic perspectives

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2012

Download Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2012 PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 9783642334535
Total Pages : 645 pages
Book Rating : 4.3/5 (345 download)

DOWNLOAD NOW!


Book Synopsis Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2012 by : Nicholas Ayache

Download or read book Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2012 written by Nicholas Ayache and published by Springer. This book was released on 2012-08-28 with total page 645 pages. Available in PDF, EPUB and Kindle. Book excerpt: The three-volume set LNCS 7510, 7511, and 7512 constitutes the refereed proceedings of the 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2012, held in Nice, France, in October 2012. Based on rigorous peer reviews, the program committee carefully selected 252 revised papers from 781 submissions for presentation in three volumes. The third volume includes 79 papers organized in topical sections on diffusion imaging: from acquisition to tractography; image acquisition, segmentation and recognition; image registration; neuroimage analysis; analysis of microscopic and optical images; image segmentation; diffusion weighted imaging; computer-aided diagnosis and planning; and microscopic image analysis.

Fleet Management and Logistics

Download Fleet Management and Logistics PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 1461557550
Total Pages : 257 pages
Book Rating : 4.4/5 (615 download)

DOWNLOAD NOW!


Book Synopsis Fleet Management and Logistics by : Teodor G. Crainic

Download or read book Fleet Management and Logistics written by Teodor G. Crainic and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 257 pages. Available in PDF, EPUB and Kindle. Book excerpt: TEODOR GABRIEL CRAINIC, DIRECTOR The Centre for Research on Transportation (C.R.T.) was founded in 1971 by the Universite de Montreal. From 1988 on, it is jointly managed by the Universite de Montreal and its affiliated schools, the Ecole des Hautes Etudes Commerciales and Ecole Poly technique. Professors, students and researchers from many institutions in the Montreal area join forces at the C.R.T. to analyze transportation, logistics and telecommunication systems from a multidisciplinary perspective. The C.R.T. pursues three major, complementary objectives: training of high-level specialists; the advancement of knowledge and technology; the transfer of technology towards industry and the public sector. Its main field of expertise is the develop ment of quantitative and computer-based models and methods for the analysis of urban, regional and intercity transportation networks, as well as telecommunication systems. This applies to the study of passenger and commodity flows, as well as to the socioeconomic aspects of transportation: policy, regulation, economics. The twenty-fifth anniversary of the C.R.T. offered the opportunity to evaluate past accomplishments and to identify future trends and challenges. Five colloquia were thus organized on major research and application themes that also reflected our main research areas. They gathered together internationally renowned researchers who linked recent scientific and technological advances to modeling and methodological challenges waiting to be tackled, particularly concerning new problems and applica tions, and the increasingly widespread use of new technologies.

Predicting Structured Data

Download Predicting Structured Data PDF Online Free

Author :
Publisher : MIT Press
ISBN 13 : 0262026171
Total Pages : 361 pages
Book Rating : 4.2/5 (62 download)

DOWNLOAD NOW!


Book Synopsis Predicting Structured Data by : Neural Information Processing Systems Foundation

Download or read book Predicting Structured Data written by Neural Information Processing Systems Foundation and published by MIT Press. This book was released on 2007 with total page 361 pages. Available in PDF, EPUB and Kindle. Book excerpt: State-of-the-art algorithms and theory in a novel domain of machine learning, prediction when the output has structure.

Life Insurance Mathematics

Download Life Insurance Mathematics PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 3662026554
Total Pages : 137 pages
Book Rating : 4.6/5 (62 download)

DOWNLOAD NOW!


Book Synopsis Life Insurance Mathematics by : Hans U. Gerber

Download or read book Life Insurance Mathematics written by Hans U. Gerber and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 137 pages. Available in PDF, EPUB and Kindle. Book excerpt: HaIley's Comet has been prominently displayed in many newspapers during the last few months. For the first time in 76 years it appeared this winter, clearly visible against the nocturnal sky. This is an appropriate occasion to point out the fact that Sir Edmund Halley also constructed the world's first life table in 1693, thus creating the scientific foundation of life insurance. Halley's life table and its successors were viewed as deterministic laws, i. e. the number of deaths in any given group and year was considered to be a weIl defined number that could be calculated by means of a life table. However, in reality this number is random. Thus any mathematical treatment of life insurance will have to rely more and more on prob ability theory. By sponsoring this monograph the Swiss Association of Actuaries wishes to support the "modern" probabilistic view oflife contingencies. We are fortu nate that Professor Gerber, an internationally renowned expert, has assumed the task of writing the monograph. We thank the Springer-Verlag and hope that this monograph will be the first in a successful series of actuarial texts. Hans Bühlmann Zürich, March 1986 President Swiss Association of Actuaries Preface Two major developments have influenced the environment of actuarial math ematics. One is the arrival of powerful and affordable computers; the once important problem of numerical calculation has become almost trivial in many instances.

An Introduction to Computational Learning Theory

Download An Introduction to Computational Learning Theory PDF Online Free

Author :
Publisher : MIT Press
ISBN 13 : 9780262111935
Total Pages : 230 pages
Book Rating : 4.1/5 (119 download)

DOWNLOAD NOW!


Book Synopsis An Introduction to Computational Learning Theory by : Michael J. Kearns

Download or read book An Introduction to Computational Learning Theory written by Michael J. Kearns and published by MIT Press. This book was released on 1994-08-15 with total page 230 pages. Available in PDF, EPUB and Kindle. Book excerpt: Emphasizing issues of computational efficiency, Michael Kearns and Umesh Vazirani introduce a number of central topics in computational learning theory for researchers and students in artificial intelligence, neural networks, theoretical computer science, and statistics. Emphasizing issues of computational efficiency, Michael Kearns and Umesh Vazirani introduce a number of central topics in computational learning theory for researchers and students in artificial intelligence, neural networks, theoretical computer science, and statistics. Computational learning theory is a new and rapidly expanding area of research that examines formal models of induction with the goals of discovering the common methods underlying efficient learning algorithms and identifying the computational impediments to learning. Each topic in the book has been chosen to elucidate a general principle, which is explored in a precise formal setting. Intuition has been emphasized in the presentation to make the material accessible to the nontheoretician while still providing precise arguments for the specialist. This balance is the result of new proofs of established theorems, and new presentations of the standard proofs. The topics covered include the motivation, definitions, and fundamental results, both positive and negative, for the widely studied L. G. Valiant model of Probably Approximately Correct Learning; Occam's Razor, which formalizes a relationship between learning and data compression; the Vapnik-Chervonenkis dimension; the equivalence of weak and strong learning; efficient learning in the presence of noise by the method of statistical queries; relationships between learning and cryptography, and the resulting computational limitations on efficient learning; reducibility between learning problems; and algorithms for learning finite automata from active experimentation.