Algebraic Methods II: Theory, Tools and Applications

Algebraic Methods II: Theory, Tools and Applications
Author: Jan A. Bergstra
Publisher: Springer Science & Business Media
Total Pages: 448
Release: 1991-04-10
Genre: Computers
ISBN: 9783540539124

The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.

Algebraic Methods in Statistical Mechanics and Quantum Field Theory

Algebraic Methods in Statistical Mechanics and Quantum Field Theory
Author: Dr. Gérard G. Emch
Publisher: Courier Corporation
Total Pages: 336
Release: 2014-08-04
Genre: Science
ISBN: 0486151719

This systematic algebraic approach offers a careful formulation of the problems' physical motivations as well as self-contained descriptions of the mathematical methods for arriving at solutions. 1972 edition.

Algebraic and Differential Methods for Nonlinear Control Theory

Algebraic and Differential Methods for Nonlinear Control Theory
Author: Rafael Martínez-Guerra
Publisher: Springer
Total Pages: 201
Release: 2019-01-30
Genre: Technology & Engineering
ISBN: 3030120252

This book is a short primer in engineering mathematics with a view on applications in nonlinear control theory. In particular, it introduces some elementary concepts of commutative algebra and algebraic geometry which offer a set of tools quite different from the traditional approaches to the subject matter. This text begins with the study of elementary set and map theory. Chapters 2 and 3 on group theory and rings, respectively, are included because of their important relation to linear algebra, the group of invertible linear maps (or matrices) and the ring of linear maps of a vector space. Homomorphisms and Ideals are dealt with as well at this stage. Chapter 4 is devoted to the theory of matrices and systems of linear equations. Chapter 5 gives some information on permutations, determinants and the inverse of a matrix. Chapter 6 tackles vector spaces over a field, Chapter 7 treats linear maps resp. linear transformations, and in addition the application in linear control theory of some abstract theorems such as the concept of a kernel, the image and dimension of vector spaces are illustrated. Chapter 8 considers the diagonalization of a matrix and their canonical forms. Chapter 9 provides a brief introduction to elementary methods for solving differential equations and, finally, in Chapter 10, nonlinear control theory is introduced from the point of view of differential algebra.

Algebraic Methods in Quantum Chemistry and Physics

Algebraic Methods in Quantum Chemistry and Physics
Author: Francisco M. Fernandez
Publisher: CRC Press
Total Pages: 284
Release: 1995-10-24
Genre: Science
ISBN: 9780849382925

Algebraic Methods in Quantum Chemistry and Physics provides straightforward presentations of selected topics in theoretical chemistry and physics, including Lie algebras and their applications, harmonic oscillators, bilinear oscillators, perturbation theory, numerical solutions of the Schrödinger equation, and parameterizations of the time-evolution operator. The mathematical tools described in this book are presented in a manner that clearly illustrates their application to problems arising in theoretical chemistry and physics. The application techniques are carefully explained with step-by-step instructions that are easy to follow, and the results are organized to facilitate both manual and numerical calculations. Algebraic Methods in Quantum Chemistry and Physics demonstrates how to obtain useful analytical results with elementary algebra and calculus and an understanding of basic quantum chemistry and physics.

Stepwise Refinement of Distributed Systems

Stepwise Refinement of Distributed Systems
Author: Jaco W. de Bakker
Publisher: Springer Science & Business Media
Total Pages: 832
Release: 1990-04-25
Genre: Computers
ISBN: 9783540525592

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.

Advanced Information Systems Engineering

Advanced Information Systems Engineering
Author: Bo Steinholtz
Publisher: Springer Science & Business Media
Total Pages: 410
Release: 1990-04-25
Genre: Computers
ISBN: 9783540526254

The Nordic Conference on Advanced Information Systems Engineering (CAiSE) is an annual international conference for users, developers and researchers of information systems technology and methodology. A distinctive characteristic of the CAiSE conference series is the objective to appeal to advanced practitioners as well as to researchers, and to promote communication between the two groups. In this second CAiSE conference, the program was divided into two types of sessions that were not run in parallel: Technical Paper sessions, with formally reviewed technical papers, and Practice and Experience sessions, with invited speakers and panel discussions. The proceedings include the formally reviewed technical papers and abstracts of the invited presentations. The technical papers present important international (mainly European) work in Information Systems Engineering within such areas as conceptual modelling, prototyping, requirements engineering, design support, software process modelling, tool design, and tool experiences. The abstracts of invited speakers' presentations give an indication of current best industrial practice.

Concurrency

Concurrency
Author: Akinori Yonezawa
Publisher: Springer Science & Business Media
Total Pages: 354
Release: 1991-04-10
Genre: Computers
ISBN: 9783540539322

This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25-27, 1989. The volume is organized into four parts: - Papers on theoretical aspects of concurrency which reflect strong research activities in the UK, including theories on CCS and temporal logic RDL. - Papers on object orientation and concurrent languages which reflect major research activities on concurrency in Japan. The languages presented include extensions of C, Prolog and Lisp as well as object-based concurrent languages. - Papers on parallel architectures and VLSI logic, including a rewrite rule machine, a graph rewriting machine, and a dataflow architecture. - An overview of the workshop including the abstracts of the talks and the list of participants. The appendix gives a brief report of the first UK/Japan Workshop in Computer Science, held at Sendai, Japan, July 6-9, 1987.

ICDT '90

ICDT '90
Author: Serge Abiteboul
Publisher: Springer Science & Business Media
Total Pages: 540
Release: 1990-12-03
Genre: Computers
ISBN: 9783540535072

The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.

Mathematical Foundations of Computer Science 1988

Mathematical Foundations of Computer Science 1988
Author: Michal P. Chytil
Publisher: Springer Science & Business Media
Total Pages: 582
Release: 1988-08-10
Genre: Computers
ISBN: 9783540501107

This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.