You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The authors of this carefully structured guide are the principal developers of LINPACK, a unique package of Fortran subroutines for analyzing and solving various systems of simultaneous linear algebraic equations and linear least squares problems. This guide supports both the casual user of LINPACK who simply requires a library subroutine, and the specialist who wishes to modify or extend the code to handle special problems. It is also recommended for classroom work.
This advanced introduction emphasizes the variety of ideas, techniques, and applications of the subject.
This book is an outgrowth of formal graduate courses in multiple-criteria decision making (MCDM) that the author has taught at the University of Rochester, University of Texas at Austin, and University of Kansas since 1972. The purpose is, on one hand, to offer the reader an integral and systematic view of various concepts and techniques in MCDM at an "introductory" level, and, on the other hand, to provide a basic conception of the human decision mechanism, which may improve our ability to apply the techniques we have learned and may broaden our llJ.ind for modeling human decision making. The book is written with a goal in mind that the reader should be able to assimilate and benefit from most of the concepts in the book if he has the mathematical maturity equivalent to a course in operations research or optimiz ation theory. Good training in linear and nonlinear programming is sufficient to digest, perhaps easily, most of the concepts in the book.
This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the field. The contributors to this book are all leading world experts in Logic Programming, and they deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing. XXXXXXX Neuer Text Logic Programming was founded 25 years ago. This exciting book reveals both the evolution of this programming paradigm and its impressively broad scope of current research. The contributions by leading computer scientists deal with both theoretical and practical issues. They address diverse topics such as: computational molecular biology, machine learning, mobile computing, multi-agent systems, numerical computing and dynamical systems, database systems, program semantics, natural language processing, and promising future directions.
This book constitutes the proceedings of the 15th International Conference on Formal Concept Analysis, ICFCA 2019, held in Frankfurt am Main, Germany, in June 2019. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The book also contains four invited contributions in full paper length. The field of Formal Concept Analysis (FCA) originated in the 1980s in Darmstadt as a subfield of mathematical order theory, with prior developments in other research groups. Its original motivation was to consider complete lattices as lattices of concepts, drawing motivation from philosophy and mathematics alike. FCA has since then developed into a wide research area with applications much beyond its original motivation, for example in logic, data mining, learning, and psychology.
At first sight discrete and fractional programming techniques appear to be two com pletely unrelated fields in operations research. We will show how techniques in both fields can be applied separately and in a combined form to particular models in location analysis. Location analysis deals with the problem of deciding where to locate facilities, con sidering the clients to be served, in such a way that a certain criterion is optimized. The term "facilities" immediately suggests factories, warehouses, schools, etc. , while the term "clients" refers to depots, retail units, students, etc. Three basic classes can be identified in location analysis: continuous location, network location and dis ...
This volume explores A.P. Morse’s (1911-1984) development of a formal language for writing mathematics, his application of that language in set theory and mathematical analysis, and his unique perspective on mathematics. The editor brings together a variety of Morse’s works in this compilation, including Morse's book A Theory of Sets, Second Edition (1986), in addition to material from another of Morse’s publications, Web Derivatives, and notes for a course on analysis from the early 1950's. Because Morse provided very little in the way of explanation in his written works, the editor’s commentary serves to outline Morse’s goals, give informal explanations of Morse’s formal langua...
Uncertainty Proceedings 1994
This monograph surveys the theory of quantitative homogenization for second-order linear elliptic systems in divergence form with rapidly oscillating periodic coefficients in a bounded domain. It begins with a review of the classical qualitative homogenization theory, and addresses the problem of convergence rates of solutions. The main body of the monograph investigates various interior and boundary regularity estimates that are uniform in the small parameter e>0. Additional topics include convergence rates for Dirichlet eigenvalues and asymptotic expansions of fundamental solutions, Green functions, and Neumann functions. The monograph is intended for advanced graduate students and researchers in the general areas of analysis and partial differential equations. It provides the reader with a clear and concise exposition of an important and currently active area of quantitative homogenization.