Monographs in Theoretical Computer Science An EATCS Series
|
|
- Sheryl Adams
- 6 years ago
- Views:
Transcription
1 Monographs in Theoretical Computer Science An EATCS Series Editors: W. Brauer J. Hromkovič G. Rozenberg A. Salomaa On behalf of the European Association for Theoretical Computer Science (EATCS) Advisory Board: G. Ausiello M. Broy C.S. Calude A. Condon D. Harel J. Hartmanis T. Henzinger T. Leighton M. Nivat C. Papadimitriou D. Scott
2 Manfred Droste Werner Kuich Heiko Vogler Editors Handbook of Weighted Automata
3 Editors Prof. Dr. Manfred Droste Universität Leipzig Institut für Informatik Leipzig, Germany Prof. Dr. Werner Kuich Technische Universität Wien Institut für Diskrete Mathematik und Geometrie 1040 Wien, Austria Prof. Dr.-Ing. Heiko Vogler Technische Universität Dresden Institut für Theoretische Informatik Dresden, Germany Series Editors Prof. Dr. Wilfried Brauer Institut für Informatik der TUM Boltzmannstr Garching, Germany brauer@informatik.tu-muenchen.de Prof. Dr. Grzegorz Rozenberg Leiden Institute of Advanced Computer Science University of Leiden Niels Bohrweg CA Leiden, The Netherlands rozenber@liacs.nl Prof. Dr. Juraj Hromkovič ETH Zentrum Department of Computer Science Swiss Federal Institute of Technology 8092 Zürich, Switzerland juraj.hromkovic@inf.ethz.ch Prof. Dr. Arto Salomaa Turku Centre of Computer Science Lemminkäisenkatu 14 A Turku, Finland asalomaa@utu.fi ISBN e-isbn Monographs in Theoretical Computer Science. An EATCS Series. ISSN Library of Congress Control Number: ACM Computing Classification (1998): F4.3, F1.1, F1.2 Mathematics Subjects Classification (2000): 68Q45, 68Q70, 03B50, 03B70, 03D05, 68R99, 68Q85 c 2009 Springer-Verlag Berlin Heidelberg This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, 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 GmbH Printed on acid-free paper springer.com
4 Preface The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e.g., the cost involved when executing a transition, the amount of resources or time needed for this, or the probability or reliability of its successful execution. The behavior of weighted finite automata can then be considered as the function (suitably defined) associating with each word the weight of its execution. Clearly, weights can also be added to classical automata with infinite state sets like pushdown automata; this extension constitutes the general concept of weighted automata. To illustrate the diversity of weighted automata, let us consider the following scenarios. Assume that a quantitative system is modeled by a classical automaton in which the transitions carry as weights the amount of resources needed for their execution. Then the amount of resources needed for a path in this weighted automaton is obtained simply as the sum of the weights of its transitions. Given a word, we might be interested in the minimal amount of resources needed for its execution, i.e., for the successful paths realizing the given word. In this example, we could also replace the resources by profit and then be interested in the maximal profit realized, correspondingly, by a given word. Furthermore, if the transitions carry probabilities as weights, the reliability of a path can be formalized as the product of the probabilities of its transitions, and the reliability of a word could be defined again as the maximum of the reliabilities of its successful paths. As another example, we may obtain the multiplicity of a word, defined as the number of paths realizing it, as follows: let each transition have weight 1; for paths take again the product of the weights of its transitions (which equals 1); then the multiplicity of a word equals the sum of the weights of its successful paths. Finally, if in the latter example we replace sum by maximum, weight 1 is associated to a word if and only if it is accepted by the given classical automaton. v
5 vi Preface In all of these examples, the algebraic structure underlying the computations with the weights is that of a semiring. Therefore, we obtain a uniform and powerful automaton model if the weights are taken from an abstract semiring. Here the multiplication of the semiring is used for determining the weight of a path, and the weight of a word is then obtained by the sum of the weights of its successful paths. In particular, classical automata are obtained as weighted automata over the Boolean semiring. Many constructions and algorithms known from classical automata theory can be performed very generally for such weighted automata over large classes of semirings. For particular properties, sometimes additional assumptions on the underlying semiring are needed. Another dimension of diversity evolves by considering weighted automata over discrete structures other than finite words, e.g., infinite words, trees, traces, series-parallel posets, or pictures. Alternatively, in a weighted automaton, the state set needs not to be finite, so we can consider, e.g., weighted pushdown automata with states being pairs of states (in the usual meaning) and the contents of the pushdown tape. Moreover, weighted context-free grammars and algebraic systems arise from weighted automata over trees by using the well-known equivalence between frontier sets of recognizable tree languages and context-free languages. For the definition of weighted automata and their behaviors, matrices and formal power series are used. This makes it possible to use methods of linear algebra over semirings for more succinct, elegant, and convincing proofs. Weighted finite automata and weighted context-free grammars were first introduced in the seminal papers of Marcel-Paul Schützenberger (1961) and Noam Chomsky and Marcel-Paul Schützenberger (1963), respectively. These general models have found much interest in Computer Science due to their importance both in theory as well as in current practical applications. For instance, the theory of weighted finite automata and weighted context-free grammars was essential for the solution of classical automata theoretic problems like the decidability of the equivalence: of unambiguous context-free languages and regular languages; of deterministic finite multitape automata; and of deterministic pushdown automata. For the variety of theoretical results discovered, we refer the reader to the indispensable monographs by Samuel Eilenberg (1974), Arto Salomaa and Matti Soittola (1978), Wolfgang Wechler (1978), Jean Berstel and Christophe Reutenauer (1984), Werner Kuich and Arto Salomaa (1986), and Jacques Sakarovitch (2003). (See Chap. 1 for precise references.) On the other hand, weighted automata and weighted context-free grammars have been used as basic concepts in natural language processing and speech recognition, and recently, weighted automata have been used in algorithms for digital image compression.
6 Preface vii Since the publication of the mentioned monographs, the field of weighted automata has further developed both in depth and breadth. 1 The editors of this Handbook are very happy that international experts of the different areas agreed to write survey articles on the present shape of their respective field. The chapters of this Handbook were written such that a basic knowledge of automata and formal language theory suffices for their understanding. Next, we give a short overview of the contents of this Handbook. Part I provides foundations. More specifically, in Chap. 1, Manfred Droste and Werner Kuich present basic foundations for the theory of weighted automata, in particular, semirings, formal power series, and matrices. As is well known, regular and context-free languages can be obtained as least solutions of suitable fixed point equations. In Chap. 2, Zoltán Ésik provides an introduction to that part of the theory of fixed points that has applications to weighted automata and their behaviors, and to weighted context-free grammars in the shape of algebraic systems. Part II of this Handbook investigates different concepts of weighted recognizability. In Chap. 3, Zoltán Ésik and Werner Kuich develop the theory of finite automata starting from ideas based on linear algebra over semirings. In particular, they derive the fundamental Kleene Schützenberger characterization of the behaviors of weighted automata over Conway semirings. In Chap. 4, Jacques Sakarovitch presents the theory of rational and recognizable formal power series over arbitrary semirings and graded monoids. As a consequence, he derives that the equivalence of deterministic multitape transducers is decidable. A seminal theorem of J. Richard Büchi (1960) and Calvin C. Elgot (1961) shows the equivalence in expressive power between classical finite automata (over finite and infinite words) and monadic second-order logic. In Chap. 5, Manfred Droste and Paul Gastin present a weighted version of monadic second-order logic and derive corresponding equivalence results for weighted automata. In Chap. 6, Mehryar Mohri presents several fundamental algorithms for weighted graphs, weighted automata, and regulated transducers as, e.g., algorithms for shortest-distance computation, ε-removal, determinization, minimization, and composition. In Part III of this Handbook, alternative types of weighted automata and various discrete structures other than words are considered. In Chap. 7, Ion Petre and Arto Salomaa present the core aspects of the theory of algebraic power series in noncommuting variables, weighted pushdown automata, and their relationship to formal languages. In Chap. 8, Juha Honkala extends the theory of algebraic power series by considering Lindenmayerian algebraic systems and several restricted such systems. The following two chapters consider weighted automata acting on extensions of finite words. In Chap. 9, Zoltán Fülöp and Heiko Vogler survey the theory of weighted tree automata and weighted tree transducers. This combines classical results of weighted au- 1 For instance, see the biennial workshops on Weighted Automata: Theory and Applications (WATA) since 2002.
7 viii Preface tomata and transducers on words and of unweighted tree automata and tree transducers. In Chap. 10, Ina Fichtner, Dietrich Kuske, and Ingmar Meinecke present different weighted automata models for concurrent processes, formalized by traces and series-parallel posets, and analyze their relationships. They also consider two-dimensional extensions of words, namely pictures. Part IV deals with applications of weighted automata. In Chap. 11, Jürgen Albert and Jarkko Kari present the use of weighted automata and transducers for digital image compression and give comparisons with the image compression standard JPEG. In Chap. 12, George Rahonis describes the theory of fuzzy recognizable languages. This theory arises by considering weighted automata over particular semirings, namely bounded distributive lattices. In Chap. 13, Christel Baier, Marcus Größer, and Frank Ciesinski present the main concepts of Markov decision processes as an operational model for probabilistic systems, and basic steps for the (qualitative and quantitative) analysis against linear-time properties. In Chap. 14, Kevin Knight and Jonathan May address the reawakened interest in string and tree automata among computational linguists. The chapter surveys tasks occurring in natural language processing and shows their solutions by using weighted automata. Some of the chapters contain open problems. We hope that this will stimulate further research. Finally, we would like to express our thanks to all authors of this Handbook and to the referees for their careful work. Moreover, warm thanks go to Carmen Heger for her support in the technical compilation of the chapters. Manfred Droste Werner Kuich Heiko Vogler Leipzig Wien Dresden May 13, 2009
8 List of Contributors Jürgen Albert Universität Würzburg Informatik II Würzburg, Germany uni-wuerzburg.de Christel Baier Technische Universität Dresden Faculty of Computer Science Dresden, Germany Frank Ciesinski Technische Universität Dresden Faculty of Computer Science Dresden, Germany tu-dresden.de Manfred Droste Universität Leipzig Institut für Informatik Leipzig, Germany uni-leipzig.de Zoltán Ésik University of Szeged, Szeged, Hungary, and Rovira i Virgili University Tarragona, Spain Ina Fichtner Universität Leipzig Institut für Informatik Leipzig, Germany fichtner@informatik. uni-leipzig.de Zoltán Fülöp University of Szeged Department of Computer Science 6720 Szeged, Hungary fulop@inf.u-szeged.hu Paul Gastin LSV, ENS Cachan, INRIA, CNRS Cachan, France Paul.Gastin@lsv.ens-cachan.fr Marcus Größer Technische Universität Dresden Faculty of Computer Science Dresden, Germany groesser@tcs.inf.tu-dresden.de Juha Honkala University of Turku Department of Mathematics Turku, Finland juha.honkala@utu.fi ix
9 x List of Contributors Jarkko Kari University of Turku Department of Mathematics Turku, Finland Kevin Knight USC Information Sciences Institute Marina del Rey, CA USA Werner Kuich Institut für Diskrete Mathematik und Geometrie Technische Universität Wien 1040 Wien, Austria Dietrich Kuske Universität Leipzig Institut für Informatik Leipzig, Germany uni-leipzig.de Jonathan May USC Information Sciences Institute Marina del Rey, CA USA Ingmar Meinecke Universität Leipzig Institut für Informatik Leipzig, Germany uni-leipzig.de Mehryar Mohri Courant Institute of Mathematical Sciences New York, NY Google Research New York, NY USA Ion Petre Academy of Finland and Åbo Akademi University Turku 20520, Finland George Rahonis Aristotle University of Thessaloniki Department of Mathematics Thessaloniki, Greece Jacques Sakarovitch CNRS and Ecole Nationale Supérieure des Télécommunications Paris Cedex 13, France Arto Salomaa Turku Centre for Computer Science Turku 20520, Finland Heiko Vogler Technische Universität Dresden Faculty of Computer Science Dresden, Germany
10 Contents Part I Foundations Chapter 1: Semirings and Formal Power Series Manfred Droste and Werner Kuich Introduction MonoidsandSemirings FormalPowerSeries Matrices Cycle-FreeLinearEquations References Chapter 2: Fixed Point Theory Zoltán Ésik Introduction LeastFixedPoints ConwayTheories IterationTheories UniqueFixedPoints FixedPointsofLinearFunctions Inductive -Semirings CompleteSemirings IterativeSemirings FixedPointsofAffineFunctions CompleteSemiring SemimodulePairs Bi-inductive Semiring Semimodule Pairs References xi
11 xii Contents Part II Concepts of Weighted Recognizability Chapter 3: Finite Automata Zoltán Ésik and Werner Kuich Introduction FiniteAutomataoverSemirings FiniteAutomataoverArbitraryPowerSeriesSemirings FiniteAutomataoverConwaySemirings FiniteLinearSystems FiniteAutomataoverQuemirings Semiring SemimodulePairsandQuemirings FiniteAutomataoverQuemiringsandaKleeneTheorem FiniteLinearSystemsoverQuemirings References Chapter 4: Rational and Recognisable Power Series Jacques Sakarovitch Introduction RationalSeriesandWeightedRationalExpressions SeriesoveraGradedMonoid RationalSeries WeightedAutomata TheBehaviourofaWeightedAutomaton The Fundamental Theorem of Automata ConjugacyandCoveringofAutomata RecognisableSeriesandRepresentations TheFamilyofRecognisableSeries OtherProductsonRecognisableSeries SeriesonaProductofMonoids SeriesoveraFreeMonoid The Representability Theorem ReducedRepresentations ApplicationsoftheReductionofRepresentations Support of Rational Series Notes GeneralSources Notes to Sect. 2:RationalSeries Notes to Sect. 3:WeightedAutomata Notes to Sect. 4:RecognisableSeries Notes to Sect. 5:SeriesoveraFreeMonoid Notes to Sect. 6: Support of Rational Series References...171
12 Contents xiii Chapter 5: Weighted Automata and Weighted Logics Manfred Droste and Paul Gastin Introduction MSO-Logic and Weighted Automata Weighted Logics UnambiguousFormulas Definability Equals Recognizability Locally Finite Semirings Weighted Automata on Infinite Words Weighted Logics on Infinite Words ConclusionsandOpenProblems References Chapter 6: Weighted Automata Algorithms Mehryar Mohri Introduction Preliminaries Semirings WeightedTransducersandAutomata Shortest-Distance Algorithms All-PairsShortest-DistanceProblems Single-SourceShortest-DistanceProblems RationalOperations ElementaryUnaryOperations Fundamental Binary Operations Composition Intersection Difference Optimization Algorithms Epsilon-Removal Determinization WeightPushing Minimization Synchronization Conclusion References Part III Weighted Discrete Structures Chapter 7: Algebraic Systems and Pushdown Automata Ion Petre and Arto Salomaa Introduction Auxiliary Notions and Results AlgebraicPowerSeries...261
13 xiv Contents 3.1 DefinitionandBasicReductions InterconnectionswithContext-FreeGrammars NormalForms Theorems of Shamir and Chomsky Schützenberger Transductions PushdownAutomata PushdownTransitionMatrices S Σ -PushdownAutomata EquivalencewithAlgebraicSystems OtherTopics References Chapter 8: Lindenmayer Systems Juha Honkala Introduction IteratedMorphismsandRationalSeries LindenmayerianAlgebraicSeries D0LPowerSeries Other Power Series Generalizations of L Systems References Chapter 9: Weighted Tree Automata and Tree Transducers Zoltán Fülöp and Heiko Vogler Introduction Preliminaries GeneralNotation Trees AlgebraicConcepts TreeSeries WeightedTreeAutomata Bottom-upTreeAutomata RecognizableTreeSeries Closure Properties Support of Recognizable Tree Series DeterminizationofWeightedTreeAutomata Pumping Lemmata and Decidability Finite Algebraic Characterizations of Recognizable Tree Series EquationalTreeSeries RationalTreeSeries MSO-Definable Tree Series Other Models Related to Recognizable Tree Series Further Results IO-Substitution and Tree Series Transformations WeightedTreeTransducers TreeTransducers...364
14 Contents xv 5.2 TheBasicModel RestrictedModels CompositionandDecomposition The Inclusion Diagram of Some Fundamental wtt Classes Hierarchies FurtherModelsofWeightedTreeTransducers FurtherResults References Chapter 10: Traces, Series-Parallel Posets, and Pictures: A Weighted Study Ina Fichtner, Dietrich Kuske, and Ingmar Meinecke Introduction Traces WeightedDistributedSystems Other Formalisms: Presentations, Expressions, and Logics Relating the Formalisms HistoryandOverview Series-Parallel Posets Series-Parallel Posets and Bisemirings WeightedBranchingAutomata Rationality TheHadamardProduct HistoryandOverview Pictures PicturesandWeightedPictureAutomata Other Formalisms: Expressions and Logics Relating the Formalisms Decidability Issues HistoryandOverview References Part IV Applications Chapter 11: Digital Image Compression Jürgen Albert and Jarkko Kari Introduction ImageTypes WeightedFiniteAutomataandMulti-resolutionImages DrawingWFAImages An Encoding Algorithm PracticalImageCompressionUsingWFA WeightedFiniteTransducers(WFT) ParametricWeightedFiniteAutomata(PWFA)...472
15 xvi Contents 9 ConclusionsandOpenProblems References Chapter 12: Fuzzy Languages George Rahonis Introduction LatticesandFuzzyLanguages Fuzzy Recognizability over Bounded Distributive Lattices Fuzzy Recognizability over Finite Words Fuzzy Recognizability over Infinite Words Multi-valued MSO Logic FuzzyLanguages:AnOverview Fuzzy Languages over l-monoids FuzzyLanguagesoverResiduatedLattices FuzzyAutomatawithOutputs Fuzzy Abstract Families of Languages FuzzyTreeLanguages Applications References Chapter 13: Model Checking Linear-Time Properties of Probabilistic Systems Christel Baier, Marcus Größer, and Frank Ciesinski Introduction MarkovDecisionProcesses Maximal Reachability Probabilities Model Checking ω-regular Properties PartialOrderReduction Partially Observable MDPs Conclusion Appendix References Chapter 14: Applications of Weighted Automata in Natural Language Processing Kevin Knight and Jonathan May Background WFSTTechniquesforNaturalLanguageProcessing Example1:Transliteration Example2:Translation LanguageModeling ApplicationsofWeightedStringAutomata LanguageTranslation SpeechRecognition LexicalProcessing Tagging
16 Contents xvii 3.5 Summarization OpticalCharacterRecognition ApplicationsofWeightedTreeAutomata OpenProblems Conclusion References Index...597
Monographs in Theoretical Computer Science
Monographs in Theoretical Computer Science An EATCS Series Editors: W. Brauer J. Hromkovič G. Rozenberg A. Salomaa On behalf of the European Association for Theoretical Computer Science (EATCS) Advisory
More informationMANFRED DROSTE AND WERNER KUICH
Logical Methods in Computer Science Vol. 14(1:21)2018, pp. 1 14 https://lmcs.episciences.org/ Submitted Jan. 31, 2017 Published Mar. 06, 2018 WEIGHTED ω-restricted ONE-COUNTER AUTOMATA Universität Leipzig,
More informationWeighted Finite-State Transducer Algorithms An Overview
Weighted Finite-State Transducer Algorithms An Overview Mehryar Mohri AT&T Labs Research Shannon Laboratory 80 Park Avenue, Florham Park, NJ 0793, USA mohri@research.att.com May 4, 004 Abstract Weighted
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 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 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 informationMinimization of Weighted Automata
Minimization of Weighted Automata Andreas Maletti Universitat Rovira i Virgili Tarragona, Spain Wrocław May 19, 2010 Minimization of Weighted Automata Andreas Maletti 1 In Collaboration with ZOLTÁN ÉSIK,
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationWatson-Crick ω-automata. Elena Petre. Turku Centre for Computer Science. TUCS Technical Reports
Watson-Crick ω-automata Elena Petre Turku Centre for Computer Science TUCS Technical Reports No 475, December 2002 Watson-Crick ω-automata Elena Petre Department of Mathematics, University of Turku and
More informationThe Power of Tree Series Transducers
The Power of Tree Series Transducers Andreas Maletti 1 Technische Universität Dresden Fakultät Informatik June 15, 2006 1 Research funded by German Research Foundation (DFG GK 334) Andreas Maletti (TU
More informationWeighted Automata and Logics on Infinite Graphs
Weighted Automata and Logics on Infinite Graphs Stefan Dück Institute of Computer Science, Leipzig University, D-04109 Leipzig, Germany dueck@informatik.uni-leipzig.de Abstract. We show a Büchi-like connection
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 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 informationRELATING TREE SERIES TRANSDUCERS AND WEIGHTED TREE AUTOMATA
International Journal of Foundations of Computer Science Vol. 16, No. 4 (2005) 723 741 c World Scientific Publishing Company RELATING TREE SERIES TRANSDUCERS AND WEIGHTED TREE AUTOMATA ANDREAS MALETTI
More informationN-Way Composition of Weighted Finite-State Transducers
International Journal of Foundations of Computer Science c World Scientific Publishing Company N-Way Composition of Weighted Finite-State Transducers CYRIL ALLAUZEN Google Research, 76 Ninth Avenue, New
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 informationWeighted Context-Free Grammars over Bimonoids
Weighted Context-Free Grammars over Bimonoids George Rahonis and Faidra Torpari Aristotle University of Thessaloniki, Greece WATA 2018 Leipzig, May 22, 2018 Faidra Torpari (Aristotle University of Thessaloniki)
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 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 informationDescriptional Complexity of Formal Systems (Draft) Deadline for submissions: April 20, 2009 Final versions: June 18, 2009
DCFS 2009 Descriptional Complexity of Formal Systems (Draft) Deadline for submissions: April 20, 2009 Final versions: June 18, 2009 On the Number of Membranes in Unary P Systems Rudolf Freund (A,B) Andreas
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 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 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 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 informationWeighted automata and weighted logics
Weighted automata and weighted logics Manfred Droste 1 and Paul Gastin 2 1 Institut für Informatik, Universität Leipzig Augustusplatz 10-11, D-04109 Leipzig, Germany, droste@informatik.uni-leipzig.de 2
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 informationDecision Problems for Additive Regular Functions
Decision Problems for Additive Regular Functions Rajeev Alur and Mukund Raghothaman University of Pennsylvania {alur, rmukund}@cis.upenn.edu Abstract. Additive Cost Register Automata (ACRA) map strings
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 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 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 informationA Kleene Theorem for Forest Languages
December 17, 2008 Final version for proceedings of LATA 09 A Kleene Theorem for Forest Languages Lutz Straßburger INRIA Saclay Île-de-France Équipe-projet Parsifal École Polytechnique LIX Rue de Saclay
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 informationBoundary Control and Boundary Variation
J.R Zol6sio (Ed.) Boundary Control and Boundary Variation Proceedings ofifip WG 7.2 Conference Sophia Antipolis, France, October 15-17, 1990 Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo
More informationAn algebraic characterization of unary two-way transducers
An algebraic characterization of unary two-way transducers (Extended Abstract) Christian Choffrut 1 and Bruno Guillon 1 LIAFA, CNRS and Université Paris 7 Denis Diderot, France. Abstract. Two-way transducers
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 informationCompositions of Tree Series Transformations
Compositions of Tree Series Transformations Andreas Maletti a Technische Universität Dresden Fakultät Informatik D 01062 Dresden, Germany maletti@tcs.inf.tu-dresden.de December 03, 2004 1. Motivation 2.
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 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 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 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 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 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 informationHierarchies of Tree Series TransducersRevisited 1
Hierarchies of Tree Series TransducersRevisited 1 Andreas Maletti 2 Technische Universität Dresden Fakultät Informatik June 27, 2006 1 Financially supported by the Friends and Benefactors of TU Dresden
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 informationCharacterizations of Recognizable Picture Series
Ina Fichtner Characterizations of Recognizable Picture Series q q s q a/1 q q b/7 p p b/2 q p s p p s p q a/3 p p b/2 q q a/4 q p p p Dissertation Leipzig 2006 Characterizations of Recognizable Picture
More informationLogical Characterization of Weighted Pebble Walking Automata
Logical Characterization of Weighted Pebble Walking Automata Benjamin Monmege Université libre de Bruxelles, Belgium Benedikt Bollig and Paul Gastin (LSV, ENS Cachan, France) Marc Zeitoun (LaBRI, Bordeaux
More informationEquational Theory of Kleene Algebra
Introduction to Kleene Algebra Lecture 7 CS786 Spring 2004 February 16, 2004 Equational Theory of Kleene Algebra We now turn to the equational theory of Kleene algebra. This and the next lecture will be
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 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 informationLecture Notes in Mathematics 2209
Lecture Notes in Mathematics 2209 Editors-in-Chief: Jean-Michel Morel, Cachan Bernard Teissier, Paris Advisory Board: Michel Brion, Grenoble Camillo De Lellis, Zurich Alessio Figalli, Zurich Davar Khoshnevisan,
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 informationTopics in Current Chemistry
193 Topics in Current Chemistry Editorial Board: A. de Meijere K.N. Houk J.-M. Lehn S.V. Ley J. Thiem B.M. Trost F. Vögtle H. Yamamoto Springer Berlin Heidelberg New York Barcelona Budapest Hong Kong London
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 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 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 informationEditors. Prof. Dr. Hans H. Jaffe. University of Cincinnati Cincinnati, Ohio 45221/USA
Editors Prof. Dr. Gaston Berthier Universite de Paris Institut de Biologie Physico-Chimique Fondation Edmond de Rothschild 13, rue Pierre et Marie Curie F-75005 Paris Prof. Dr. Michael J. S. Dewar Department
More informationOn the Simplification of HD0L Power Series
Journal of Universal Computer Science, vol. 8, no. 12 (2002), 1040-1046 submitted: 31/10/02, accepted: 26/12/02, appeared: 28/12/02 J.UCS On the Simplification of HD0L Power Series Juha Honkala Department
More informationOn the Regularity of Binoid Languages:
On the Regularity of Binoid Languages: A Comparative Approach Zoltán L. Németh University of Szeged, Inst. of Informatics P.O.B. 652, 6701 Szeged, Hungary zlnemeth@inf.u-szeged.hu Abstract. A binoid is
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 informationCISM International Centre for Mechanical Sciences
CISM International Centre for Mechanical Sciences Courses and Lectures Volume 580 Series editors The Rectors Elisabeth Guazzelli, Marseille, France Franz G. Rammerstorfer, Vienna, Austria Wolfgang A. Wall,
More informationIntroduction to Kleene Algebras
Introduction to Kleene Algebras Riccardo Pucella Basic Notions Seminar December 1, 2005 Introduction to Kleene Algebras p.1 Idempotent Semirings An idempotent semiring is a structure S = (S, +,, 1, 0)
More informationAcceptance of!-languages by Communicating Deterministic Turing Machines
Acceptance of!-languages by Communicating Deterministic Turing Machines Rudolf Freund Institut für Computersprachen, Technische Universität Wien, Karlsplatz 13 A-1040 Wien, Austria Ludwig Staiger y Institut
More informationarxiv: v1 [cs.fl] 23 Jun 2015
Weighted Automata and Logics for Infinite Nested Words Manfred Droste and Stefan Dück Institut für Informatik, University Leipzig, D-04109 Leipzig, Germany {droste,dueck}@informatik.uni-leipzig.de arxiv:1506.07031v1
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 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 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 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 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 informationBridges for concatenation hierarchies
Bridges for concatenation hierarchies Jean-Éric Pin LIAFA, CNRS and Université Paris VII 2 Place Jussieu 75251 Paris Cedex O5, FRANCE e-mail: Jean-Eric.Pin@liafa.jussieu.fr Abstract. In the seventies,
More informationProgress in Mathematics 313. Jaume Llibre Rafael Ramírez. Inverse Problems in Ordinary Differential Equations and Applications
Progress in Mathematics 313 Jaume Llibre Rafael Ramírez Inverse Problems in Ordinary Differential Equations and Applications Progress in Mathematics Volume 313 Series Editors Hyman Bass, University of
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 417 II I R Martin-L6f G. Mints (Eds.) COLOG-88 International Conference on Computer Logic Tatlinn, USSR, December 12-16, 1988 Proceedings
More informationSolving weakly linear inequalities for matrices over max-plus semiring and applications to automata theory
Solving weakly linear inequalities for matrices over max-plus semiring and applications to automata theory Nada Damljanović University of Kragujevac, Faculty of Technical Sciences in Čačak, Serbia nada.damljanovic@ftn.kg.ac.rs
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 informationNote Watson Crick D0L systems with regular triggers
Theoretical Computer Science 259 (2001) 689 698 www.elsevier.com/locate/tcs Note Watson Crick D0L systems with regular triggers Juha Honkala a; ;1, Arto Salomaa b a Department of Mathematics, University
More informationSome decision problems on integer matrices
Some decision problems on integer matrices Christian Choffrut L.I.A.F.A, Université Paris VII, Tour 55-56, 1 er étage, 2 pl. Jussieu 75 251 Paris Cedex France Christian.Choffrut@liafa.jussieu.fr Juhani
More informationGeneric ǫ-removal and Input ǫ-normalization Algorithms for Weighted Transducers
International Journal of Foundations of Computer Science c World Scientific Publishing Company Generic ǫ-removal and Input ǫ-normalization Algorithms for Weighted Transducers Mehryar Mohri mohri@research.att.com
More informationSpringerBriefs in Probability and Mathematical Statistics
SpringerBriefs in Probability and Mathematical Statistics Editor-in-chief Mark Podolskij, Aarhus C, Denmark Series editors Nina Gantert, Münster, Germany Richard Nickl, Cambridge, UK Sandrine Péché, Paris,
More informationFuzzy Randomness. Bernd Moller Michael Beer
Fuzzy Randomness Bernd Moller Michael Beer Springer-Verlag Berlin Heidelberg GmbH Engineering ONLINE LIBRARY springeronline.com Bernd Moller Michael Beer Fuzzy Randomne Uncertainty in Civil Engineering
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 informationWeighted Logics for Nested Words and Algebraic Formal Power Series
Weighted Logics for Nested Words and Algebraic Formal Power Series Christian Mathissen Institut für Informatik, Universität Leipzig D-04009 Leipzig, Germany mathissen@informatik.uni-leipzig.de Abstract.
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 informationinverse problems and theoretical imaging
inverse problems and theoretical imaging 1.M. Combes A. Grossmann Ph. Tchamitchian (Eds.) Wavelets Time-Frequency Methods and Phase Space Proceedings of the International Conference, Marseille, France,
More informationMusic as a Formal Language
Music as a Formal Language Finite-State Automata and Pd Bryan Jurish moocow@ling.uni-potsdam.de Universität Potsdam, Institut für Linguistik, Potsdam, Germany pd convention 2004 / Jurish / Music as a formal
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 information