ISBN e-isbn DOI / Springer Dordrecht Heidelberg London New York
|
|
- Junior Flowers
- 6 years ago
- Views:
Transcription
1 Hagenberg Research
2 Bruno Buchberger Michael Affenzeller Alois Ferscha Michael Haller Tudor Jebelean Erich Peter Klement Peter Paule Gustav Pomberger Wolfgang Schreiner Robert Stubenrauch Roland Wagner Gerhard Weiß Wolfgang Windsteiger Editors Hagenberg Research 123
3 Editors Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiss, Wolfgang Windsteiger, A-4232 Hagenberg Austria ISBN e-isbn DOI / Springer Dordrecht Heidelberg London New York Library of Congress Control Number: ACM Computing Classification (1998): D.2, H.3, I.2, C.2, H.5, F.1 c Springer-Verlag Berlin Heidelberg 2009 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, reuse of illustrations, recitation, broadcasting, reproduction on microfilm 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. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, 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 protective laws and regulations and therefore free for general use. Cover design: KünkelLopka, Heidelberg Printed on acid-free paper Springer is part of Springer Science+Business Media (
4 Contents Hagenberg Research: Introduction Bruno Buchberger I Algorithms in Symbolic Computation Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler 1 The Renaissance of Algorithmic Mathematics Gröbner Bases Theory for Nonlinear Polynomial Systems Rational Algebraic Curves Theory and Application Computer Generated Progress in Lattice Paths Theory Symbolic Summation in Particle Physics Nonlinear Resonance Analysis II Automated Reasoning Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger 1 Introduction Theorema: Computer-Supported Mathematical Theory Exploration Natural Style Proving in Theorema Unification Program Verification Computer-Assisted Interactive Program Reasoning III Metaheuristic Optimization Michael Affenzeller, Andreas Beham, Monika Kofler, Gabriel Kronberger, Stefan A. Wagner, Stephan Winkler 1 Introduction Metaheuristic Optimization Techniques Algorithmic Advances Based Upon Genetic Algorithms Route Planning
5 vi 5 Genetic Programming Based System Identification Conclusion and Future Perspectives IV Software Engineering Processes and Tools Gerhard Weiss, Gustav Pomberger, Wolfgang Beer, Georg Buchgeher, Bernhard Dorninger, Josef Pichler, Herbert Prähofer, Rudolf Ramler, Fritz Stallinger, Rainer Weinreich 1 Introduction Software Process Engineering Software Quality Engineering Software Architecture Engineering Domain-Specific Languages and Modeling V Data-Driven and Knowledge-Based Modeling Erich Peter Klement, Edwin Lughofer, Johannes Himmelbauer, Bernhard Moser 1 Introduction Fuzzy Logics and Fuzzy Systems Data-Driven Fuzzy Systems Evolving Fuzzy Systems and On-line Modeling Creating Comprehensible Fuzzy Regression Models Support Vector Machines and Kernel-Based Design Applications VI Information and Semantics in Databases and on the Web 281 Roland Wagner, Josef Küng, Birgit Pröll, Christina Buttinger, Christina Feilmayr, Bernhard Freudenthaler, Michael Guttenbrunner, Christian Hawel, Melanie Himsl, Daniel Jabornig, Werner Leithner, Stefan Parzer, Reinhard Stumptner, Stefan Wagner, Wolfram Wöß 1 Introduction Ontologies Semantic Networks Adaptive Modeling Web Information Extraction Similarity Queries and Case Based Reasoning Data Warehouses VII Parallel, Distributed, and Grid Computing Wolfgang Schreiner, Károly Bósa, Andreas Langegger, Thomas Leitner, Bernhard Moser, Szilárd Páll, Volkmar Wieser, Wolfram Wöß 1 Introduction Parallel Symbolic Computation
6 3 Grid Computing GPU Computing for Computational Intelligence VIII Pervasive Computing Alois Ferscha 1 What is Pervasive Computing? Ensembles of Digital Artifacts Quantitative Space: Zones-of-Influence Qualitative Space: Spatiotemporal Relations Middleware for Space Awareness Embodied Interaction Outlook IX Interactive Displays and Next-Generation Interfaces Michael Haller, Peter Brandl, Christoph Richter, Jakob Leitner, Thomas Seifried, Adam Gokcezade, Daniel Leithinger 1 Interactive Surfaces Design Challenges Design and Implementation of a Multi-Display Environment for Collaboration Conclusions Index List of Editors and Authors vii
7 viii Acknowledgement This book was sponsored by Austrian Ministry of Science and Research (BMWF), Austrian Ministry for Transport, Innovation and Technology (BMVIT), Upper Austrian Government, Johannes Kepler University Linz (JKU), Community of Hagenberg, Raiffeisenbank Pregarten Hagenberg. In the preparation of this manuscript, the support in TEX-programming by Manuel Kauers was very much appreciated.
ISBN e-isbn DOI / Springer Dordrecht Heidelberg London New York
Hagenberg Research Bruno Buchberger Michael Affenzeller Alois Ferscha Michael Haller Tudor Jebelean Erich Peter Klement Peter Paule Gustav Pomberger Wolfgang Schreiner Robert Stubenrauch Roland Wagner
More informationExperimental Techniques in Nuclear and Particle Physics
Experimental Techniques in Nuclear and Particle Physics Stefaan Tavernier Experimental Techniques in Nuclear and Particle Physics 123 Prof. Stefaan Tavernier Vrije Universiteit Brussel Fak. Wetenschappen
More informationFundamentals of Mass Determination
Fundamentals of Mass Determination Michael Borys Roman Schwartz Arthur Reichmuth Roland Nater Fundamentals of Mass Determination 123 Michael Borys Fachlabor 1.41 Physikalisch-Technische Bundesanstalt Bundesallee
More informationNonlinear Dynamical Systems in Engineering
Nonlinear Dynamical Systems in Engineering . Vasile Marinca Nicolae Herisanu Nonlinear Dynamical Systems in Engineering Some Approximate Approaches Vasile Marinca Politehnica University of Timisoara Department
More informationLecture Notes in Mathematics Editors: J.-M. Morel, Cachan F. Takens, Groningen B. Teissier, Paris
Lecture Notes in Mathematics 1915 Editors: J.-M. Morel, Cachan F. Takens, Groningen B. Teissier, Paris Türker Bıyıkoğlu Josef Leydold Peter F. Stadler Laplacian Eigenvectors of Graphs Perron-Frobenius
More informationSpringerBriefs in Statistics
SpringerBriefs in Statistics For further volumes: http://www.springer.com/series/8921 Jeff Grover Strategic Economic Decision-Making Using Bayesian Belief Networks to Solve Complex Problems Jeff Grover
More informationBourbaki Elements of the History of Mathematics
Bourbaki Elements of the History of Mathematics Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Nicolas Bourbaki Elements of the History of Mathematics Translated
More informationKarl-Rudolf Koch Introduction to Bayesian Statistics Second Edition
Karl-Rudolf Koch Introduction to Bayesian Statistics Second Edition Karl-Rudolf Koch Introduction to Bayesian Statistics Second, updated and enlarged Edition With 17 Figures Professor Dr.-Ing., Dr.-Ing.
More informationLatif M. Jiji. Heat Convection. With 206 Figures and 16 Tables
Heat Convection Latif M. Jiji Heat Convection With 206 Figures and 16 Tables Prof. Latif M. Jiji City University of New York School of Engineering Dept. of Mechanical Engineering Convent Avenue at 138th
More informationTheory of Elasticity
Theory of Elasticity Aldo Maceri Theory of Elasticity 123 Prof. Dr.-Ing. Aldo Maceri Universitá Roma Tre Departimento di Ingegneria Meccanica e Industriale Via della Vasca Navale, 79 00146 Roma Italy
More informationData Analysis Using the Method of Least Squares
Data Analysis Using the Method of Least Squares J. Wolberg Data Analysis Using the Method of Least Squares Extracting the Most Information from Experiments With Figures and Tables 123 John Wolberg Technion-Israel
More informationThiS is a FM Blank Page
Acid-Base Diagrams ThiS is a FM Blank Page Heike Kahlert Fritz Scholz Acid-Base Diagrams Heike Kahlert Fritz Scholz Institute of Biochemistry University of Greifswald Greifswald Germany English edition
More informationGünter Zschornack Handbook of X-Ray Data
Günter Zschornack Handbook of X-Ray Data Günter Zschornack Handbook of X-Ray Data With 113 Figures and 161 Tables 123 Ass.-Prof. Dr. rer. nat. habil. Günter Zschornack Technische Universität Dresden Institut
More informationShijun Liao. Homotopy Analysis Method in Nonlinear Differential Equations
Shijun Liao Homotopy Analysis Method in Nonlinear Differential Equations Shijun Liao Homotopy Analysis Method in Nonlinear Differential Equations With 127 figures Author Shijun Liao Shanghai Jiao Tong
More information1000 Solved Problems in Classical Physics
1000 Solved Problems in Classical Physics Ahmad A. Kamal 1000 Solved Problems in Classical Physics An Exercise Book 123 Dr. Ahmad A. Kamal Silversprings Lane 425 75094 Murphy Texas USA anwarakamal@yahoo.com
More informationPeter Orlik Volkmar Welker. Algebraic Combinatorics. Lectures at a Summer School in Nordfjordeid, Norway, June 2003 ABC
Peter Orlik Volkmar Welker Algebraic Combinatorics Lectures at a Summer School in Nordfjordeid, Norway, June 2003 ABC Authors Peter Orlik Department of Mathematics University of Wisconsin-Madison 480 Lincoln
More informationStochastic Optimization Methods
Stochastic Optimization Methods Kurt Marti Stochastic Optimization Methods With 14 Figures 4y Springer Univ. Professor Dr. sc. math. Kurt Marti Federal Armed Forces University Munich Aero-Space Engineering
More informationLandolt-Börnstein / New Series
Landolt-Börnstein / New Series Landolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series Editor in Chief: W. Martienssen Units and Fundamental Constants in Physics
More informationNuclear Magnetic Resonance Data
Landolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series / Editor in Chief: W. Martienssen Group III: Condensed Matter Volume 35 Nuclear Magnetic Resonance Data
More informationClassics in Mathematics Andre Weil Elliptic Functions according to Eisenstein and Kronecker
Classics in Mathematics Andre Weil Elliptic Functions according to Eisenstein and Kronecker Andre Weil was horn on May 6, 1906 in Paris. After studying mathematics at the Ecole Normale Superieure and receiving
More informationPetroleum Geoscience: From Sedimentary Environments to Rock Physics
Petroleum Geoscience: From Sedimentary Environments to Rock Physics Petroleum Geoscience: From Sedimentary Environments to Rock Physics With contributions from Per Avseth, Jan Inge Faleide, Roy H. Gabrielsen,
More informationTopics in Algebra and Analysis
Radmila Bulajich Manfrino José Antonio Gómez Ortega Rogelio Valdez Delgado Topics in Algebra and Analysis Preparing for the Mathematical Olympiad Radmila Bulajich Manfrino Facultad de Ciencias Universidad
More informationSpringer Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Santa Clara Singapore Tokyo
Springer Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Santa Clara Singapore Tokyo J. M. RUeger Electronic Distance Measurement An Introduction Fourth Edition With 56 Figures
More informationSemantics of the Probabilistic Typed Lambda Calculus
Semantics of the Probabilistic Typed Lambda Calculus Dirk Draheim Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics Dirk Draheim
More informationLecture Notes in Economics and Mathematical Systems
Lecture Notes in Economics and Mathematical Systems 524 Founding Editors: M. Beckmann H. P. Ktinzi Managing Editors: Prof. Dr. G. Fandel Fachbereich Wirtschaftswissenschaften Femuniversitiit Hagen Feithstr.
More informationGerman Annual of Spatial Research and Policy
German Annual of Spatial Research and Policy Editors: ARL Academy of Regional Sciences and Regional Planning in Hanover BBR Federal Office for Building and Regional Planning in Bonn IfL Leibniz Institute
More informationNuclear Magnetic Resonance Data
Landolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series / Editor in Chief: W. Martienssen Group III: Condensed Matter Volume 35 Nuclear Magnetic Resonance Data
More informationTianyou Fan. Mathematical Theory of Elasticity of Quasicrystals and Its Applications
Tianyou Fan Mathematical Theory of Elasticity of Quasicrystals and Its Applications Tianyou Fan Mathematical Theory of Elasticity of Quasicrystals and Its Applications With 82 figures Author Tianyou Fan
More informationLandolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series / Editor in Chief: W.
Landolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series / Editor in Chief: W. Martienssen Group VIII: Advanced Materials and Technologies Volume 6 Polymers Subvolume
More informationMathematical Formulas for Economists
Mathematical Formulas for Economists Springer-Verlag Berlin Heidelberg GmbH Bernd Luderer. Volker Nollau Klaus Vetters Mathematical Formulas for Economists With 58 Figures and 6 Tables, Springer Professor
More informationPublication of the Museum of Nature South Tyrol Nr. 11
Publication of the Museum of Nature South Tyrol Nr. 11 ThiS is a FM Blank Page Erika Pignatti Sandro Pignatti Plant Life of the Dolomites Vegetation Tables Erika Pignatti Sandro Pignatti Rome Italy Publication
More informationDifferential-Algebraic Equations Forum
Differential-Algebraic Equations Forum Editors-in-Chief Achim Ilchmann (TU Ilmenau, Ilmenau, Germany) Timo Reis (Universität Hamburg, Hamburg, Germany) Editorial Board Larry Biegler (Carnegie Mellon University,
More informationStatistics and Measurement Concepts with OpenStat
Statistics and Measurement Concepts with OpenStat William Miller Statistics and Measurement Concepts with OpenStat William Miller Urbandale, Iowa USA ISBN 978-1-4614-5742-8 ISBN 978-1-4614-5743-5 (ebook)
More informationSpringer Proceedings in Mathematics & Statistics. Volume 226
Springer Proceedings in Mathematics & Statistics Volume 226 Springer Proceedings in Mathematics & Statistics This book series features volumes composed of selected contributions from workshops and conferences
More informationTowards Practical Reflection for Formal Mathematics
Towards Practical Reflection for Formal Mathematics extended abstract Martin Giese and Bruno Buchberger RISC, Johannes Kepler University, A-4232 Schloß Hagenberg, Austria {bruno.buchberger martin.giese}@risc.uni-linz.ac.at
More informationLauge Fuglsang Nielsen. Composite Materials. Properties as Influenced by Phase Geometry. With 241 Figures ABC
Composite Materials Lauge Fuglsang Nielsen Composite Materials Properties as Influenced by Phase Geometry With 241 Figures ABC Lauge Fuglsang Nielsen Technical University of Denmark Dept. Civil Engineering,
More informationStatics and Mechanics of Structures
Statics and Mechanics of Structures Steen Krenk Jan Høgsberg Statics and Mechanics of Structures Prof. Steen Krenk Department of Mechanical Engineering Technical University of Denmark Kongens Lyngby,
More informationLecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science Edited by J.G. Carbonell and J. Siekmann 1047 Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and
More informationMetalliferous Sediments of the World Ocean. Metalliferous Sediments of the World Ocean
Gurvich Evgeny Gurvich evgeny gurvich was born in 1947 in Moscow. He received his Ph.D. and D.Sc. degrees from the P. P. Shirshov Institute of Oceanology in Moscow where he remained for more than 25 years.
More informationAmbrosio Dancer Calculus of Variations and Partial Differential Equations
Ambrosio Dancer Calculus of Variations and Partial Differential Equations Springer-Verlag Berlin Heidelberg GmbH L. Ambrosio N. Dancer Calculus of Variations and Partial Differential Equations Topics on
More informationReactivity and Structure Concepts in Organic Chemistry
Reactivity and Structure Concepts in Organic Chemistry Volume T1 Editors: Klaus Hafner Charles W Rees Barry M. Trost Jean-Marie Lehn P. von Rague Schleyer Rudolf Zahradnik Steven V. Ley Caroline M. R.
More informationDoubt-Free Uncertainty In Measurement
Doubt-Free Uncertainty In Measurement Colin Ratcliffe Bridget Ratcliffe Doubt-Free Uncertainty In Measurement An Introduction for Engineers and Students Colin Ratcliffe United States Naval Academy Annapolis
More informationspringer proceedings in physics 134
springer proceedings in physics 134 springer proceedings in physics Please view available titles in Springer Proceedings in Physics on series homepage http://www.springer.com/series/361/ Stefano Bellucci
More informationSpringerBriefs in Mathematics
SpringerBriefs in Mathematics Series Editors Nicola Bellomo Michele Benzi Palle E.T. Jorgensen Tatsien Li Roderick Melnik Otmar Scherzer Benjamin Steinberg Lothar Reichel Yuri Tschinkel G. George Yin Ping
More informationAhsan Habib Khandoker Chandan Karmakar Michael Brennan Andreas Voss Marimuthu Palaniswami. Poincaré Plot Methods for Heart Rate Variability Analysis
Ahsan Habib Khandoker Chandan Karmakar Michael Brennan Andreas Voss Marimuthu Palaniswami Poincaré Plot Methods for Heart Rate Variability Analysis Poincaré Plot Methods for Heart Rate Variability Analysis
More informationAdvanced Calculus of a Single Variable
Advanced Calculus of a Single Variable Tunc Geveci Advanced Calculus of a Single Variable 123 Tunc Geveci Department of Mathematics and Statistics San Diego State University San Diego, CA, USA ISBN 978-3-319-27806-3
More informationTopics in Boundary Element
Topics in Boundary Element Research Edited by C. A. Brebbia Volume 7 Electrical Engineering Applications With 186 Figures and 11 Tables Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong
More informationLinear Programming and its Applications
Linear Programming and its Applications H. A. Eiselt C.-L. Sandblom Linear Programming and its Applications With 71 Figures and 36 Tables 123 Prof. Dr. H. A. Eiselt University of New Brunswick Faculty
More informationUV-VIS Spectroscopy and Its Applications
SPRINGER LABORATORY Heinz-Helmut Perkampus UV-VIS Spectroscopy and Its Applications Translated by H. Charlotte Grinter and Dr. T. L. Threlfall With 78 Figures and 21 Tables Springer -Ver lag Berlin Heidelberg
More informationParameter Estimation and Hypothesis Testing in Linear Models
Parameter Estimation and Hypothesis Testing in Linear Models Springer-Verlag Berlin Heidelberg GmbH Karl-Rudolf Koch Parameter Estimation and Hypothesis Testing in Linear Models Second, updated and enlarged
More informationWalter R. Johnson Atomic Structure Theory
Walter R. Johnson Atomic Structure Theory Walter R. Johnson Atomic Structure Theory Lectures on Atomic Physics With 21 Figures and 45 Tables 123 Professor Dr. Walter R. Johnson University of Notre Dame
More informationUNITEXT La Matematica per il 3+2. Volume 87
UNITEXT La Matematica per il 3+2 Volume 87 More information about this series at http://www.springer.com/series/5418 Sandro Salsa Gianmaria Verzini Partial Differential Equations in Action Complements
More informationDifferential Scanning Calorimetry
Differential Scanning Calorimetry Springer-Verlag Berlin Heidelberg GmbH G. W. H. H6hne. W. F. Hemminger H.-J. Flammersheim Differential Scanning Ca lori metry 2nd revised and enlarged edition With 130
More informationQing-Hua Qin. Advanced Mechanics of Piezoelectricity
Qing-Hua Qin Advanced Mechanics of Piezoelectricity Qing-Hua Qin Advanced Mechanics of Piezoelectricity With 77 figures Author Prof. Qing-Hua Qin Research School of Engineering Australian National University
More informationEgon Krause. Fluid Mechanics
Egon Krause Fluid Mechanics Egon Krause Fluid Mechanics With Problems and Solutions, and an Aerodynamic Laboratory With 607 Figures Prof. Dr. Egon Krause RWTH Aachen Aerodynamisches Institut Wüllnerstr.5-7
More informationLecture Notes in Earth Sciences
Lecture Notes in Earth Sciences Editors: S. Bhattacharji, Brooklyn G. M. Friedman, Brooklyn and Troy H. J. Neugebauer, Bonn A. Seilacher, Tuebingen and Yale Springer Berlin Heidelberg New York Barcelona
More informationLecture Notes in Mathematics 2138
Lecture Notes in Mathematics 2138 Editors-in-Chief: J.-M. Morel, Cachan B. Teissier, Paris Advisory Board: Camillo De Lellis, Zurich Mario di Bernardo, Bristol Alessio Figalli, Austin Davar Khoshnevisan,
More informationMagnetic Properties of Non-Metallic Inorganic Compounds Based on Transition Elements
Landolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series / Editor in Chief: W. Martienssen Group III: Condensed Matter Volume 27 Magnetic Properties of Non-Metallic
More informationFeynman Integral Calculus
Feynman Integral Calculus Vladimir A. Smirnov Feynman Integral Calculus ABC Vladimir A. Smirnov Lomonosov Moscow State University Skobeltsyn Institute of Nuclear Physics Moscow 119992, Russia E-mail: smirnov@theory.sinp.msu.ru
More informationStatistics of Random Processes
Robert S. Liptser Albert N. Shiryaev Statistics of Random Processes II. Applications Translated by A. B. Aries Translation Editor: Stephen S. Wilson Second, Revised and Expanded Edition Springer Authors
More informationDynamics Formulas and Problems
Dynamics Formulas and Problems Dietmar Gross Wolfgang Ehlers Peter Wriggers Jörg Schröder Ralf Müller Dynamics Formulas and Problems Engineering Mechanics 3 123 Dietmar Gross Division of Solid Mechanics
More informationEditors,: P. Diehl E. Fluck H. Gunther R. Kosfeld J. Seelig
NMR Basic Principles and Progress 34 Editors,: P. Diehl E. Fluck H. Gunther R. Kosfeld J. Seelig Guest-Editors: E. Fluck, H. Gunther Advisory Board: G. Bodenhausen S. Forsen R. K. Harris C. L. Khetrapal
More informationDynamics and Control of Lorentz-Augmented Spacecraft Relative Motion
Dynamics and Control of Lorentz-Augmented Spacecraft Relative Motion Ye Yan Xu Huang Yueneng Yang Dynamics and Control of Lorentz-Augmented Spacecraft Relative Motion 123 Ye Yan College of Aerospace Science
More informationQuantum Biological Information Theory
Quantum Biological Information Theory Ivan B. Djordjevic Quantum Biological Information Theory Ivan B. Djordjevic Department of Electrical and Computer Engineering University of Arizona Tucson, AZ, USA
More informationA. Kovacevic N. Stosic I. Smith. Screw Compressors. Three Dimensional Computational Fluid Dynamics and Solid Fluid Interaction.
Screw Compressors A. Kovacevic N. Stosic I. Smith Screw Compressors Three Dimensional Computational Fluid Dynamics and Solid Fluid Interaction With 83 Figures Ahmed Kovacevic Nikola Stosic Ian Smith School
More informationLecture Notes of 12 the Unione Matematica Italiana
Lecture Notes of 12 the Unione Matematica Italiana For further volumes: http://www.springer.com/series/7172 Editorial Board Franco Brezzi (Editor in Chief) IMATI-CNR Via Ferrata 5a 27100 Pavia, Italy e-mail:
More informationJack Steinberger Learning About Particles 50 Privileged Years
Jack Steinberger Learning About Particles 50 Privileged Years Jack Steinberger LearningAboutParticles 50 Privileged Years With 117 Figures 123 Dr. Jack Steinberger CERN LEP 1211 Geneve Switzerland Library
More informationLandolt-Börnstein / New Series
Landolt-Börnstein / New Series Landolt-Börnstein Numerical Data and Functional Relationships in Science and Technology New Series Editor in Chief: W. Martienssen Units and Fundamental Constants in Physics
More informationComplexity Analysis of the Bivariate Buchberger Algorithm in Theorema
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema Alexander Maletzky 1 and Bruno Buchberger 2 1 Doctoral College Computational Mathematics and RISC, Johannes Kepler University, Linz,
More informationPeter E. Kloeden Eckhard Platen. Numerical Solution of Stochastic Differential Equations
Peter E. Kloeden Eckhard Platen Numerical Solution of Stochastic Differential Equations Peter E. Kloeden School of Computing and Mathematics, Deakin Universit y Geelong 3217, Victoria, Australia Eckhard
More informationVerification of Functional Programs Containing Nested Recursion
Verification of Functional Programs Containing Nested Recursion Nikolaj Popov, Tudor Jebelean Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria {popov,jebelean}@risc.uni-linz.ac.at
More informationErgebnisse der Mathematik und ihrer Grenzgebiete
Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Foige. Band 16 A Series of Modern Surveys in Mathematics Editorial Board E. Bombieri, Princeton S. Feferman, Stanford N. H. Kuiper, Bures-sur-Yvette
More informationAdvanced Courses in Mathematics CRM Barcelona
Advanced Courses in Mathematics CRM Barcelona Centre de Recerca Matemàtica Managing Editor: Carles Casacuberta More information about this series at http://www.springer.com/series/5038 Giovanna Citti Loukas
More informationFrank Bothmann Rudolf Kerndlmaier Albert Koffeman Klaus Mandel Sarah Wallbank A Guidebook for Riverside Regeneration Artery - Transforming Riversides
Frank Bothmann Rudolf Kerndlmaier Albert Koffeman Klaus Mandel Sarah Wallbank A Guidebook for Riverside Regeneration Artery - Transforming Riversides for the Future This publication has received European
More informationIgor Emri Arkady Voloshin. Statics. Learning from Engineering Examples
Statics Igor Emri Arkady Voloshin Statics Learning from Engineering Examples Igor Emri University of Ljubljana Ljubljana, Slovenia Arkady Voloshin Lehigh University Bethlehem, PA, USA ISBN 978-1-4939-2100-3
More informationStudies in Systems, Decision and Control. Series editor Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland
Studies in Systems, Decision and Control Volume 13 Series editor Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland e-mail: kacprzyk@ibspan.waw.pl About this Series The series "Studies in Systems,
More informationClassics in Mathematics Lars Hormander. The Analysis of Linear Partial Differential Operators I
Classics in Mathematics Lars Hormander The Analysis of Linear Partial Differential Operators I Born on January 24,1931, on the southern coast of Sweden, Lars Hormander did his secondary schooling as well..
More informationLecture Notes in Chemistry
Lecture Notes in Chemistry 59 Edited by: Prof. Dr. Gaston Berthier Universite de Paris Prof. Dr. Michael J. S. Dewar The University of Texas Prof. Dr. Hanns Fischer Universitat Ziirich Prof. Dr. Kenichi
More informationLecture Notes in Physics
Lecture Notes in Physics Edited by H. Araki, Kyoto, J. Ehlers, MLinchen, K. Hepp, ZSrich R. Kippenhahn, MLinchen, D. Ruelle, Bures-sur-Yvette H.A. WeidenmSIler, Heidelberg, J. Wess, Karlsruhe and J. Zittartz,
More information332 Topics in Current Chemistry
332 Topics in Current Chemistry Editorial Board: K.N. Houk, Los Angeles, CA, USA C.A. Hunter, Sheffield, UK M.J. Krische, Austin, TX, USA J.-M. Lehn, Strasbourg, France S.V. Ley, Cambridge, UK M. Olivucci,
More informationNuclear Fission and Cluster Radioactivity
Nuclear Fission and Cluster Radioactivity M. A. Hooshyar I. Reichstein F. B. Malik Nuclear Fission and Cluster Radioactivity An Energy-Density Functional Approach With 82 Figures ABC Authors Professor
More informationSpringer Series in 36 Computational Mathematics
Springer Series in 36 Computational Mathematics Editorial Board R. Bank, La Jolla, CA R.L. Graham, La Jolla, CA J. Stoer, Würzburg R. Varga, Kent, Ohio H. Yserentant, Berlin Richard S. Varga Geršgorin
More information40 Topics in Heterocyclic Chemistry
40 Topics in Heterocyclic Chemistry Series Editors: B.U.W. Maes, Antwerpen, Belgium Janine Cossy, Paris, France Slovenko Polanc, Ljubljana, Slovenia Editorial Board: D. Enders, Aachen, Germany S.V. Ley,
More informationMechanics of Materials
Mechanics of Materials Parviz Ghavami Mechanics of Materials An Introduction to Engineering Technology Parviz Ghavami Harlingen, TX, USA ISBN 978-3-319-07571-6 ISBN 978-3-319-07572-3 (ebook) DOI 10.1007/978-3-319-07572-3
More informationNatural History Dioramas
Natural History Dioramas Sue Dale Tunnicliffe Annette Scheersoi Editors Natural History Dioramas History, Construction and Educational Role 1 3 Editors Sue Dale Tunnicliffe University of London London
More informationSpringerBriefs in Mathematics
SpringerBriefs in Mathematics For further volumes: http://www.springer.com/series/10030 George A. Anastassiou Advances on Fractional Inequalities 123 George A. Anastassiou Department of Mathematical Sciences
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 413 Reiner Lenz Group Theoretical Methods in Image Processing II III II II II Springer-Verlag Berlin Heidelberg NewYork London Paris
More informationRade Westergren Mathematics Handbook
Rade Westergren Mathematics Handbook Springer-Verlag Berlin Heidelberg GmbH Lennart Rade Bertil Westergren Mathematics Handbook for Science and Engineering Fourth Edition Springer ~ Studentlitteratur Lennart
More informationClassics in Mathematics
Classics in Mathematics Friedrich Hirzebruch Topological Methods in Algebraic Geometry Friedrich Hirzebruch Topological Methods in Algebraic Geometry Reprint of the 1978 Edition Springer Friedrich Hirzebruch
More informationSpringer Atmospheric Sciences
Springer Atmospheric Sciences More information about this series at http://www.springer.com/series/10176 Ewa Łupikasza The Climatology of Air- Mass and Frontal Extreme Precipitation Study of meteorological
More informationStudies in Empirical Economics
Studies in Empirical Economics Studies in Empirical Economics Aman Ullah (Ed.) Semiparametric and Nonparametric Econometrics 1989. ISBN 978-3-7908-0418-8 Walter Krämer (Ed.) Econometrics of Structural
More informationCISM Courses and Lectures
CISM Courses and Lectures Series Editors: The Rectors Friedrich Pfeiffer - Munich Franz G. Rammerstorfer - Wien Elisabeth Guazzelli - Marseille The Secretary General Bernhard Schrefler - Padua Executive
More informationSpringer Series in Solid-State Sciences. Edited by Peter Fulde
7 Springer Series in Solid-State Sciences Edited by Peter Fulde Springer Series in Solid-State Sciences Editors: M. Cardona P. Fulde H.-J. Queisser Volume 1 Principles of Magnetic Resonance By C. P. Slichter
More informationLecture Notes in Mathematics 2156
Lecture Notes in Mathematics 2156 Editors-in-Chief: J.-M. Morel, Cachan B. Teissier, Paris Advisory Board: Camillo De Lellis, Zurich Mario di Bernardo, Bristol Alessio Figalli, Austin Davar Khoshnevisan,
More informationProgress in Advanced Structural and Functional Materials Design
Progress in Advanced Structural and Functional Materials Design Tomoyuki Kakeshita Editor Progress in Advanced Structural and Functional Materials Design Editor Tomoyuki Kakeshita Division of Materials
More informationRegional Economic Development
Regional Economic Development Robert J. Stimson Roger R. Stough Brian H. Roberts Regional Economic Development Analysis and Planning Strategy Second Edition 123 Robert J. Stimson Professor of Geographical
More informationWei Gao. Editor. Graphene Oxide. Reduction Recipes, Spectroscopy, and Applications
Graphene Oxide Wei Gao Editor Graphene Oxide Reduction Recipes, Spectroscopy, and Applications Editor Wei Gao The Department of Textile Engineering Chemistry & Science, College of Textiles North Carolina
More informationTwo -Dimensional Digital Signal Processing II
Two -Dimensional Digital Signal Processing II Transforms and Median Filters Edited by T. S. Huang With Contributions by J.-O. Eklundh T.S. Huang B.I. Justusson H. J. Nussbaumer S.G. Tyan S. Zohar With
More informationSpringer Series in Statistics
Springer Series in Statistics Series editors Peter Bickel, CA, USA Peter Diggle, Lancaster, UK Stephen E. Fienberg, Pittsburgh, PA, USA Ursula Gather, Dortmund, Germany Ingram Olkin, Stanford, CA, USA
More informationNon-Western Theories of International Relations
Non-Western Theories of International Relations Alexei D. Voskressenski Non-Western Theories of International Relations Conceptualizing World Regional Studies Alexei D. Voskressenski MGIMO University Moscow,
More information