|
 |
|
 |
|
|
 |
|  |
|
 Название: Boolean Systems: Topics in Asynchronicity
Автор: Serban E. Vlad
Издательство: Academic Press/Elsevier
Год: 2023
Страниц: 438
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB
The Boolean functions may be iterated either asynchronously, when their coordinates are computed independently of each other, or synchronously, when their coordinates are computed at the same time. In Boolean Systems: Topics in Asynchronicity, a book addressed to mathematicians and computer scientists interested in Boolean systems and their use in modelling, author Serban E. Vlad presents a consistent and original mathematical theory of the discrete-time Boolean asynchronous systems. The purpose of the book is to set forth the concepts of such a theory, resulting from the synchronous Boolean system theory and mostly from the synchronous real system theory, by analogy, and to indicate the way in which known synchronous deterministic concepts generate new asynchronous nondeterministic concepts. The reader will be introduced to the dependence on the initial conditions, periodicity, path-connectedness, topological transitivity, and chaos. | |
Разместил: Ingvar16 27-02-2023, 10:36 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
 Название: Regularity of the One-phase Free Boundaries
Автор: Bozhidar Velichkov
Издательство: Springer
Год: 2023
Страниц: 249
Язык: английский
Формат: pdf (true), epub
Размер: 18.2 MB
This book is an introduction to the regularity theory for free boundary problems. The free boundary problems are a special type of boundary value problems, in which the domain, where the PDE is solved, depends on the solution of the boundary value problem. The focus is on the one-phase Bernoulli problem, which is of particular interest as it deeply influenced the development of the modern free boundary regularity theory and is still an object of intensive research. The exposition is organized around four main theorems, which are dedicated to the one-phase functional in its simplest form. Many of the methods and the techniques presented here are very recent and were developed in the context of different free boundary problems. We also give the detailed proofs of several classical results, which are based on some universal ideas and are recurrent in the free boundary, PDE and the geometric regularity theories. This book is aimed at graduate students and researches and is accessible to anyone with a moderate level of knowledge of elliptical PDEs. | |
Разместил: Ingvar16 26-02-2023, 22:49 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Аналитическая геометрия в примерах и задачах
Автор: Бортаковский А.С., Пантелеев А.В.
Издательство: М.: Высшая школа
Год: 2005
Cтраниц: 496
Формат: pdf
Размер: 28 мб
Язык: русский
Приведены основные понятия, теоремы и методы решения задач по всем разделам курса: векторной алгебре, системам координат, преобразованиям плоскости и пространства, уравнениям линий и поверхностей первого и второго порядков. Описаны некоторые приложения аналитической геометрии в механике, теории оптимизации и математическом анализе. | |
Разместил: rivasss 26-02-2023, 16:29 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: 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. | |
Разместил: Ingvar16 26-02-2023, 12:46 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: 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. | |
Разместил: Ingvar16 25-02-2023, 20:17 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: 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. | |
Разместил: Ingvar16 25-02-2023, 17:32 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Прикладная механика сплошных сред
Автор: Каргин В.Р.
Издательство: Самара: Самарский государственный аэрокосмический университет
Год: 2002
Формат: pdf
Страниц: 223
Размер: 17 mb
Язык: Русский
На современном уровне изложены основные разделы механики сплошных сред: теории напряжений и деформаций, упругости и пластичности, основные законы механики сплошной среды применительно к процессам обработки металлов давлением. Приведены постановка и методы решения краевых задач. Теоретический материал иллюстрирован примерами решения соответствующих задач. | |
Разместил: na5ballov 25-02-2023, 13:23 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: 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. | |
Разместил: Ingvar16 23-02-2023, 11:51 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Таблицы математической статистики
Автор: Большев Л.Н., Смирнов Н.В.
Издательство: М.: Наука
Год: 1983
Cтраниц: 416
Формат: djvu
Размер: 27 мб
Язык: русский
Книга представляет собой сборник статистических таблиц с подробными пояснениями и примерами, которые выходят за рамки простого описания и представляют самостоятельный интерес как справочный материал. В отличие от других книг аналогичного содержания, здесь функции табулированы по всей естественной области определения, что достигается с помощью табулирования поправок к простейшим асимптотическим формулам. | |
Разместил: rivasss 22-02-2023, 07:00 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: 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. | |
Разместил: Ingvar16 21-02-2023, 03:39 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
