STACS 97

STACS 97

Author: Rüdiger Reischuk

Publisher: Springer Science & Business Media

Published: 1997-02-21

Total Pages: 638

ISBN-13: 9783540626169

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in February/March 1997. The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms and data structures, computational complexity, automata and formal languages, structural complexity, parallel and distributed systems, parallel algorithms, semantics, specification and verification, logic, computational geometry, cryptography, learning and inductive inference.


Algorithms and Data Structures

Algorithms and Data Structures

Author: Frank Dehne

Publisher: Springer Science & Business Media

Published: 1997-07-23

Total Pages: 492

ISBN-13: 9783540633075

DOWNLOAD EBOOK

The book is an introduction to the theory of cubic metaplectic forms on the 3-dimensional hyperbolic space and the author's research on cubic metaplectic forms on special linear and symplectic groups of rank 2. The topics include: Kubota and Bass-Milnor-Serre homomorphisms, cubic metaplectic Eisenstein series, cubic theta functions, Whittaker functions. A special method is developed and applied to find Fourier coefficients of the Eisenstein series and cubic theta functions. The book is intended for readers, with beginning graduate-level background, interested in further research in the theory of metaplectic forms and in possible applications.


Combinatorial Pattern Matching

Combinatorial Pattern Matching

Author: Alberto Apostolico

Publisher: Springer Science & Business Media

Published: 1997-06-18

Total Pages: 292

ISBN-13: 9783540632207

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Eighth Annual Symposium on Combinatorial Pattern Matching, CPM 97, held in Aarhus, Denmark, in June/July 1997. The volume presents 20 revised full papers carefully selected from 32 submissions received; also included are abstracts of two invited contributions. The volume is devoted to the issue of searching and matching strings and more complicated patterns, such as trees, regular expressions, graphs, point sets and arrays. The results presented are particularly relevant to molecular biology, but also to information retrieval, pattern recognition, compiling, data compression and program analysis.


Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Author: Ed Brinksma

Publisher: Springer Science & Business Media

Published: 1997-03-20

Total Pages: 452

ISBN-13: 9783540627906

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.


Foundations of Inductive Logic Programming

Foundations of Inductive Logic Programming

Author: Shan-Hwei Nienhuys-Cheng

Publisher: Springer Science & Business Media

Published: 1997-04-18

Total Pages: 440

ISBN-13: 9783540629276

DOWNLOAD EBOOK

The state of the art of the bioengineering aspects of the morphology of microorganisms and their relationship to process performance are described in this volume. Materials and methods of the digital image analysis and mathematical modeling of hyphal elongation, branching and pellet formation as well as their application to various fungi and actinomycetes during the production of antibiotics and enzymes are presented.


Structures in Logic and Computer Science

Structures in Logic and Computer Science

Author: Jan Mycielski

Publisher: Springer Science & Business Media

Published: 1997-07-23

Total Pages: 388

ISBN-13: 9783540632467

DOWNLOAD EBOOK

The book summarises contemporary knowledge about the theory of atomic and molecular clusters. New results are discussed on a high theoretical level. Access to this field of research is given by an explanation of the various subjects in introductory chapters.


Computational Intelligence. Theory and Applications

Computational Intelligence. Theory and Applications

Author: Bernd Reusch

Publisher: Springer Science & Business Media

Published: 1997-04-16

Total Pages: 632

ISBN-13: 9783540628682

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the International Conference on Computational Intelligence held in Dortmund, Germany, as the 5th Fuzzy Days, in April 1997. Besides three invited contributions, the book presents 53 revised full papers selected from a total of 130 submissions. Also included are 35 posters documenting a broad scope of applications of computational intelligence techniques in a variety of areas. The volume addresses all current issues in computational intelligence, e.g. fuzzy logic, fuzzy control, neural networks, evolutionary algorithms, genetic programming, neuro-fuzzy systems, adaptation and learning, machine learning, etc.


Approximation Theory

Approximation Theory

Author: Ole Christensen

Publisher: Springer Science & Business Media

Published: 2004-03-18

Total Pages: 1080

ISBN-13: 9780817636005

DOWNLOAD EBOOK

This concisely written book gives an elementary introduction to a classical area of mathematics—approximation theory—in a way that naturally leads to the modern field of wavelets. The exposition, driven by ideas rather than technical details and proofs, demonstrates the dynamic nature of mathematics and the influence of classical disciplines on many areas of modern mathematics and applications. Key features and topics: * Description of wavelets in words rather than mathematical symbols * Elementary introduction to approximation using polynomials (Weierstrass’ and Taylor’s theorems) * Introduction to infinite series, with emphasis on approximation-theoretic aspects * Introduction to Fourier analysis * Numerous classical, illustrative examples and constructions * Discussion of the role of wavelets in digital signal processing and data compression, such as the FBI’s use of wavelets to store fingerprints * Minimal prerequisites: elementary calculus * Exercises that may be used in undergraduate and graduate courses on infinite series and Fourier series Approximation Theory: From Taylor Polynomials to Wavelets will be an excellent textbook or self-study reference for students and instructors in pure and applied mathematics, mathematical physics, and engineering. Readers will find motivation and background material pointing toward advanced literature and research topics in pure and applied harmonic analysis and related areas.


Input/Output Intensive Massively Parallel Computing

Input/Output Intensive Massively Parallel Computing

Author: Peter Brezany

Publisher: Springer Science & Business Media

Published: 1997-04-09

Total Pages: 318

ISBN-13: 9783540628408

DOWNLOAD EBOOK

Massively parallel processing is currently the most promising answer to the quest for increased computer performance. This has resulted in the development of new programming languages and programming environments and has stimulated the design and production of massively parallel supercomputers. The efficiency of concurrent computation and input/output essentially depends on the proper utilization of specific architectural features of the underlying hardware. This book focuses on development of runtime systems supporting execution of parallel code and on supercompilers automatically parallelizing code written in a sequential language. Fortran has been chosen for the presentation of the material because of its dominant role in high-performance programming for scientific and engineering applications.


Information Security and Privacy

Information Security and Privacy

Author: Vijav Varadharajan

Publisher: Springer Science & Business Media

Published: 1997-06-25

Total Pages: 354

ISBN-13: 9783540632320

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second Australasian Conference on Information Security and Privacy, ACISP'97, held in Sydney, NSW, Australia, in July 1997. The 20 revised full papers presented were carefully selected for inclusion in the proceedings. The book is divided into sections on security models and access control, network security, secure hardware and implementation issues, cryptographic functions and ciphers, authentication codes and secret sharing systems, cryptanalysis, key escrow, security protocols and key management, and applications.