SOFSEM '97: Theory and Practice of Informatics

SOFSEM '97: Theory and Practice of Informatics PDF

Author: Frantisek Plasil

Publisher: Springer Science & Business Media

Published: 1997-11-05

Total Pages: 596

ISBN-13: 9783540637745

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. The volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.

SOFSEM 2020: Theory and Practice of Computer Science

SOFSEM 2020: Theory and Practice of Computer Science PDF

Author: Alexander Chatzigeorgiou

Publisher: Springer Nature

Published: 2020-01-16

Total Pages: 725

ISBN-13: 3030389197

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020. The 40 full papers presented together with 17 short papers and 3 invited papers were carefully reviewed and selected from 125 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2020: foundations of computer science, foundations of data science and engineering, foundations of software engineering, and foundations of algorithmic computational biology.

Logical Foundations of Computer Science

Logical Foundations of Computer Science PDF

Author: S. I. Adi︠a︡n

Publisher: Springer Science & Business Media

Published: 1997-05-28

Total Pages: 456

ISBN-13: 9783540630456

DOWNLOAD EBOOK →

A Sobolev gradient of a real-valued functional is a gradient of that functional taken relative to the underlying Sobolev norm. This book shows how descent methods using such gradients allow a unified treatment of a wide variety of problems in differential equations. Equal emphasis is placed on numerical and theoretical matters. Several concrete applications are made to illustrate the method. These applications include (1) Ginzburg-Landau functionals of superconductivity, (2) problems of transonic flow in which type depends locally on nonlinearities, and (3) minimal surface problems. Sobolev gradient constructions rely on a study of orthogonal projections onto graphs of closed densely defined linear transformations from one Hilbert space to another. These developments use work of Weyl, von Neumann and Beurling.

Communication and Architectural Support for Network-Based Parallel Computing

Communication and Architectural Support for Network-Based Parallel Computing PDF

Author: Dhabaleswar K. Panda

Publisher: Springer Science & Business Media

Published: 1997-01-24

Total Pages: 292

ISBN-13: 9783540625735

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the First International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'97, held in San Antonio, Texas, USA, in February 1997. The 19 revised full papers presented were carefully selected from a total of 36 submissions. Among the topics addressed are processor/network interfaces, communication protocols, high-performance network technology, operating systems and architectural issues, and load balancing techniques. All in all, the papers competently describe the state-of-the-art for network-based computing systems.

Cooperative Information Agents

Cooperative Information Agents PDF

Author: Peter Kandzia

Publisher: Springer Science & Business Media

Published: 1997-02-18

Total Pages: 308

ISBN-13: 9783540625919

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the First International Workshop on Cooperative Information Agents - DAI Meets Databases, CIA-97, held in Kiel, Germany, in February 1997. The book opens with 6 invited full papers by internationally leading researchers surveying the state of the art in the area. The 16 revised full research papers presented were carefully selected during a highly competitive round of reviewing. The papers are organized in topical sections on databases and agent technology, agents for database search and knowledge discovery, communication and cooperation among information agents, and agent-based access to heterogeneous information sources.

Software Configuration Management

Software Configuration Management PDF

Author: Reidar Conradi

Publisher: Springer Science & Business Media

Published: 1997-05-05

Total Pages: 248

ISBN-13: 9783540630142

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the Seventh International Workshop on Software Configuration Management, SCM-7, held in conjunction with the 1997 IEEE/CS International Conference on Software Engineering, ICSE'97, in Boston, MA, USA, in May 1997. The book presents 16 revised full papers selected from a total of 49 submissions. The papers are organized in sections on versioning models, reuse and system models, process aspects, distributed SCM, SCM on the Web, and industrial experience, This book competently reports the state of the art in software configuration management.

Information Processing in Medical Imaging

Information Processing in Medical Imaging PDF

Author: James Duncan

Publisher: Springer Science & Business Media

Published: 1997-05-21

Total Pages: 580

ISBN-13: 9783540630463

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the 15th International Conference on Information Processing in Medical Imaging, IPMI'97, held in Poultney, Vermont, USA, in June 1997. The 27 revised full papers presented were selected from a total of 96 submissions; also included are 31 poster presentations. The book is divided into topical sections on shape models and matching, novel imaging methods, segmentation, image quality and statistical character of measured data, registration/mapping, statistical models in functional neuroimaging, and MR analysis and processing.

Analysis and Verification of Multiple-Agent Languages

Analysis and Verification of Multiple-Agent Languages PDF

Author: Mads Dam

Publisher: Springer Science & Business Media

Published: 1997-01-07

Total Pages: 452

ISBN-13: 9783540625032

DOWNLOAD EBOOK →

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages. The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.

Transformation-Based Reactive Systems Development

Transformation-Based Reactive Systems Development PDF

Author: Miquel Bertran

Publisher: Springer

Published: 2005-07-01

Total Pages: 442

ISBN-13: 3540690581

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997. The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.

Lanterna Rally - Theme by Grace Themes