الصفحة 1
الصفحة 1
img

Non-negative Matrices and Markov Chains

This book is a photographic reproduction of the book of the same title published in 1981, for which there has been continuing demand on account of its accessible technical level. Its appearance also helped generate considerable subsequent work on inhomogeneous products of matrices. This printing adds an additional bibliography on coefficients of ergodicity and a list of corrigenda.

img

Modelli Dinamici Discreti = Discrete Dynamic Models

Discrete mathematical modeling is one of the driving factors in modern mathematics research, and has played a role of synthesis between different disciplines, becoming a tool for qualitative and quantitative analysis in applied sciences. This volume provides an introduction to the analysis of discrete dynamic systems, following a modeling approach. An examination of a wide range of examples, models, and motivations drawn from Biology, Demography, Engineering and Economics, is followed by the presentation of the tools for the study of linear and non-linear scalar dynamical systems, with particular attention to stability analysis. The linear difference equations are studied in detail and an elementary introduction to the Z and DFT transforms is provided. One chapter is devoted to the study of bifurcations and chaotic dynamics. One-step vector dynamical systems and the applications of Markov chains are the subject of three chapters.

img

Modeling Uncertainty : An Examination of Stochastic Theory, Methods, and Applications

​Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications, is a volume undertaken by the friends and colleagues of Sid Yakowitz in his honor. Fifty internationally known scholars have collectively contributed 30 papers on modeling uncertainty to this volume. Each of these papers was carefully reviewed and in the majority of cases the original submission was revised before being accepted for publication in the book. The papers cover a great variety of topics in probability, statistics, economics, stochastic optimization, control theory, regression analysis, simulation, stochastic programming, Markov decision process, application in the HIV context, and others. There are papers with a theoretical emphasis and others that focus on applications. A number of papers survey the work in a particular area and in a few papers the authors present their personal view of a topic. It is a book with a considerable number of expository articles, which are accessible to a nonexpert - a graduate student in mathematics, statistics, engineering, and economics departments, or just anyone with some mathematical background who is interested in a preliminary exposition of a particular topic. Many of the papers present the state of the art of a specific area or represent original contributions which advance the present state of knowledge. In sum.

img

Measure Theory and Probability Theory

The book can be used as a text for a two semester sequence of courses in measure theory and probability theory, with an option to include supplemental material on stochastic processes and special topics.Prerequisites are kept to the minimal level of an understanding of basic real analysis concepts such as limits, continuity, differentiability, Riemann integration, and convergence of sequences and series. A review of this material is included in the appendix. The book starts with an informal introduction that provides some heuristics into the abstract concepts of measure and integration theory, which are then rigorously developed. The first part of the book can be used for a standard real analysis course for both mathematics and statistics Ph.D. students as it provides full coverage of topics such as the construction of Lebesgue-Stieltjes measures on real line and Euclidean spaces, the basic convergence theorems, L^p spaces, signed measures, Radon-Nikodym theorem, Lebesgue's decomposition theorem and the fundamental theorem of Lebesgue integration on R, product spaces and product measures, and Fubini-Tonelli theorems. It also provides an elementary introduction to Banach and Hilbert spaces, convolutions, Fourier series and Fourier and Plancherel transforms.

img

Introduction to Discrete Event Systems

Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques

img

Fuzzy probabilities : New approach and applications

In probability and statistics we often have to estimate probabilities and parameters in probability distributions using a random sample. Instead of using a point estimate calculated from the data we propose using fuzzy numbers which are constructed from a set of confidence intervals. In probability calculations we apply constrained fuzzy arithmetic because probabilities must add to one. Fuzzy random variables have fuzzy distributions. A fuzzy normal random variable has the normal distribution with fuzzy number mean and variance. Applications are to queuing theory, Markov chains, inventory control, decision theory and reliability theory.

img

Formal approaches to software testing and runtime verification ; 1st Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc.

img

Formal approaches to software testing ; Vol. 3997 ; 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005.

img

Evolution Algebras and their Applications

Behind genetics and Markov chains, there is an intrinsic algebraic structure. It is defined as a type of new algebra: as evolution algebra. This concept lies between algebras and dynamical systems. Algebraically, evolution algebras are non-associative Banach algebras; dynamically, they represent discrete dynamical systems. Evolution algebras have many connections with other mathematical fields including graph theory, group theory, stochastic processes, dynamical systems, knot theory, 3-manifolds, and the study of the Ihara-Selberg zeta function. In this volume the foundation of evolution algebra theory and applications in non-Mendelian genetics and Markov chains is developed, with pointers to some further research topics.

img

Empirical Techniques in Finance

This book offers the opportunity to study and experience advanced empi- cal techniques in finance and in general financial economics. The book focuses on the contemporary empirical techniques used in the analysis of financial markets and how these are implemented using actual market data. With an emphasis on Implementation, this book helps foc- ing on strategies for rigorously combing finance theory and modeling technology to extend extant considerations in the literature. The main aim of this book is to equip the readers with an array of tools and techniques that will allow them to explore financial market problems with a fresh perspective. In this sense it is not another volume in eco- metrics. Of course, the traditional econometric methods are still valid and important; the contents of this book will bring in other related modeling topics that help more in-depth exploration of finance theory and putting it into practice. As seen in the derivatives analysis, modern finance theory requires a sophisticated understanding of stochastic processes. The actual data analyses also require new Statistical tools that can address the unique aspects of financial data. To meet these new demands, this book explains diverse modeling approaches with an emphasis on the application in the field of finance.

img

Eigenvalues, Inequalities, and Ergodic Theory

A problem of broad interest – the estimation of the spectral gap for matrices or differential operators (Markov chains or diffusions) – is covered in this book. The area has a wide range of applications, and provides a tool to describe the phase transitions and the effectiveness of random algorithms. In particular, the book studies a subset of the general problem, taking some approaches that have, up till now, only appeared largely in the Chinese literature.Eigenvalues, Inequalities and Ergodic Theory serves as an introduction to this developing field, and provides an overview of the methods used, in an accessible and concise manner.

img

Discrete-Time Markov Chains : Two-Time-Scale Methods and Applications

The motivation stems from existing and emerging applications in optimization and control of complex hybrid Markovian systems in manufacturing, wireless communication, and financial engineering. Much effort in this book is devoted to designing system models arising from these applications, analyzing them via analytic and probabilistic techniques, and developing feasible computational algorithms so as to reduce the inherent complexity. This book presents results including asymptotic expansions of probability vectors, structural properties of occupation measures, exponential bounds, aggregation and decomposition and associated limit processes, and interface of discrete-time and continuous-time systems. One of the salient features is that it contains a diverse range of applications on filtering, estimation, control, optimization, and Markov decision processes, and financial engineering.

img

Dependence in Probability and Statistics

This book gives a detailed account of some recent developments in the field of probability and statistics for dependent data. The book covers a wide range of topics from Markov chain theory and weak dependence with an emphasis on some recent developments on dynamical systems, to strong dependence in times series and random fields. A special section is devoted to statistical estimation problems and specific applications. The book is written as a succession of papers by some specialists of the field, alternating general surveys, mostly at a level accessible to graduate students in probability and statistics, and more general research papers mainly suitable to researchers in the field. The first part of the book considers some recent developments on weak dependent time series, including some new results for Markov chains as well as some developments on new notions of weak dependence. This part also intends to fill a gap between the probability and statistical literature and the dynamical system literature. The second part presents some new results on strong dependence with a special emphasis on non-linear processes and random fields currently encountered in applications. Finally, in the last part, some general estimation problems are investigated, ranging from rate of convergence of maximum likelihood estimators to efficient estimation in parametric or non-parametric time series models, with an emphasis on applications with non-stationary data.

img

Markov Chains : Models, Algorithms and Applications

Markov chains are a particularly powerful and widely used tool for analyzing a variety of stochastic (probabilistic) systems over time. This monograph will present a series of Markov models, starting from the basic models and then building up to higher-order models. Included in the higher-order discussions are multivariate models, higher-order multivariate models, and higher-order hidden models. In each case, the focus is on the important kinds of applications that can be made with the class of models being considered in the current chapter. Special attention is given to numerical algorithms that can efficiently solve the models. Therefore, Markov Chains: Models, Algorithms and Applications outlines recent developments of Markov chain models for modeling queueing sequences, Internet, re-manufacturing systems, reverse logistics, inventory systems, bio-informatics, DNA sequences, genetic networks, data mining, and many other practical systems.

img

Lectures on Probability Theory and Statistics : Ecole d'Eté de Probabilités de Saint-Flour XXXIII - 2003

Contains two of the three lectures that were given at the 33rd Probability Summer School in Saint-Flour (July 6-23, 2003). Amir Dembo’s course is devoted to recent studies of the fractal nature of random sets, focusing on some fine properties of the sample path of random walk and Brownian motion. In particular, the cover time for Markov chains, the dimension of discrete limsup random fractals, the multi-scale truncated second moment and the Ciesielski-Taylor identities are explored. Tadahisa Funaki’s course reviews recent developments of the mathematical theory on stochastic interface models, mostly on the so-called nabla varphi interface model. The results are formulated as classical limit theorems in probability theory, and the text serves with good applications of basic probability techniques.

img

Le raisonnement bayésien : Modélisation et inférence = Bayesian reasoning : Modeling and inference

Describes in detail the practice of the Bayesian statistical approach using many examples chosen for their educational interest. The first part gives the general principles of statistical modeling making it possible to supervise but also to come to the aid of the imagination of the apprentice modeler. By examining examples of increasing difficulty, the reader forges the keys to building their own model. The second part presents the most useful calculation algorithms for estimating the unknowns of the model. Each inference method is presented and illustrated by numerous application cases.

img

Arithmetical investigations : Representation theory, orthogonal polynomials, and quantum interpolations

In this volume the author further develops his philosophy of quantum interpolation between the real numbers and the p-adic numbers. The p-adic numbers contain the p-adic integers Zp which are the inverse limit of the finite rings Z/pn. This gives rise to a tree, and probability measures w on Zp correspond to Markov chains on this tree. From the tree structure one obtains special basis for the Hilbert space L2(Zp,w). The real analogue of the p-adic integers is the interval [-1,1], and a probability measure w on it gives rise to a special basis for L2([-1,1],w) - the orthogonal polynomials, and to a Markov chain on "finite approximations" of [-1,1]. For special (gamma and beta) measures there is a "quantum" or "q-analogue" Markov chain, and a special basis, that within certain limits yield the real and the p-adic theories. This idea can be generalized variously. In representation theory, it is the quantum general linear group GLn(q)that interpolates between the p-adic group GLn(Zp), and between its real (and complex) analogue -the orthogonal On (and unitary Un )groups. There is a similar quantum interpolation between the real and p-adic Fourier transform and between the real and p-adic (local unramified part of) Tate thesis, and Weil explicit sums.

img

An Introduction to Markov Processes

Provides a more accessible introduction than other books on Markov processes by emphasizing the structure of the subject and avoiding sophisticated measure theoryLeads the reader to a rigorous understanding of basic theory

img

Algorithms in Bioinformatics : Theory and Implementation

Explores a comprehensive and insightful treatment of the practical application of bioinformatic algorithms in a variety of fields. Delivers a fulsome treatment of some of the main algorithms used to explain biological functions and relationships. It introduces readers to the art of algorithms in a practical manner which is linked with biological theory and interpretation. The book covers many key areas of bioinformatics, including global and local sequence alignment, forced alignment, detection of motifs, Sequence logos, Markov chains or information entropy. Other novel approaches are also described, such as Self-Sequence alignment, Objective Digital Stains (ODSs) or Spectral Forecast and the Discrete Probability Detector (DPD) algorithm. Readers will also benefit from the inclusion of: A detailed presentation of new methods, such as Self-sequence alignment, Objective Digital Stains and Spectral Forecast ; A treatment of sequence alignment, including local sequence alignment, global sequence alignment and forced sequence alignment with full implementations ; Discussions of position-specific weight matrices, including the count, weight, relative frequencies, and log-likelihoods matrices ; A detailed presentation of the methods related to Markov Chains as well as a description of their implementation in Bioinformatics and adjacent fields ; An examination of information and entropy, including sequence logos and explanations related to their meaning ; A chapter on philosophical transactions that allows the reader a broader view of the prediction process ; Extensive worked examples with detailed case studies that point out the meaning of different results

عدد النتائج بكل صفحة