This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semanti...
详细信息
ISBN:
(数字)9783662451984
ISBN:
(纸本)9783662451977;9783662515983
This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computerscience, which is intended to be accessible to postgraduate students in computerscience and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference.
This book constitutes the refereed proceedings of the International Conference on Privacy in Statistical Databases, PSD 2018, held in Valencia, Spain, in September 2018 under the sponsorship of the UNESCO Chair in Dat...
详细信息
ISBN:
(数字)9783319997711
ISBN:
(纸本)9783319997704
This book constitutes the refereed proceedings of the International Conference on Privacy in Statistical Databases, PSD 2018, held in Valencia, Spain, in September 2018 under the sponsorship of the UNESCO Chair in Data Privacy.
Das Buch richtet sich an Studierende der Mathematik höheren Semesters, die bereits Vorkenntnisse in Wahrscheinlichkeitstheorie besitzen. Behandelt werden sowohl Methoden des Supervised Learning und Reinforcement ...
详细信息
ISBN:
(数字)9783662593547
ISBN:
(纸本)9783662593530
Das Buch richtet sich an Studierende der Mathematik höheren Semesters, die bereits Vorkenntnisse in Wahrscheinlichkeitstheorie besitzen. Behandelt werden sowohl Methoden des Supervised Learning und Reinforcement Learning als auch des Unsupervised Learning. Der Umfang entspricht einer einsemestrigen vierstündigen Vorlesung.
This book constitutes the refereed proceedings of the 13th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2009, held in Bangkok, Thailand, in April 2009. The 39 revised full papers and 73 revise...
详细信息
ISBN:
(数字)9783642013072
ISBN:
(纸本)9783642013065
This book constitutes the refereed proceedings of the 13th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2009, held in Bangkok, Thailand, in April 2009. The 39 revised full papers and 73 revised short papers presented together with 3 keynote talks were carefully reviewed and selected from 338 submissions. The papers present new ideas, original research results, and practical development experiences from all KDD-related areas including data mining, data warehousing, machine learning, databases, statistics, knowledge acquisition, automatic scientific discovery, data visualization, causal induction, and knowledge-based systems.
This book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018.;The 20 revised full ...
详细信息
ISBN:
(数字)9783319773131
ISBN:
(纸本)9783319773124
This book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018.;The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 58 submissions. The papers cover fields like algebraic language theory, algorithms for semi-structured data mining, algorithms on automata and words, automata and logic, automata for system analysis and programme verification, automata networks, automatic structures, codes, combinatorics on words, computational complexity, concurrency and Petri nets, data and image compression, descriptional complexity, foundations of finite state technology, foundations of XML, grammars (Chomsky hierarchy, contextual, unification, categorial, etc.), grammatical inference and algorithmic learning, graphs and graph transformation, language varieties and semigroups, language-based cryptography, mathematical and logical foundations of programming methodologies, parallel and regulated rewriting, parsing, patterns, power series, string processing algorithms, symbolic dynamics, term rewriting, transducers, trees, tree languages and tree automata, and weighted automata.
Reliability analysis is concerned with the analysis of devices and systems whose individual components are prone to failure. This textbook presents an introduction to reliability analysis of repairable and non-repaira...
详细信息
ISBN:
(数字)9781461228547
ISBN:
(纸本)9781461276975
Reliability analysis is concerned with the analysis of devices and systems whose individual components are prone to failure. This textbook presents an introduction to reliability analysis of repairable and non-repairable systems. It is based on courses given to both undergraduate and graduate students of engineering and statistics as well as in workshops for professional engineers and scientists. As aresult, the book concentrates on the methodology of the subject and on understanding theoretical results rather than on its theoretical development. An intrinsic aspect of reliability analysis is that the failure of components is best modelled using techniques drawn from probability and statistics. Professor Zacks covers all the basic concepts required from these subjects and covers the main modern reliability analysis techniques thoroughly. These include: the graphical analysis of life data, maximum likelihood estimation and bayesian likelihood estimation. Throughout the emphasis is on the practicalities of the subject with numerous examples drawn from industrial and engineering settings.
This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017.;The 11 revised full papers and the one re...
详细信息
ISBN:
(数字)9783319916323
ISBN:
(纸本)9783319916316
This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017.;The 11 revised full papers and the one revised short paper presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on networking and mobile applications; applications of quantitative modeling; big data processing and IoT; theory, methods and tools for quantitative analysis.
暂无评论