Lecture Notes in Computer Science
|
|
|
- Joanna Evans
- 6 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 722 Advisory Board: W. Brauer D. Gries J. Stoer
2 Alfonso Miola (Ed.) Design and Implementation of Symbolic Computation Systems International Symposium,, DISCO '93 Gmunden, Austria, September 15-17, 1993 Proceedings Springer-Verlag Berfin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest
3 Series Editors Gerhard Goos Universit~t Karlsruhe Posffach Vincenz-Priessnitz- StraBe 1 D Karlsruhe, Germany Juris Hartmanis Cornell University Department of Computer Science 4130 Upson Hall Ithaca, NY 14853, USA Volume Editor Alfonso Miola Dipartimento di Informatica e Sistemistica, Universit~t di Roma "La Sapienza" Via Salaria, 113, Roma, Italia CR Subject Classification (1991): D.1, D.2,t, D.2.10, D.3,1.1, , 1.2.5, ISBN X Springer-Verlag Berlin Heidelberg New York ISBN XSpringer-Verlag New York Berlin Heidelberg This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of iuustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. 9 Springer-Verlag Berlin Heidelberg 1993 Printed in Germany Typesetting: Camera-ready by author Printing and binding: Druckhaus Beltz, Hemsbach/Bergstr. 45/ Printed on acid-free paper
4 Foreword This volume contains the proceedings of the Third International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '93. The growing importance of systems for symbolic computation has essentially influenced the decision to organize the DISCO conference series. DISCO '93 takes place in Gmunden, Austria, September 15-17, 1993, as an international event in the field, organized and sponsored by the Research Institute for Symbolic Computation (University J. Kepler, Linz, Austria) and by the Dipartimento di Informatica e Sistemistica (University "La Sapienza", Roma, Italy). DISCO '93 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for symbolic and algebraic computation, automated reasoning, geometric modeling and computation, and automatic programming. The international research communities have recognized the relevance of the proposed objectives and topics which are generally not well covered in other conferences in the areas of symbolic and algebraic computation. DISCO '93 includes papers on theory, languages, software environments, architectures and in particular, papers on the design and the development of signilficant rurming systems. The general objective of DISCO '93 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities on the development of systems for symbolic computation. Therefore it is devoted to researchers, developers and users from academia, scientific institutions, and industry who are interested in the most recent advances and trends in the field of symbolic computation.
5 vi The Program Chairman received 56 submissions for DISCO '93 and organized the reviewing process in cooperation with the Program Committee. Each paper was sent to two Program Committee members and then carefully reviewed by at least three independent referees, including Program Committee members. The Program Committee met on April 13 to 14, 1993 at the Dipartimento Informatica e Sistemistica. Universith di Roma "La Sapienza" (Italy), to reach the.final decision on acceptance of the submitted papers. The resulting DISCO '93 Scientific Program corresponds well to the initial objectives. Among the submissions, 22 papers were selected as full contributions for presentation at the conference, as well as in this volume, under classified sections. Six further papers were selected as contributions for a presentation at the conference, concerning work in progress or running systems relevant to the themes of the symposium. These papers are included in a separate section of the present volume. All my personal appreciation goes, in particular to Franz Lichtenberger, the Symposium Chairman, and to both the Program Committee and the Organizing Committee members for their indefatigable and valuable cooperation. On behalf of the Program Committee, I would like to thank the authors of the submitted papers for their significant response to our Call for Papers, the invited speakers for having agreed to make their outstanding contributions to DISCO '93, and the referees for their cooperation in timely and precisely reviewing the papers. Roma, July 1993 Alfonso Miola
6 Symposium Officers General Chairman F. Lichtenberger (Austria) Program Committee J. Fitch (UK), C. M. Hoffmann (USA), H. Hong (Austria), C. Kirchner (France), A. Kreczmar (Poland), A. Miola (Chairman, Italy), M. Monagan (Switzerland), E. G. Omodeo (Italy), F. Pfenning (USA), M. Wirsing (Germany) Organizing Committee -Research Insitute for Symbolic Computation, Johannes Kepler University, Austria - Dipartimento di Informatica e Sistemistica, Universit~t di Roma "La Sapienza", Roma, Italy
7 List of Referees L. C. Aiello M. P. Bonacina A. Bossi A. Bouhoula M. Bronstein R. Btindgen H. J. Biirckert D. Cantone O. Caprotti M. Casini Schaerf P. Ciancarini B. Ciciani G. Cioni F. D'Amore R. De Nicola J. Derzinger J. Despeyroux P. Di Blasio F. Donini D. Dranidis S. Gastinger W. Gehrke E. Giovannetti M. Grabowsky D. Gruntz R. Hcnnickcr C. Hintermeycr T. Jebelean B. Kaccwicz F. Kluzrd'ak F. Kroeger M. Lenzerini C. Limongelli V. Manca L. Mandel A. Marchetti Spaccamela V. Marian M. Mehlich T. Mora A. Muech A. Neubacher F. Nickl C. Palamidessi F. Parisi Presicce A. Pettorossi A. Pierantonio F. Pirri A. Policriti M. Proietti B. Reus G. Rossi M. Rusinovitch P. Santas M. Schaerf W. Schreiner K. Siegl A. Skowron R. Stabl T. Streicher K. Sutner M. Temperini M. Turski L. Unycryn S. Valentini I. Walukiewicz W. Windsteiger J. Winkowski P. Zimmermann
8 Contents Mathematica: A System for Doing Mathematics by Computer?... 1 B. Buchberger (Invited) Theoretical Aspects Proving the Correctness of Algebraic Implementations by the ISAR System... 2 B. Bauer, R. Hennicker Sketching Concepts and Computational Model of TROLL light M. Gogolla, S. Conrad, R.Herzig Analogical Type Theory B. Yi, J.Xu Algorithm Implementation Improving the Multiprecision Euclidean Algorithm T. Jebelean Storage Allocation for the Karatsuba Integer Multipliation Algorithm R. Maeder Process Scheduling in DSC and the Large Sparse Linear Systems Challenge A. Diaz, M. Hitz, E. Kaltofen, A. Lobo, T. Valente Programming with Types Gauss: A Parameterized Domain of Computation System with Support for Signature Functions M. B. Monagan (Invited) On Coherence in Computer Algebra A. Weber
9 Subtyping Inheritance in Languages for Symbolic Computation Systems P. Di Blasio, M. Temperini A Unified-Algebra-Based Specification Language for Symbolic Computing J. Calmet, L A. Tjandra An Order-Sorted Approach to Algebraic Computation A. C. Hearn, E. Schriifer Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment P. Fritzson, V. Engelson, L. Viklund Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench G. Grivas, R. E. Maeder A Type System for Computer Algebra P. S. Santas Automated Reasoning Decision Procedures for Set/Hyperset Contexts E. G. Omodeo (Invited), A. Policriti Reasoning with Contexts W. M. Farmer, J. D. Guttman, F. J. Thayer GLEFATINF : A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics R. Caferra, M. Herment Extending RISC-CLP ( Real )to Handle Symbolic Functions O. Caprotti Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning S. Feng, T. Sakabe, Y. Inagaki Distributed Deduction by Clause-Diffusion: The Aquarius Prover M. P. Bonacina, J. Hsiang
10 XI Software Systems The Design of the SACLIB/PACLIB Kernels H.Hong (Invited), A. Neubacher, W. Schreiner The Weyl Computer Algebra Substrate R. Zippel On the Uniform Representation of Mathematical Data Structures C. Limongelli, M. Ternperini Compact Delivery Support for REDUCE A. C. Norman IZIC : A Portable Language-Driven Tool for Mathematical Surfaces Visualization R. Fournier, N. Kajler, B. Mourrain System Description The Algebraic Constructor CAC: Computing in Construction-Defined Domains S. D. Meshveliani Extending AlgBeneh with a Type System.,... ; S. A. Missura Modeling Finite Fields with Mathematica - Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields A. Vantaggiato An Enhanced Sequent Calculus for Reasoning in a Given Domain S. Bonamico, G. Cioni, A. Colagrossi Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM V. A. Nepomniaschy. A. A. Sulimov General Purpose Proof Plans T. Walsh Index of Authors...,
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1128 Advisory Board: W. Brauer D. Gries J. Stoer Jacques Calmet Carla Limongelli (Eds.) Design and Implementation of
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 772 Advisory Board: W. Brauer D. Giles J. Stoer Brian C. Warboys (Ed.) Software Process Technology Third European Workshop, EWSPT '94
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 734 Advisory Board: W. Brauer D. Gries J. Stoer Jens Volkert (Ed.) Parallel Computation Second International ACPC Conference Gmunden,
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1007 Advisory Board: W. Brauer D. Gries J. Stoer Antoon Bosselaers Bart Preneel (Eds.) Integrity Primitives for Secure
Lecture Notes in Computer Science. Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer
Lecture Notes in Computer Science 502 Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer g J. Bfirzdin.g D. BjCrner (Eds.) Baltic Computer Science Selected Papers Springer-Verlag
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 968 Advisory Board: W. Brauer D. Gries J. Stoer Nachum Dershowitz Naomi Lindenstrauss (Eds.) Conditional and Typed Rewriting
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1019 Advisory Board: W. Brauer D. Gries J. Stoer Springer Berlin Heidelberg New York Barcelona Budapest Hong Kong London
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 284 A. KSndig R.E. BShrer J. D&hler (Eds.) Embedded Systems New Approaches to Their Formal Description and Design An Advanced Course
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1528 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Bart Preneel Vincent Rijmen
Lecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1487 Volker Gruhn (Ed.) Software Process Technology 6th European Workshop, EWSPT '98 Weybridge, UK, September 16-18,
Lecture Notes in Artificial Intelligence. Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence 897 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1005 Advisory Board: W. Brauer D. Gries J. Stoer Jacky Estublier (Ed.) Software Configuration Management ICSE SCM-4
Spatio-Temporal Image Processing
Bernd J~ihne Spatio-Temporal Image Processing Theory and Scientific Applications Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest Series Editors Gerhard Goos Universitat
Communications in Computer and Information Science 85
Communications in Computer and Information Science 85 Albert Fleischmann Detlef Seese Christian Stary (Eds.) S-BPM ONE Setting the Stage for Subject-Oriented Business Process Management First International
Lecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Edel Sherratt (Ed.) Telecommunications
Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective
Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective NATO ASI Series Advanced Science Institutes Series A series presenting the results of activities sponsored by the NA TO Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 731 Advisory Board: W. Brauer D. Gries J. Stoer Alexander Schill (Ed.) DCE The OSF Distributed Computing Environment Client/Server Model
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1143 Advisory Board: W. Brauer D. Gries J. Stoer Terence C. Fogarty (Ed.) Evolutionary Computing AISB Workshop Brighton,
Lecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Erich Grädel Wolfgang Thomas Thomas
Lecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 941 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and
Modeling Manufacturing Systems. From Aggregate Planning to Real-Time Control
Modeling Manufacturing Systems From Aggregate Planning to Real-Time Control Springer-Verlag Berlin Heidelberg GmbH Paolo Brandimarte. Agostino Villa (Eds.) Modeling Manufacturing Systems From Aggregate
Lecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science Edited by J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis Editorial Artificial Intelligence
Architecture Design and Validation Methods
Architecture Design and Validation Methods Springer-Verlag Berlin Heidelberg GmbH Egon Börger (Ed.) Architecture Design and Validation Methods With 175 Figures, Springer Editor Prof. Dr. Egon Börger Universita
Simulation by Bondgraphs
Jean U. Thoma Simulation by Bondgraphs Introduction to a Graphical Method Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong 1990 Professor Dr. Jean Ulrich Thoma Dept. of Mechanical
Lecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1414 Mogens Nielsen Wolfgang Thomas (Eds.) Computer Science Logic 11 th International Workshop, CSL '97 Annual Conference
Lecture Notes in Computer Science 2006 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 2006 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Reiner Dumke Alain Abran (Eds.)
Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems
Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems M.C. Bhuvaneswari Editor Application of Evolutionary Algorithms for Multi-objective Optimization in
Programming Methodology
Texts and Monographs in Computer Science Editor David Gries Advisory Board F. L. Bauer K. S. Fu J. J. Horning R. Reddy D. C. Tsichritzis W. M. Waite Programming Methodology A Collection of Articles by
MATLAB Guide to Finite Elements
MATLAB Guide to Finite Elements Peter I. Kattan MATLAB Guide to Finite Elements An Interactive Approach Second Edition With 108 Figures and 25 Tables Peter I. Kattan, PhD P.O. BOX 1392 Amman 11118 Jordan
Design for Innovative Value Towards a Sustainable Society
Design for Innovative Value Towards a Sustainable Society Mitsutaka Matsumoto Yasushi Umeda Keijiro Masui Shinichi Fukushige Editors Design for Innovative Value Towards a Sustainable Society Proceedings
Lecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 695 Subseries of Lecture Notes in Computer Science Edited by J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis E. P Klement W. Slany
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1481 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Singapore Tokyo Ethan V. Munson Charles
Lecture Notes in Control and Information Sciences
Lecture Notes in Control and Information Sciences Edited by M.Thoma and A.Wyner 167 M. Rao Integrated System for Intelligent Control Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 49 Interactive Systems Proceedings, 6th Informatik Symposium IBM Germany, Bad Homburg v. d. H., September 1976 Edited by A. Blaser and
StraBer Wahl Graphics and Robotics
StraBer Wahl Graphics and Robotics Wolfgang StrafSer Friedrich Wahl Editors Graphics and Robotics With 128 Figures, some in Colour, Springer Prof. Dr.-lng. Wolfgang StraBer Wilhelm-Schickard-lnstitut fur
Cognitive Systems Monographs
Cognitive Systems Monographs Volume 9 Editors: Rüdiger Dillmann Yoshihiko Nakamura Stefan Schaal David Vernon Heiko Hamann Space-Time Continuous Models of Swarm Robotic Systems Supporting Global-to-Local
Human-Computer Interaction
Leonard J. Bass Juri Gornostaev Claus Unger (Eds.) Human-Computer Interaction Third International Conference, EWHCI '93 Moscow, Russia, August 3-7, 1993 Selected Papers Springer-Verlag Berlin Heidelberg
Enabling Manufacturing Competitiveness and Economic Sustainability
Enabling Manufacturing Competitiveness and Economic Sustainability Hoda A. ElMaraghy Editor Enabling Manufacturing Competitiveness and Economic Sustainability Proceedings of the 4th International Conference
Broadband Networks, Smart Grids and Climate Change
Broadband Networks, Smart Grids and Climate Change Eli M. Noam Lorenzo Maria Pupillo Johann J. Kranz Editors Broadband Networks, Smart Grids and Climate Change Editors Eli M. Noam Columbia Business School
Future-Oriented Technology Analysis
Future-Oriented Technology Analysis Cristiano Cagnin Michael Keenan Ron Johnston Fabiana Scapolo Rémi Barré Editors Future-Oriented Technology Analysis Strategic Intelligence for an Innovative Economy
Technology Roadmapping for Strategy and Innovation
Technology Roadmapping for Strategy and Innovation Martin G. Moehrle, Ralf Isenmann, and Robert Phaal (Eds.) Technology Roadmapping for Strategy and Innovation Charting the Route to Success ABC Editors
Lecture Notes in Computer Science 1096 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1096 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Thomas Schael Workflow
Lecture Notes in Artificial Intelligence. Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence 1476 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis
Applied Technology and Innovation Management
Applied Technology and Innovation Management Heinrich Arnold Michael Erner Peter Möckel Christopher Schläffer Editors Applied Technology and Innovation Management Insights and Experiences from an Industry-Leading
Dry Etching Technology for Semiconductors. Translation supervised by Kazuo Nojiri Translation by Yuki Ikezi
Dry Etching Technology for Semiconductors Translation supervised by Kazuo Nojiri Translation by Yuki Ikezi Kazuo Nojiri Dry Etching Technology for Semiconductors Kazuo Nojiri Lam Research Co., Ltd. Tokyo,
Lecture Notes in Control and Information Sciences
Lecture Notes in Control and Information Sciences Edited by A.V. Balakrishnan and M. Thoma 55 Ganti Prasada Rao Piecewise Constant Orthogonal Functions and Their Application to Systems and Control III
ICT for the Next Five Billion People
ICT for the Next Five Billion People Arnold Picot Josef Lorenz Editors ICT for the Next F Five Billion People Information and Communication for Sustainable Development Editors Prof. Dr. Dr. Arnold Picot
Lecture Notes in Control and Information Sciences 283. Editors: M. Thoma M. Morari
Lecture Notes in Control and Information Sciences 283 Editors: M. Thoma M. Morari Springer Berlin Heidelberg NewYork Barcelona Hong Kong London Milan Paris Tokyo Christopher Fielding, Andras Varga, Samir
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1048 Advisory Board: W. Brauer D. Gries J. Stoer Maurizio Proietti (Ed.) Logic Program Synthesis and Transformation
Lecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 1188 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis
SpringerBriefs in Space Development
SpringerBriefs in Space Development Series Editor: Joseph N. Pelton, Jr. For further volumes: http://www.springer.com/series/10058 Audrey L. Allison The ITU and Managing Satellite Orbital and Spectrum
COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, May 2016, Trento, Italy
Antonella De Angeli Liam Bannon Patrizia Marti Silvia Bordin Editors COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy COOP
Dao Companion to the Analects
Dao Companion to the Analects Dao Companions to Chinese Philosophy Series Editor HUANG Yong Department of Philosophy The Chinese University of Hong Kong Shatin, New Territories Hong Kong E-mail: yonghuang@cuhk.edu.hk
ANALOG CIRCUITS AND SIGNAL PROCESSING
ANALOG CIRCUITS AND SIGNAL PROCESSING Series Editors Mohammed Ismail, The Ohio State University Mohamad Sawan, École Polytechnique de Montréal For further volumes: http://www.springer.com/series/7381 Yongjian
Health Information Technology Standards. Series Editor: Tim Benson
Health Information Technology Standards Series Editor: Tim Benson Tim Benson Principles of Health Interoperability HL7 and SNOMED Second Edition Tim Benson Abies Ltd Hermitage, Thatcham Berkshire UK ISBN
TECHNOLOGY, INNOVATION, and POLICY 3. Series of the Fraunhofer Institute for Systems and Innovation Research (lsi)
TECHNOLOGY, INNOVATION, and POLICY 3 Series of the Fraunhofer Institute for Systems and Innovation Research (lsi) Guido Reger Ulrich Schmoch (Eds.) Organisation of Science and Technology at the Watershed
Cost Analysis and Estimating
Roland Kankey Editors Jane Robbins Cost Analysis and Estimating Shifting U.S. Priorities With 34 Figures Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona Roland Kankey
Lecture Notes in Physics
Lecture Notes in Physics Edited by H. Araki, Kyoto, J. Ehlers, M6nchen, K. Hepp, Z[~rich R. Kippenhahn, ML~nchen, D. Ruelle, Bures-sur-Yvette H.A. WeidenmL~ller, Heidelberg, J. Wess, Karlsruhe and J. Zittartz,
ZEW Economic Studies. Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany
ZEW Economic Studies Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany ZEW Economic Studies Vol. 1: O. Hohmeyer, K. Rennings (Eds.) Man-Made Climate Change Economic
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and,i. Hartmanis 282 I P. Gorny M.J.Tauber (Eds.) Visualization in Programming 5th Interdisciplinary Workshop in lnformatics and Psychology Sch~.rding,
Published papers Isabela Drămnesc
Published papers Isabela Drămnesc 1 PhD Thesis 1. I. Drămnesc Case Studies on Algorithm Synthesis and Theory Exploration in Theorema, Faculty of Mathematics and Computer Science, West University of Timişoara,
Springer Series on. Signals and Communication Technology
Springer Series on Signals and Communication Technology Signals and Communication Technology Functional Structures in Networks AMLn A Language for Model Driven Development of Telecom Systems T. Muth ISBN
Lecture Notes in Economics and Mathematical Systems
Lecture Notes in Economics and Mathematical Systems 520 Founding Editors: M. Beckmann H. P. Kiinzi Managing Editors: Prof. Dr. G. Fandel Fachbereich Wirtschaftswissenschaften Fernuniversitat Hagen Feithstr.
Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK
History of Computing Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK Series Editor Gerard Alberts, University of Amsterdam, Amsterdam, The Netherlands Advisory Board Jack Copeland,
Scientific Data Mining and Knowledge Discovery
Scientific Data Mining and Knowledge Discovery Mohamed Medhat Gaber Editor Scientific Data Mining and Knowledge Discovery Principles and Foundations ABC Editor Mohamed Medhat Gaber Caulfield School of
Computer-Aided Production Management
Asbj0rn Rolstadas (Ed.) Computer-Aided Production Management With 169 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Professor Dr. Asbjern Ro1stadas Production Engineering Laboratory
SpringerBriefs in Space Development
SpringerBriefs in Space Development Guest Editor: Jinyuan Su More information about this series at http://www.springer.com/series/10058 Joseph N. Pelton New Solutions for the Space Debris Problem Joseph
Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business. Pre-Vocational Education in European Schools RESEARCH
Fit for Business Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business Pre-Vocational Education in European Schools RESEARCH Editors Matthias Pilz, Susanne Berger, Cologne, Germany Roy Canning
Statistics and Computing Series Editors: J. Chambers D. Hand W. Härdle
Statistics and Computing Series Editors: J. Chambers D. Hand W. Härdle For other titles published in this series, go to http://www.springer.com/series/3022 Roberto Baragona Francesco Battaglia Irene Poli
Innovation Policy in a Knowledge-Based Economy
Innovation Policy in a Knowledge-Based Economy Patrick Llerena Mireille Matt Editors Innovation Policy in a Knowledge-Based Economy Theory and Practice With Contributions by Arman Avadikyan Laurent Bach
Hierarchy Process. The Analytic. Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) Applications and Studies
Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) The Analytic Hierarchy Process Applications and Studies With Contributions by 1. M. Alexander, W D. Daniel Jr., 1. G. Dolan, L. P. Fatti, B. L.
Advances in Computer Vision and Pattern Recognition
Advances in Computer Vision and Pattern Recognition For further volumes: http://www.springer.com/series/4205 Marco Alexander Treiber Optimization for Computer Vision An Introduction to Core Concepts and
Plenum Publishing Corporation London and New York
NATO ASI Series Advanced Science Institutes Series A series presenting the results of activities sponsored by the NA TO Science Committee, which aims at the dissemination of advanced scientific and technological
PAPER. Connecting the dots. Giovanna Roda Vienna, Austria
PAPER Connecting the dots Giovanna Roda Vienna, Austria giovanna.roda@gmail.com Abstract Symbolic Computation is an area of computer science that after 20 years of initial research had its acme in the
Representations of Integers as Sums of Squares
Representations of Integers as Sums of Squares Emil Grosswald Representations of Integers as Sums of Squares Springer-Verlag New York Berlin Heidelberg Tokyo Emil Grosswald Temple University College of
Lecture Notes in Applied and Computational Mechanics
Lecture Notes in Applied and Computational Mechanics Volume 28 Series Editors Prof. Dr.-Ing. Friedrich Pfeiffer Prof. Dr.-Ing. Peter Wriggers Lecture Notes in Applied and Computational Mechanics Edited
Handbook of Engineering Acoustics
Handbook of Engineering Acoustics . Gerhard M uller Michael M oser Editors Handbook of Engineering Acoustics Editors Prof. Dr. Gerhard M uller Technische Universit at M unchen Lehrstuhl f ur Baumechanik
Requirements Engineering for Digital Health
Requirements Engineering for Digital Health Samuel A. Fricker Christoph Thümmler Anastasius Gavras Editors Requirements Engineering for Digital Health Editors Samuel A. Fricker Blekinge Institute of Technology
Faster than Nyquist Signaling
Faster than Nyquist Signaling Deepak Dasalukunte Viktor Öwall Fredrik Rusek John B. Anderson Faster than Nyquist Signaling Algorithms to Silicon 123 Deepak Dasalukunte Lantiq Bangalore, India Fredrik
Lecture Notes in Control and Information Sciences 198. Editor: M. Thoma
Lecture Notes in Control and Information Sciences 198 Editor: M. Thoma H. Winter and H.-G. Nfif~er (Eds.) Advanced Technologies for Air Traffic Flow Management Proceedings of an International Seminar Organized
Introduction to Fuzzy Logic using MATLAB
Introduction to Fuzzy Logic using MATLAB S. N. Sivanandam, S. Sumathi and S. N. Deepa Introduction to Fuzzy Logic using MATLAB With 304 Figures and 37 Tables 123 Dr. S.N. Sivanandam S. N. Deepa Professor
Lecture Notes in Computer Science 1924 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1924 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Walid Taha (Ed.) Semantics,
Advances in Modern Tourism Research
Advances in Modern Tourism Research Álvaro Matias Peter Nijkamp Paulo Neto (Eds.) Advances in Modern Tourism Research Economic Perspectives With 26 Figures and 65 Tables Prof. Dr. Álvaro Matias University
Acoustic Emission Testing
Acoustic Emission Testing Christian U. Grosse (Eds.) Acoustic Emission Testing 123 Christian U. Grosse Department of Non-destructive Testing and Monitoring Techniques Material Testing Institute MPA University
Progress in Computer Science and Applied Logic
Progress in Computer Science and Applied Logic Volume 25 Editor-in-Chief Erich Grädel, Aachen, Germany Associate Editors Eric Allender, Piscataway, NJ, USA Mikołaj Bojańczyk, Warsaw, Poland Sam Buss, San
ACHIEVEMENT AND ASSURANCE OF SAFETY
ACHIEVEMENT AND ASSURANCE OF SAFETY Related titles: Directions in Safety-critical Systems Proceedings of the First Safety-critical Systems Symposium, Bristol 1993 Redmill and Anderson (eds) 3-540-19817-2
3 Forensic Science Progress
3 Forensic Science Progress Forensic Science Progress Volume 3 With Contributions by C. A. Pounds, R. N. Smith With 19 Figures and 7 Tables Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
Studies in Empirical Economics
Studies in Empirical Economics Aman Ullah (Ed.) Semiparametric and Nonparametric Econometrics 1989. VII, 172 pp. Hard cover DM 120, ISBN 3-7908-0418-5 Walter Kramer (Ed.) Econometrics of Structural Change
Lecture Notes in Computational Science and Engineering 68
Lecture Notes in Computational Science and Engineering 68 Editors Timothy J. Barth Michael Griebel David E. Keyes Risto M. Nieminen Dirk Roose Tamar Schlick Sidney Yip Tomás Diaz de la Rubia Editors Scientific
COMPARE 2012 Comparative Empirical Evaluation of Reasoning Systems
(Eds.) COMPARE 2012 Comparative Empirical Evaluation of Reasoning Systems Proceedings of the International Workshop June 30, 2012, Manchester, United Kingdom Editors Karlsruhe Institute of Technology Institute
Offshore Energy Structures
Offshore Energy Structures Madjid Karimirad Offshore Energy Structures For Wind Power, Wave Energy and Hybrid Marine Platforms 1 3 ISBN 978-3-319-12174-1 ISBN 978-3-319-12175-8 (ebook) DOI 10.1007/978-3-319-12175-8
Testing Safety-Related Software
Testing Safety-Related Software Springer London Berlin Heidelberg New York Barcelona Hong Kong Milan Paris Santa Clara Singapore Tokyo Stewart Gardiner (Ed.) Testing Safety-Related Software A Practical
The Future of Civil Litigation
The Future of Civil Litigation ThiS is a FM Blank Page Laura Ervo Editors The Future of Civil Litigation Access to Courts and Court-annexed Mediation in the Nordic Countries Editors Laura Ervo JPS University
Advances in Metaheuristic Algorithms for Optimal Design of Structures
Advances in Metaheuristic Algorithms for Optimal Design of Structures ThiS is a FM Blank Page A. Kaveh Advances in Metaheuristic Algorithms for Optimal Design of Structures A. Kaveh School of Civil Engineering,
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 846 Advisory Board: W. Brauer D. Gries J. Stoer D. Shepherd G. Blair G. Coulson N. Davies E Garcia (Eds.) Network and Operating System
Advanced Information and Knowledge Processing
Advanced Information and Knowledge Processing Series Editors Professor Lakhmi Jain Lakhmi.jain@unisa.edu.au Professor Xindong Wu xwu@cems.uvm.edu For further volumes: http://www.springer.com/series/4738
B.I. Dundas M. Levine P.A. Østvær O. Röndigs. Motivic Homotopy Theory. Lectures at a Summer School in Nordfjordeid, Norway, August 2002 ABC
B.I. Dundas M. Levine P.A. Østvær O. Röndigs V. Voevodsky Motivic Homotopy Theory Lectures at a Summer School in Nordfjordeid, Norway, August 2002 ABC Bjørn Ian Dundas Department of Mathematics University
2 Forensic Science Progress
2 Forensic Science Progress Forensic Science Progress Volume 2 With Contributions by G. Hellmiss, J. Mathyer, B. Miyake, H. Sato, S. Seta With 58 Figures and 36 Tables Springer-Verlag Berlin Heidelberg
Risk-Based Ship Design
Risk-Based Ship Design Apostolos Papanikolaou (Ed.) Risk-Based Ship Design Methods, Tools and Applications Authored by Carlos Guedes Soares, Andrzej Jasionowski, Jørgen Jensen, Dag McGeorge, Apostolos
Lecture Notes in Computer Science. Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer
Lecture Notes in Computer Science 527 Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer J. C. M. Baeten J. E Groote (Eds.) CONCUR '91 2nd International Conference on Concurrency