G. Goos

Andrew U. Frank

J. Hartmanis

Jan Van Leeuwen

Stephen C. Hirtle

This book constitutes the refereed proceedings of the 1997 International Conference on Spatial Information Theory, COSIT'97, held in Laurel Highlands, Pennsylvania, USA, in October 1997. The 31 revised full papers presented were carefully selected from a total of 66 submissions. Also included are seven posters. The volume is divided into sections on representations of change, structuring of space, boundaries and gradations, topological models of space, formal models of space, cognitive aspects of spatial acquisition, novel use of spatial information, wayfinding and map interpretation, representations of spatial concepts, new approaches to spatial information.

International Conference COSIT '97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997. Proceedings

Spatial Information Theory A Theoretical Basis for GIS

Prasad Jayanti

This book constitutes the refereed proceedings of the 13th International Symposium on Distributed Computing, DISC'99, held in Bratislava, Slovak Republic, in September 1999. The 23 revised full papers presented with an invited paper were carefully reviewed and selected from a total of 75 submissions. The papers address a variety of current issues in distributed algorithms, systems, and programming, in particular failure detectors, broadcasting, group communication services, quorum systems, cryptography, randomness, mutual exclusion, networking, protocols, scheduling algorithms, and self-stabilization.

13th International Symposium, DISC'99, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings

Distributed Computing

Michael G. Hinchey

Jonathan P. Bowen

David Till

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

ZUM'97: The Z Formal Specification Notation

Ron Y. Pinter

Shalom Tsur

This book constitutes the refereed proceedings of the 4th International Workshop on Next Generation Information Technology and Systems, NGITS'99, held in Zikhron-Yaakov, Israel in July 1999. The 17 revised full papers presented were carefully reviewed and selected from 34 submissions. Also included are five reviewed short papers and abstracts of two invited talks. The papers are organized in topical sections on exploring the World Wide Web; database technology; storage, meta-information, ontologies, and software engineering; agents and work flow management technology; and data warehousing and mining.

4th International Workshop, NGITS'99 Zikhron-Yaakov, Israel, July 5-7, 1999 Proceedings

Next Generation Information Technologies and Systems

Jose Mira

Juan V. Sanchez-Andres

This book constitutes, together with its compagnion LNCS 1607, the refereed proceedings of the International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, held in Alicante, Spain in June 1999. The 89 revised papers presented were carefully reviewed and selected for inclusion in the book. This volume is devoted to foundational issues of neural computation and tools for neural modeling. The papers are organized in parts on neural modeling: biophysical and structural models; plasticity phenomena: maturing, learning, and memory; and artificial intelligence and cognitive neuroscience.

International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, Alicante, Spain, June 2-4, 1999, Proceedings

Foundations and Tools for Neural Modeling

David Gelernter

David Padua

Utpal Banerjee

David Sehr

Alex Nicolau

This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996. The book contains 35 carefully revised full papers together with nine poster presentations. The papers are organized in topical sections on automatic data distribution and locality enhancement, program analysis, compiler algorithms for fine-grain parallelism, instruction scheduling and register allocation, parallelizing compilers, communication optimization, compiling HPF, and run-time control of parallelism.

LCPC'97

Yi Pan

Serge Chaumette

Albert Y. Zomaya

Jose Rolim

Stephan Olariu

Tao Yang

Denis Caromel

Geoffrey Fox

Jos Ď. P. Rolim

José D. P. Rolim

Frank Mueller

Fikret Ercal

Binoy Ravindran

Jan Gustafsson

Hiroaki Takada

Ron Olsson

Laxmikant V. Kale

Pete Beckman

Matthew Haines

Hossam ElGindy

Keqin Li

G. Chiola

G. Conte

L. V. Mancini

Domenique Méry

Beverly Sanders

Devesh Bhatt

Viktor Prasanna

This book constitutes the refereed proceedings of 10 international workshops held in conjunction with the merged 1998 IPPS/SPDP symposia, held in Orlando, Florida, US in March/April 1998. The volume comprises 118 revised full papers presenting cutting-edge research or work in progress. In accordance with the workshops covered, the papers are organized in topical sections on reconfigurable architectures, run-time systems for parallel programming, biologically inspired solutions to parallel processing problems, randomized parallel computing, solving combinatorial optimization problems in parallel, PC based networks of workstations, fault-tolerant parallel and distributed systems, formal methods for parallel programming, embedded HPC systems and applications, and parallel and distributed real-time systems.

11th [i.e. 11] IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999 : Proceedings

Parallel and Distributed Processing

Rafael Hirschfeld

This book constitutes the refereed proceedings of the Third International Workshop on Applied Parallel Computing, PARA'96, held in Lyngby, Denmark, in August 1996. The volume presents revised full versions of 45 carefully selected contributed papers together with 31 invited presentations. The papers address all current aspects of applied parallel computing relevant for industrial computations. The invited papers review the most important numerical algorithms and scientific applications on several types of parallel machines.

First International Conference, FC '97, Anguilla, British West Indies, February 24-28, 1997. Proceedings

Financial Cryptography

P. L. Reichertz

The modern development of medicine has been characterized by the grow ing use of new technologies in health care delivery and research. As an empirical science, medicine is based on many types and quantities of information to recognize alterations, explore causes and apply cor rective action. Dealing with biological objects, signals have to be collected, processed and interpreted to recognize the state of this object. It is therefore understandable that data processing technology and informatics have been employed to a growing extent in medicine. The increasing economic repercussions of modern medicine lead also to the demand of ways and means to assess the system as such and to develop means for evaluation and regulation. However, the application of data processing to the medical field has very often grown in parallel to and remote from the development of in formatics and data processing in general. Furthermore, difficulties have occurred resulting from the differing concepts of reasoning, deci sion making and methodology. We therefore decided to start a series of seminars with the attempt to bring scientists from both medicine and informatics together to discuss basic principles of informatics and medicine and to attempt a synthesis between the problems in medicine and health care delivery and methods in informatics to approach a solu tion of these problems. This volume contains the lecture notes of the first seminar of this type.

An Advanced Course

Informatics and Medicine

G. Goos

About

Books

Join the club