Download or read book Soviet Journal of Computer and System Sciences 1988 written by JNL Staff and published by . This book was released on 1988-01-01 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Soviet Journal of Computer and System Sciences written by JNL-Comp Staff and published by . This book was released on 1985-01-01 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Soviet Journal of Computer and Systems Sciences written by and published by . This book was released on 1992 with total page 710 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Journal of Computer Systems Sciences International written by and published by . This book was released on 1993-07 with total page 546 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Operations Research in Transportation Systems written by A.S. Belenky and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 445 pages. Available in PDF, EPUB and Kindle. Book excerpt: The scientific monograph of a survey kind presented to the reader's attention deals with fundamental ideas and basic schemes of optimization methods that can be effectively used for solving strategic planning and operations manage ment problems related, in particular, to transportation. This monograph is an English translation of a considerable part of the author's book with a similar title that was published in Russian in 1992. The material of the monograph embraces methods of linear and nonlinear programming; nonsmooth and nonconvex optimization; integer programming, solving problems on graphs, and solving problems with mixed variables; rout ing, scheduling, solving network flow problems, and solving the transportation problem; stochastic programming, multicriteria optimization, game theory, and optimization on fuzzy sets and under fuzzy goals; optimal control of systems described by ordinary differential equations, partial differential equations, gen eralized differential equations (differential inclusions), and functional equations with a variable that can assume only discrete values; and some other methods that are based on or adjoin to the listed ones.
Download or read book Optimal Resource Allocation written by Igor A. Ushakov and published by John Wiley & Sons. This book was released on 2013-05-17 with total page 165 pages. Available in PDF, EPUB and Kindle. Book excerpt: A UNIQUE ENGINEERING AND STATISTICAL APPROACH TO OPTIMAL RESOURCE ALLOCATION Optimal Resource Allocation: With Practical Statistical Applications and Theory features the application of probabilistic and statistical methods used in reliability engineering during the different phases of life cycles of technical systems. Bridging the gap between reliability engineering and applied mathematics, the book outlines different approaches to optimal resource allocation and various applications of models and algorithms for solving real-world problems. In addition, the fundamental background on optimization theory and various illustrative numerical examples are provided. The book also features: An overview of various approaches to optimal resource allocation, from classical Lagrange methods to modern algorithms based on ideas of evolution in biology Numerous exercises and case studies from a variety of areas, including communications, transportation, energy transmission, and counterterrorism protection The applied methods of optimization with various methods of optimal redundancy problem solutions as well as the numerical examples and statistical methods needed to solve the problems Practical thoughts, opinions, and judgments on real-world applications of reliability theory and solves practical problems using mathematical models and algorithms Optimal Resource Allocation is a must-have guide for electrical, mechanical, and reliability engineers dealing with engineering design and optimal reliability problems. In addition, the book is excellent for graduate and PhD-level courses in reliability theory and optimization.
Download or read book Advances in Petri Nets 1991 written by Grzegorz Rozenberg and published by Springer Science & Business Media. This book was released on 1991-08-28 with total page 590 pages. Available in PDF, EPUB and Kindle. Book excerpt: The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries.
Download or read book Inductive Learning Algorithms for Complex Systems Modeling written by H.R. Madala and published by CRC Press. This book was released on 2019-08-08 with total page 381 pages. Available in PDF, EPUB and Kindle. Book excerpt: Discusses algorithm development, structure, and behavior Presents comprehensive coverage of algorithms useful for complex systems modeling Includes recent studies on clusterization and recognition problems Provides listings of algorithms in FORTRAN that can be run directly on IBM-compatible PCs
Download or read book Integer Programming and Related Areas written by Rabe v. Randow and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 522 pages. Available in PDF, EPUB and Kindle. Book excerpt: The fields of integer programming and combinatorial optimization continue to be areas of great vitality, with an ever increasing number of publications and journals appearing. A classified bibliography thus continues to be necessary and useful today, even more so than it did when the project, of which this is the fifth volume, was started in 1970 in the Institut fur Okonometrie und Operations Research of the University of Bonn. The pioneering first volume was compiled by Claus Kastning during the years 1970 - 1975 and appeared in 1976 as Volume 128 of the series Lecture Notes in Economics and Mathematical Systems published by the Springer Verlag. Work on the project was continued by Dirk Hausmann, Reinhardt Euler, and Rabe von Randow, and resulted in the publication of the second, third, and fourth volumes in 1978, 1982, and 1985 (Volumes 160, 197, and 243 of the above series). The present book constitutes the fifth volume of the bibliography and covers the period from autumn 1984 to the end of 1987. It contains 5864 new publications by 4480 authors and was compiled by Rabe von Randow. Its form is practically identical to that of the first four volumes, some additions having been made to the subject list.
Download or read book Computing and Combinatorics written by Jin-Yi Cai and published by Springer Science & Business Media. This book was released on 1996-06-05 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the Second Annual International Conference on Computing and Combinatorics, COCOON '96, held in June 1996 in Hong Kong. The 44 papers presented in the book in revised version were carefully selected from a total of 82 submissions. They describe state-of-the-art research results from various areas of theoretical computer science, combinatorics related to computing, and experimental analysis of algorithms; computational graph theory, computational geometry, and networking issues are particularly well-presented.
Download or read book Logic and the Modalities in the Twentieth Century written by Dov M. Gabbay and published by Elsevier. This book was released on 2006-05-10 with total page 733 pages. Available in PDF, EPUB and Kindle. Book excerpt: Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas. This volume is number seven in the eleven volume Handbook of the History of Logic. It concentrates on the development of modal logic in the 20th century, one of the most important undertakings in logic’s long history. Written by the leading researchers and scholars in the field, the volume explores the logics of necessity and possibility, knowledge and belief, obligation and permission, time, tense and change, relevance, and more. Both this volume and the Handbook as a whole are definitive reference tools for students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration. · Detailed and comprehensive chapters covering the entire range of modal logic. · Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic.
Download or read book Sliding Mode Control In Engineering written by Wilfrid Perruquetti and published by CRC Press. This book was released on 2002-01-29 with total page 440 pages. Available in PDF, EPUB and Kindle. Book excerpt: Provides comprehensive coverage of the most recent developments in the theory of non-Archimedean pseudo-differential equations and its application to stochastics and mathematical physics--offering current methods of construction for stochastic processes in the field of p-adic numbers and related structures. Develops a new theory for parabolic equat
Download or read book Complexity Theory written by Lane A. Hemaspaandra and published by Springer Science & Business Media. This book was released on 1997-06-05 with total page 360 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume provides a survey of the subject in the form of a collection of articles written by experts, that together provides a comprehensive guide to research. The editors'aim has been to provide an accessible description of the current stae of complexity theory, and to demonstrate the breadth of techniques and results that make this subject so exciting. Thus, papers run the gamut from sublogarithmic space to exponential time, and from new combinatorial techniques to interactive proof systems.
Download or read book Samson Abramsky on Logic and Structure in Computer Science and Beyond written by Alessandra Palmigiano and published by Springer Nature. This book was released on 2023-09-02 with total page 1149 pages. Available in PDF, EPUB and Kindle. Book excerpt: Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky’s work. It contains both survey material and new results, organised around six major themes: domains and duality, game semantics, contextuality and quantum computation, comonads and descriptive complexity, categorical and logical semantics, and probabilistic computation. These relate to different stages and aspects of Abramsky’s work, reflecting its exceptionally broad scope and his ability to illuminate and unify diverse topics. Chapters in the volume include a review of his entire body of work, spanning from philosophical aspects to logic, programming language theory, quantum theory, economics and psychology, and relating it to a theory of unification of sciences using dual adjunctions. The section on game semantics shows how Abramsky’s work has led to a powerful new paradigm for the semantics of computation. The work on contextuality and categorical quantum mechanics has been highly influential, and provides the foundation for increasingly widely used methods in quantum computing. The work on comonads and descriptive complexity is building bridges between currently disjoint research areas in computer science, relating Structure to Power. The volume also includes a scientific autobiography, and an overview of the contributions. The outstanding set of contributors to this volume, including both senior and early career academics, serve as testament to Samson Abramsky’s enduring influence. It will provide an invaluable and unique resource for both students and established researchers.
Download or read book Modern Computer Algebra written by Joachim von zur Gathen and published by Cambridge University Press. This book was released on 2003-07-03 with total page 804 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computer algebra systems are gaining importance in all areas of science and engineering. This textbook gives a thorough introduction to the algorithmic basis of the mathematical engine in computer algebra systems. It is designed to accompany one- or two-semester courses for advanced undergraduate or graduate students in computer science or mathematics. Its comprehensiveness and authority also make it an essential reference for professionals in the area. Special features include: detailed study of algorithms including time analysis; implementation reports on several topics; complete proofs of the mathematical underpinnings; a wide variety of applications (among others, in chemistry, coding theory, cryptography, computational logic, and the design of calendars and musical scales). Some of this material has never appeared before in book form. For the new edition, errors have been corrected, the text has been smoothed and updated, and new sections on greatest common divisors and symbolic integration have been added.
Download or read book Mathematics and Computation written by Avi Wigderson and published by Princeton University Press. This book was released on 2019-10-29 with total page 440 pages. Available in PDF, EPUB and Kindle. Book excerpt: An introduction to computational complexity theory, its connections and interactions with mathematics, and its central role in the natural and social sciences, technology, and philosophy Mathematics and Computation provides a broad, conceptual overview of computational complexity theory—the mathematical study of efficient computation. With important practical applications to computer science and industry, computational complexity theory has evolved into a highly interdisciplinary field, with strong links to most mathematical areas and to a growing number of scientific endeavors. Avi Wigderson takes a sweeping survey of complexity theory, emphasizing the field’s insights and challenges. He explains the ideas and motivations leading to key models, notions, and results. In particular, he looks at algorithms and complexity, computations and proofs, randomness and interaction, quantum and arithmetic computation, and cryptography and learning, all as parts of a cohesive whole with numerous cross-influences. Wigderson illustrates the immense breadth of the field, its beauty and richness, and its diverse and growing interactions with other areas of mathematics. He ends with a comprehensive look at the theory of computation, its methodology and aspirations, and the unique and fundamental ways in which it has shaped and will further shape science, technology, and society. For further reading, an extensive bibliography is provided for all topics covered. Mathematics and Computation is useful for undergraduate and graduate students in mathematics, computer science, and related fields, as well as researchers and teachers in these fields. Many parts require little background, and serve as an invitation to newcomers seeking an introduction to the theory of computation. Comprehensive coverage of computational complexity theory, and beyond High-level, intuitive exposition, which brings conceptual clarity to this central and dynamic scientific discipline Historical accounts of the evolution and motivations of central concepts and models A broad view of the theory of computation's influence on science, technology, and society Extensive bibliography
Download or read book Recent Issues in Pattern Analysis and Recognition written by Virginio Cantoni and published by Springer Science & Business Media. This book was released on 1989-12-20 with total page 1060 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers readers a broad view of research in some Western and Eastern European countries on pattern and signal analysis, and on coding, handling and measurement of images. It is a selection of refereed papers from two sources: first, a satellite conference within the biannual International Conference on Pattern Recognition held in Rome, November 14-17, 1988, and second, work done at the International Basic Laboratory on Image Processing and Computer Graphics, Berlin, GDR. The papers are grouped into three sections. The first section contains new proposals for the specific computation of particular features of digital images and the second section is devoted to the introduction and testing of general approaches to the solution of problems met in digital geometry, image coding, feature extraction and object classification. The third section illustrates some recent practical results obtained on real images specifically in character and speech recognition as well as in biomedicine. All the techniques illustrated in this book will find direct application in the near future. This book should interest and stimulate the reader, provoke new thoughts and encourage further research in this widely appealing field.
