WORKSHOPS IN COMPUTING. Series edited by C: J. van Rijsbergen
|
|
- Blaise Andrews
- 5 years ago
- Views:
Transcription
1 WORKSHOPS IN COMPUTING Series edited by C: J. van Rijsbergen
2 Also in this series ALPUK91, Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, April 1991 Geraint A.Wiggins, Chris Mellish and Tim Duncan (Eds.) Specifications of Database Systems International Workshop on Specifications of Database Systems, Glasgow, 3-5 July 1991 David J. Harper and Moira C. Norrie (Eds.) 7th UK Computer and Telecommunications Performance Engineering Workshop Edinburgh, July 1991 J. Hillston, P.J.B. King and R.J. Pooley (Eds.) Logic Program Synthesis and Transformation Proceedings of LOPS1R 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 T.P. Clement and K..K. Lau (Eds.) Declarative Programming, Sasbachwalden 1991 PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, November 1991 John Darlington and Roland Dietrich (Eds.) Building Interactive Systems: Architectures and Tools Philip Gray and Roger Took (Eds.) Functional Programming, Glasgow 1991 Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, August 1991 Rogardt He1dal, Carsten Kehler Holst and Philip Wadler (Eds.) Code Generation - Concepts, Tools, Techniques Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, May 1991 Robert Giegerich and Susan L. Graham (Eds.) Z User Workshop, York 1991, Proceedings of the Sixth Annual Z User Meeting, York, December 1991 J.E. Nicholls (Ed.) Formal Aspects of Measurement Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 Tim Denvir, Ros Herman and R.W. Whitty (Eds.) AI and Cognitive Science '91 University College, Cork, September 1991 Humphrey Sorensen (Ed.) 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 Cliff B. Jones, Roger C. Shaw and Tim Denvir (Eds.) Algebraic Methodology and Software Technology (AMAST'91) Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, May 1991 M. Nivat, C. Rattray, T. Rus and G. Scollo (Eds.) ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March-l April Krysia Broda (Ed.) Object Orientation in Z Susan Stepney, Rosalind Barden and David Cooper (Eds.) continued on back page...
3 Kung-Kiu Lau and Tim Clement (Eds.) Logic Program Synthesis and Transformation Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 Sponsored by the Association for Logic Programming and ALPUK Springer-Verlag London Ltd.
4 Kung-Kiu Lau, BSc, PhD Department of Computer Science The University Manchester M13 9PL, UK Timothy Paul Clement, MA, DPhil Department of Computer Science The University Manchester M13 9PL, UK ISBN British Library Cataloguing in Publication Data Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July (Workshops in Computing Series) I. Lau, K-.K. II. Clement, T.P. III. Series ISBN ISBN (ebook) DOI / Library of Congress Cataloging-in-Publication Data A catalog record for this book is available from the Library of Congress Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form, or by any means, with the prior permission in writing of the publishers, or in the case of repro graphic reproduction in accordance with the terms of licences issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers. Springer-Verlag London 1993 Originally published by Springer-Verlag Berlin Heidelberg New York in 1993 The use of registered names, trademarks etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use. The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made. Typesetting: Camera ready by contributors 34{ Printed on acid-free paper
5 Foreword This volume consists of extended versions of selected papers originally presented at the LOPSTR 92 workshop held in Manchester in July The workshop followed LOPSTR 91 in what promises to be a very successful series, ably organised by Kung-Kiu Lau and his colleagues. The topic of both workshops (and hence this volume) was the synthesis and transformation of logic programs. This is a topic of central importance for the software industry. The demand for software can not be met by the current supply, in volume, in complexity or in reliability. The most promising solution to this multi-faceted problem is the increased automation of software production. Machine assisted program development can help us improve programmer productivity, take care of book-keeping, and apply mathematical methods to ensure correctness. Machine assistance is most effective when used to develop declarative programs, e.g. logic programs. The mathematical foundations of logic programs lend themselves to the use of mathematical methods of program development, and hence to automation. This volume describes some of the most recent advances in machine assisted development of logic programs. Among the new techniques described here are some for the transformation of an inefficient program into an equivalent, but more efficient, program, the synthesis of a program from a formal specification of its required behaviour, and the proof that a program terminates. As these techniques begin to leave the laboratory and become standard practice they promise to revolutionise the software industry. Edinburgh August 1992 Alan Bundy
6 Preface Organising the second of a series of workshops brings its own particular concerns: those who attended the first workshop have made encouraging noises about another, but will this translate into submissions and attendance when the time comes, or is the field insufficiently active to support an annual event? In the event, we had eighteen talks, of which seventeen appear as papers in these proceedings and one as an extended abstract. What the proceedings can not show is the active discussion which went on around the formal presentations. The papers cover a broad range, from abstract models of logics to the details of register allocation in Prolog implementations, and including equational logics and database languages as well as the traditional Hom clauses of logic programming. The theme of partial deduction guided by abstract interpretation recurs in many different settings. Less clear is where the boundary between synthesis and transformation lies. A panel discussion at the end of the workshop addressed itself to this question, and resulted in not one but several equally convincing characterisations of the distinction. Once again, we should like to thank the Association for Logic Programming for supporting student travel to the workshop, ALPUK for their financial support for the workshop itself, and Lynn Howarth for her help with the organisation of the workshop. We should also like to thank the other Programme Committee members for their invaluable contribution and cooperatioq without which the workshop would not have been possible. We thank them and the other referees for their detailed and timely refereeing of the papers submitted to the workshop. LOPSTR 93 will take place in Louvain-la-Neuve, Belgium on 7-9 July. See you there! Manchester September 1992 Kung-Kiu Lau and Tim Clement
7 Programme Committee Tim Clement University of Manchester, UK Danny De Schreye Katholieke Universiteit Leuven, Belgium Yves Deville Universite Catholique de Louvain, Belgium John Gallagher University of Bristol, UK Kung-Kiu Lau University of Manchester, UK (Chair) Referees Behnam Bani-Eqbal Dmitri Boulanger Maurice Bruynooghe Tim Clement Nicoletta Cocco Danny De Schreye Bart Demoen Philippe Devienne Yves Deville Pierre Flener John Gallagher Pat Hill Kung-Kiu Lan Bern Martens Maurizio Proietti Harold Simmons Geraint Wiggins
8 Contents Logic Program Synthesis via Proof Planning I. Kraan, D. Basin and A. Bundy... 1 Deductive Synthesis of Programs for Query Answering D. Nardi and R. Rosati Synthesis of Narrowing Programs C. Lorta-Saenz A Unifying View of Structural Induction and Computation Induction for Logic Programs L. Fribourg and H. Olsen Proof Nets M. Ornaghi The LOPS Approach: A Transformational Point of View (Extended Abstract) G. Neugebauer Best-first Strategies for Incremental Transformations of Logic Programs M. Proietti and A. Pettorossi Deriving Transformations of Logic Programs Using Abstract Interpretation D. Boulanger and M. Bruynooghe A Rationalisation of the ATMS in Terms of Partial Evaluation E. Lamma and P. Mello Intensional Query Answering: An Application of Partial Evaluation G. De Giacomo Deletion of Redundant Unary Type Predicates from Logic Programs 1. Gallagher and D.A. de Waal Automatic Termination Analysis K. Verschaetse, S. Decorte and D. De Schreye
9 xii Contents Applications of Unfolding in Prolog Programming J. Jones An Unfold Rule for Full Prolog s. Prestwich Logimix: A Self-Applicable Partial Evaluator for Prolog T.A!. Mogensen and A. Bondorf Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation A. Parrain. P. Devienne and P. Lebegue On the Transformation of a Prolog Program to a More Efficient Binary Program B. Demoen Efficient Compilation of Lazy Narrowing into Prolog J.A. Jimenez-Martin. J. Marino-Carballo and J.J. Moreno-Navarro Author Index
WORKSHOPS IN COMPUTING Series edited by C. J. van Rijsbergen
WORKSHOPS IN COMPUTING Series edited by C. J. van Rijsbergen Also in this series Z User Workshop, York 1991, Proceedings of the Sixth Annual Z User Meeting, York, 1~17 December 1991 J.E. Nicholls (Ed.)
More informationLecture 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
More informationInside the Smart Home
Inside the Smart Home i Springer London Berlin Heidelberg New York Hong Kong Milan Paris Tokyo ii Richard Harper (Ed.) Inside the Smart Home iii Richard Harper, PhD The Appliance Studio, University Gate
More informationInnovations and the Environment
Innovations and the Environment Yoram Krozer Innovations and the Environment 123 Yoram Krozer, PhD Cartesius Institute Institute for Sustainable Innovations of the Netherlands Technical Universities Zuidergrachtswal
More informationTesting 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
More informationSpringer-Vedag London Ltd.
AutoCAD Express NT Springer-Vedag London Ltd. Timothy McCarthy AutoCAD Express NT Covering Release 14, Springer Dr Timothy McCarthy Department of Civil and Structural Engineering UMIST P.O. Box 88 Manchester
More informationSoftware Engineering for Manufacturing Systems
Software Engineering for Manufacturing Systems IFIP - The International Federation for Information Processing IFIP was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress
More informationPower Electronics Semiconductor Switches
Power Electronics Semiconductor Switches Power Electronics Semiconductor Switches R.S. Ramshaw Department of Electrical and Computer Engineering University of Waterloo Ontario Canada SPRINGER-SCIENCE+BUSINESS
More informationACHIEVEMENT 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
More informationCOOP 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
More informationSergey Ablameyko and Tony Pridmore. Machine Interpretation of Line Drawing Images. Technical Drawings, Maps and Diagrams.
Sergey Ablameyko and Tony Pridmore Machine Interpretation of Line Drawing Images Technical Drawings, Maps and Diagrams i Springer Sergey Ablameyko, PhD, DSc, Prof, FlEE, FIAPR, SMIEEE Institute of Engineering
More informationAutoCAD for Windows Express
AutoCAD for Windows Express Tim McCarthy AutoCAD for Windows Express With 195 Figures Springer-Verlag London Berlin Heidelberg New York Paris Tokyo Hong Kong Barcelona Budapest Timothy J. McCarthy, PhD
More informationManufacturing Challenges in Electronic Packaging
Manufacturing Challenges in Electronic Packaging Manufacturing Challenges in Electronic Packaging Y.C. Lee University of Colorado, Boulder, CO, USA and WT. Chen formerly a Senior Technical Staff Member,
More informationMODERN DAIRY TECHNOLOGY
MODERN DAIRY TECHNOLOGY Volume 1 Advances in Milk Processing Second Edition MODERN DAIRY TECHNOLOGY Volume 1 Advances in Milk Processing Second Edition Edited by R. K. Robinson Department of Food Science
More informationSafety-Critical Systems: Problems, Process and Practice
Safety-Critical Systems: Problems, Process and Practice Related titles: Towards System Safety Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK, 1999 1-85233-064-3 Lessons in
More informationAdvanced 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
More informationDesign of Logic Systems
Design of Logic Systems Design of Logic Systems Second edition D. Lewin Formerly Professor of Computer Science and Information Engineering, University of Sheffield D. Protheroe Lecturer in Electronic Engineering,
More informationJan de Witt s Elementa Curvarum Linearum Liber Secundus
Jan de Witt s Elementa Curvarum Linearum Liber Secundus For other titles published in this series, go to http://www.springer.com/series/4142 Sources and Studies in the History of Mathematics and Physical
More informationHealth 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
More informationComputer Automation in Manufacturing
Computer Automation in Manufacturing Computer Automation in Manufacturing An introduction Thomas O. Boucher Department of Industrial Engineering Rutgers University Piscataway NJ USA SPRINGER-SCIENCE+BUSINESS
More informationLecture 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
More informationDesign 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
More informationApplied Computing. Springer-Verlag London Ltd.
Applied Computing Springer-Verlag London Ltd. The Springer-Verlag Series on Applied Computing is an advanced series of innovative textbooks that span the full range oftopics in applied computing technology.
More informationIntelligent Control Systems with LabVIEW
Intelligent Control Systems with LabVIEW Pedro Ponce-Cruz Fernando D. Ramírez-Figueroa Intelligent Control Systems with LabVIEW 123 Pedro Ponce-Cruz, Dr.-Ing. Fernando D. Ramírez-Figueroa, Research Assistant
More informationIntelligent knowledge based systems in electrical power engineering
Intelligent knowledge based systems in electrical power engineering JOIN US ON THE INTERNET VIA WWW, GOPHER, FTP OR EMAIL: WWW: http://www.thomson.com GOPHER: gopher.thomson.com A ^ ^ FTP: ftp.thomson.com
More informationSystem Architecture. Strategy and Product Development for Complex Systems. Global edition. Global edition. Edward Crawley Bruce Cameron Daniel Selva
System Architecture Global edition System Architecture Crawley Cameron Selva This is a special edition of an established title widely used by colleges and universities throughout the world. Pearson published
More informationThe New Strategic Landscape
The New Strategic Landscape This page intentionally left blank The New Strategic Landscape Innovative Perspectives on Strategy Julie Verity Julie Verity 2012 All remaining chapters respective authors Softcover
More informationDevelopments in Risk-based Approaches to Safety.,,,, i
Developments in Risk-based Approaches to Safety,,,, i Related titles: Towards System Safety Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK, 1999 1-85233-064-3 Lessons in System
More informationLecture 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
More informationModelling Non-Stationary Time Series
Modelling Non-Stationary Time Series Palgrave Texts in Econometrics Series Editor: Kerry Patterson Titles include: Simon P. Burke and John Hunter MODELLING NON-STATIONARY TIME SERIES Michael P. Clements
More informationFuture-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
More informationTechnology 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
More informationProduct Development Strategy
Product Development Strategy Product Development Strategy Innovation Capacity and Entrepreneurial Firm Performance in High-Tech SMEs Mina Tajvidi Bangor Business School, Bangor University, UK and Azhdar
More informationTrends in Logic. Volume 45
Trends in Logic Volume 45 TRENDS IN LOGIC Studia Logica Library VOLUME 45 Editor-in-Chief Heinrich Wansing, Ruhr-University Bochum, Bochum, Germany Editorial Assistant Andrea Kruse, Ruhr-University Bochum,
More informationMATLAB 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
More informationInternational Entrepreneurship
International Entrepreneurship International Entrepreneurship Theoretical Foundations and Practices Antonella Zucchella and Paolo Scabini Antonella Zucchella and Paolo Scabini 2007 Softcover reprint of
More informationLecture Notes in Control and Information Sciences 233. Editor: M. Thoma
Lecture Notes in Control and Information Sciences 233 Editor: M. Thoma Pasquale Chiacchio and Stefano Chiaverini (Eds) Complex Robotic Systems ~ Springer Series Advisory Board A. Bensoussan M.J. Grimble
More informationThe Washington Embassy
The Washington Embassy The Washington Embassy British Ambassadors to the United States, 1939 77 Edited by Michael F. Hopkins Lecturer in History, University of Liverpool Saul Kelly Reader in Defence Studies,
More informationHistorical Materialism and Social Evolution
Historical Materialism and Social Evolution Historical Materialism and Social Evolution Edited by Paul Blackledge Senior Lecturer School of Cultural Studies Leeds Metropolitan University and Graeme Kirkpatrick
More informationArchitecture 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
More informationData 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
More informationFounding 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,
More informationModeling 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
More informationLecture 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
More informationBRITAIN S WINNING FORMULA
BRITAIN S WINNING FORMULA This page intentionally left blank Britain s Winning Formula Achieving World Leadership in Motorsports Martin Beck-Burridge and Jeremy Walton Martin Beck-Burridge and Jeremy Walton
More informationRequirements 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
More informationApplication 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
More informationThis page intentionally left blank
Stevie Smith This page intentionally left blank Stevie Smith Between the Lines Romana Huk Romana Huk 2005 Softcover reprint of the hardcover 1st edition 2005 978-0-333-54997-1 All rights reserved. No reproduction,
More informationStraBer 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
More informationLecture 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
More informationThe Cultural and Social Foundations of Education. Series Editor A.G. Rud College of Education Washington State University USA
The Cultural and Social Foundations of Education Series Editor A.G. Rud College of Education Washington State University USA The Palgrave Pivot series on the Cultural and Social Foundations of Education
More informationComputer Supported Cooperative Work. Series Editor Richard Harper Cambridge, United Kingdom
Computer Supported Cooperative Work Series Editor Richard Harper Cambridge, United Kingdom The CSCW series examines the dynamic interface of human nature, culture, and technology. Technology to support
More informationLecture 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
More informationCognitive 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
More informationInternational Entrepreneurship
International Entrepreneurship This page intentionally left blank International Entrepreneurship Theoretical Foundations and Practices 2nd edition Antonella Zucchella University of Pavia, Italy and Giovanna
More informationPractical Benchmarking: The Complete Guide
Practical Benchmarking: The Complete Guide Practical Benchmarking: The Complete Guide Mohamed Zairi Unilever Lecturer in TQM Bradford University and Paul Leonard Senior Consultant Xerox Quality Solutions
More informationParticipatory Democracy, Science and Technology
Participatory Democracy, Science and Technology Also by Karl Rogers ON THE METAPHYSICS OF EXPERIMENTAL PHYSICS MODERN SCIENCE AND THE CAPRICIOUSNESS OF NATURE Participatory Democracy, Science and Technology
More informationANALOG 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
More informationCOMMUNICATING OUT OF A CRISIS
COMMUNICATING OUT OF A CRISIS Communicating Out of a Crisis Michael Bland p a l g ( a v ~ 113Crl ar Selection, editorial matter and Chapters 1-6, 14-16 Michael Bland 1998 Other chapters and case studies
More informationModern Science and the Capriciousness of Nature
Modern Science and the Capriciousness of Nature Also by Karl Rogers ON THE METAPHYSICS OF EXPERIMENTAL PHYSICS Modern Science and the Capriciousness of Nature Karl Rogers Karl Rogers 2006 Softcover reprint
More informationDramatic Psychological Storytelling
Dramatic Psychological Storytelling This page intentionally left blank Dramatic Psychological Storytelling Using the Expressive Arts and Psychotheatrics Rob Allen and Nina Krebs Rob Allen and Nina Krebs
More informationBroadband 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
More informationPalgrave Studies in Comics and Graphic Novels. Series Editor Roger Sabin University of the Arts London London, United Kingdom
Palgrave Studies in Comics and Graphic Novels Series Editor Roger Sabin University of the Arts London London, United Kingdom This series concerns Comics Studies with a capital c and a capital s. It feels
More informationHANDBOOK OF TABLEAU METHODS
HANDBOOK OF TABLEAU METHODS HANDBOOK OF TABLEAU METHODS Edited by MARCELLO D' AGOSTINO Universita di Ferrara, Ferrara, Italy DOV M. GABBAY King's College, London, United Kingdom REINER HAHNLE Universitiit
More informationLecture Notes in Control and Information Sciences 188. Editors: M. Thoma and W. Wyner
Lecture Notes in Control and Information Sciences 188 Editors: M. Thoma and W. Wyner D. Subbaram Naidu Aeroassisted Orbital Transfer Guidance and Control Strategies Springer-Verlag London Berlin Heidelberg
More informationThe Management of Technical Change
The Management of Technical Change This page intentionally left blank The Management of Technical Change Automation in the UK and USA since 1950 Alan Booth Alan Booth 2006 Softcover reprint of the hardcover
More informationThe Future of Design Methodology
The Future of Design Methodology Editor The Future of Design Methodology 123 Editor Prof. Dr. h.c. Dr.-Ing. Chair of Product Development and Machine Elements TU Darmstadt Magdalenenstraße 4 64289 Darmstadt
More informationSpringer 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
More informationSpringerBriefs 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
More informationSimulation 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
More informationU. Lindemann (Ed.) Human Behaviour in Design
U. Lindemann (Ed.) Human Behaviour in Design Springer-Verlag Berlin Heidelberg GmbH Engineering ONLINE LIBRARY http://www.springer.de/engine/ Udo Lindemann (Ed.) Human Behaviour in Design Individuals,
More informationSpringerBriefs 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
More informationProgramming 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
More informationDry 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,
More informationThe Palgrave Gothic Series. Series Editor: Clive Bloom
Haunted Seasons The Palgrave Gothic Series Series Editor: Clive Bloom Editorial Advisory Board: Dr Ian Conrich, University of South Australia, Barry Forshaw, author/journalist, UK, Professor Gregg Kucich,
More informationCost 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
More informationArts Management and Cultural Policy Research
Arts Management and Cultural Policy Research This page intentionally left blank Arts Management and Cultural Policy Research Jonathan Paquette University of Ottawa, Canada and Eleonora Redaelli University
More informationVictorian Telegraphy Before Nationalization
Victorian Telegraphy Before Nationalization Victorian Telegraphy Before Nationalization Simone Fari University of Granada, Spain S i m o n e Fa r i 2 015 Softcover reprint of the hardcover 1st edition
More informationCOMPETITION IN HEAL TIl CARE. Reforming the NHS
COMPETITION IN HEAL TIl CARE Reforming the NHS ECONOMIC ISSUES IN HEALTH CARE General editors Professor Gavin Mooney Institute of Social Medicine University of Copenhagen 2200 Copenhagen N, Denmark Dr
More informationPrivacy, Data Protection and Cybersecurity in Europe
Privacy, Data Protection and Cybersecurity in Europe Wolf J. Schünemann Max-Otto Baumann Editors Privacy, Data Protection and Cybersecurity in Europe Editors Wolf J. Schünemann Institute for Social Sciences
More informationLecture 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
More informationTRANSMISSION LINES FOR COMMUNICATIONS: with CAD programs
TRANSMISSION LINES FOR COMMUNICATIONS: with CAD programs Other Macmillan titles of related interest W. A. Atherton, From Compass to Computer R. V. Buckley, Control Engineering R. V. Buckley, Electronic
More informationA Bibliography of Publications of Christopher Hugh Bryant
A Bibliography of Publications of Christopher Hugh Bryant Christopher Hugh Bryant The Robert Gordon University School of Computing St Andrew St, Aberdeen AB25 1HG Scotland, UK Tel: +441224 262737 FAX:
More informationClassical Masculinity and the Spectacular Body on Film
Classical Masculinity and the Spectacular Body on Film Classical Masculinity and the Spectacular Body on Film The Mighty Sons of Hercules Daniel O Brien University of Southampton, UK Daniel O Brien 2014
More informationQuality Management and Managerialism in Healthcare
Quality Management and Managerialism in Healthcare This page intentionally left blank Quality Management and Managerialism in Healthcare A Critical Historical Survey Sara Melo Queen s University Belfast,
More informationLecture 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
More informationMILK and MILK PRODUCTS
MILK and MILK PRODUCTS MILK and MILK PRODUCTS Technolog)', chemistry and microbiology Alan H. Varnam Consultant Microbiologist Southern Biological Reading UK and Jane P. Sutherland Head of Food and Beverage
More informationAdvanced Electronic Circuits
U. Tietze Ch. Schenk Advanced Electronic Circuits Wi th the Assistance of E. Schmid With 570 Figures Springer-Verlag Berlin Heidelberg New York 1978 Dr.-Ing. Ulrich Tietze Dr.-Ing. Christoph Schenk Universitat
More informationEnacting Research Methods in Information Systems: Volume 2
Enacting Research Methods in Information Systems: Volume 2 This page intentionally left blank Enacting Research Methods in Information Systems: Volume 2 Edited by Leslie P. Willcocks London School of Economics
More informationMLM Cash Machine: Fool Proof Strategies on How to Succeed in Network Marketing! by Jinger Jarrett
MLM Cash Machine: Fool Proof Strategies on How to Succeed in Network Marketing! by Jinger Jarrett Copyright Copyright, 2010, 2011, Jinger Jarrett. All Rights Reserved. You may print a copy of this ebook
More informationAlso by Craig Batty Media Writing: A Practical Introduction (with S. Cain, 2010)
Movies That Move Us Also by Craig Batty Media Writing: A Practical Introduction (with S. Cain, 2010) Writing for the Screen: Creative and Critical Approaches (with Z. Waldeback, 2008) Movies That Move
More informationHandbook 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
More informationArchitectures for Enterprise Integration
Architectures for Enterprise Integration Architectures for Enterprise Integration Edited by Peter Bernus Griffith University Queensland Australia Laszlo Nemes CS/RO Victoria Australia and Theodore.J. Williams
More informationRisk-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
More informationThis page intentionally left blank
DORIS LESSING This page intentionally left blank Doris Lessing Sufi Equilibrium and the Form of the Novel Shadia S. Fahim Lecturer in English Literature and Language Ain-Shams University, Cairo M St. Martin's
More informationSpringer Series in Advanced Microelectronics 33
Springer Series in Advanced Microelectronics 33 The Springer Series in Advanced Microelectronics provides systematic information on all the topics relevant for the design, processing, and manufacturing
More informationBP and the Macondo Spill
BP and the Macondo Spill This page intentionally left blank BP and the Macondo Spill The Complete Story Colin Read Professor of Economics and Finance, SUNY College, Plattsburgh, USA Palgrave macmillan
More informationRecreational Land Management
Recreational Land Management This page intentionally left blank Recreational Land Management Second edition W. Seabrooke Professor of Land Economy Department of Land and Construction Management University
More informationPalgrave Studies in the History of Science and Technology
Palgrave Studies in the History of Science and Technology Series Editors James Rodger Fleming Colby College Waterville, Maine, USA Roger D. Launius Smithsonian Institution National Air and Space Museum,
More informationDrones and Unmanned Aerial Systems
Drones and Unmanned Aerial Systems Aleš Završnik Editor Drones and Unmanned Aerial Systems Legal and Social Implications for Security and Surveillance 2123 Editor Aleš Završnik Institute of Criminology
More information