Aspects and Prospects of Theoretical Computer Science
Aspects and Prospects of Theoretical Computer Science

Author: Jürgen Dassow

Publisher: Springer Science & Business Media

Published: 1990-11-07

Total Pages: 308

ISBN-13: 9783540534143

DOWNLOAD EBOOK

This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90. The aim of these meetings is threefold: (1) to inform on newest trends, results, and problems in theoretical computer science and related fields through a tutorial and invited lectures delivered by internationally distinguished speakers, (2) to provide a possibility for beginners in scientific work to present and discuss their results, and (3) to create an adequate opportunity for establishing first professional relations among the participants.

Theoretical Aspects of Computer Science
Theoretical Aspects of Computer Science

Author: Gholamreza B. Khosrovshahi

Publisher: Springer

Published: 2003-07-31

Total Pages: 230

ISBN-13: 3540458786

DOWNLOAD EBOOK

This book presents the revised final versions of eight lectures given by leading researchers at the First Summer School on Theoretical Aspects of Computer Science in Tehran, Iran, in July 2000. The lectures presented are devoted to quantum computation, approximation algorithms, self-testing/correction, algebraic modeling of data, the regularity lemma, multiple access communication and combinatorial designs, graph-theoretical methods in computer vision, and low-density parity-check codes.

Funding a Revolution
Funding a Revolution

Author: National Research Council

Publisher: National Academies Press

Published: 1999-02-11

Total Pages: 300

ISBN-13: 0309062780

DOWNLOAD EBOOK

The past 50 years have witnessed a revolution in computing and related communications technologies. The contributions of industry and university researchers to this revolution are manifest; less widely recognized is the major role the federal government played in launching the computing revolution and sustaining its momentum. Funding a Revolution examines the history of computing since World War II to elucidate the federal government's role in funding computing research, supporting the education of computer scientists and engineers, and equipping university research labs. It reviews the economic rationale for government support of research, characterizes federal support for computing research, and summarizes key historical advances in which government-sponsored research played an important role. Funding a Revolution contains a series of case studies in relational databases, the Internet, theoretical computer science, artificial intelligence, and virtual reality that demonstrate the complex interactions among government, universities, and industry that have driven the field. It offers a series of lessons that identify factors contributing to the success of the nation's computing enterprise and the government's role within it.

A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems

Author: Masakazu Kojima

Publisher: Springer Science & Business Media

Published: 1991-09-25

Total Pages: 124

ISBN-13: 9783540545095

DOWNLOAD EBOOK

Following Karmarkar's 1984 linear programming algorithm, numerous interior-point algorithms have been proposed for various mathematical programming problems such as linear programming, convex quadratic programming and convex programming in general. This monograph presents a study of interior-point algorithms for the linear complementarity problem (LCP) which is known as a mathematical model for primal-dual pairs of linear programs and convex quadratic programs. A large family of potential reduction algorithms is presented in a unified way for the class of LCPs where the underlying matrix has nonnegative principal minors (P0-matrix). This class includes various important subclasses such as positive semi-definite matrices, P-matrices, P*-matrices introduced in this monograph, and column sufficient matrices. The family contains not only the usual potential reduction algorithms but also path following algorithms and a damped Newton method for the LCP. The main topics are global convergence, global linear convergence, and the polynomial-time convergence of potential reduction algorithms included in the family.

ESEC '91
ESEC '91

Author: Alfonso Fuggetta

Publisher: Springer Science & Business Media

Published: 1991-10-09

Total Pages: 536

ISBN-13: 9783540547426

DOWNLOAD EBOOK

The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of providing an international forum for researchers, developersand users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering researchin recent years, stimulated, for example, through major European research programmes. The 22 papers in these proceedings were selected from 133 papers submitted from 26 different countries. They cover a fairly broad range of themes such as formal methods and practical experiences with them, special techniques for real-time systems, software evolution and re-engineering, software engineering environments, and software metrics. Invited papers by well-known experts address further important areas: perspectives on configuration management, software factories, user interfacedesign, computer security, and technology transfer.

Theoretical Aspects of Object-oriented Programming
Theoretical Aspects of Object-oriented Programming

Author: Carl A. Gunter

Publisher: MIT Press

Published: 1994

Total Pages: 568

ISBN-13: 9780262071550

DOWNLOAD EBOOK

Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs.The fifteen chapters are divided into five parts: Objects and Subtypes, Type Inference, Coherence, Record Calculi, and Inheritance. The chapters are organized approximately in order of increasing complexity of the programming language constructs they consider - beginning with variations on Pascal- and Algol-like languages, developing the theory of illustrative record object models, and concluding with research directions for building a more comprehensive theory of object-oriented programming languages.Part I discusses the similarities and differences between "objects" and algebraic-style abstract data types, and the fundamental concept of a subtype. Parts II-IV are concerned with the "record model" of object-oriented languages. Specifically, these chapters discuss static and dynamic semantics of languages with simple object models that include a type or class hierarchy but do not explicitly provide what is often called dynamic binding. Part V considers extensions and modifications to record object models, moving closer to the full complexity of practical object-oriented languages.Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania. John C. Mitchell is Professor in the Department of Computer Science at Stanford University.

Computer Science Logic
Computer Science Logic

Author: Egon Börger

Publisher: Springer Science & Business Media

Published: 1991-09-11

Total Pages: 426

ISBN-13: 9783540544876

DOWNLOAD EBOOK

The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 385), and CSL '87 at the University of Karlsruhe (see LNCS 329). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science.

Graph Grammars and Their Application to Computer Science
Graph Grammars and Their Application to Computer Science

Author: Hartmut Ehrig

Publisher: Springer Science & Business Media

Published: 1991-09-11

Total Pages: 724

ISBN-13: 9783540544784

DOWNLOAD EBOOK

This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics, artificial intelligence and biology. The contributing authors are F.-J. Brandenburg, H. Bunke, T.C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H. G|ttler, A. Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari, M. Nagl, F. Parisi-Presicci, A. Paz, P. Prusinkiewics, M.R. Sleep, A. Rosenfeld, J. Winkowski and others.

CONCUR '91
CONCUR '91

Author: Jos C.M. Baeten

Publisher: Springer Science & Business Media

Published: 1991-08-14

Total Pages: 564

ISBN-13: 9783540544302

DOWNLOAD EBOOK

CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of the other invited papers. The papers are organized into sections on process algebras, logics and model checking, applications and specification languages, models and net theory, design and real-time, tools and probabilities, and programming languages. The proceedings of CONCUR'90 are available asVolume 458 of Lecture Notes in Computer Science.