Название: Understanding Behaviour of Distributed Systems Using mCRL2
Автор: Muhammad Atif, Jan Friso Groote
Издательство: Springer
Год: 2023
Страниц: 241
Язык: английский
Формат: pdf (true), epub
Размер: 27.6 MB

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols. The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks. We use mCRL2 (micro Common Representation Language 2) and the modal mu-calculus, which are specialised languages that specify a distributed system and formulate system properties. These languages come with an effective toolset, which is open source and can be freely used. mCRL2 is a very concise and, at the same time, extremely expressive language to specify and analyse the behaviour of distributed systems and protocols. It can easily express non-computable behavioural specifications and requirements. It goes without saying that for such descriptions, tool-supported analysis is not very fruitful. However, this implies that effectively using mCRL2 requires a good understanding of the language and formula writing in the mu-calculus.

Название: Forensic DNA Applications: An Interdisciplinary Perspective, 2nd Edition
Автор: Dragan Primorac, Moses S. Schanfield
Издательство: CRC Press
Год: 2023
Страниц: 533
Язык: английский
Формат: pdf (true)
Размер: 30.5 MB

Forensic DNA Applications: An Interdisciplinary Perspective, Second Edition is fully updated to outline the latest advances in forensic DNA testing techniques and applications. It continues to fill the need for a reference book for people working in the field of forensic molecular biology testing and research as well as individuals investigating and adjudicating cases involving DNA evidence, whether they be civil or criminal cases. DNA techniques have greatly impacted obvious traditional forensic areas, but such advances have also positively affected myriad new areas of research and inquiry. It is possible today to think about solving forensic problems that were simply unheard of even a few years ago. As such, the book pulls all relevant research and applied science together into a detailed and comprehensive collection.

Название: An Introduction to Optimal Control Theory: The Dynamic Programming Approach
Автор: Onesimo Hernandez-Lerma, Leonardo R. Laura-Guarachi, Saul Mendoza-Palacios
Издательство: Springer
Серия: Texts in Applied Mathematics
Год: 2023
Страниц: 279
Язык: английский
Формат: pdf (true), epub
Размер: 19.0 MB

This book introduces optimal control problems for large families of deterministic and stochastic systems with discrete or continuous time parameter. These families include most of the systems studied in many disciplines, including Economics, Engineering, Operations Research, and Management Science, among many others. The main objective is to give a concise, systematic, and reasonably self contained presentation of some key topics in optimal control theory. To this end, most of the analyses are based on the dynamic programming (DP) technique. This technique is applicable to almost all control problems that appear in theory and applications. They include, for instance, finite and infinite horizon control problems in which the underlying dynamic system follows either a deterministic or stochastic difference or differential equation. In the infinite horizon case, it also uses DP to study undiscounted problems, such as the ergodic or long-run average cost.

Название: Методы теории экстремальных задач в экономике
Автор: Левин В.Л. (редактор)
Издательство: М.: Наука
Год: 1981
Страниц: 194
Формат: djvu
Размер: 13,1 Мб
Язык: Русский

При решении экстремальной задачи даже из большого массива эталонов должен выбираться вариант с более высоким техническим уровнем, отвечающий определенным социально-экономическим и экологическим требованиям.

Название: An Introduction to Cochran-Mantel-Haenszel Testing and Nonparametric ANOVA
Автор: J.C.W. Rayner, G.C. Livingston Jr.
Издательство: Wiley
Серия: Wiley Series in Probability and Statistics
Год: 2023
Страниц: 243
Язык: английский
Формат: pdf (true), epub
Размер: 34.4 MB

An Introduction to Cochran-Mantel-Haenszel Testing and Nonparametric ANOVA Complete reference for applied statisticians and data analysts that uniquely covers the new statistical methodologies that enable deeper data analysis. An Introduction to Cochran-Mantel-Haenszel Testing and Nonparametric ANOVA provides readers with powerful new statistical methodologies that enable deeper data analysis. The book offers applied statisticians an introduction to the latest topics in nonparametrics. The worked examples with supporting R code provide analysts the tools they need to apply these methods to their own problems. We have written an R package called CMHNPA, which will serve as an accompaniment to this text. The package contains all the data sets which are analysed as well as functions written for the statistical methods and techniques discussed. Within each of the chapters there is R code where example data sets are used. If the output from the functions is excessive, it will sometimes be suppressed; however, the code will be presented for the reader to execute the functions themselves. All of the code that follows in this text has the type of code shown above omitted. Therefore, if the reader wishes to recreate the output in later chapters, the packages will need to be loaded, and the data set attached to the workspace. The R package is currently available from Cran. It will undergo ongoing development and so output of functions may change and additional options added for functions over time.

Название: Интегралы и ряды (том 1-2)
Автор: Прудников А.П., Брычков Ю.А., Маричев О.И.
Издательство: М.: Наука
Год: 1981 + 1983
Cтраниц: 800+752
Формат: djvu
Размер: 32 мб
Язык: русский

Том 1. Элементарные функции - Книга содержит неопределенные и определенные (в том числе кратные) интегралы, конечные суммы, ряды и произведения с элементарными функциями. Она является наиболее полным справочным руководством, включает результаты, изложенные в аналогичных изданиях, а также в научной литературе.

Название: Таблицы математической статистики
Автор: Большев Л.Н., Смирнов Н.В.
Издательство: М.: Наука
Год: 1983
Cтраниц: 416
Формат: djvu
Размер: 27 мб
Язык: русский

Книга представляет собой сборник статистических таблиц с подробными пояснениями и примерами, которые выходят за рамки простого описания и представляют самостоятельный интерес как справочный материал. В отличие от других книг аналогичного содержания, здесь функции табулированы по всей естественной области определения, что достигается с помощью табулирования поправок к простейшим асимптотическим формулам.

Название: Medical Statistics: A Textbook for the Health Sciences, 5th Edition
Автор: Stephen J. Walters, Michael J. Campbell, David Machin
Издательство: Wiley-Blackwell
Год: 2021
Страниц: 448
Язык: английский
Формат: epub (true)
Размер: 15.2 MB

The 5th edition of this popular introduction to statistics for the medical and health sciences has undergone a significant revision, with several new chapters added and examples refreshed throughout the book. Yet it retains its central philosophy to explain medical statistics with as little technical detail as possible, making it accessible to a wide audience. Helpful multi-choice exercises are included at the end of each chapter, with answers provided at the end of the book. Each analysis technique is carefully explained and the mathematics kept to minimum. Written in a style suitable for statisticians and clinicians alike, this edition features many real and original examples, taken from the authors' combined many years' experience of designing and analysing clinical trials and teaching statistics.

Название: 2023 / 2024 ASVAB For Dummies, 12th Edition
Автор: Angie Papple Johnston
Издательство: For Dummies
Год: 2023
Страниц: 659
Язык: английский
Формат: pdf (true)
Размер: 16.8 MB

Maximize your ASVAB score and maximize your military job flexibility. If you want to join the military, you have to take the Armed Services Vocational Aptitude Battery (ASVAB). And if you want the flexibility to apply for a specific job, you’ll need right the score to get it! The 2023/2024 edition of ASVAB For Dummies has everything you need to prep for the exam and get the score you need to land the job you want: content review, study questions, practice exams in the book and online, digital flashcards, instructional videos, and practical tips for exam day. This bestselling ASVAB study guide is back, with everything you need to know about this year’s test, plus customizable test prep plans so you can make your study time count, right up to ASVAB day. Brush up on all 10 subject areas, including science, arithmetic, and electronics. Then, look to the easy-to-use online resources in this to activate your knowledge and launch your military career.

Название: Занимательная механика
Автор: Я.И. Перельман
Издательство: ОГИЗ
Год издания: 1948
Количество страниц: 174
Язык: русский
Формат: DjVu
Размер: 10,1 Мб

"Занимательная механика" Я. И. Перельмана, как и другие его книги, излагает вопросы прикладной и теоретической механики на простых примерах, фактах и событиях нашей повседневной жизни.
Довольно сложные, на первый взгляд, проблемы раскрыты с наглядностью и простотой, столь свойственными этому замечательному автору. Книга эта по праву может занять свое достойное место в серии удивительных произведений, делающих науку весьма занимательной и понятной как для юного читателя, так и для взрослого, которые с интересом познакомятся по этой книге с основами механики.
Издание 5-е, исправленное.