In this study extending classical Markov chain theory to handle fluctuating transition matrices, the author develops a theory of Markov set-chains and provides numerous examples showing how that theory can be applied....
详细信息
ISBN:
(数字)9783540687115
ISBN:
(纸本)9783540647751
In this study extending classical Markov chain theory to handle fluctuating transition matrices, the author develops a theory of Markov set-chains and provides numerous examples showing how that theory can be applied. Chapters are concluded with a discussion of related research. Readers who can benefit from this monograph are those interested in, or involved with, systems whose data is imprecise or that fluctuate with time. A background equivalent to a course in linear algebra and one in probability theory should be sufficient.
This engaging text presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their universi...
详细信息
ISBN:
(数字)9781848003224
ISBN:
(纸本)9781848003217
This engaging text presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging yet fun mathematical games and logical puzzles that require no prior knowledge about computers. The text begins with intuition and examples as a basis from which precise concepts are then developed; demonstrating how, by working within the confines of a precise structured method, the occurrence of errors in the system can be drastically reduced.;Features: demonstrates how game theory provides a paradigm for an intuitive understanding of the nature of computation; contains more than 400 exercises throughout the text, with detailed solutions to half of these presented at the end of the book, together with numerous theorems, definitions and examples; describes a modelling approach based on state transition systems.
In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60...
详细信息
ISBN:
(数字)9781461241188
ISBN:
(纸本)9780817638801;9781461286615
In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and object classes to simple imperative languages in a general and clean way. And, on the other hand, researchers interested in purely functional languages discovered that ALGOL 60 shows how to add imperative mechanisms to functional languages in a way that does not compromise their desirable properties. Unfortunately, many of the key works in this field have been rather hard to obtain. The primary purpose of this collection is to make the most significant material on ALGoL-like languages conveniently available to graduate students and researchers. Contents Introduction to Volume 1 1 Part I Historical Background 1 Part n Basic Principles 3 Part III Language Design 5 Introduction to Volume 2 6 Part IV Functor-Category Semantics 7 Part V Specification Logic 7 Part VI Procedures and Local Variables 8 Part vn Interference, Irreversibility and Concurrency 9 Acknowledgements 11 Bibliography 11 Introduction to Volume 1 This volume contains historical and foundational material, and works on lan guage design. All of the material should be accessible to beginning graduate students in programming languages and theoretical computerscience.
This book constitutes the refereed proceedings of the International Conference on Intelligent computermathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented...
详细信息
ISBN:
(数字)9783319206158
ISBN:
(纸本)9783319206141
This book constitutes the refereed proceedings of the International Conference on Intelligent computermathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital mathematics Libraries; mathematical Knowledge Management; Projects and Surveys; Systems and Data.
Evolutionary computation (EC) techniques are e?cient, nature-inspired pl- ning and optimization methods based on the principles of natural evolution and genetics. Due to their e?ciency and simple underlying principles...
详细信息
ISBN:
(数字)9783540787617
ISBN:
(纸本)9783540787600
Evolutionary computation (EC) techniques are e?cient, nature-inspired pl- ning and optimization methods based on the principles of natural evolution and genetics. Due to their e?ciency and simple underlying principles, these me- ods can be used in the context of problem solving, optimization, and machine learning. A large and continuously increasing number of researchers and prof- sionals make use of EC techniques in various application domains. This volume presents a careful selection of relevant EC examples combined with a thorough examination of the techniques used in EC. The papers in the volume illustrate the current state of the art in the application of EC and should help and - spire researchers and professionals to develop e?cient EC methods for design and problem solving. All papers in this book were presented during EvoWorkshops 2008, which consisted of a range of workshops on application-oriented aspects of EC. Since 1998, EvoWorkshops has provided a unique opportunity for EC researchers to meet and discuss applicationaspectsofECandhasservedasanimportantlink between EC research and its application in a variety of domains. During these ten years new workshops have arisen, some have disappeared, while others have matured to become conferences of their own, such as EuroGP in 2000, EvoCOP in 2004, and EvoBIO last year.
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on mathematical Foundations of computerscience, MFCS 2014, held in Budapest, Hungary, in...
详细信息
ISBN:
(数字)9783662444658
ISBN:
(纸本)9783662444641
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on mathematical Foundations of computerscience, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.
暂无评论