This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019. The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions.
This volume features selected, refereed papers on various aspects of statistics, matrix theory and its applications... Læs mere
Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics.
This book constitutes the refereed proceedings of the 9th... Læs mere
This self-contained introduction to the Poisson process covers basic theory and certain advanced topics in the setting of a general abstract measure space.... Læs mere
This book provides an undergraduate introduction to analysing data for data science, computer science, and quantitative social science students.
This book constitutes the revised selected papers of the 8th International Workshop on Algorithms and Computation, WALCOM 2014, held in Chennai, India, in February 2014.
This book constitutes the refereed proceedings of the 19th International Conference on Information Security, ISC 2016, held in Honolulu, HI, USA, in September 2016.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014.
The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.
This introductory level text is suitable for use by advanced undergraduate and graduate students of computational biology. Written by experienced authors, it provides detailed coverage of many algorithms, including applications and possible modifications.
An Invitation to Computational Homotopy is an introduction to elementary algebraic topology for those with an interest in computers and computer... Læs mere