Saltar al contenido principal
Elsevier

Libros en Matemáticas

  • Sixth Form Pure Mathematics

    Volume 1
    • 2 Edición
    • C. Plumpton + 1 más
    • Inglés
    Sixth Form Pure Mathematics, Volume 1, Second Edition, is the first of a series of volumes on Pure Mathematics and Theoretical Mechanics for Sixth Form students whose aim is entrance into British and Commonwealth Universities or Technical Colleges. A knowledge of Pure Mathematics up to G.C.E. O-level is assumed and the subject is developed by a concentric treatment in which each new topic is used to illustrate ideas already treated. The major topics of Algebra, Calculus, Coordinate Geometry, and Trigonometry are developed together. This volume covers most of the Pure Mathematics required for the single subject Mathematics at Advanced Level. Early and rapid progress in calculus is made at the beginning of this volume in order to facilitate the student's progress along the most satisfactory lines in Pure Mathematics, in Theoretical Mechanics and in Physics. The worked examples are an essential feature of this book and they are followed by routine exercises within the text of each chapter, associated closely with the work on which they are dependent. The exercises at the end of each chapter collectively embody all the topics of that chapter and, where possible, the preceding chapters also.

  • Computer Science

    A Concise Introduction
    • 1 Edición
    • Ian Sinclair
    • Inglés
    Computer Science: A Concise Introduction covers the fundamentals of computer science. The book describes micro-, mini-, and mainframe computers and their uses; the ranges and types of computers and peripherals currently available; applications to numerical computation; and commercial data processing and industrial control processes. The functions of data preparation, data control, computer operations, applications programming, systems analysis and design, database administration, and network control are also encompassed. The book then discusses batch, on-line, and real-time systems; the basic concepts of computer architecture; and the characteristics of main memory and backing storage. The main characteristics of common types of input, output, and input/output devices used in commercial computer applications and data transmission system are also considered. The book tackles the organization and accessing of serial, sequential, and indexed sequential file; file processing and management; and the concepts and functions of operating systems. The text describes on-line and off-line programming methods as well. Computer science students will find the book useful.

  • 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.

  • 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.

  • 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.

  • How to Find Out in Mathematics

    A Guide to Sources of Information
    • 2 Edición
    • John E. Pemberton
    • G. Chandler
    • Inglés
    How to Find Out in Mathematics: A Guide to Sources of Information, Second Revised Edition presents updated topics about probability and statistics, dictionaries and encyclopedias, computing, and mathematical education. The book discusses the modifications of the content of professional actuarial examinations; the assimilation of modern mathematics into the school curriculum; and the establishment of government departments to administer financial support for mathematical research. The text also describes the efforts to improve communication between mathematicians (i.e. the inception of the Mathematical Offprint Service and the publication of Contents of Contemporary Mathematical Journals by the American Mathematical Society). People who are studying, teaching, or applying mathematics will find the book helpful.

  • Sixth Form Pure Mathematics

    Volume 2
    • 1 Edición
    • C. Plumpton + 1 más
    • Inglés
    Sixth Form Pure Mathematics, Volume 2, provides an introduction to inverse trigonometric functions, hyperbolic and inverse hyperbolic functions, and a range of mathematical methods including the use of determinants, the manipulation of inequalities, the solution of easy differential equations, and the use of approximate numerical methods. Complex numbers are defined and the various ways of representing and manipulating them are considered. Polar coordinates, curvature, an elementary study of lengths of curves and areas of surfaces of revolution, a more mature discussion of two-dimensional coordinate geometry than was possible in Volume 1, and an elementary introduction to the methods of three dimensional coordinate geometry comprise the geometrical content of the book. Throughout, the authors have tried to preserve the concentric style which they used in Volume 1 and the many worked examples and exercises in each chapter are designed or chosen to provide a continuous reminder of the work of the preceding chapters. Except for Pure Geometry, the two volumes cover almost all of the syllabuses for Advanced Pure Mathematics of the nine Examining Boards. This book provides an adequate course for mathematical pupils at Grammar Schools and a useful introductory course for Science and Engineering students in their first year at University or Technical College or engaged in private study.

  • 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.

  • 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.

  • 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.

  • Analysis and Design of Certain Quantitative Multiresponse Experiments

    International Series of Monographs in Applied Statistics and Biometry
    • 1 Edición
    • S. N. Roy + 2 más
    • Inglés
    Analysis and Design of Certain Quantitative Multiresponse Experiments highlights (i) the need for multivariate analysis of variance (MANOVA); (ii) the need for multivariate design for multiresponse experiments; and (iii) the actual procedures and interpretation that have been used for this purpose by the authors. The development in this monograph is such that the theory and methods of uniresponse analysis and design stay very close to classical ANOVA. The book first discusses the multivariate aspect of linear models for location type of parameters, but under a univariate design, i.e. one in which each experimental unit is measured or studied with respect to all the responses. Separate chapters cover point estimation of location parameters; testing of linear hypotheses; properties of test procedures; and confidence bounds on a set of parametric functions. Subsequent chapters discuss a graphical internal comparison method for analyzing certain kinds of multiresponse experimental data; two classes of multiresponse designs, i.e. designated hierarchical and p-block designs; and the construction of various kinds of multiresponse designs.

  • Gait Analysis

    An Introduction
    • 1 Edición
    • Michael W. Whittle
    • Inglés
    Gait Analysis: An Introduction focuses on the systematic study of human walking and its contributions in the medical management of diseases affecting the locomotor system. The book first covers normal gait and pathological gait. Discussions focus on common pathologies affecting gait, amputee gait, walking aids, particular gait abnormalities, gait in the elderly and the young, moments of force, energy consumption, gait cycle, muscular activity during gait, and optimization of energy usage. The manuscript then elaborates on the methods of gait analysis, including visual gait analysis, general gait parameters, timing the gait cycle, direct motion measurement systems, electrogoniometers, electromyography, accelerometers, gyroscopes, and force platforms. The publication tackles the applications of gait analysis, as well as clinical gait and scientific gait analysis, normal ranges for gait parameters, conversions between measurement units, and computer program for general gait parameters. The manuscript is a valuable source of data for students of physical therapy, bioengineering, orthopedics, rheumatology, neurology, and rehabilitation.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • The Handbook of Artificial Intelligence

    Volume 2
    • 1 Edición
    • Avron Barr + 1 más
    • Inglés
    The Handbook of Artificial Intelligence, Volume II focuses on the improvements in artificial intelligence (AI) and its increasing applications, including programming languages, intelligent CAI systems, and the employment of AI in medicine, science, and education. The book first elaborates on programming languages for AI research and applications-oriente... AI research. Discussions cover scientific applications, teiresias, applications in chemistry, dependencies and assumptions, AI programming-language features, and LISP. The manuscript then examines applications-oriente... AI research in medicine and education, including ICAI systems design, intelligent CAI systems, medical systems, and other applications of AI to education. The manuscript explores automatic programming, as well as the methods of program specification, basic approaches, and automatic programming systems. The book is a valuable source of data for computer science experts and researchers interested in conducting further research in artificial intelligence.

  • 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.

  • 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.

  • Proceedings of the Third International Conference on Data and Knowledge Bases

    Improving Usability and Responsiveness
    • 1 Edición
    • C. Beeri + 2 más
    • Inglés
    Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness compiles papers presented at the Third International Conference on Data and Knowledge Bases held in Jerusalem, Israel on June 28-30, 1988. This book discusses the management system for graph-like documents, selection of processing strategies for different recursive queries, and supporting concurrent access to facts in logic programs. The design considerations for a Prolog database engine, experience with the domain algebra, and two level transaction management in a multiprocessor database machine are also described. This publication likewise covers the non-deterministic choice in Datalog and locally balanced compact Trie Hashing. This compilation is a good source for researchers and specialists of disciplines related to computer science.

  • 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.

  • 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.

  • Theoretical Aspects of Reasoning About Knowledge

    Proceedings of the Fifth Conference (TARK 1994)
    • 1 Edición
    • Ronald Fagin
    • Inglés
    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.

  • Linear Regression and Its Application to Economics

    • 1 Edición
    • Zdzisław Hellwig
    • Inglés
    Linear Regression and its Application to Economics presents the economic applications of regression theory. This book discusses the importance of linear regression for multi-dimensional variables. Organized into six chapters, this book begins with an overview of the elementary concepts and the more important definitions and theorems concerning two-dimensional and multi-dimensional random variables. This text then examines the important applications of correlation methods to economics. Other chapters consider the methods of estimating regression parameters. This book discusses as well the methods of testing some statistical hypotheses relevant for practical applications of the correlation analysis. The final chapter deals with the fact that correlation methods can be used not only in static but also in dynamic research. This book is a valuable resource for scientists in economic, agricultural, and technical colleges who deal with economic problems in their research. Graduates of economic and technical colleges employed in different branches of the national economy will also find this book useful.

  • 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.

  • A Course of Higher Mathematics

    Adiwes International Series in Mathematics, Volume 4
    • 1 Edición
    • V. I. Smirnov
    • A. J. Lohwater
    • Inglés
    A Course of Higher Mathematics, Volume IV provides information pertinent to the theory of the differential equations of mathematical physics. This book discusses the application of mathematics to the analysis and elucidation of physical problems. Organized into four chapters, this volume begins with an overview of the theory of integral equations and of the calculus of variations which together play a significant role in the discussion of the boundary value problems of mathematical physics. This text then examines the basic theory of partial differential equations and of systems of equations in which characteristics play a key role. Other chapters consider the theory of first order equations. This book discusses as well some concrete problems that indicate the aims and ideas of the calculus of variations. The final chapter deals with the boundary value problems of mathematical physics. This book is a valuable resource for mathematicians and readers who are embarking on the study of functional analysis.

  • Arches

    Tables for Statistical Analyses
    • 1 Edición
    • Jan Szymczyk
    • Jerzy Mutermilch
    • Inglés
    Arches: Tables for Statistical Analyses presents a table used for simplifying the calculations of numerical determination of the magnitude of the internal forces in various cross-sections. After the evaluation of the redundancies, one of the stages in the analysis of statistically indeterminate arches is for the investigator to determine the magnitudes of the normal forces and bending moments at various cross-sections. A large number of sections should be considered in order for the investigator to get an accurate picture of the distribution of the generalized internal forces. Such number of sections varies between 10 and 20. To simplify the calculations, the book supplements the main tables for the vertical and horizontal components of reactions by auxiliary tables. These auxiliary tables give the magnitudes of normal forces and bending moments for cases usually encountered in actual practice. The book also explains the use of coefficients in the analysis of two-pinned arches with unyielding supports. The text can be useful for mathematicians, statisticians, and scientific investigators who have to deal with the analysis of numerical data.

  • Statistical Methods

    • 1 Edición
    • Stefan Szulc
    • Inglés
    Statistical Methods provides a discussion of the principles of the organization and technique of research, with emphasis on its application to the problems in social statistics. This book discusses branch statistics, which aims to develop practical ways of collecting and processing numerical data and to adapt general statistical methods to the objectives in a given field. Organized into five parts encompassing 22 chapters, this book begins with an overview of how to organize the collection of such information on individual units, primarily as accomplished by government agencies. This text then examines the other types of statistical series such as geographical, time, and structural series. Other chapters consider several types of relative numbers and analyze some related problems in greater detail. This book discusses as well the methods of analysis of interdependence between the characteristics deals with these methods. The final chapter deals with cases in which partial research is either an incorrect form of pseudo-sampling survey. This book is a valuable resource for economists.

  • 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.

  • Contributions to Logic and Methodology

    In Honor of J.M. Bochenski
    • 1 Edición
    • Anna-Teresa Tymieniecka
    • Inglés
    Contributions to Logic and Methodology in Honor of J. M. Boche?ski focuses on the influence, contributions, and legacy of J. M. Boche?ski in the fields of logic and methodology. The selection first offers information on some remarks on inferential deduction, modal logic with eight modalities, and method and logic in presocratic explanation. Discussions focus on inference, evidence, hypothesis, generalization, semantical discussion, proof of necessity, multiple dialogues, and construction trees. The text then elaborates on reification, quotation, and nominalization, logic of preference and choice, and sense, denotation, and the context of sentences. Topics include axioms of preference and of choice, economic context, methodological remarks, reification, nominalization, and quotation. The manuscript examines conjectural inference and phenomenological analysis, including anticipatory evidence and choice of method, conjecture of the universal order, conjectural requirement of the architectonic project, and outline of the program of conjectural inquiry. The selection is a dependable source of information for philosophers and researchers interested in the influence and contributions of J. M. Boche?ski to logic and methodology.

  • Modern Dimension Theory

    • 1 Edición
    • Jun-Iti Nagata
    • N. G. De Bruijn + 2 más
    • Inglés
    Bibliotheca Mathematica, Volume 6: Modern Dimension Theory provides a brief account of dimension theory as it has been developed since 1941, including the principal results of the classical theory for separable metric spaces. This book discusses the decomposition theorem, Baire's zero-dimensional spaces, dimension of separable metric spaces, and characterization of dimension by a sequence of coverings. The imbedding of countable-dimensiona... spaces, sum theorem for strong inductive dimension, and cohomology group of a topological space are also elaborated. This text likewise covers the uniformly zero-dimensional mappings, theorems in euclidean space, transfinite inductive dimension, and dimension of non-metrizable spaces. This volume is recommended to students and specialists researching on dimension theory.

  • Elements of Probability Theory

    • 1 Edición
    • L. Z. Rumshiskii
    • Inglés
    Elements of Probability Theory presents the methods of the theory of probability. This book is divided into seven chapters that discuss the general rule for the multiplication of probabilities, the fundamental properties of the subject matter, and the classical definition of probability. The introductory chapters deal with the functions of random variables; continuous random variables; numerical characteristics of probability distributions; center of the probability distribution of a random variable; definition of the law of large numbers; stability of the sample mean and the method of moments; and Chebyshev’s theorem. The next chapters consider the limit theorem of de Moivre-Laplace and the solution of two fundamental problems in the theory of errors. The discussion then shifts to the best linear approximation to the regression function. The concluding chapters look into the central limit theorem of Lyapunov and the significance of the value of the coefficient of correlation. The book can provide useful information to the statisticians, students, and researchers.

  • The Office of the Future

    Communication and Computers
    • 1 Edición
    • Ronald P. Uhlig + 2 más
    • Inglés
    Monograph Series of the International Council for Computer Communications, Volume 1: The Office of the Future: Communication and Computers focuses on the advancements in the processes, technologies, techniques, principles, and approaches involved in communication and computers, including computer based tools, data gathering and information retrieval, and office automation. The publication first elaborates on the automated office of the future, tools to support the communication activity, and text editing tools for generating, organizing, analyzing, and transforming information. Discussions focus on generating, organizing, and analyzing information, basic message system concepts, impact of computer networks, and other processes in the office. The text then examines the integration of computer based tools, data gathering and information retrieval tools, coordination tools in the office of the future, and tools to support office processes. The manuscript ponders on the integration of the spoken word with interactive computer based office support systems, underlying technology, digital channel, and software aspects of the office environment utilizing the micro-processor. Topics include single board computer, advances in digital computer communications technology, future directions for digital networks, bandwidth availability, and storage and retrieval of voice information. The book is a dependable source of data for computer science experts and researchers interested in the relationship of communication and computers.

  • A Course of Higher Mathematics

    Integration and Functional Analysis, Volume 5
    • 1 Edición
    • V. I. Smirnov
    • A. J. Lohwater
    • Inglés
    A Course of Higher Mathematics, Volume V focuses on the theory of integration and elements of functional analysis. This book is organized into five chapters. Chapter I discusses the theory of the classical Stieltjes integral and space C of continuous functions, while Chapter II deals with the foundations of the metric theory of functions of a real variable and Lebesgue-Stieltjes integral. The theory of completely additive set functions and case of the one-dimensional Hellinger integral are analyzed in Chapter III. Chapter IV contains an exposition of the foundations of the general theory of metric and normed spaces. The general theory of Hilbert space is covered in Chapter V. This volume is suitable for engineers, physicists, and students of pure mathematics.

  • Arithmetic for the Mature Student

    • 1 Edición
    • F. H. George
    • F. H. George
    • Inglés
    Arithmetic for the Mature Student provides information pertinent to the basic operations of arithmetic, including addition, subtraction, multiplication, and division. This book covers a variety of topics, including percentages, fractions, and factors. Organized into five chapters, this book begins with an overview of the instructions on how to use the book. This text then explains arithmetic, which is made up of a set of rules for performing jobs with ordinary numbers. Other chapters consider adding, subtracting, multiplying, and dividing numbers that come between 0 and 1. This book discusses as well an alternative notation for describing fractions. The final chapter deals with that particular type of standard fraction called a percentage. This book is a valuable resource for students in arithmetic.

  • 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.

  • Teaching Machines and Programming

    • 1 Edición
    • K. Austwick
    • Inglés
    Teaching Machines and Programming covers the significant developments in teaching machines and automated teaching, as well as the major theoretical issues and attributes involved in these procedures. After a brief introduction to teaching machine procedures, this six-chapter text goes on summarizing the industrial and military applications of teaching machines. The succeeding chapters consider the underlying theory, function, and schema of the adaptive teaching system, which are related to recognizable teaching functions performed by a human tutor. The last chapters discuss the development and features of linear programs and their application as new teaching aid. These chapters also look into some practical problems arising in programming for schools. This book will prove useful to computer programmers, school administrators, teachers, and students.

  • Conceptual Information Processing

    • 1 Edición
    • Roger C. Schank
    • Inglés
    Fundamental Studies in Computer Science, 3: Conceptual Information Processing discusses a theory of natural language and implementation of that theory on a computer, focusing basically on an Artificial Intelligence approach to linguistics. This book aims to write computer programs that could understand and generate sentences, which is intended as a first step towards the long range goal of a computer that can communicate with people in natural language. The topics covered include computational linguistics, conceptual dependency theory, history of the analyzer, representation in memory, and structure of BABEL. This publication is a good reference for researchers and specialists working in the field of computer science.

  • A Treatise on Trigonometric Series

    Volume 1
    • 1 Edición
    • N. K. Bary
    • Inglés
    A Treatise on Trigonometric Series, Volume 1 deals comprehensively with the classical theory of Fourier series. This book presents the investigation of best approximations of functions by trigonometric polynomials. Organized into six chapters, this volume begins with an overview of the fundamental concepts and theorems in the theory of trigonometric series, which play a significant role in mathematics and in many of its applications. This text then explores the properties of the Fourier coefficient function and estimates the rate at which its Fourier coefficients tend to zero. Other chapters consider some tests for the convergence of a Fourier series at a given point. This book discusses as well the conditions under which the series does converge uniformly. The final chapter deals with adjustment of a summable function outside a given perfect set. This book is a valuable resource for advanced students and research workers. Mathematicians will also find this book useful.

  • 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.

  • Introduction to Modern Mathematics

    • 1 Edición
    • Helena Rasiowa
    • Inglés
    Introduction to Modern Mathematics focuses on the operations, principles, and methodologies involved in modern mathematics. The monograph first tackles the algebra of sets, natural numbers, and functions. Discussions focus on groups of transformations, composition of functions, an axiomatic approach to natural numbers, intersection of sets, axioms of the algebra of sets, fields of sets, prepositional functions of one variable, and difference of sets. The text then takes a look at generalized unions and intersections of sets, Cartesian products of sets, and equivalence relations. The book ponders on powers of sets, ordered sets, and linearly ordered sets. Topics include isomorphism of linearly ordered sets, dense linear ordering, maximal and minimal elements, quasi-ordering relations, inequalities for cardinal numbers, sets of the power of the continuum, and Cantor's theorem. The manuscript then examines elementary concepts of abstract algebras, functional calculus and its applications in mathematical proofs, and propositional calculus and its applications in mathematical proofs. The publication is a valuable reference for mathematicians and researchers interested in modern mathematics.

  • 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.

  • 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.

Temas relacionados