Skip to main content
Elsevier

Books in Mathematics

The Mathematics collection presents a range of foundational and advanced research content across applied and discrete mathematics, including fields such as Computational Mathematics; Differential Equations; Linear Algebra; Modelling & Simulation; Numerical Analysis; Probability & Statistics.

  • Theoretical Aspects of Reasoning About Knowledge

    Proceedings of the Fifth Conference (TARK 1994)
    • 1st Edition
    • Ronald Fagin
    • English
    Theoretical Aspects of Reasoning About Knowledge contains the proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994) held in Pacific Grove, California, on March 13-16, 1994. The conference provided a forum for discussing the theoretical aspects of reasoning about knowledge and tackled topics ranging from the logic of iterated belief revision and backwards forward induction to information acquisition from multi-agent resources, infinitely epistemic logic, and coherent belief revision in games. Comprised of 23 chapters, this book begins with a review of situation calculus and a solution to the frame problem, along with the use of a regression method for reasoning about the effect of actions. A novel programming language for high-level robotic control is described, along with a knowledge-based framework for belief change. Subsequent chapters deal with consistent belief reasoning in the presence of inconsistency; an epistemic logic of situations; an axiomatic approach to the logical omniscience problem; and an epistemic proof system for parallel processes. Inductive learning, knowledge asymmetries, and convention are also examined. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science.

  • A Simple Introduction to Data and Activity Analysis

    • 1st Edition
    • Rosemary Rock-Evans
    • English
    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.

  • Readings in Fuzzy Sets for Intelligent Systems

    • 1st Edition
    • Didier J. Dubois + 2 more
    • English
    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.

  • Uncertainty in Artificial Intelligence

    Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence, The Catholic University of America, Washington, D.C. 1993
    • 1st Edition
    • David Heckerman + 1 more
    • English
    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.

  • Digital Logic Design

    • 2nd Edition
    • B. Holdsworth
    • English
    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.

  • Uncertainty in Artificial Intelligence

    Proceedings of the Eighth Conference (1992), July 17–19, 1992, Eighth Conference on Uncertainty in Artificial Intelligence, Stanford University
    • 1st Edition
    • Didier J. Dubois + 2 more
    • English
    Uncertainty in Artificial Intelligence: Proceedings of the Eighth Conference (1992) covers the papers presented at the Eighth Conference on Uncertainty in Artificial Intelligence, held at Stanford University on July 17-19, 1992. The book focuses on the processes, methodologies, technologies, and approaches involved in artificial intelligence. The selection first offers information on Relative Evidential Support (RES), modal logics for qualitative possibility and beliefs, and optimizing causal orderings for generating DAGs from data. Discussions focus on reversal, swap, and unclique operators, modal representation of possibility, and beliefs and conditionals. The text then examines structural controllability and observability in influence diagrams, lattice-based graded logic, and dynamic network models for forecasting. The manuscript takes a look at reformulating inference problems through selective conditioning, entropy and belief networks, parallelizing probabilistic inference, and a symbolic approach to reasoning with linguistic quantifiers. The text also ponders on sidestepping the triangulation problem in Bayesian net computations; exploring localization in Bayesian networks for large expert systems; and expressing relational and temporal knowledge in visual probabilistic networks. The selection is a valuable reference for researchers interested in artificial intelligence.

  • Computing for Calculus

    • 1st Edition
    • Mark J. Christensen
    • English
    Computing for Calculus focuses on BASIC as the computer language used for solving calculus problems. This book discusses the input statement for numeric variables, advanced intrinsic functions, numerical estimation of limits, and linear approximations and tangents. The elementary estimation of areas, numerical and string arrays, line drawing algorithms, and bisection and secant method are also elaborated. This text likewise covers the implicit functions and differentiation, upper and lower rectangular estimates, Simpson's rule and parabolic approximation, and interpolating polynomials. Other topics include the Taylor polynomials, estimating the limit of a sequence, infinite series, and level curves and central projection of surfaces. This publication is beneficial to math students and specialists who use computer languages for educational purposes.

  • Programming for the Newton®

    Software Development with Newtonscriptâ„¢
    • 1st Edition
    • Julie McKeehan + 1 more
    • English
    Programming for the Newton: Software Development with NewtonScript focuses on the processes, approaches, operations, and principles involved in software development with NewtonScript. The publication first elaborates on Newton application design, views on the Newton, and protos. Discussions focus on system protos, creating and using user protos, linking and naming templates, creating the views of WaiterHelper, Newton application designs, and life cycle of an application. The text then elaborates on the fundamentals of NewtonScript, inheritance in NewtonScript, and view system and messages. Topics include InstallScript and RemoveScript, adding code to WaiterHelper, proto and parent inheritance, combining proto and parent inheritance, frames, arrays, and symbols and path expressions. The book ponders on debugging and Newton data storage, including description of methods and functions, handling soups in application, printing, tracking, and debugging functions. The publication is a vital reference for computer programmers and researchers interested in NewtonScript.

  • Mathematical Tools for Applied Multivariate Analysis

    • 1st Edition
    • Paul E. Green
    • English
    Mathematical Tools for Applied Multivariate Analysis provides information pertinent to the aspects of transformational geometry, matrix algebra, and the calculus that are most relevant for the study of multivariate analysis. This book discusses the mathematical foundations of applied multivariate analysis. Organized into six chapters, this book begins with an overview of the three problems in multiple regression, principal components analysis, and multiple discriminant analysis. This text then presents a standard treatment of the mechanics of matrix algebra, including definitions and operations on matrices, vectors, and determinants. Other chapters consider the topics of eigenstructures and linear transformations that are important to the understanding of multivariate techniques. This book discusses as well the eigenstructures and quadratic forms. The final chapter deals with the geometric aspects of linear transformations. This book is a valuable resource for students.

  • Handbook of Networking & Connectivity

    • 1st Edition
    • Gary R. McClain
    • English
    Handbook of Networking & Connectivity focuses on connectivity standards in use, including hardware and software options. The book serves as a guide for solving specific problems that arise in designing and maintaining organizational networks. The selection first tackles open systems interconnection, guide to digital communications, and implementing TCP/IP in an SNA environment. Discussions focus on elimination of the SNA backbone, routing SNA over internets, connectionless versus connection-oriented networks, internet concepts, application program interfaces, basic principles of layering, protocols and services, application layer, and conformance testing. The book then takes a look at integrated services digital network, an overview of the synchronous optical network, and X.25 and worldwide networking. The publication ponders on Metropolitan Area Networks (MAN), an overview of the switched multimegabit data service, and Ethernet/802.3 and Token Ring/802.5. Topics include Ethernet versus token ring, Ethernet/802.3, customer network management, MAN conception and technology, and SMDS specifications and sources and interface protocol. The selection is a vital source of data for systems professionals and researchers interested in networking and connectivity.

Related subjects