Saltar al contenido principal
Elsevier

Libros en Matemáticas

  • Hybrid Censoring Know-How

    Designs and Implementations
    • 1 Edición
    • Narayanaswamy Balakrishnan + 2 más
    • Inglés
    Hybrid Censoring Know-How: Models, Methods and Applications focuses on hybrid censoring, an important topic in censoring methodology with numerous applications. The readers will find information on the significance of censored data in theoretical and applied contexts, and descriptions of extensive data sets from life-testing experiments where these forms of data naturally occur. The existing literature on censoring methodology, life-testing procedures, and lifetime data analysis provides only hybrid censoring schemes, with little information about hybrid censoring methodologies, ideas, and statistical inferential methods. This book fills that gap, featuring statistical tools applicable to data from medicine, biology, public health, epidemiology, engineering, economics, and demography.

  • Boolean Systems

    Topics in Asynchronicity
    • 1 Edición
    • Serban E. Vlad
    • Inglés
    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. A property of major importance is invariance, which is present in five versions. In relation to it, the reader will study the maximal invariant subsets, the minimal invariant supersets, the minimal invariant subsets, connectedness, separation, the basins of attraction, and attractors. The stability of the systems and their time-reversal symmetry end the topics that refer to the systems without input. The rest of the book is concerned with input systems. The most consistent chapters of this part of the book refer to the fundamental operating mode and to the combinational systems (systems without feedback). The chapter Wires, Gates, and Flip-Flops presents a variety of applications. The first appendix addresses the issue of continuous time, and the second one sketches the important theory of Daizhan Cheng, which is put in relation to asynchronicity. The third appendix is a bridge between asynchronicity and the symbolic dynamics of Douglas Lind and Brian Marcus.

  • The Nuts and Bolts of Proofs

    An Introduction to Mathematical Proofs
    • 5 Edición
    • Antonella Cupillari
    • Inglés
    The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and how they work. The book offers techniques for both reading and writing proofs, discusses techniques in proving if/then statements by contrapositive and proofing by contradiction, includes the negation statement, and/or, examines various theorems, such as the if and only-if, equivalence theorems, existence theorems, and the uniqueness theorems. In addition, the use of counter examples, mathematical induction, composite statements including multiple hypothesis and multiple conclusions, and equality of numbers are also covered. The book also provides mathematical topics for practicing proof techniques. Included here are the Cartesian products, indexed families, functions, and relations. The last chapter of the book provides review exercises on various topics. Undergraduate students in engineering and physical science will find this book accessible as well as invaluable.

  • Algebraic Theory for True Concurrency

    • 1 Edición
    • Yong Wang
    • Inglés
    Algebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within computer science. This book covers the different realms of concurrency, which enables programs, algorithms or problems to be broken out into order-independent or partially ordered components to improve computation and execution speed. There are two primary approaches for executing concurrency: interleaving concurrency and true concurrency. The main representative of interleaving concurrency is bisimulation/rooted branching bisimulation equivalences which is also readily explored. This work eventually founded the comprehensive axiomatization modulo bisimulation equivalence -- ACP (Algebra of Communicating Processes).The other approach to concurrency is true concurrency. Research on true concurrency is active and includes many emerging applications. First, there are several truly concurrent bisimulation equivalences, including: pomset bisimulation equivalence, step bisimulation equivalence, history-preserving (hp-) bisimulation equivalence, and hereditary history-preserving (hhp-) bisimulation equivalence, the most well-known truly concurrent bisimulation equivalence.

  • Advancements in Bayesian Methods and Implementations

    • 1 Edición
    • Volumen 47
    • Inglés
    Advancements in Bayesian Methods and Implementation, Volume 47 in the Handbook of Statistics series, highlights new advances in the field, with this new volume presenting interesting chapters on a variety of timely topics, including Fisher Information, Cramer-Rao and Bayesian Paradigm, Compound beta binomial distribution functions, MCMC for GLMMS, Signal Processing and Bayesian, Mathematical theory of Bayesian statistics where all models are wrong, Machine Learning and Bayesian, Non-parametric Bayes, Bayesian testing, and Data Analysis with humans, Variational inference or Functional horseshoe, Generalized Bayes.

  • Environmental Data Analysis with MatLab or Python

    Principles, Applications, and Prospects
    • 3 Edición
    • William Menke
    • Inglés
    Environmental Data Analysis with MATLAB, Third Edition, is a new edition that expands fundamentally on the original with an expanded tutorial approach, more clear organization, new crib sheets, and problem sets providing a clear learning path for students and researchers working to analyze real data sets in the environmental sciences. The work teaches the basics of the underlying theory of data analysis and then reinforces that knowledge with carefully chosen, realistic scenarios, including case studies in each chapter. The new edition is expanded to include applications to Python, an open source software environment. Significant content in Environmental Data Analysis with MATLAB, Third Edition is devoted to teaching how the programs can be effectively used in an environmental data analysis setting. This new edition offers chapters that can both be used as self-contained resources or as a step-by-step guide for students, and is supplemented with data and scripts to demonstrate relevant use cases.

  • Geometry and Statistics

    • 1 Edición
    • Volumen 46
    • Inglés
    Geometry and Statistics, Volume 46 in the Handbook of Statistics series, highlights new advances in the field, with this new volume presenting interesting chapters written by an international board of authors.

  • Simulation

    • 6 Edición
    • Sheldon M. Ross
    • Inglés
    Simulation, Sixth Edition continues to introduce aspiring and practicing actuaries, engineers, computer scientists and others to the practical aspects of constructing computerized simulation studies to analyze and interpret real phenomena. Readers will learn to apply the results of these analyses to problems in a wide variety of fields to obtain effective, accurate solutions and make predictions. By explaining how a computer can be used to generate random numbers and how to use these random numbers to generate the behavior of a stochastic model over time, this book presents the statistics needed to analyze simulated data and validate simulation models.

  • Discrete Mathematics

    Essentials and Applications
    • 1 Edición
    • Ali Grami
    • Inglés
    Discrete Mathematics: Essentials and Applications offers a comprehensive survey of the area, particularly concentrating on the basic principles and applications of Discrete Mathematics. This up-to-date text provides proofs of significance, keeping the focus on numerous relevant examples and many pertinent applications. Written in a simple and clear tone, the title features insightful descriptions and intuitive explanations of all complex concepts and ensures a thorough understanding of the subject matter.

  • Edge/Fog Computing Paradigm: The Concept, Platforms and Applications.

    • 1 Edición
    • Volumen 127
    • Inglés
    Advances in Computers, Volume 127 presents innovations in computer hardware, software, theory, design and applications, with this updated volume including new chapters on Edge AI, Edge Computing, Edge Analytics, Edge Data Analytics, Edge Native Applications, Edge Platforms, Edge Computing, IoT, Internet of Things, etc.

Temas relacionados