This book constitutes the refereed proceedings of the First International Workshop on Numerical Analysis and Its Applications, WNAA'96, held in Rousse, Bulgaria, in June 1996.
The 57 revised full papers presented were carefully selected and reviewed for inclusion in the volume; also included are 14 invited presentations. All in all, the book offers a wealth of new results and methods of numerical analysis applicable in computational science, particularly in computational physics and chemistry. The volume reflects that the cooperation of computer scientists, mathematicians and scientists...

This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lubeck, 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...

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.

This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.
The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.

This book constitutes the refereed proceedings of the Third Annual International Computing and Combinatorics Conference, COCOON'97, held in Shanghai, China, in August 1997.
The volume presents 53 revised full papers selected from a total of 106 submissions. The papers are organized in sections on parallel and distributed computing, computational geometry, complexity, computational biology, computability, cryptography and computational finance, graph algorithms, algorithms, rewriting and logic, algorithms and applications, automata languages and complexity, and mathematical programming and...

This book constitutes the strictly refereed post-workshop proceedings originating from the Second Australian Workshop on Distributed Artificial Intelligence, held in Cairns, QLD, Australia, in August 1996, as a satellite meeting of PRICAI'96.
The 13 revised full papers presented have been selected for inclusion in the book during a very careful and iterated process of reviewing and improvement. Among these papers are three invited ones, by leading scientists, solicited in order to round off the overall presentation and coverage of relevant topics. A wide range of multi-agent systems issues...

This volume constitutes the refereed proceedings of the seventh International Workshop on Field Programmable Logic and Applications, FPL '97. It is divided into sections on devices and architectures, devices and systems, reconfiguration, design tools, custom computing and codesign, signal processing, image and video processing, sensors and graphics, colour and robotics, and applications.

These are the proceedings of CT-RSA 2003, the Cryptographers' Track at RSA Conference 2003. The proceedings of CT-RSA 2001 and CT-RSA 2002 were published in Springer-Verlag's Lecture Notes in Computer Science series as LNCS 2020 and LNCS 2271, respectively. The Cryptographers' Track is one of the many parallel tracks of the RSA Conference. With many thousands of participants, the RSA Conference is the largest security and cryptography event of the year. There were 97 submitted contributions this year, of which 26, or 27%, were selected for presentation. The program also included two invited...

We are glad to present the proceedings of the 5th biennial conference in the Intelligent Data Analysis series. The conference took place in Berlin, Germany, August 28-30, 2003. IDA has by now clearly grown up. Started as a small si- symposium of a larger conference in 1995 in Baden-Baden (Germany) it quickly attractedmoreinterest(bothsubmission-andattendance-wise), andmovedfrom London (1997) to Amsterdam (1999), and two years ago to Lisbon. Submission ratesalongwiththeeverimprovingqualityofpapershaveenabledtheor- nizers to assemble increasingly consistent and high-quality programs. This year...

Among the concepts used to assess the sustainability of fiscal policy in a changing demographic environment, generational accounting has become the most prominent. This book gives a complete and up-to-date introduction to the theory and practice of the method. It reveals deficiencies of the original residual concept and discusses various measures of intergenerational redistribution based on the recent sustainability approach to generational accounting. An application using data on German public finances serves to provide an in-depth explanation and practical illustration of the technique. The...