Saltar al contenido principal
Elsevier

Libros en Matemáticas

  • Mathematical Problem Solving

    • 1 Edición
    • ALAN H. SCHOENFELD
    • Inglés
    Mathematical Problem Solving provides information pertinent to the nature of mathematical thinking at any level. This book provides a framework for the analysis of complex problem-solving behavior. Organized into two parts encompassing 10 chapters, this book begins with an overview of the four qualitatively different aspects of complex intellectual activity, namely, cognitive resources, heuristics, control, and belief systems. This text then presents a series of empirical investigations that flesh out the analytical framework. Other chapters consider the ways that competent problem solvers make the most of the knowledge at their disposal. This book discusses as well the kind s of learning that can result from carefully designed instruction. The final chapter deals with observations made in typical high school classrooms, which serve to indicate some of the sources of students' mathematical behavior. This book is a valuable resource for mathematicians and mathematics teachers. Readers who are interested in higher-order thinking skills in any domain will also find this book useful.

  • Mathematical Problems and Puzzles

    from the Polish Mathematical Olympiads
    • 1 Edición
    • S. Straszewicz
    • I. N. Sneddon + 1 más
    • Inglés
    Popular Lectures in Mathematics, Volume 12: Mathematical Problems and Puzzles: From the Polish Mathematical Olympiads contains sample problems from various fields of mathematics, including arithmetic, algebra, geometry, and trigonometry. The contest for secondary school pupils known as the Mathematical Olympiad has been held in Poland every year since 1949/50. This book is composed of two main parts. Part I considers the problems and solutions about integers, polynomials, algebraic fractions and irrational experience. Part II focuses on the problems of geometry and trigonometric transformation, along with their solutions. The provided solutions aim to extend the student’s knowledge of mathematics and train them in mathematical thinking. This book will prove useful to secondary school mathematics teachers and students.

  • Statistical Inferences for Stochastic Processes

    Theory and Methods
    • 1 Edición
    • Ishwar V. Basawa + 1 más
    • Inglés
    Statistical Inference Stochastic Processes provides information pertinent to the theory of stochastic processes. This book discusses stochastic models that are increasingly used in scientific research and describes some of their applications. Organized into three parts encompassing 12 chapters, this book begins with an overview of the basic concepts and procedures of statistical inference. This text then explains the inference problems for Galton–Watson process for discrete time and Markov-branching processes for continuous time. Other chapters consider problems of prediction, filtering, and parameter estimation for some simple discrete-time linear stochastic processes. This book discusses as well the ergodic type chains with finite and countable state-spaces and describes some results on birth and death processes that are of a non-ergodic type. The final chapter deals with inference procedures for stochastic processes through sequential procedures. This book is a valuable resource for graduate students.

  • Introduction to Non-Euclidean Geometry

    • 1 Edición
    • EISENREICH
    • Inglés
    An Introduction to Non-Euclidean Geometry covers some introductory topics related to non-Euclidian geometry, including hyperbolic and elliptic geometries. This book is organized into three parts encompassing eight chapters. The first part provides mathematical proofs of Euclid’s fifth postulate concerning the extent of a straight line and the theory of parallels. The second part describes some problems in hyperbolic geometry, such as cases of parallels with and without a common perpendicular. This part also deals with horocycles and triangle relations. The third part examines single and double elliptic geometries. This book will be of great value to mathematics, liberal arts, and philosophy major students.

  • Order Statistics & Inference

    Estimation Methods
    • 1 Edición
    • Narayanaswamy Balakrishnan + 1 más
    • Inglés
    The literature on order statistics and inferenc eis quite extensive and covers a large number of fields ,but most of it is dispersed throughout numerous publications. This volume is the consolidtion of the most important results and places an emphasis on estimation. Both theoretical and computational procedures are presented to meet the needs of researchers, professionals, and students. The methods of estimation discussed are well-illustrated with numerous practical examples from both the physical and life sciences, including sociology,psychology... nd electrical and chemical engineering. A complete, comprehensive bibliography is included so the book can be used both aas a text and reference.

  • System-Theoretic Methods in Economic Modelling I

    • 1 Edición
    • Volumen 19
    • S. Mittnik
    • Inglés
    The value of applying system-theoretic concepts to economic modelling problems arises from the fact that it offers a unifying framework for modelling dynamic systems. In addition to offering this powerful conceptual framework, it provides a wide range of tools useful in applied work. System-theoretic techniques enter predominantly two stages of economic modelling efforts: the stage of model construction and the stage of model application in accordance with the modelling. The objective of this and subsequent volumes on System-Theoretic Methods in Economic Modelling I is to initiate and/or intensify dialogues between researchers and practitioners within and across the disciplines involved. This first volume brings together papers exhibiting a wide range of system-theoretic techniques and applications to economic problems. The papers have been divided into two groups, following roughly--but not necessarily--the above classification into the construction and application stages of economic modelling. The papers in the first group focus on the identification of dynamic and static systems, while the papers in the second group address dynamic optimization problems.

  • Developments in Statistics

    • 1 Edición
    • Volumen 2
    • Paruchuri R. Krishnaiah
    • Inglés
    Development in Statistics, Volume 2 is a collection of papers that deals with one- and two- dimensional structures, the statistical theory of linear systems, bispectra, and energy transfer in grid-generated turbulence. Several papers discuss simultaneous test procedures, stochastic Markovian fields, as well as the stopping of invariant sequential probability ratio tests. One paper examines the relationships between excitation and response statistics for one-dimensional structures, and then as extended to two-dimensional structures. The special features issuing from these extensions are related to simple supported rectangular and square plates excited by a stationary random force applied at a single point. Another paper discuses the relationship between the measurable bispectra and the one-dimensional energy transfer terms, and which bispectra will vanish in an isotropic turbulent flow field. One paper reviews simultaneous test procedures, including the evaluation of the probability integrals of multivariates, multivariate gamma distributions, distributions of correlated quadratic forms. Another paper analyzes two concerns regarding the random sample size N, also known as stopping time. These are if N is finite with a probability of one, or the rate that the tail probabilities in the distribution of N go to zero. Mathematicians, statisticians, students, and professors of calculus or advanced mathematics will surely appreciate the collection.

  • The Fix-Point Approach to Interdependent Systems

    • 1 Edición
    • Volumen 132
    • H. Wold
    • Inglés
    Contributions to Economic Analysis, 132: The Fix-Point Approach to Interdependent Systems focuses on the Fix-Point method for the estimation of interdependent systems, including the Algebraic Fix-Point, Parametric Fix-Point, and Parametric Fractional Fix-Point methods. The selection first ponders on the fix-point approach to interdependent systems, iterative algorithms for fix-point estimation, and GEID specification. Discussions focus on the GEID estimator, convergence to multiple parameter sets, design of iterative algorithms, and challenges of simultaneous equations systems. The text then takes a look at the Parametric Fix-Point (PFP) and the Algebraic Fix-Point (AFP) methods; estimation of real-world models by fix-point and other methods; and a search for asymptotically efficient estimators. Topics include autoregressive errors, estimation of the Klein-Goldberger model, estimation of a model of the Czechoslovak economy, and the Parametric Fractional Fix-Point (PFFP) and Parametric Recursive Fix-Point (PRFP) methods. The text elaborates on fix-point estimates of the structure of a model using different Y proxy starts; analysis of the nonlinear Klein-Goldberger model using fix-point estimation and other methods; and fix-point estimation in interdependent systems with specification errors. The selection is a vital reference for researchers interested in the Fix-Point method for the estimation of interdependent systems.

  • Hilbertian Kernels and Spline Functions

    • 1 Edición
    • Volumen 4
    • M. Atteia
    • Inglés
    In this monograph, which is an extensive study of Hilbertian approximation, the emphasis is placed on spline functions theory. The origin of the book was an effort to show that spline theory parallels Hilbertian Kernel theory, not only for splines derived from minimization of a quadratic functional but more generally for splines considered as piecewise functions type.Being as far as possible self-contained, the book may be used as a reference, with information about developments in linear approximation, convex optimization, mechanics and partial differential equations.

  • Introduction to Structural Equation Models

    • 1 Edición
    • Otis Dudley Duncan
    • Inglés
    Introduction to Structural Equation Models prepares the reader to understand the recent sociological literature on the use of structural equation models in research, and discusses methodological questions pertaining to such models. The material in first seven chapters is almost entirely standard, with the remaining four introducing progressively more open-ended issues, seducing the reader into beginning to think for himself about the properties of models or even to suggest problems that may intrigue the advanced student.

  • Ordinary Differential Equations

    Introduction to the Theory of Ordinary Differential Equations in the Real Domain
    • 1 Edición
    • Volumen 13
    • J. Kurzweil
    • Inglés
    The author, Professor Kurzweil, is one of the world's top experts in the area of ordinary differential equations - a fact fully reflected in this book. Unlike many classical texts which concentrate primarily on methods of integration of differential equations, this book pursues a modern approach: the topic is discussed in full generality which, at the same time, permits us to gain a deep insight into the theory and to develop a fruitful intuition. The basic framework of the theory is expanded by considering further important topics like stability, dependence of a solution on a parameter, Carathéodory's theory and differential relations.The book is very well written, and the prerequisites needed are minimal - some basics of analysis and linear algebra. As such, it is accessible to a wide circle of readers, in particular to non-mathematicians.

  • Discrete Optimization

    • 1 Edición
    • R. Gary Parker + 1 más
    • Inglés
    This book treats the fundamental issues and algorithmic strategies emerging as the core of the discipline of discrete optimization in a comprehensive and rigorous fashion. Following an introductory chapter on computational complexity, the basic algorithmic results for the two major models of polynomial algorithms are introduced--models using matroids and linear programming. Further chapters treat the major non-polynomial algorithms: branch-and-bound and cutting planes. The text concludes with a chapter on heuristic algorithms.Several appendixes are included which review the fundamental ideas of linear programming, graph theory, and combinatorics--prere... for readers of the text. Numerous exercises are included at the end of each chapter.

  • Numerical Mathematics and Applications

    • 1 Edición
    • Volumen 1
    • J. Vignes + 1 más
    • Inglés
    IMACS Transactions on Scientific Computation – 85, Volume I: Numerical Mathematics and Applications contains papers on theoretical and applied aspects of numerical mathematics presented at the 11th IMACS World Congress on Scientific Computation, held in Oslo, Norway on August 5-9, 1985. The book focuses on the processes, methodologies, and approaches involved in computer arithmetic. The selection first highlights the use of CESTAC method in the parallel computation of roots of polynomials, CESTAC, and reducing abbreviation errors in iterative resolution of linear systems. Discussions focus on notations and theoretical processes, sequence of iterates in floating-point arithmetic, perturbation method, and CESTAC tested on algorithm and numerical results. The book then takes a look at optimal termination criterion and accuracy tests in mathematical programming; use of the normed residue to check the quality of the solution of a linear system; and computable bounds for solutions of integral equations. The manuscript examines arbitrarily accurate boundaries for solutions of ODEs with initial values using variable precision arithmetic and remarks on some modified Romberg algorithms for numerical integration. Topics include speed of convergence and a priori truncation error estimates, acceleration of convergence, extrapolation schemes, and the initial boundary value problem. The selection is a dependable source of data for mathematicians and researchers interested in numerical mathematics and applications.

  • Stochastic Differential Equations and Diffusion Processes

    • 2 Edición
    • Volumen 24
    • N. Ikeda + 1 más
    • Inglés
    Being a systematic treatment of the modern theory of stochastic integrals and stochastic differential equations, the theory is developed within the martingale framework, which was developed by J.L. Doob and which plays an indispensable role in the modern theory of stochastic analysis.A considerable number of corrections and improvements have been made for the second edition of this classic work. In particular, major and substantial changes are in Chapter III and Chapter V where the sections treating excursions of Brownian Motion and the Malliavin Calculus have been expanded and refined. Sections discussing complex (conformal) martingales and Kahler diffusions have been added.

  • Statistical Methods in Longitudinal Research

    Principles and Structuring Change
    • 1 Edición
    • Volumen 1
    • Alexander von Eye
    • Inglés
    These edited volumes present new statistical methods in a way that bridges the gap between theoretical and applied statistics. The volumes cover general problems and issues and more specific topics concerning the structuring of change, the analysis of time series, and the analysis of categorical longitudinal data. The book targets students of development and change in a variety of fields - psychology, sociology, anthropology, education, medicine, psychiatry, economics, behavioural sciences, developmental psychology, ecology, plant physiology, and biometry - with basic training in statistics and computing.

  • Linear Panel Analysis

    Models of Quantitative Change
    • 1 Edición
    • Ronald C. Kessler
    • Inglés
    Linear Panel Analysis: Models of Quantitative Change focuses on the use of linear models in the analysis of change data measured on a sample of individuals over multiple time points. This book is organized into 12 chapters. After a general introduction to change analysis in Chapter 1, some basic algebraic results on change scores are presented in Chapter 2. Chapter 3 constructs and analyzes structural equation models for studying the causes of change, while Chapter 4 outlines several ways of simply describing change in groups. The uses and abuses of cross-lagged panel correlations are discussed in Chapter 5. Chapters 6 to 10 deal with a variety of special topics that arise in panel analysis. The alternatives to the analysis of over-time data for a set of individuals are described in Chapter 11. The last chapter is devoted to the practical aspects of designing and carrying out the data collection phase of a panel study. This publication is intended for social scientists who work with change data.

  • System-Theoretic Methods in Economic Modelling II

    • 1 Edición
    • Volumen 22
    • S. Mittnik
    • Inglés
    System-Theoretic Methods in Economic Modelling II complements the editor's earlier volume, bringing together current research efforts integrating system-theoretic concepts with economic modelling processes. The range of papers presented here goes beyond the long-accepted control-theoretic contributions in dynamic optimization and focuses on system-theoretic methods in the construction as well as the application stages of economic modelling. This volume initiates new and intensifies existing debate between researchers and practitioners within and across the disciplines involved, with the objective of encouraging interdisciplinary research. The papers are split into four sections - estimation, filtering and smoothing problems in the context of state space modelling; applying the state space concept to financial modelling; modelling rational expectation; and a miscellaneous section including a follow-up case study by Tse and Khilnani on their integrated system model for a fishery management process, which featured in the first volume.

  • Annual Review in Automatic Programming

    International Tracts in Computer Science and Technology and Their Application, Vol. 4
    • 1 Edición
    • Richard Goodman
    • Inglés
    Annual Review in Automatic Programming, Volume 4 is a collection of papers that deals with the GIER ALGOL compiler, a parameterized compiler based on mechanical linguistics, and the JOVIAL language. A couple of papers describes a commercial use of stacks, an IBM system, and what an ideal computer program support system should be. One paper reviews the system of compilation, the development of a more advanced language, programming techniques, machine independence, and program transfer to other machines. Another paper describes the ALGOL 60 system for the GIER machine including running ALGOL programs, storage allocation, addressing of variables, program references, procedure calls, storage problem of the translator, and writing the translator. Another paper investigates the internal operation of the ALGOL translator, the source and target languages, the parts of the translator, Polish postfix notation, symbol table in the translator, and the realization of the stack concept. One paper examines the components for a large digital computer, specific features, and compares these to IBM's IBSYS. The collection will prove valuable for programmers, computer engineers, computer instructors, and students of computer science.

  • Developments in Statistics

    • 1 Edición
    • Volumen 1
    • Paruchuri R. Krishnaiah
    • Inglés
    Development in Statistics, Volume 1 is a collection of papers that deals with theory and application of parameter estimation in stochastic differential systems, the comparative aspects of the study of ordinary time series, and real multivariate distributions. Some papers discuss covariance analysis of nonstationary time series, nonparametric repeated significance tests, as well as discrete optimal factorial designs for statisticians and investigators of experiments. One paper cites an application of parameter estimation in stochastic differential systems in approximates of stability and control derivatives from flight test data. Another paper cites cases where procedures of ordinary time series (or point processes) have direct analogs in the study of point processes (or ordinary time series). One paper explains the applications of multivariate distributions in simultaneous tests on the equality of eigenvalues toward the covariance matrix, canonical correlation matrix, and a matrix associated with the multivariate analysis of variance. Another paper reviews two types of repeated significance tests, namely, the genuinely distribution-free tests based on a broad class of nonparametric statistics; and the asymptotically distribution-free tests based on a broad class of parametric statistics but having asymptotically nonparametric behavior. Both types can provide a unified solution to a broad class of problems. The collection can be valuable for mathematicians, students, and professors of calculus, statistics, or advanced mathematics.

  • Pursuit-Evasion Differential Games

    • 1 Edición
    • Volumen 14
    • Y. Yavin + 1 más
    • Inglés
    Twenty papers are devoted to the treatment of a wide spectrum of problems in the theory and applications of dynamic games with the emphasis on pursuit-evasion differential games. The problem of capturability is thoroughly investigated, also the problem of noise-corrupted (state) measurements. Attention is given to aerial combat problems and their attendant modelling issues, such as variable speed of the combatants, the three-dimensionality of physical space, and the combat problem, i.e. problems related to 'role determination'.

  • Handbook of Set-Theoretic Topology

    • 1 Edición
    • K. Kunen + 1 más
    • Inglés
    This Handbook is an introduction to set-theoretic topology for students in the field and for researchers in other areas for whom results in set-theoretic topology may be relevant. The aim of the editors has been to make it as self-contained as possible without repeating material which can easily be found in standard texts. The Handbook contains detailed proofs of core results, and references to the literature for peripheral results where space was insufficient. Included are many open problems of current interest.In general, the articles may be read in any order. In a few cases they occur in pairs, with the first one giving an elementary treatment of a subject and the second one more advanced results. These pairs are: Hodel and Juhász on cardinal functions; Roitman and Abraham-Todorčević on S- and L-spaces; Weiss and Baumgartner on versions of Martin's axiom; and Vaughan and Stephenson on compactness properties.

  • Subharmonic Functions

    Volume 2
    • 1 Edición
    • Volumen 2
    • W. K. Hayman
    • P. M. Cohn + 1 más
    • Inglés
    Building on the foundation laid in the first volume of Subharmonic Functions, which has become a classic, this second volume deals extensively with applications to functions of a complex variable. The material also has applications in differential equations and differential equations and differential geometry. It reflects the increasingly important role that subharmonic functions play in these areas of mathematics. The presentation goes back to the pioneering work of Ahlfors, Heins, and Kjellberg, leading to and including the more recent results of Baernstein, Weitsman, and many others. The volume also includes some previously unpublished material. It addresses mathematicians from graduate students to researchers in the field and will also appeal to physicists and electrical engineers who use these tools in their research work. The extensive preface and introductions to each chapter give readers an overview. A series of examples helps readers test their understatnding of the theory and the master the applications.

  • Curves and Surfaces for Computer-Aided Geometric Design

    A Practical Guide
    • 3 Edición
    • Gerald Farin
    • Inglés
    A leading expert in CAGD, Gerald Farin covers the representation, manipulation, and evaluation of geometric shapes in this the Third Edition of Curves and Surfaces for Computer Aided Geometric Design. The book offers an introduction to the field that emphasizes Bernstein-Bezier methods and presents subjects in an informal, readable style, making this an ideal text for an introductory course at the advanced undergraduate or graduate level.The Third Edition includes a new chapter on Topology, offers new exercises and sections within most chapters, combines the material on Geometric Continuity into one chapter, and updates existing materials and references. Implementation techniques are addressed for practitioners by the inclusion of new C programs for many of the fundamental algorithms. The C programs are available on a disk included with the text. System Requirements:IBM PC or compatibles, DOS version 2.0 or higher.

  • Regiomontanus: His Life and Work

    • 1 Edición
    • Volumen 1
    • E. Zinner + 1 más
    • Inglés
    The 500th anniversary of Regiomontanus's birth has occasioned this depiction of his life and work. It is the first English translation of Ernst Zinner's monumental biography, plus a number of specially-written supplementary articles which help paint a more comprehensive picture of the current state of knowledge about Regiomontanus. The articles show the high regard in which the biography is still held by the community of scholars doing work on the mathematics of the Renaissance.Zinner's biography is a mine of information about early printing, astrolabes, tables of eclipses and the world of Henry of Langenstein, Johann of Gmunden, Georg Peuerbach, Cardinal Bessarion, Nicholas of Cusa and the extraordinary itinerant scholar, Johannes Müller of Königsberg — Regiomontanus. His contributions to mathematics are discussed (for example, he may have discovered the fifth and sixth perfect numbers) as well as the mysteries surrounding his life and death.

  • Prehistoric Hunter-Gatherers

    The Emergence of Cultural Complexity
    • 1 Edición
    • RABIGER
    • Inglés
    Prehistoric Hunters–Gatherers: The Emergence of Cultural Complexity focuses on the emergence of cultural complexity among hunter–gatherers. This book presents the demographic, ecological, and social perspectives that add to the understanding of the emergence of more elaborate organization. Organized into four parts encompassing 17 chapters, this book begins with an overview of previous perspectives on cultural complexity and suggests directions in the study of change. This text then proposes a synthesis of both ecological and social approaches as a more powerful interpretative framework for the study of complexity. Other chapters consider the relationship between population and social complexity in an elaboration of major argument regarding demographic pressure and cultural change. This book provides as well an intriguing look at the regional consequences of their focus on whaling. The final chapter characterizes approaches to hunter–gatherer complexity and reiterates the significance of change in human society prior to the adoption of domesticated animals and plants. This book is a valuable resource for archeologists and anthropologists.

  • The Retinoids: v. 2

    • 1 Edición
    • BAERT ET BAERT ET AL
    • Inglés
    The Retinoids is a collection of papers that deals with the biochemistry and metabolism of the retinoids and of specific retinoid-binding proteins that are found in plasma and in cells. Some papers describes the biosynthesis and metabolism of retinol, with plasma retinol-binding protein, with intracellular retinoid-binding proteins, as well as with the metabolism and role of retinoids in the eye. Other papers review the metabolism of retinoic acid and synthetic retinoids, the cellular and molecular mechanisms of action of the retinoids, and applied biology of the retinoids. Several papers discuss toxicology, teratology, immunology, and the applications of retinoids in the fields of cancer and dermatology. One paper describes the transport of retinoic acid and other acidic retinoids in plasma in association with serum albumin. Another paper hypothesizes that vitamin A affects differentiation at the cellular level and addresses how tissue specificity of this action can arise. One paper examines the role of retinoid-binding proteins in vertebrate visual system, particularly how these proteins transport retinoids in the serum, cell sap, and interstitial spaces of the eye. The collection can prove useful for biologists, microbiologists, cellular biologists, students and professors of biology, oncology, ophthalmology or dermatology.

  • Systematic Glossary of the Terminology of Statistical Methods

    English/French/Spanish/Russian
    • 1 Edición
    • I. Paenson
    • Inglés
    Systematic Glossary of the Terminology of Statistical Methods focuses on the elaboration of terms used in statistical methods. The publication first elaborates on the subject and basic methods of statistics, collection of statistical data, and classification and tabulation of statistical data. Discussions focus on the basic methods of statistics, units used in statistics, statistical inquiry, and the subject of statistics. The text then ponders on graphic presentation, averages, and measurements of variation. The manuscript examines essential theoretical distributions, moments of a frequency distribution, and statistical inference. Topics include point and interval estimations, binomial and normal distributions, nature of theoretical distributions, and elements of the theory of probability. The text also evaluates the theory of attributes, correlation, analysis of variance, and time series, including decomposition of time series, multiple correlation, and variance analysis with two or more principles of classification. The publication is a valuable reference for readers interested in the terms used in statistical methods.

  • Scientific Computing

    An Introduction with Parallel Computing
    • 1 Edición
    • Gene H. Golub + 1 más
    • Inglés
    This book introduces the basic concepts of parallel and vector computing in the context of an introduction to numerical methods. It contains chapters on parallel and vector matrix multiplication and solution of linear systems by direct and iterative methods. It is suitable for advanced undergraduate and beginning graduate courses in computer science, applied mathematics, and engineering. Ideally, students will have access to a parallel or Vector computer, but the material can be studied profitably in any case.

  • A Graduate Course in Probability

    • 1 Edición
    • Howard G. Tucker
    • Z. W. Birnbaum + 1 más
    • Inglés
    Probability and Mathematical Statistics: A Series of Monographs and Textbooks: A Graduate Course in Probability presents some of the basic theorems of analytic probability theory in a cohesive manner. This book discusses the probability spaces and distributions, stochastic independence, basic limiting operations, and strong limit theorems for independent random variables. The central limit theorem, conditional expectation and martingale theory, and Brownian motion are also elaborated. The prerequisite for this text is knowledge of real analysis or measure theory, particularly the Lebesgue dominated convergence theorem, Fubini's theorem, Radon-Nikodym theorem, Egorov's theorem, monotone convergence theorem, and theorem on unique extension of a sigma-finite measure from an algebra to the sigma-algebra generated by it. This publication is suitable for a one-year graduate course in probability given in a mathematics program and preferably for students in their second year of graduate work.

  • Foundations of Microprogramming

    Architecture, Software, and Applications
    • 1 Edición
    • Ashok K. Agrawala + 1 más
    • Robert L. Ashenhurst
    • Inglés
    Foundations of Microprogramming: Architecture, Software, and Applications discusses the foundations and trends in microprogramming, focusing on the architectural, software, and application aspects of microprogramming. The book reviews microprocessors, microprogramming concepts, and characteristics, as well as the architectural features in microprogrammed computers. The text explains support software and the different hierarchies or levels of languages. These include assembler languages which are mnemonic or symbolic representation of machine commands; the procedure oriented machine-dependent; and the procedure oriented machine independent. A simulator is used to interpret programs written in machine or micro-language before the instructions in the program can be run. A simulator and translator (which change some steps from one program written in another language to another program) should interface with the design language of the computer for these components to operate even when a new machine is developed. The book cites four existing computers which have "simple" diagonal microinstructions such as the Hewlett-Packard HP21MX and the Microdata 3200. Horizontal types of microinstructions allow parallel execution of many micro-operations, such as the Cal Data family of computers, the Varian 73, and the NANODATA QM-1. Microprogramming is applied in emulation, program enhancement, operating systems, signal processing, and graphics. The text can benefit programmers, computer engineers, computer technicians, and computer instructors dealing with many aspects of computers such as programming, hardware interface, networking, engineering or design.

  • Differential Equations and Numerical Mathematics

    Selected Papers Presented to a National Conference Held in Novosibirsk, September 1978
    • 1 Edición
    • G. I. Marchuk
    • Inglés
    Differential Equations and Numerical Mathematics contains selected papers presented in a national conference held in Novosibirsk on September 1978. This book, as the conference, is organized into three sections. Section A describes the modern theory of efficient cubature formulas; embedding theorems; and problems of spectral analysis. Section B considers the theoretical questions of partial differential equations, with emphasis on hyperbolic equations and systems, formulations, and methods for nonclassical problems of mathematical physics. Section C addresses the various problems of numerical mathematics, with focus on the optimum and asymptotically optimum algorithms for solving the problems of numerical mathematics.

  • Algebraic Theory of Automata

    • 1 Edición
    • Abraham Ginzburg
    • Robert L. Ashenhurst
    • Inglés
    Algebraic Theory of Automata provides information pertinent to the methods and results of algebraic theory of automata. This book covers a variety of topics, including sets, semigroup, groupoids, isomorphism, semiautomata, proof of Kleene's theorem, and algebraic manipulations. Organized into seven chapters, this book begins with an overview of the fundamental properties of groups and semigroups. This text then examines the notion of semiautomaton, which serves as a basis for a rich and interesting theory. Other chapters consider algebraic notions and methods that are very useful in dealing with semiautomata. This book discusses as well some properties of the notion of covering of semiautomata. The final chapter deals with the theory of Krohn and Rhodes. This book is a valuable resource for graduate students.

  • Computer Chess

    • 1 Edición
    • Monroe Newborn
    • Thomas A. Standish
    • Inglés
    Computer Chess deals with the history of computer chess games and the programming of computer chess. Topics covered include chess programs such as the one initiated by Richard Greenblatt and those launched by the United States and the USSR in 1966-1967. The United States Computer Chess Championships from 1970 to 1973 are also discussed. Comprised of 10 chapters, this book begins with a historical overview of the basic ideas underlying computer chess and several of the earliest computer games. The next chapter deals with the chess match held in 1966 pitting the Kotok-McCarthy Chess Program of the United States and the ITEP (Institute of Theoretical and Experimental Physics) Chess Program of the Soviet Union. The reader is then introduced to Greenblatt's program, named Mac Hack Six, the first chess program to compete respectably against humans in tournament play. Subsequent chapters focus on the U.S. Computer Chess Championships, from its first edition in New York in 1970 to the fourth, held in Atlanta in 1973. Russia's chess program called KAISSA, an improved version of the ITEP Chess Program, is also described. The final chapter is devoted to OSTRICH, a chess-playing program written by George Arnold in the Digital Computer Laboratory of Columbia University's Department of Electrical Engineering and Computer Science in 1971. This monograph will be of value to computer science and those interested in computer chess programs and in the broader field of artificial intelligence.

  • A Computational Logic

    • 1 Edición
    • Robert S. Boyer + 1 más
    • Thomas A. Standish
    • Inglés
    ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and generalization. The publication first elaborates on a sketch of the theory and two simple examples, a precise definition of the theory, and correctness of a tautology-checker. Topics include mechanical proofs, informal development, formal specification of the problem, well-founded relations, natural numbers, and literal atoms. The book then examines the use of type information to simplify formulas, use of axioms and lemmas as rewrite rules, and the use of definitions. Topics include nonrecursive functions, computing values, free variables in hypothesis, infinite backwards chaining, infinite looping, computing type sets, and type prescriptions. The manuscript takes a look at rewriting terms and simplifying clauses, eliminating destructors and irrelevance, using equalities, and generalization. Concerns include reasons for eliminating isolated hypotheses, precise statement of the generalization heuristic, restricting generalizations, precise use of equalities, and multiple destructors and infinite looping. The publication is a vital source of data for researchers interested in computational logic.

  • Tables of Generalized Airy Functions for the Asymptotic Solution of the Differential Equation

    Mathematical Tables Series
    • 1 Edición
    • L. N. Nosova + 1 más
    • Inglés
    Tables of Generalized Airy Functions for the Asymptotic Solution of the Differential Equations contains tables of the special functions, namely, the generalized Airy functions, and their first derivatives, for real and pure imaginary values. The tables are useful for calculations on toroidal shells, laminae, rode, and for the solution of certain other problems of mathematical physics. The values of the functions were computed on the "Strela" highspeed electronic computer. This book will be of great value to mathematicians, researchers, and students.

  • Computational Linguistics

    International Series in Modern Applied Mathematics and Computer Science
    • 1 Edición
    • Nick Cercone
    • Inglés
    Computational Linguistics provides an overview of the variety of important research in computational linguistics in North America. This work is divided into 15 chapters and begins with a survey of the theoretical foundations and parsing strategies for natural language. The succeeding chapters deal with psychological and linguistic modeling, discourse processing analysis, text and content analysis, and natural language understanding, as well as knowledge organization, memory models, and learning. Other chapters describe the programming systems and considerations for computation linguistics. The last chapters look into the nature of natural language front-end processes to database systems. These chapters also examine the human factors interface. This book will prove useful to computing scientists, philosophers, psychologists, and linguists.

  • Human and Machine Vision

    • 1 Edición
    • Jacob Beck + 2 más
    • Inglés
    Human and Machine Vision provides information pertinent to an interdisciplinary program of research in visual perception. This book presents a psychophysical study of the human visual system, which provides insights on how to model the flexibility required by a general-purpose visual system. Organized into 17 chapters, this book begins with an overview of how a visual display is segmented into components on the basis of textual differences. This text then proposes three criteria for judging representations of shape. Other chapters consider an increased use of machine vision programs as models of human vision and of data from human vision in developing programs for machine vision. This book discusses as well the diversity and flexibility of systems for representing visual information. The final chapter deals with dot patterns and discusses the process of interring orientation information from collections of them. This book is a valuable resource for psychologists, neurophysiologists, and computer scientists.

  • Stochastic Differential Equations and Applications

    Volume 2
    • 1 Edición
    • Avner Friedman
    • Z. W. Birnbaum + 1 más
    • Inglés
    Stochastic Differential Equations and Applications, Volume 2 is an eight-chapter text that focuses on the practical aspects of stochastic differential equations. This volume begins with a presentation of the auxiliary results in partial differential equations that are needed in the sequel. The succeeding chapters describe the behavior of the sample paths of solutions of stochastic differential equations. These topics are followed by a consideration of an issue whether the paths can hit a given set with positive probability, as well as the stability of paths about a given manifold and with spiraling of paths about this manifold. Other chapters deal with the applications to partial equations, specifically with the Dirichlet problem for degenerate elliptic equations. These chapters also explore the questions of singular perturbations and the existence of fundamental solutions for degenerate parabolic equations. The final chapters discuss stopping time problems, stochastic games, and stochastic differential games. This book is intended primarily to undergraduate and graduate mathematics students.

  • Decomposability

    Queueing and Computer System Applications
    • 1 Edición
    • P. J. Courtois
    • Robert L. Ashenhurst
    • Inglés
    Decomposability: Queueing and Computer System Applications presents a set of powerful methods for systems analysis. This 10-chapter text covers the theory of nearly completely decomposable systems upon which specific analytic methods are based. The first chapters deal with some of the basic elements of a theory of nearly completely decomposable stochastic matrices, including the Simon-Ando theorems and the perturbation theory. The succeeding chapters are devoted to the analysis of stochastic queuing networks that appear as a type of key model. These chapters also discuss congestion problems in information processing systems, which could be studied by the queuing network models. A method of analysis by decomposition and aggregation for these models is proposed. Other chapters highlight the problem of computer system performance evaluation, specifically the analysis of hardware and software of the dynamic behavior of computer systems and user programs. These topics are followed by a description of an aggregative model of a typical multiprogramming time-sharing computer system. The last chapter examines the existing affinity between the concept of aggregate in nearly completely decomposable structures and the notions of module and level of abstraction so frequently invoked in computer system design and software engineering. This book will prove useful to both hardware and software designers and engineers, as well as scientists who are investigating complex systems.

  • The Laws of Large Numbers

    • 1 Edición
    • Pál Révész
    • Z. W. Birnbaum + 1 más
    • Inglés
    The Law of Large Numbers deals with three types of law of large numbers according to the following convergences: stochastic, mean, and convergence with probability 1. The book also investigates the rate of convergence and the laws of the iterated logarithm. It reviews measure theory, probability theory, stochastic processes, ergodic theory, orthogonal series, Huber spaces, Banach spaces, as well as the special concepts and general theorems of the laws of large numbers. The text discusses the laws of large numbers of different classes of stochastic processes, such as independent random variables, orthogonal random variables, stationary sequences, symmetrically dependent random variables and their generalizations, and also Markov chains. It presents other laws of large numbers for subsequences of sequences of random variables, including some general laws of large numbers which are not related to any concrete class of stochastic processes. The text cites applications of the theorems, as in numbers theory, statistics, and information theory. The text is suitable for mathematicians, economists, scientists, statisticians, or researchers involved with the probability and relative frequency of large numbers.

  • Tables of Laguerre Polynomials and Functions

    Mathematical Tables Series, Vol. 39
    • 1 Edición
    • V.S. Aizenshtadt + 2 más
    • Inglés
    Tables of Laguerre Polynomials and Functions contains the values of Laguerre polynomials and Laguerre functions for n = 2 , 3 , . . . , 7 ; s = 0(0.1) 1; x = 0(0.1) 10(0.2) 30, and the zeroes and coefficients of the polynomials for n = 2 (1) 10 and s = 0(0.05) 1. The book also explains the Laguerre polynomials, their properties, Laguerre functions, and the tabulation of the Laguerre polynomials and functions. The book contains three tables: tables of values of Laguerre polynomials and functions, tables of the coefficients of the polynomials, and tables of their roots. The first table consists of six parts arranged successively in the ascending order of the degree n. Researchers have calculated the tables for a wider range of values of the parameters n, s and x (n = 2(1) 10, s = 0(0.05) 1, x = 0(0.1) 10(0.2) 30(0.5) 80) using computers at the Institute of Mathematics and Computer Technology of the Byelorussian Academy of Sciences and the Computer Centre of the Academy of Sciences of the U.S.S.R. Scientists and investigators at computer centers, research institutes, and engineering organizations will find the book highly valuable.

  • Mathematical Methods of Reliability Theory

    • 1 Edición
    • B. V. Gnedenko + 2 más
    • Z. W. Birnbaum + 1 más
    • Inglés
    Mathematical Methods of Reliability Theory discusses fundamental concepts of probability theory, mathematical statistics, and an exposition of the relationships among the fundamental quantitative characteristics encountered in the theory. The book deals with the set-theoretic approach to reliability theory and the central concepts of set theory to the phenomena. It also presents methods of finding estimates for reliability parameters based on observations and methods of testing reliability hypotheses. Based on mathematical statistics, the book also explains formulation of some selected results. It presents a method that increases the reliability of manufactured articles—redundancy. An important part of product quality control is the standards of acceptance-sampling plans which require simplicity, wide content for flexibility, comprehensive characteristics, and variability. The book also tackles economical and rational methods of sampling inspections, highlighting the need for a correct evaluation of environmental conditions—the factors which predetermine the choice of the inspection method. The book then explains how to estimate the efficiency of the operation of the sampling plan after its selection. The book can be helpful for engineers, mathematicians, economists, or industrial managers, as well as for other professionals who work in the technological, political, research, structural, and physico-chemical areas.

  • Topics in Stochastic Processes

    Probability and Mathematical Statistics: A Series of Monographs and Textbooks
    • 1 Edición
    • Robert B. Ash + 1 más
    • Z. W. Birnbaum + 1 más
    • Inglés
    Topics in Stochastic Processes covers specific processes that have a definite physical interpretation and that explicit numerical results can be obtained. This book contains five chapters and begins with the L2 stochastic processes and the concept of prediction theory. The next chapter discusses the principles of ergodic theorem to real analysis, Markov chains, and information theory. Another chapter deals with the sample function behavior of continuous parameter processes. This chapter also explores the general properties of Martingales and Markov processes, as well as the one-dimensional Brownian motion. The aim of this chapter is to illustrate those concepts and constructions that are basic in any discussion of continuous parameter processes, and to provide insights to more advanced material on Markov processes and potential theory. The final chapter demonstrates the use of theory of continuous parameter processes to develop the Itô stochastic integral. This chapter also provides the solution of stochastic differential equations. This book will be of great value to mathematicians, engineers, and physicists.

  • Ten-Decimal Tables of the Logarithms of Complex Numbers and for the Transformation from Cartesian to Polar Coordinates

    Volume 33 in Mathematical Tables Series
    • 1 Edición
    • L. A. Lyusternik
    • Inglés
    Ten-Decimal Tables of the Logarithms of Complex Numbers and for the Transformation from Cartesian to Polar Coordinates contains Tables of mathematical functions up to ten-decimal value. These tables are compiled in the Department for Approximate Computations of the Institute of Exact Mechanics and Computational Methods of the U.S.S.R. Academy of Sciences. The computations are carried out by this department in conjunction with the Computational-Experi... Laboratory of the Institute. This book will be of value to mathematicians and researchers.

  • Sequential Statistical Procedures

    • 1 Edición
    • Z. Govindarajulu
    • Z. W. Birnbaum + 1 más
    • Inglés
    Probability and Mathematical Statistics, Volume 26: Sequential Statistical Procedures provides information pertinent to the sequential procedures that are concerned with statistical analysis of data. This book discusses the fundamental aspects of sequential estimation. Organized into four chapters, this volume begins with an overview of the essential feature of sequential procedure. This text then examines the sequential probability ratio test procedure and provides a method of constructing a most powerful test for a simple hypothesis versus simple alternative-testing problem. Other chapters consider the problem of testing a composite hypothesis against a composite alternative. This book discusses as well the theory of sequential tests that is appropriate for distinguishing between two simple or composite hypotheses. The final chapter deals with the theory of sequential estimation. This book is a valuable resource for graduate students, research workers, and users of sequential procedures.

  • Stochastic Integrals

    • 1 Edición
    • H. P. McKean
    • Z. W. Birnbaum + 1 más
    • Inglés
    Stochastic Integrals discusses one area of diffusion processes: the differential and integral calculus based upon the Brownian motion. The book reviews Gaussian families, construction of the Brownian motion, the simplest properties of the Brownian motion, Martingale inequality, and the law of the iterated logarithm. It also discusses the definition of the stochastic integral by Wiener and by Ito, the simplest properties of the stochastic integral according to Ito, and the solution of the simplest stochastic differential equation. The book explains diffusion, Lamperti's method, forward equation, Feller's test for the explosions, Cameron-Martin's formula, the Brownian local time, and the solution of dx=e(x) db + f(x) dt for coefficients with bounded slope. It also tackles Weyl's lemma, diffusions on a manifold, Hasminski's test for explosions, covering Brownian motions, Brownian motions on a Lie group, and Brownian motion of symmetric matrices. The book gives as example of a diffusion on a manifold with boundary the Brownian motion with oblique reflection on the closed unit disk of R squared. The text is suitable for economists, scientists, or researchers involved in probabilistic models and applied mathematics.

  • Stochastic Differential Equations and Applications

    Volume 1
    • 1 Edición
    • Avner Friedman
    • Z. W. Birnbaum + 1 más
    • Inglés
    Stochastic Differential Equations and Applications, Volume 1 covers the development of the basic theory of stochastic differential equation systems. This volume is divided into nine chapters. Chapters 1 to 5 deal with the basic theory of stochastic differential equations, including discussions of the Markov processes, Brownian motion, and the stochastic integral. Chapter 6 examines the connections between solutions of partial differential equations and stochastic differential equations, while Chapter 7 describes the Girsanov’s formula that is useful in the stochastic control theory. Chapters 8 and 9 evaluate the behavior of sample paths of the solution of a stochastic differential system, as time increases to infinity. This book is intended primarily for undergraduate and graduate mathematics students.

  • Self-Validating Numerics for Function Space Problems

    Computation with Guarantees for Differential and Integral Equations
    • 1 Edición
    • Edgar W. Kaucher + 1 más
    • Werner Rheinboldt
    • Inglés
    Self-Validating Numerics for Function Space Problems describes the development of computational methods for solving function space problems, including differential, integral, and function equations. This seven-chapter text highlights three approaches, namely, the E-methods, ultra-arithmetic, and computer arithmetic. After a brief overview of the different self-validating approaches, this book goes on introducing the mathematical preliminaries consisting principally of fixed-point theorems and the computational context for the development of validating methods in function spaces. The subsequent chapters deals with the development and application of point of view of ultra-arithmetic and the constructs of function-space arithmetic spaces, such as spaces, bases, rounding, and approximate operations. These topics are followed by discussion of the iterative residual correction methods for function problems and the requirements of a programming language needed to make the tools and constructs of the methodology available in actual practice on a computer. The last chapter describes the techniques for adapting the methodologies to a computer, including the self-validating results for specific problems. This book will prove useful to mathematicians and advance mathematics students.

  • Decomposition of Multivariate Probabilities

    • 1 Edición
    • Roger Cuppens
    • Z. W. Birnbaum + 1 más
    • Inglés
    Decomposition of Multivariate Probability is a nine-chapter text that focuses on the problem of multivariate characteristic functions. After a brief introduction to some useful results on measures and integrals, this book goes on dealing with the classical theory and the Fourier-Stieltjes transforms of signed measures. The succeeding chapters explore the multivariate extension of the well-known Paley-Wiener theorem on functions that are entire of exponential type and square-integrable; the theory of infinitely divisible probabilities and the classical results of Hin?in; and the decompositions of analytic characteristic functions. Other chapters are devoted to the important problem of the description of a specific class on n-variate probabilities without indecomposable factors. The final chapter studies the problem of ?-decomposition of multivariate characteristic functions. This book will prove useful to mathematicians and advance undergraduate and graduate students.

  • Computer Security

    • 1 Edición
    • David K. Hsiao + 2 más
    • Robert L. Ashenhurst
    • Inglés
    Computer Security provides information pertinent to the growing concern with computer security and privacy, extending beyond the conventional military requirement to cover the entire civilian and business community. This book discusses the approaches to ensure the integrity of stored data. Organized into eight chapters, this book begins with an overview of the relationships between privacy issues and security measures. This text then provides a discussion on privacy issues, legislative measures, and their implications on security. Other chapters consider the technical implications of the enactment of privacy legislation and explain the control of access required by the privacy legislation. This book discusses as well the internal policies and procedures of operational security, which is adopted by management to ensure the security of their data and computer installation. The final chapter deals with optimizing database management system to facilitate the use of data effectively and efficiently. This book is a valuable resource for technical managers.

Temas relacionados