WORKSHOPS IN COMPUTING Series edited by C. J. van Rijsbergen
|
|
- Antony Wilkerson
- 5 years ago
- Views:
Transcription
1 WORKSHOPS IN COMPUTING Series edited by C. J. van Rijsbergen
2 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.) 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 aiff 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. Ranray, T. Rus and G. Scollo (Eds.) ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March -1 April 1992 Krysia Broda (Ed.) Logic Program Synthesis and Transformation Proceedings of LOPS1R 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 Kung-Kiu Lau and Tim aement (Eds.) NAPA W 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 S. Purushotharnan and Amy Zwarico (Eds.) Arst International Workshop on Larch Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, Julyl992 Ursula Martin and Jeannette M. Wing (Eds.) Persistent Object Systems Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September 1992 Antonio Albano and Ron Morrison (Eds.) Formal Methods In Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, May 1992 V.S. Alagar, Laks V.S. Lakshmanan and F. Sadri (Eds.) Modelling Database Dynamics Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany, October 1992 Udo W. Lipeck and Bernhard Thalheim (Eds.) 14th Information Retrieval Colloquium Proceedings of the BCS 14th Information Retrieval Colloquium, University of Lancaster, April 1992 Tony McEnery and Chris Paice (Eds.) Functional Programming, Glasgow 1992 Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, ~8 July 1992 John Launchbury and Patrick Sansom (Eds.) Z User Workshop, London 1992 Proceedings of the Seventh Annual Z User Meeting, London, December 1992 J.P. Bowen and J.E. Nicholls (Eds.) Interfaces to Database Systems (IDS92) Proceedings of the First International Workshop on Interfaces to Database Systems, Glasgow, 1-3 July 1992 Richard Cooper (Ed.) AI and Cognitive Science '92 University of Limerick, September 1992 Kevin Ryan and Richard F.E. Sutcliffe (Eds.) Theory and Formal Methods 1993 Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thoms Conference Centre, Chelwood Gate, Sussex, UK, March 1993 Geoffrey Bum, Simon Gay and Mark Ryan (Eds.) Algebraic Methodology and Software Technology (AMAST'93) Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, June 1993 M. Nivat, C. Rattray, T. Rus and G. Scollo (Eds.) continued on back page...
3 Yves Deville (Ed.) Logic Program Synthesis and Transformation Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-Ia-Neuve, Belgium, 7-9 July 1993 Published in collaboration with the British Computer Society Springer-Verlag London Berlin Heidelberg New York Paris Tokyo Hong Kong Barcelona Budapest
4 Yves Deville Unite d'informatique Universite Catholique de Louvain Place Sainte-Barbe 2 B-1348 Louvain-Ia-Neuve, Belgium ISBN-13: e-isbn-13: DOl: / British Library Cataloguing in Publication Data Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93. International Workshop on Logic Program Synthesis and Transformation. Louvain-Ia-Neuve. Belgium, 7-9 July (Workshops in Computing Series) I. Deville, Yves ll. Series ISBN-13: 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 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. British Computer Society 1994 The use of registered names. trademarks etc. in this publication does not imply. even in the absence of a specific statement, that such names arc exempt from the relevant laws and regulations and therefore free for general usc. 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 contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing a uniform declarative notation for precisely describing application domains, software requirements, and for prescribing behavior via logic programs. Program synthesis and transfonnation techniques formalize the process of developing correct and efficient programs from requirement specifications. The natural intersection of these two fields of research has been the focus of the LOPSTR workshops. The papers in this volume address many aspects of software development including: deductive synthesis, inductive synthesis, transformations for optimizing programs and exploiting parallelism, program analysis techniques (particularly via abstract interpretation), metaprogramming languages and tool support, and various extensions to Prolog-like languages, admitting non-horn clauses, functions, and constraints. Despite the progress represented in this volume, the transition from laboratory to practice is fraught with difficulties. Some of the challenges that researchers face include (1) the development of techniques for handling more complex and realistic problems, (2) wider availability of implemented systems that can support experiments and education, and (3) support for software evolution. In future LOPSTR workshops we can look forward to continued progress in these areas and signs that the field is fulfilling its promise of radical improvements to software engineering practice. Palo Alto October 1993 Douglas R. Smith
6 Preface LOPSTR 93, held from 7-9 July 1993, in Louvain-Ia-Ncuve, Belgium, is the third in a series of International Workshops on Logic Program Synthesis and Transformation. The aim of these meetings is to present recent work and to discuss new ideas and trends in logic program synthesis and transformation, as well as related fields. This year, the LOPSTR workshop was held jointly with the Program Development Area Meeting of Compunet, the Esprit Network in Computational Logic. The workshop brought together 55 researchers from 12 different countries, and 28 talks were presented. This volume contains 19 original contributions in logic program synthesis and transformation, including an invited paper from Douglas R. Smith. Our thanks to all the contributors to the workshop who made LOPSTR 93 a success. We would like to thank the other Program Committee members for their contribution and fruitful collaboration during the preparation of the workshop and the selection of papers. We thank them and the other referees for their detailed and timely refereeing of the submitted papers. We are most grateful to the Esprit Network in Computational Logic, and the Belgian National Fund for Scientific Research for their financial support. Special thanks to Vincent Lombart for his help in organizing the workshop and preparing these proceedings. Louvain-Ia-Neuve October 1993 Yves Deville
7 Program Committee Danny De Schreye Katholieke Universiteit Leuven, Belgium Yves Deville (Chair) Universite Catholique de Louvain, Belgium Laurent Fribourg L.I.E.N.S., France John Gallagher University of Bristol, UK Kung-Kiu Lau University of Manchester, UK Baudouin Le Charlier University of Namur, Belgium Maurizio Proietti IASI - CNR Roma, Italy Referees M. Bouattour D. Boulanger M. Bruynooghe T. Clement L. De Raedt D. De Schreye Y. Deville P. Flener L. Fribourg J. Gallagher P. Hill J.-M. Jacquet J. Jones K.-K. Lau B. Le Charlier V. Lombart E. Marakakis B. Martens R. Moolenaar A. Pettorossi
8 Contents Toward the Synthesis of Constraint Propagation Algorithms D.R. Smith (Invited Speaker)... 1 A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs K.-K. Lau and M. Ornaghi Reachability Analysis for the Extension Procedure - A Topological Result G. Neugebauer Inductive Synthesis of Logic Programs and Inductive Logic Programming F. Bergadano and D. Gunetti Induction of Prolog Programs with Markus M. Grobelnik A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract) P. Madden. J. Hesketh. I. Green and A. Bundy Guiding Synthesis Proofs V. Lombart. G. Wiggins and Y. Deville Combining Prolog Programs in a Techniques Editing System (Abstract) M. Vargas-Vera. D. Robertson and R. Inder Designing Prolog Programming Techniques W. Weber Vasconcelos Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies A.-L. Johansson The Power of Partial Evaluation D.A. de Waal Specialising the Ground Representation in the Logic Programming Language GMel C.A. Gurr
9 xii Contents Synthesis of Programs from UnfoldlFold Proofs M. Proietti and A. Pettorossi Some Further Issues in Finite Unfolding (Abstract) B. Martens and D. De Schreye A Transformation Based on the Equality Between Terms U. Neumerkel Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model M. Olmedilla. F. Bueno and M. Hermenegildo Memoing with Abstract Answers and Delphi Lemmas P. Tarau and K. De Bosschere Using Abstract Interpretation for Goal Replacement D. Boulanger and M. Bruynooghe Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments P. De Boeck and B. Le Charlier 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 ALPUK91, Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 Geraint A.Wiggins,
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationLecture 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,
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationLecture 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
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 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 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 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 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 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 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 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 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 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 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 informationSynthetic Aperture Radar
Synthetic Aperture Radar J. Patrick Fitch Synthetic Aperture Radar C.S. Burrus, Consulting Editor With 93 Illustrations Springer-Verlag New York Berlin Heidelberg London Paris Tokyo J. Patrick Fitch Engineering
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 informationComputer-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
More informationPierre-Yves Henin (Ed.) Advances in Business Cycle Research
Pierre-Yves Henin (Ed.) Advances in Business Cycle Research Springer-V erlag Berlin Heidelberg GmbH Pierre-Yves Henin (Ed.) Advances in Business Cycle Research With Application to the French and US Economies
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 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 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 informationLecture 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,
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 informationThe Relations between Defence and Civil Technologies
The Relations between Defence and Civil Technologies NATO ASI Series Advanced Science Institutes Series A Series presenting the results of activities sponsored by the NATO Science Committee. which aims
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 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 informationAIRCRAFT CONTROL AND SIMULATION
AIRCRAFT CONTROL AND SIMULATION AIRCRAFT CONTROL AND SIMULATION Third Edition Dynamics, Controls Design, and Autonomous Systems BRIAN L. STEVENS FRANK L. LEWIS ERIC N. JOHNSON Cover image: Space Shuttle
More informationLecture 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
More informationLecture 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
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 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 informationSimulating the Evolution of Language
Simulating the Evolution of Language Springer London Berlin Heidelberg New York Barcelona Hong Kong Milan Paris Singapore Tokyo Angelo Cangelosi and Domenico Parisi (Eds) Simulating the Evolution of Language,
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 informationPulse-Width Modulated DC-DC Power Converters Second Edition
Pulse-Width Modulated DC-DC Power Converters Second Edition Marian K. Kazimierczuk Pulse-Width Modulated DC DC Power Converters Pulse-Width Modulated DC DC Power Converters Second Edition MARIAN K. KAZIMIERCZUK
More informationEntrepreneurial Profiles of Creative Destruction
Entrepreneurial Profiles of Creative Destruction Entrepreneurial Profiles of Creative Destruction Courage, Imagination and Creativity in Action Elias G. Carayannis George Washington University, Washington,
More informationTECHNOLOGY, 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
More informationRepresentations 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
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 International Entrepreneurship Theoretical Foundations and Practices Antonella Zucchella and Paolo Scabini Antonella Zucchella and Paolo Scabini 2007 Softcover reprint of
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 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 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 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 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 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 informationINSTRUMENTATION AND CONTROL SYSTEMS SECOND EDITION
INSTRUMENTATION AND CONTROL SYSTEMS SECOND EDITION INSTRUMENTATION AND CONTROL SYSTEMS SECOND EDITION WILLIAM BOLTON AMSTERDAM BOSTON HEIDELBERG LONDON NEW YORK OXFORD PARIS SAN DIEGO SAN FRANCISCO SINGAPORE
More informationDOI: / Sociology in France after 1945
DOI: 10.1057/9781137450548.0001 Sociology in France after 1945 Sociology Transformed Series Editors: John Holmwood, University of Nottingham, UK, and Stephen Turner, University of South Florida, US. The
More informationZEW 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
More informationHIGH PERFORMANCE COMPUTING IN FLUID DYNAMICS
HIGH PERFORMANCE COMPUTING IN FLUID DYNAMICS ERCOFTAC SERIES VOLUME 3 Series Editors P. Hutchinson, Chairman ERCOFTAC, Cranfield University, Bedford, UK W. Rodi, Chairman ERCOFTAC Scientific Programme
More informationPuBLic UTILITY EcoNoMics
PuBLic UTILITY EcoNoMics Public Utility Economics Michael A. Crew and Paul R. Kleindorfer M Michael A. Crew and Paul R. Kleindorfer 1979 Softcover reprint of the hardcover 1st edition 1979 All rights reserved.
More informationHuman-Computer Interaction Series
Human-Computer Interaction Series Editors-in-Chief John Karat Jean Vanderdonckt, Université Catholique de Louvain, Belgium Editorial Board Simone Barbosa, PUC-Rio, Brazil Gaëlle Calvary, LIG-University
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 informationEvaluating New Technologies
Evaluating New Technologies The International Library of Ethics, Law and Technology VOLUME 3 Editors Anthony Mark Cutter, Centre for Professional Ethics, University of Central Lancashire, United Kingdom
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 informationDigital Control System Analysis and Design
GLOBAL EDITION Digital Control System Analysis and Design FOURTH EDITION Charles L. Phillips H. Troy Nagle Aranya Chakrabortty Editorial Director, Engineering and Computer Science: Marcia J. Horton Executive
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 informationHierarchy 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.
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 informationModern Manufacturing: Information Control and Technology
Modern Manufacturing: Information Control and Technology Advanced Manufacturing Series Series editor: D.T. Pham Other titles in the series: A Systems Approach to AMT Deployment Eds. D.R. Towill and J.
More informationLecture Notes in Business Information Processing 326
Lecture Notes in Business Information Processing 326 Series Editors Wil M. P. van der Aalst RWTH Aachen University, Aachen, Germany John Mylopoulos University of Trento, Trento, Italy Michael Rosemann
More informationTime Frequency Domain for Segmentation and Classification of Non-stationary Signals
Time Frequency Domain for Segmentation and Classification of Non-stationary Signals FOCUS SERIES Series Editor Francis Castanié Time Frequency Domain for Segmentation and Classification of Non-stationary
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 informationGO! with Microsoft PowerPoint 2010 Introductory Gaskin Vargas Madsen Marucco First Edition
GO! with Microsoft PowerPoint 2010 Introductory Gaskin Vargas Madsen Marucco First Edition Pearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the
More information