Saltar al contenido principal
Elsevier

Libros en Matemáticas

  • Piaget—a Practical Consideration

    A Consideration of the General Theories and Work of Jean Piaget, with an Account of a Short Follow Up Study of His Work on the Development of the Concept of Geometry
    • 1 Edición
    • G. A. Helmore
    • Inglés
    Piaget—A Practical Consideration deals with the general theories and work of Jean Piaget, with an account of a short follow up study of his work on the development of the concept of geometry. Piaget's theory concerning the general pattern of intellectual development in children is discussed, along with his study of children from two English primary schools in differing environments. This book is comprised of seven chapters and opens with a brief background on the life of Piaget and his approach to his work. The next chapter summarizes Piaget's general theories, including his concept of intelligence and its development; his studies of the progress made by children towards higher levels of equilibrium; and the Piagetian stages of development. The reader is then introduced to Piaget's experiments and their results on the development of the thought, language, and moral judgment of the child. The final chapter considers some recorded criticisms of Piaget's methods and maturation system. This monograph will be a useful resource for educators and psychologists.

  • Safety Aspects of Computer Control

    • 1 Edición
    • Phil Bennett
    • Inglés
    Safety Aspects of Computer Control focuses on the increased usage of computers and safety procedures for the control of their applications. The selection first elaborates on software in safety-related systems, regulatory issues, and legal liability. Topics cover product liability, liability under the contract law, liability under the law of negligence, methods of ensuring safety, some aspects of regulation of software safety, purpose and principles of regulation, and direct regulation. The book then examines standardization efforts worldwide; real-time software requirements specification and animation using extended Petri nets; and independent software verification and validation in practice. Discussions focus on verification and validation principles, organizational principles, specification language, extended Petri nets environment, history of software standards, and standardization work realized through ISO or IEC. The manuscript takes a look at design and licensing of safety-related software, fault-tolerant control for safety, and use and relevance for the development of safety-critical systems. Concerns include formal methods in the safety-critical systems life cycle, random and systematic failures, hardware and systematic failures, and software quality standards. The book is highly recommended for computer science experts and researchers interested in the safety aspects of computer control.

  • Statistics

    • 1 Edición
    • H. T. Hayslett
    • Patrick Murphy
    • Inglés
    Statistics covers the basic principles of Statistics. The book starts by tackling the importance and the two kinds of statistics; the presentation of sample data; the definition, illustration and explanation of several measures of location; and the measures of variation. The text then discusses elementary probability, the normal distribution and the normal approximation to the binomial. Testing of statistical hypotheses and tests of hypotheses about the theoretical proportion of successes in a binomial population and about the theoretical mean of a normal population are explained. The text then considers testing of hypotheses about the mean of a normal population when the population variance is not known and testing the hypotheses about the mean of populations that are not normal. The book also describes correlation and regression, confidence limits, non-parametric statistics, and the analysis of variance. The text concludes by giving more complex problems and step-by-step directions for the various statistical tests. Statisticians and students taking Statistics courses will find the book invaluable.

  • Numerical Solution of Ordinary and Partial Differential Equations

    Based on a Summer School Held in Oxford, August-September 1961
    • 1 Edición
    • L. Fox
    • Inglés
    Numerical Solution of Ordinary and Partial Differential Equations is based on a summer school held in Oxford in August-September 1961. The book is organized into four parts. The first three cover the numerical solution of ordinary differential equations, integral equations, and partial differential equations of quasi-linear form. Most of the techniques are evaluated from the standpoints of accuracy, convergence, and stability (in the various senses of these terms) as well as ease of coding and convenience of machine computation. The last part, on practical problems, uses and develops the techniques for the treatment of problems of the greatest difficulty and complexity, which tax not only the best machines but also the best brains. This book was written for scientists who have problems to solve, and who want to know what methods exist, why and in what circumstances some are better than others, and how to adapt and develop techniques for new problems. The budding numerical analyst should also benefit from this book, and should find some topics for valuable research. The first three parts, in fact, could be used not only by practical men but also by students, though a preliminary elementary course would assist the reading.

  • Finite and Infinite Sets

    Colloquia Mathematica Societatis János Bolyai, 37.
    • 1 Edición
    • A. Hajnal + 2 más
    • Inglés
    Colloquia Mathematica Societatis Jânos Bolyai, 37: Finite and Infinite Sets, Vol. I focuses on the principles, operations, and approaches involved in finite and infinite sets. The selection first elaborates on essential chains and squares, cellular automata in trees, almost disjoint families of countable sets, and application of Lovasz local lemma. Discussions focus on deleting operations, number of all and self-dual E-chains, transversality of E-chains and E-squares, and binary E-chains and E-squares. The text then elaborates on induced subgraphs, inverse extremal digraph problems, two Sperner-type conditions, and minimal decomposition of all graphs with equinumerous vertices and edges into mutually isomorphic subgraphs. Topics include general digraph extremal problem, matrix graphs and quadratic forms, augmentation of matrices, set of attained densities, proof of the continuity theorem, and inverse extremal multigraph problems. The text examines circular flows in graphs, two-colorings of simple arrangements, monochromatic paths in infinite colored graphs, and graphs associated with an integral domain and their applications. The selection is a dependable reference for researchers interested in finite and infinite sets.

  • Ordinary Differential Equations

    Adiwes International Series in Mathematics
    • 1 Edición
    • L. S. Pontryagin
    • A. J. Lohwater
    • Inglés
    Ordinary Differential Equations presents the study of the system of ordinary differential equations and its applications to engineering. The book is designed to serve as a first course in differential equations. Importance is given to the linear equation with constant coefficients; stability theory; use of matrices and linear algebra; and the introduction to the Lyapunov theory. Engineering problems such as the Watt regulator for a steam engine and the vacuum-tube circuit are also presented. Engineers, mathematicians, and engineering students will find the book invaluable.

  • Contributions to Universal Algebra

    • 1 Edición
    • B. Csákány + 1 más
    • Inglés
    Contributions to Universal Algebra focuses on the study of algebra. The compilation first discusses the congruence lattice of pseudo-simple algebras; elementary properties of limit reduced powers with applications to Boolean powers; and congruent lattices of 2-valued algebras. The book further looks at duality for algebras; weak homomorphisms of stone algebras; varieties of modular lattices not generated by their finite dimensional members; and remarks on algebraic operations of stone algebras. The text describes polynomial normal forms and the embedding of polynomial algebras; coverings in the lattice of varieties; embedding semigroups in semigroups generated by idempotents; and endomorphism semigroups and subgroupoid lattices. The book also discusses a report on sublattices of a free lattice, and then presents the cycles in finite semi-distributive lattices; cycles in S-lattices; and summary of results. The text also describes primitive subsets of algebras, ideals, normal sets, and congruences, as well as Jacobson’s density theorem. The book is a good source for readers wanting to study algebra.

  • Tables of Normalized Associated Legendre Polynomials

    Mathematical Tables Series
    • 1 Edición
    • S. L. Belousov
    • Inglés
    Tables of Normalized Associated Legendre Polynomials (1962) helps to resolve many problems in which a role is played by functions defined on the surface of a sphere, to write the functions as series in an orthogonal system of functions.

  • Vector Analysis for Mathematicians, Scientists and Engineers

    The Commonwealth and International Library: Physics Division
    • 2 Edición
    • S. Simons
    • W. Ashhurst
    • Inglés
    Vector Analysis for Mathematicians, Scientists and Engineers, Second Edition, provides an understanding of the methods of vector algebra and calculus to the extent that the student will readily follow those works which make use of them, and further, will be able to employ them himself in his own branch of science. New concepts and methods introduced are illustrated by examples drawn from fields with which the student is familiar, and a large number of both worked and unworked exercises are provided. The book begins with an introduction to vectors, covering their representation, addition, geometrical applications, and components. Separate chapters discuss the products of vectors; the products of three or four vectors; the differentiation of vectors; gradient, divergence, and curl; line, surface, and volume integrals; theorems of vector integration; and orthogonal curvilinear coordinates. The final chapter presents an application of vector analysis. Answers to odd-numbered exercises are provided as the end of the book.

  • Readings in Artificial Intelligence

    • 1 Edición
    • Bonnie Lynn Webber + 1 más
    • Inglés
    Readings in Artificial Intelligence focuses on the principles, methodologies, advancements, and approaches involved in artificial intelligence. The selection first elaborates on representations of problems of reasoning about actions, a problem similarity approach to devising heuristics, and optimal search strategies for speech understanding control. Discussions focus on comparison with existing speech understanding systems, empirical comparisons of the different strategies, analysis of distance function approximation, problem similarity, problems of reasoning about action, search for solution in the reduction system, and relationship between the initial search space and the higher level search space. The book then examines consistency in networks of relations, non-resolution theorem proving, using rewriting rules for connection graphs to prove theorems, and closed world data bases. The manuscript tackles a truth maintenance system, elements of a plan-based theory of speech acts, and reasoning about knowledge and action. Topics include problems in reasoning about knowledge, integration knowledge and action, models of plans, compositional adequacy, truth maintenance mechanisms, dialectical arguments, and assumptions and the problem of control. The selection is a valuable reference for researchers wanting to explore the field of artificial intelligence.

  • Uncertainty in Artificial Intelligence

    Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence, The Catholic University of America, Washington, D.C. 1993
    • 1 Edición
    • David Heckerman + 1 más
    • Inglés
    Uncertainty in Artificial Intelligence contains the proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence held at the Catholic University of America in Washington, DC, on July 9-11, 1993. The papers focus on methods of reasoning and decision making under uncertainty as applied to problems in artificial intelligence (AI) and cover topics ranging from knowledge acquisition and automated model construction to learning, planning, temporal reasoning, and machine vision. Comprised of 66 chapters, this book begins with a discussion on causality in Bayesian belief networks before turning to a decision theoretic account of conditional ought statements that rectifies glaring deficiencies in classical deontic logic and forms a sound basis for qualitative decision theory. Subsequent chapters explore trade-offs in constructing and evaluating temporal influence diagrams; normative engineering risk management systems; additive belief-network models; and sensitivity analysis for probability assessments in Bayesian networks. Automated model construction and learning as well as algorithms for inference and decision making are also considered. This monograph will be of interest to both students and practitioners in the fields of AI and computer science.

  • Information Structure Design for Databases

    A Practical Guide to Data Modelling
    • 1 Edición
    • Andrew J. Mortimer
    • Inglés
    Computer Weekly Professional Series: Information Structure Design for Databases: A Practical Guide to Data modeling focuses on practical data modeling covering business and information systems. The publication first offers information on data and information, business analysis, and entity relationship model basics. Discussions cover degree of relationship symbols, relationship rules, membership markers, types of information systems, data driven systems, cost and value of information, importance of data modeling, and quality of information. The book then takes a look at entity relationship modeling connections, one-to-one relationship, and entity relationship modeling advanced topics, including connection traps, resolving many-to-many relationships, four combinations of membership, and entity merging. The text examines logical data dictionary, data flow diagrams, entity life history, and developing database applications. Topics include data modeling during development, waterfall approach, iterative development, sequence, selection, illegal data flow linkages, conservation of data, second normal form rule, and denormalization. The book is a valuable reference for researchers interested in data modeling.

  • Functional Equations in Probability Theory

    • 1 Edición
    • Ramachandran Balasubrahmanyan + 1 más
    • Inglés
    Functional Equations in Probability Theory deals with functional equations in probability theory and covers topics ranging from the integrated Cauchy functional equation (ICFE) to stable and semistable laws. The problem of identical distribution of two linear forms in independent and identically distributed random variables is also considered, with particular reference to the context of the common distribution of these random variables being normal. Comprised of nine chapters, this volume begins with an introduction to Cauchy functional equations as well as distribution functions and characteristic functions. The discussion then turns to the nonnegative solutions of ICFE on R+; ICFE with a signed measure; and application of ICFE to the characterization of probability distributions. Subsequent chapters focus on stable and semistable laws; ICFE with error terms on R+; independent/identica... distributed linear forms and the normal laws; and distribution problems relating to the arc-sine, the normal, and the chi-square laws. The final chapter is devoted to ICFE on semigroups of Rd. This book should be of interest to mathematicians and statisticians.

  • Foundations of General Topology

    • 1 Edición
    • William J. Pervin
    • Ralph P. Boas
    • Inglés
    Foundations of General Topology presents the value of careful presentations of proofs and shows the power of abstraction. This book provides a careful treatment of general topology. Organized into 11 chapters, this book begins with an overview of the important notions about cardinal and ordinal numbers. This text then presents the fundamentals of general topology in logical order processing from the most general case of a topological space to the restrictive case of a complete metric space. Other chapters consider a general method for completing a metric space that is applicable to the rationals and present the sufficient conditions for metrizability. This book discusses as well the study of spaces of real-valued continuous functions. The final chapter deals with uniform continuity of functions, which involves finding a distance that satisfies certain requirements for all points of the space simultaneously. This book is a valuable resource for students and research workers.

  • Basic Real and Abstract Analysis

    • 1 Edición
    • John F. Randolph
    • Inglés
    Basic Real and Abstract Analysis focuses on the processes, methodologies, and approaches involved in the process of abstraction of mathematical problems. The book first offers information on orientation and sets and spaces, including equivalent and infinite sets, metric spaces, cardinals, distance and relative properties, real numbers, and absolute value and inequalities. The text then takes a look at sequences and series and measure and integration. Topics include rings and additivity, Lebesgue integration, outer measures and measurability, extended real number system, sequences in metric spaces, and series of real numbers. The publication ponders on measure theory, continuity, derivatives, and Stieltjes integrals. Discussions focus on integrators of bounded variation, Lebesgue integral relations, exponents and logarithms, bounded variation, mean values, trigonometry, and Fourier series. The manuscript is a valuable reference for mathematicians and researchers interested in the process of abstraction of mathematical equations.

  • Mathematical Theory of Probability and Statistics

    • 1 Edición
    • Richard von Mises
    • Hilda Geiringer
    • Inglés
    Mathematical Theory of Probability and Statistics focuses on the contributions and influence of Richard von Mises on the processes, methodologies, and approaches involved in the mathematical theory of probability and statistics. The publication first elaborates on fundamentals, general label space, and basic properties of distributions. Discussions focus on Gaussian distribution, Poisson distribution, mean value variance and other moments, non-countable label space, basic assumptions, operations, and distribution function. The text then ponders on examples of combined operations and summation of chance variables characteristic function. The book takes a look at the asymptotic distribution of the sum of chance variables and probability inference. Topics include inference from a finite number of observations, law of large numbers, asymptotic distributions, limit distribution of the sum of independent discrete random variables, probability of the sum of rare events, and probability density. The text also focuses on the introduction to the theory of statistical functions and multivariate statistics. The publication is a dependable source of information for researchers interested in the mathematical theory of probability and statistics

  • Matrix Calculus

    • 3 Edición
    • E. Bodewig
    • Inglés
    Matrix Calculus, Second Revised and Enlarged Edition focuses on systematic calculation with the building blocks of a matrix and rows and columns, shunning the use of individual elements. The publication first offers information on vectors, matrices, further applications, measures of the magnitude of a matrix, and forms. The text then examines eigenvalues and exact solutions, including the characteristic equation, eigenrows, extremum properties of the eigenvalues, bounds for the eigenvalues, elementary divisors, and bounds for the determinant. The text ponders on approximate solutions, as well as the decomposition of the matrix into two triangular matrices, choice of another pivotal element, Gauss-Doolittle process, Aitken's triple product, neighbor systems, errors and exactness of the solution, and complex systems. The publication also elaborates on the characteristic equation of the iteration processes, type of convergence of the iteration methods, speeding-up convergence by changing matrix, and methods for electronic computers. The determination of eigenvectors, pure methods, progressive algorithms, and deflation are also discussed. The manuscript is a helpful reference for researchers interested in matrix calculus.

  • Mathematical Methods and Theory in Games, Programming, and Economics

    Matrix Games, Programming, and Mathematical Economics
    • 1 Edición
    • Samuel Karlin
    • Z. W. Birnbaum
    • Inglés
    Matrix Games, Programming, and Mathematical Economics deals with game theory, programming theory, and techniques of mathematical economics in a single systematic theory. The principles of game theory and programming are applied to simplified problems related to economic models, business decisions, and military tactics. The book explains the theory of matrix games and some of the tools used in the analysis of matrix games. The text describes optimal strategies for matrix games which have two basic properties, as well as the construction of optimal strategies. The book investigates the structure of sets of solutions of discrete matrix games, with emphasis on the class of games whose solutions are unique. The examples show the use of dominance concepts, symmetries, and probabilistic arguments that emphasize the principles of game theory. One example involves two opposing political parties in an election campaign, particularly, how they should distribute their advertising efforts for wider exposure. The text also investigates how to determine an optimal program from several choices that results with the maximum or minimum objective. The book also explores the analogs of the duality theorem, the equivalence of game problems to linear programming problems, and also the inter-industry nonlinear activity analysis model requiring special mathematical methods. The text will prove helpful for students in advanced mathematics and calculus. It can be appreciated by mathematicians, engineers, economists, military strategists, or statisticians who formulate decisions using mathematical analysis and linear programming.

  • The Handbook of Artificial Intelligence

    Volume 1
    • 1 Edición
    • Avron Barr + 1 más
    • Inglés
    The Handbook of Artificial Intelligence, Volume I focuses on the progress in artificial intelligence (AI) and its increasing applications, including parsing, grammars, and search methods. The book first elaborates on AI, AI handbook and literature, problem representation, search methods, and sample search programs. The text then ponders on representation of knowledge, including survey of representation techniques and representation schemes. The manuscript explores understanding natural languages, as well as machine translation, grammars, parsing, test generation, and natural language processing systems. The book also takes a look at understanding spoken language, including systems architecture and the ARPA SUR projects. The text is a valuable source of information for computer science experts and researchers interested in pursuing further research in artificial intelligence.

  • Planning IT

    • 1 Edición
    • David J Silk
    • Inglés
    Planning IT provides a framework for assessing and improving the practice of information management in organizations. It describes the ways in which senior managers can diagnose the situation in their enterprise and generate an appropriate action plan. The book thus helps the manage, to make a more proactive and informed response to the opportunities of modern information technology and information systems. Comprised of nine chapters, this book begins with an introduction to six guidelines for information management: establish an information management partnership; distinguish the potential benefits of information technology and information systems; think strategically about information management; identify the benefits and their value; manage the achievement of the benefits; and prepare for the future. The next six chapters address each of these guidelines in more detail, and each chapter ends with a set of questions which the manager should consider in the context of himself/herself and his/her enterprise. This will produce a score, and some action points, as part of an information management audit. The eighth chapter explains how to produce a consolidated action plan, structured according to the time scale of the individual actions (short- or long-term) and according to whether they are personal or team actions in the enterprise. The last chapter consolidates the book's main points and exhorts the manager to action. This monograph is intended for both senior managers and non-specialists in information technology.

  • Quadratic Forms and Matrices

    An Introductory Approach
    • 1 Edición
    • N. A. Yefimov
    • Inglés
    Quadratic Forms and Matrices: An Introductory Approach focuses on the principles, processes, methodologies, and approaches involved in the study of quadratic forms and matrices. The publication first offers information on the general theory of quadratic curves, including reduction to canonical form of the general equation of a quadratic curve, invariants and classification, reduction to canonical form of the equation of a quadratic curve with center at the origin, and transformation of coordinates in the plane. The text then examines the general theory of quadratic surfaces. Topics include transformation of rectangular coordinates in space; general deductions based on the formulas for the transformation of coordinates; reduction to canonical form of the equation of a quadric with center at the origin; and reduction to canonical form of the general equation of a quadric surface. The manuscript ponders on linear transformations and matrices, including reduction of a quadratic form to canonical form; reduction to canonical form of the matrix of a symmetric linear transformation of space; change of the matrix of a linear transformation due to a change of basis; and geometric meaning of the determinant of a linear transformation. The publication is a vital reference for researchers interested in the study of quadratic forms and matrices.

  • Fractal Attraction™

    a Fractal Design System for the Macintosh®
    • 1 Edición
    • Kevin D. Lee + 1 más
    • Inglés
    Fractal Attraction™: A Fractal Design System for the Macintosh® provides information pertinent to fractal attraction, a Macintosh application. This book introduces the Iterated Function Systems (IFS). Organized into eight chapters, this book begins with an overview of the standard and enhanced versions of fractal attraction. This text then explains the ideas and basic principles behind generating fractals based on sets of equations. Other chapters explain an alternative algorithm, the random algorithm, and how to use it. This book discusses as well the Design window wherein the user can translate, rotate, shear, and re-size transformations all by pointing, clicking and dragging. The final chapter deals with an overview of the windows and the menu items are explained in detail. This book is a valuable resource for readers who are interested in using fractal attraction application.

  • Modern Mathematics

    Made Simple
    • 1 Edición
    • Patrick Murphy
    • Inglés
    Modern Mathematics: Made Simple presents topics in modern mathematics, from elementary mathematical logic and switching circuits to multibase arithmetic and finite systems. Sets and relations, vectors and matrices, tesselations, and linear programming are also discussed. Comprised of 12 chapters, this book begins with an introduction to sets and basic operations on sets, as well as solving problems with Venn diagrams. The discussion then turns to elementary mathematical logic, with emphasis on inductive and deductive reasoning; conjunctions and disjunctions; compound statements and conditional statements; and biconditional sentences. Subsequent chapters focus on switching circuits; multibase arithmetic; finite systems; relations, vectors, and matrices; tessellations; and linear programming. The book concludes with an analysis of motion geometry and rubber sheet geometry, paying particular attention to radial enlargement and composite reflections as well as topological equivalence, networks for maps, and incidence matrices. This monograph is intended for students, parents, and teachers who are interested in modern mathematics.

  • Readings in Fuzzy Sets for Intelligent Systems

    • 1 Edición
    • Didier J. Dubois + 2 más
    • Inglés
    Readings in Fuzzy Sets for Intelligent Systems is a collection of readings that explore the main facets of fuzzy sets and possibility theory and their use in intelligent systems. Basic notions in fuzzy set theory are discussed, along with fuzzy control and approximate reasoning. Uncertainty and informativeness, information processing, and membership, cognition, neural networks, and learning are also considered. Comprised of eight chapters, this book begins with a historical background on fuzzy sets and possibility theory, citing some forerunners who discussed ideas or formal definitions very close to the basic notions introduced by Lotfi Zadeh (1978). The reader is then introduced to fundamental concepts in fuzzy set theory, including symmetric summation and the setting of fuzzy logic; uncertainty and informativeness; and fuzzy control. Subsequent chapters deal with approximate reasoning; information processing; decision and management sciences; and membership, cognition, neural networks, and learning. Numerical methods for fuzzy clustering are described, and adaptive inference in fuzzy knowledge networks is analyzed. This monograph will be of interest to both students and practitioners in the fields of computer science, information science, applied mathematics, and artificial intelligence.

  • Exploring Artificial Intelligence

    Survey Talks from the National Conferences on Artificial Intelligence
    • 1 Edición
    • Howard E. Shrobe
    • Inglés
    Exploring Artificial Intelligence: Survey Talks from the National Conference on Artificial Intelligence provides information pertinent to the distinct subareas of artificial intelligence research. This book discusses developments in machine learning techniques. Organized into six parts encompassing 16 chapters, this book begins with an overview of intelligent tutoring systems, which describes how to guide a student to learn new concepts. This text then links closely with one of the concerns of intelligent tutoring systems, namely how to interact through the utilization of natural language. Other chapters consider the various aspects of natural language understanding and survey the huge body of work that tries to characterize heuristic search programs. This book discusses as well how computer programs can create plans to satisfy goals. The final chapter deals with computational facilities that support. This book is a valuable resource for cognitive scientists, psychologists, domain experts, computer scientists, instructional designers, expert teachers, and research workers.

  • Theoretical Aspects of Reasoning About Knowledge

    Proceedings of the 1986 Conference
    • 1 Edición
    • Joseph Y. Halpern
    • Inglés
    Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference focuses on the principles, methodologies, approaches, and concepts involved in reasoning about knowledge. The selection first provides an overview of reasoning about knowledge, varieties of self-reference, and pegs and alecs. Topics covered include data semantics, partial objects and identity, circumstance, self, and causal connection, structure of circumstance, varieties and limits of self-reference, problem of logical omniscience, and knowledge, communication, and action. The book then explores reasoning about knowledge in artificial intelligence; synthesis of digital machines with provable epistemic properties; and a first order theory of planning, knowledge, and action. The publication ponders on the consistency of syntactical treatments of knowledge, foundations of knowledge for distributed systems, knowledge and implicit knowledge in a distributed environment, and the logic of distributed protocols. Topics include formal syntax and semantics, structure of models, message-based knowledge worlds, changing the class of messages, implicit knowledge in message-based knowledge worlds, conservation and implicit knowledge, and distributed protocols. The selection is a dependable source of data for researchers interested in the theoretical aspects of reasoning about knowledge.

  • Properties and Operations

    • 1 Edición
    • I. M. Gel'fand + 1 más
    • Inglés
    Generalized Functions, Volume 1: Properties and Operations provides a systematic development of the theory of generalized functions and problems in analysis connected with it. This book focuses on the concept of a convenient link that connects many aspects of analysis, functional analysis, theory of differential equations, representation theory of locally compact Lie groups, and theory of probability and statistics. This volume is essentially devoted to algorithmic questions of the theory, covering many applications of generalized functions to various problems of analysis. The topics discussed include the local properties of generalized functions, differentiation as a continuous operation, and Fourier Transforms of test functions. The wave equation in space of odd dimension, derivation of Green's theorem, and reducible singular points are also described. This publication is a good reference for mathematicians, researchers, and students concerned with generalized functions.

  • Population Dynamics

    Proceedings of a Symposium Conducted by the Mathematics Research Center The University of Wisconsin, Madison June 19–21, 1972
    • 1 Edición
    • T. N. E. Greville
    • Inglés
    Population Dynamics covers the proceedings of a symposium conducted by the Mathematics Research Center, The University of Wisconsin, Madison on June 19-21, 1972. The book focuses on the application of mathematics to the study of human population growth. The selection first offers information on population waves and the properties of a stochastic attraction model. Discussions focus on social distance, limiting behavior of the model, mathematical development, population increase and retirement pensions, natural periodicity in the demographic system, trends in generational stability, mobility in unstable populations, and the Easterlin effect. The text then takes a look at the sampling frame as a determinant of observed distributions of duration variables and comparison of alternative marriage models, including plausible marriage models, axioms for marriage functions, birth intervals, and computer simulation of prospective and interior birth interval lengths. The manuscript ponders on contraceptive impact over several generations, estimation of the risk of conception from censored data, and influence of cause of death structure on age-patterns of mortality. Topics include distributions of conception times, simulation of experiments, potential fertility of users, and length of protection. The selection is a valuable reference for researchers interested in population dynamics.

  • Object-Oriented Design and Programming with C++

    Your Hands-On Guide to C++ Programming, with Special Emphasis on Design, Testing, and Reuse
    • 1 Edición
    • Ronald Leach
    • Inglés
    Object-Oriented Design and Programming with C++: Your Hands-On Guide to C++ Programming, with Special Emphasis on Design, Testing, and Reuse provides a list of software engineering principles to guide the software development process. This book presents the fundamentals of the C++ language. Organized into two parts encompassing 10 chapters, this book begins with an overview of C++ and describes object-oriented programming and the history of C++. This text then introduces classes, polymorphism, inheritance, and overloading. Other chapters consider the C++ preprocessor and organization of class libraries. This book discusses as well the scope rules, separate compilation, class libraries, and their organization, exceptions, browsers, and exception handling. The final chapter deals with the design of a moderately complex system that provides file system stimulation. This book is a valuable resource for readers who are reasonably familiar with the C programming language and want to understand the issues in object-oriented programming using C++.

  • Test Bank for College Algebra

    • 2 Edición
    • Bernard Kolman + 2 más
    • Inglés
    Test Bank for College Algebra, Second Edition is a supplementary material for the text, College Algebra, Second Edition. The book is intended for use by mathematics teachers. The book contains standard tests for each chapter in the textbook. Each set of test aims to evaluate the level of understanding the student has achieved during the course. The answers for each chapter test and the final exam are found at the end of the book. Mathematics teachers teaching college algebra will find the book very useful.

  • The Frame Problem in Artificial Intelligence

    Proceedings of the 1987 Workshop
    • 1 Edición
    • Frank M. Brown
    • Inglés
    The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop focuses on the approaches, principles, and concepts related to the frame problem in artificial intelligence (AI). The selection first tackles the definition of the frame problem, circumscription approaches and criticisms, modal logic approaches, and syntactic consistency approaches. The text then takes a look at two frame problems, frame problem in AI, and the frame problem in AI histories, including frame problem defined, mathematical frame problem, commonsense frame problem, and the problems of qualification and extended prediction and their relation to the frame problem. The publication examines tense-logic-based mitigation of the frame problem, unframing the frame problem, a truth maintenance based approach to the frame problem, and qualification problem. Topics include possible worlds, qualification and possible worlds, epistemological issues, truth maintenance, contradiction handling, application of intensional logic, development and implementation of chronolog, and approaches to solving the frame problem. The selection is a dependable source of data for researchers interested in the frame problem.

  • Introduction to Ordinary Differential Equations

    Academic Press International Edition
    • 1 Edición
    • Albert L. Rabenstein
    • Inglés
    Introduction to Ordinary Differential Equations is a 12-chapter text that describes useful elementary methods of finding solutions using ordinary differential equations. This book starts with an introduction to the properties and complex variable of linear differential equations. Considerable chapters covered topics that are of particular interest in applications, including Laplace transforms, eigenvalue problems, special functions, Fourier series, and boundary-value problems of mathematical physics. Other chapters are devoted to some topics that are not directly concerned with finding solutions, and that should be of interest to the mathematics major, such as the theorems about the existence and uniqueness of solutions. The final chapters discuss the stability of critical points of plane autonomous systems and the results about the existence of periodic solutions of nonlinear equations. This book is great use to mathematicians, physicists, and undergraduate students of engineering and the science who are interested in applications of differential equation.

  • Pathology, Vector Studies, and Culture

    • 1 Edición
    • Julius P. Kreier
    • Inglés
    Malaria: Volume 2, Pathology, Vector Studies, and Culture is a collection of papers that deals with erythrocyte destruction mechanism in malaria, the pathology of malaria, colonization of laboratory mosquitoes, and their transmission of plasmodia. Other papers describe the culture of the invertebrate stages of plasmodia, of mosquito tissues, and also of erythrocytic and exoerythrocytic stages of plasmodia. One paper constructs a model to show the roles of the different destructive and regenerative processes in the mechanisms of erythrocyte destruction in malaria. Another paper describes the organ changes and physiopathological mechanism connected with Plasmodium infection. These organs concern the spleen, liver, heart, and vascular system. One paper reviews the procedures involved in malaria transmission by mosquitoes, as well as some specialized procedures unique in avian, rodent, simian, and human malarias. Another paper discusses the benefits and drawbacks of a culture medium based on the composition of adult anopheline hemolymph. This medium should lead to a rapid growth rate in primary cultures of mosquito cells and a shorter interval of adaptation for continuous cell lines. The collection can prove useful for pharmacologists, general medical practitioners, investigators, and laboratory technicians involved in mosquito borne diseases or tropical medicine research.

  • Computer Science and Multiple-Valued Logic

    Theory and Applications
    • 1 Edición
    • David C. Rine
    • Inglés
    Computer Science and Multiple-Valued Logic: Theory and Applications focuses on the processes, methodologies, and approaches involved in multiple-valued logic and its relationship to computer science. The selection first tackles an introduction to multiple-valued logic, lattice theory of post algebras, multiple-valued logic design and applications in binary computers, smallest many-valued logic for the treatment of complemented and uncomplemented error signals, and chain based lattices. Discussions focus on formulation, representation theory, theory and circuit design, logical tables, and unary operations. The text then examines multiple-valued signal processing with limiting, development of multiple-valued logic as related to computer science, p-algebras, and an algorithm for axiomatizing every finite logic. The book takes a look at completeness properties of multiple-valued logic algebras, computer simplification of multi-valued switching functions, and minimization of multivalued functions. Topics include generation of prime implicants, realizations, minimization algorithms, decomposition algorithm for multi-valued switching functions, and relation between the sum-of-products form and array of cubes. The selection is aimed at computer engineers, computer scientists, applied mathematicians, and physicists interested in multiple-valued logic as the discipline relates to computer engineering and computer science.

  • Mathematical Logic and Formalized Theories

    A Survey of Basic Concepts and Results
    • 2 Edición
    • Robert L. Rogers
    • Inglés
    Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results focuses on basic concepts and results of mathematical logic and the study of formalized theories. The manuscript first elaborates on sentential logic and first-order predicate logic. Discussions focus on first-order predicate logic with identity and operation symbols, first-order predicate logic with identity, completeness theorems, elementary theories, deduction theorem, interpretations, truth, and validity, sentential connectives, and tautologies. The text then tackles second-order predicate logic, as well as second-order theories, theory of definition, and second-order predicate logic F2. The publication takes a look at natural and real numbers, incompleteness, and the axiomatic set theory. Topics include paradoxes, recursive functions and relations, Gödel's first incompleteness theorem, axiom of choice, metamathematics of R and elementary algebra, and metamathematics of N. The book is a valuable reference for mathematicians and researchers interested in mathematical logic and formalized theories.

  • NonEuclidean Geometry

    • 1 Edición
    • Herbert Meschkowski
    • D. Allan Bromley + 2 más
    • Inglés
    Noneuclidean Geometry focuses on the principles, methodologies, approaches, and importance of noneuclidean geometry in the study of mathematics. The book first offers information on proofs and definitions and Hilbert's system of axioms, including axioms of connection, order, congruence, and continuity and the axiom of parallels. The publication also ponders on lemmas, as well as pencil of circles, inversion, and cross ratio. The text examines the elementary theorems of hyperbolic geometry, particularly noting the value of hyperbolic geometry in noneuclidian geometry, use of the Poincaré model, and numerical principles in proving hyperparallels. The publication also tackles the issue of construction in the Poincaré model, verifying the relations of sides and angles of a plane through trigonometry, and the principles involved in elliptic geometry. The publication is a valuable source of data for mathematicians interested in the principles and applications of noneuclidean geometry.

  • Intermediate Algebra & Analytic Geometry

    • 1 Edición
    • William R. Gondin + 1 más
    • Inglés
    Intermediate Algebra & Analytic Geometry Made Simple focuses on the principles, processes, calculations, and methodologies involved in intermediate algebra and analytic geometry. The publication first offers information on linear equations in two unknowns and variables, functions, and graphs. Discussions focus on graphic interpretations, explicit and implicit functions, first quadrant graphs, variables and functions, determinate and indeterminate systems, independent and dependent equations, and defective and redundant systems. The text then examines quadratic equations in one variable, systems involving quadratics, and determinants. Topics include determinants of higher order, application of Cramer's rule, second-order determinants, systems linear in quadratic terms, systems treatable by substitution, systems with a linear equation, and other systems treated by comparison. The manuscript ponders on trigonometric functions and equations, straight lines, and points, distances, and slopes, including intersection points of lines, perpendicular distances, angles between lines, positions of points, inverse trigonometric functions, and trigonometric equations. The publication is a valuable source of data for readers interested in intermediate algebra and analytic geometry.

  • Designing Information Systems

    • 1 Edición
    • Stanley G. Blethyn + 1 más
    • Inglés
    Designing Information Systems focuses on the processes, methodologies, and approaches involved in designing information systems. The book first describes systems, management and control, and how to design information systems. Discussions focus on documents produced from the functional construction function, users, operators, analysts, programmers and others, process management and control, levels of management, open systems, design of management information systems, and business system description, partitioning, and leveling. The text then takes a look at functional specification and functional analysis, procedures and rules, and data modeling and data analysis. Concerns cover charting conventions and data modeling concepts, domains and domain integrity, deciding the most appropriate design solutions, and presentation of solutions to the user community. The manuscript examines implementation, user participation, aspects of human-computer interaction, project management, and system evaluation. Topics include appraisal of the simple approach, system evaluation with multiple purposes, data flows, data analysis and the data model, approaches to user involvement, and post-implementation evaluation and audit. The text is a valuable source of data for computer programmers and researchers wanting to explore how information systems are designed.

  • The Statistics of Bioassay

    With Special Reference to the Vitamins
    • 1 Edición
    • C. I. Bliss
    • Inglés
    The Statistics of Bioassay: With Special Reference to the Vitamins, Volume II focuses on the processes, reactions, principles, and approaches involved in the biological assay of vitamins. The publication first offers information on the general principles of biological assay, dosage-response curve and its error, and designs for segregating nonrandom variation. Discussions focus on replacement of missing values, randomized groups, calculation of the line, analysis of the variation about the line, comparative biological assays, analytical biological assays, and determination of activity. The text then ponders on measurement of relative potency and correction of quantitative variables. The manuscript takes a look at assays where the variation in response is a function of the dose and slope-ratio assays. Topics include microbiological assays and the slope-ratio technique, analysis of balanced slope-ratio assays, analysis of assays with an all-or-none response, and graded response with unequal variance. The publication then tackles multiple or repeated assays, including quality control in repeated assays and combination of independent assays of a single unknown. The publication is a valuable source of information for researchers interested in the biological assay of vitamins.

  • On Applications and Theory of Functional Equations

    • 1 Edición
    • J. Aczél
    • Inglés
    On Applications and Theory of Functional Equations focuses on the principles and advancement of numerical approaches used in functional equations. The publication first offers information on the history of functional equations, noting that the research on functional equations originated in problems related to applied mathematics. The text also highlights the influence of J. d'Alembert, S. D. Poisson, E. Picard, and A. L. Cauchy in promoting the processes of numerical analyses involving functional equations. The role of vectors in solving functional equations is also noted. The book ponders on the international Fifth Annual Meeting on Functional Equations, held in Waterloo, Ontario, Canada on April 24-30, 1967. The meeting gathered participants from America, Asia, Australia, and Europe. One of the topics presented at the meeting focuses on the survey of materials dealing with the progress of approaches in the processes and methodologies involved in solving problems dealing with functional equations. The influence, works, and contributions of A. L. Cauchy, G. Darboux, and G. S. Young to the field are also underscored. The publication is a valuable reference for readers interested in functional equations.

  • Digital Logic Design

    • 2 Edición
    • B. Holdsworth
    • Inglés
    Digital Logic Design, Second Edition provides a basic understanding of digital logic design with emphasis on the two alternative methods of design available to the digital engineer. This book describes the digital design techniques, which have become increasingly important. Organized into 14 chapters, this edition begins with an overview of the essential laws of Boolean algebra, K-map plotting techniques, as well as the simplification of Boolean functions. This text then presents the properties and develops the characteristic equations of a number of various types of flip-flop. Other chapters consider the design of synchronous and asynchronous counters using either discrete flip-flops or shift registers. This book discusses as well the design and implementation of event driven logic circuits using the NAND sequential equation. The final chapter deals with simple coding techniques and the principles of error detection and correction. This book is a valuable resource for undergraduate students, digital engineers, and scientists.

  • A Simple Introduction to Data and Activity Analysis

    • 1 Edición
    • Rosemary Rock-Evans
    • Inglés
    A Simple Introduction to Data and Activity Analysis provides an introduction to the main concepts embodied in the analysis techniques. This book provides a more balanced picture of the methods of the analysis by showing what deliverables are collected as well as how to obtain them. Organized into eight chapters, this book begins with an overview of some of the activities that need to be done to analyze the business and some of the end and intermediate deliverables produced by these activities. This text then explains how to get the activity analysis deliverables. Other chapters consider the causes and effects of problems in business. This book discusses as well how activities can be decomposed or broken down into more and more detailed activities, using the techniques of activity decomposition and data flow diagramming. The final chapter deals with the methods of analysis that show how different types of input could be converted into the data and activity models. This book is a valuable resource for computer programmers.

  • A New Approach to Scientific Computation

    • 1 Edición
    • Ulrich W. Kulisch + 1 más
    • Inglés
    A New Approach to Scientific Computation is a collection of papers delivered at a symposium held at the IBM Thomas J. Watson Research Center on August 3, 1982. The symposium provided a forum for reviewing various aspects of an approach to scientific computation based on a systematic theory of computer arithmetic. Computer demonstration packages for standard problems of numerical mathematics are considered. Comprised of 12 chapters, this volume begins by summarizing an extensive research activity in scientific computation as well as the experience gained through various implementations of a new approach to arithmetic on diverse processors, including even microprocessors. A complete listing of the spaces that occur in numerical computations is presented, followed by a discussion of aspects of traditional computer arithmetic and a new definition of computer arithmetic. The properties of semimorphisms are also considered. Subsequent chapters focus on potential applications of programming packages to standard problems in numerical analysis implemented on a Z80 based minicomputer, with a PASCAL extension called PASCAL-SC as the programming language; methods for solving algebraic problems with high accuracy; and the use of a computer with floating-point arithmetic to obtain guaranteed sharp bounds for the value of an arithmetic expression. An extension of FORTRAN which satisfies contemporary requirements of numerical computation is also described. This book will be helpful to students and practitioners in the fields of computer science and applied mathematics.

  • Data Modelling and Process Modelling using the most popular Methods

    Covering SSADM, Yourdon, Inforem, Bachman, Information Engineering and 'Activity/Object' Diagramming Techniques
    • 1 Edición
    • Rosemary Rock-Evans
    • Inglés
    Computer Weekly Professional Series: Data modeling and Process modeling: Using the Most Popular Methods focuses on the processes, methodologies, and approaches employed in data modeling and process modeling. The book first offers information on data modeling, how to do data modeling, and process modeling. Discussions focus on diagrammatic representation, main concepts of process modeling, merging the models, refining the data model, diagrammatic techniques, fundamental rules of data modeling, and other deliverables of data modeling. The text then examines how to do process modeling and improving a system using analysis deliverables. Topics include problems, causes and effects, events, obligations and objectives, verification methods, and refining the results. The manuscript reviews elementary activities, including structured text and access paths, updating the data model from the access paths and structured English, and other useful detailed deliverables of an elementary activity. The publication is a valuable source of data for researchers interested in data modeling and process modeling.

  • Topological Spaces

    • 1 Edición
    • H. J. Kowalsky
    • Inglés
    Topological Spaces focuses on the applications of the theory of topological spaces to the different branches of mathematics. The book first offers information on elementary principles, topological spaces, and compactness and connectedness. Discussions focus on locally compact spaces, local connectedness, fundamental concepts and their reformulations, lattice of topologies, axioms of separation, fundamental concepts of set theory, and ordered sets and lattices. The manuscript then ponders on mappings and extensions and characterization of topological spaces, including completely regular spaces, transference of topologies, Wallman compactification, and embeddings. The publication takes a look at metric and uniform spaces and applications of topological groups. Topics include the Stone-Weierstrass Approximation Theorem, extensions and completions of topological groups, topological rings and fields, extension and completion of uniform spaces, uniform continuity and uniform convergence, metric spaces, and metritization. The text is a valuable reference for mathematicians and researchers interested in the study of topological spaces.

  • Advanced Calculus with Linear Analysis

    • 1 Edición
    • Joseph R. Lee
    • Inglés
    Advanced Calculus with Linear Analysis provides information pertinent to the fundamental aspects of advanced calculus from the point of view of linear spaces. This book covers a variety of topics, including function spaces, infinite series, real number system, sequence spaces, power series, partial differentiation, uniform continuity, and the class of measurable sets. Organized into nine chapters, this book begins with an overview of the concept of a single-valued function, consisting of a rule, a domain, and a range. This text then describes an infinite sequence as an ordered set of elements that can be put into a one-to-one correspondence with the positive integers. Other chapters consider a normed linear space, which is complete if and only if every Cauchy sequence converges to an element in the space. This book discusses as well the convergence of an infinite series, which is determined by the convergence of the infinite sequence of partial sums. This book is a valuable resource for students.

  • An Introduction to Numerical Mathematics

    • 1 Edición
    • Eduard L. Stiefel
    • Inglés
    An Introduction to Numerical Mathematics provides information pertinent to the fundamental aspects of numerical mathematics. This book covers a variety of topics, including linear programming, linear and nonlinear algebra, polynomials, numerical differentiation, and approximations. Organized into seven chapters, this book begins with an overview of the solution of linear problems wherein numerical mathematics provides very effective algorithms consisting of finitely many computational steps. This text then examines the method for the direct solution of a definite problem. Other chapters consider the determination of frequencies in freely oscillating mechanical or electrical systems. This book discusses as well eigenvalue problems for oscillatory systems of finitely many degrees of freedom, which can be reduced to algebraic equations. The final chapter deals with the approximate representation of a function f(x) given by I-values as in the form of a table. This book is a valuable resource for physicists, mathematicians, theoreticians, engineers, and research workers.

  • Complex Numbers in Geometry

    • 1 Edición
    • I. M. Yaglom
    • Henry Booker + 2 más
    • Inglés
    Complex Numbers in Geometry focuses on the principles, interrelations, and applications of geometry and algebra. The book first offers information on the types and geometrical interpretation of complex numbers. Topics include interpretation of ordinary complex numbers in the Lobachevskii plane; double numbers as oriented lines of the Lobachevskii plane; dual numbers as oriented lines of a plane; most general complex numbers; and double, hypercomplex, and dual numbers. The text then takes a look at circular transformations and circular geometry, including ordinary circular transformations, axial circular transformations of the Lobachevskii plane, circular transformations of the Lobachevskii plane, axial circular transformations, and ordinary circular transformations. The manuscript is intended for pupils in high schools and students in the mathematics departments of universities and teachers' colleges. The publication is also useful in the work of mathematical societies and teachers of mathematics in junior high and high schools.

  • Distributions and the Boundary Values of Analytic Functions

    • 1 Edición
    • E. J. Beltrami + 1 más
    • Inglés
    Distributions and the Boundary Values of Analytic Functions focuses on the tools and techniques of distribution theory and the distributional boundary behavior of analytic functions and their applications. The publication first offers information on distributions, including spaces of testing functions, distributions of finite order, convolution and regularization, and testing functions of rapid decay and distributions of slow growth. The text then examines Laplace transform, as well as Laplace transforms of distributions with arbitrary support. The manuscript ponders on distributional boundary values of analytic functions, including causal and passive operators, analytic continuation and uniqueness, boundary value theorems and generalized Hilbert transforms, and representation theorems for half-plane holomorphic functions with S' boundary behavior. The publication is a valuable source of data for researchers interested in distributions and the boundary values of analytic functions.

  • Theoretical Numerical Analysis

    • 1 Edición
    • Burton Wendroff
    • Inglés
    Theoretical Numerical Analysis focuses on the presentation of numerical analysis as a legitimate branch of mathematics. The publication first elaborates on interpolation and quadrature and approximation. Discussions focus on the degree of approximation by polynomials, Chebyshev approximation, orthogonal polynomials and Gaussian quadrature, approximation by interpolation, nonanalytic interpolation and associated quadrature, and Hermite interpolation. The text then ponders on ordinary differential equations and solutions of equations. Topics include iterative methods for nonlinear systems, matrix eigenvalue problems, matrix inversion by triangular decomposition, homogeneous boundary value problems, and initial value problems. The publication takes a look at partial differential equations, including heat equation, stability, maximum principle, and first order systems. The manuscript is a vital source of data for mathematicians and researchers interested in theoretical numerical analysis.

Temas relacionados