Language and Automata Theory and Applications


Book Description

This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.




Introduction to Global Variational Geometry


Book Description

This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether's theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles- First book on the geometric foundations of Lagrange structures- New ideas on global variational functionals - Complete proofs of all theorems - Exact treatment of variational principles in field theory, inc. general relativity- Basic structures and tools: global analysis, smooth manifolds, fibred spaces




Multi-Valued Fields


Book Description

For more than 30 years, the author has studied the model-theoretic aspects of the theory of valued fields and multi-valued fields. Many of the key results included in this book were obtained by the author whilst preparing the manuscript. Thus the unique overview of the theory, as developed in the book, has been previously unavailable. The book deals with the theory of valued fields and mutli-valued fields. The theory of Prüfer rings is discussed from the `geometric' point of view. The author shows that by introducing the Zariski topology on families of valuation rings, it is possible to distinguish two important subfamilies of Prüfer rings that correspond to Boolean and near Boolean families of valuation rings. Also, algebraic and model-theoretic properties of multi-valued fields with near Boolean families of valuation rings satisfying the local-global principle are studied. It is important that this principle is elementary, i.e., it can be expressed in the language of predicate calculus. The most important results obtained in the book include a criterion for the elementarity of an embedding of a multi-valued field and a criterion for the elementary equivalence for multi-valued fields from the class defined by the additional natural elementary conditions (absolute unramification, maximality and almost continuity of local elementary properties). The book concludes with a brief chapter discussing the bibliographic references available on the material presented, and a short history of the major developments within the field.




Hodge Theory (MN-49)


Book Description

This book provides a comprehensive and up-to-date introduction to Hodge theory—one of the central and most vibrant areas of contemporary mathematics—from leading specialists on the subject. The topics range from the basic topology of algebraic varieties to the study of variations of mixed Hodge structure and the Hodge theory of maps. Of particular interest is the study of algebraic cycles, including the Hodge and Bloch-Beilinson Conjectures. Based on lectures delivered at the 2010 Summer School on Hodge Theory at the ICTP in Trieste, Italy, the book is intended for a broad group of students and researchers. The exposition is as accessible as possible and doesn't require a deep background. At the same time, the book presents some topics at the forefront of current research. The book is divided between introductory and advanced lectures. The introductory lectures address Kähler manifolds, variations of Hodge structure, mixed Hodge structures, the Hodge theory of maps, period domains and period mappings, algebraic cycles (up to and including the Bloch-Beilinson conjecture) and Chow groups, sheaf cohomology, and a new treatment of Grothendieck’s algebraic de Rham theorem. The advanced lectures address a Hodge-theoretic perspective on Shimura varieties, the spread philosophy in the study of algebraic cycles, absolute Hodge classes (including a new, self-contained proof of Deligne’s theorem on absolute Hodge cycles), and variation of mixed Hodge structures. The contributors include Patrick Brosnan, James Carlson, Eduardo Cattani, François Charles, Mark Andrea de Cataldo, Fouad El Zein, Mark L. Green, Phillip A. Griffiths, Matt Kerr, Lê Dũng Tráng, Luca Migliorini, Jacob P. Murre, Christian Schnell, and Loring W. Tu.




Calculus in Vector Spaces, Revised Expanded


Book Description

Calculus in Vector Spaces addresses linear algebra from the basics to the spectral theorem and examines a range of topics in multivariable calculus. This second edition introduces, among other topics, the derivative as a linear transformation, presents linear algebra in a concrete context based on complementary ideas in calculus, and explains differential forms on Euclidean space, allowing for Green's theorem, Gauss's theorem, and Stokes's theorem to be understood in a natural setting. Mathematical analysts, algebraists, engineers, physicists, and students taking advanced calculus and linear algebra courses should find this book useful.




Calculus in Vector Spaces, Second Edition, Revised Expanded


Book Description

Calculus in Vector Spaces addresses linear algebra from the basics to the spectral theorem and examines a range of topics in multivariable calculus. This second edition introduces, among other topics, the derivative as a linear transformation, presents linear algebra in a concrete context based on complementary ideas in calculus, and explains differential forms on Euclidean space, allowing for Green's theorem, Gauss's theorem, and Stokes's theorem to be understood in a natural setting. Mathematical analysts, algebraists, engineers, physicists, and students taking advanced calculus and linear algebra courses should find this book useful.




Rigidity in Dynamics and Geometry


Book Description

This volume of proceedings is an offspring of the special semester Ergodic Theory, Geometric Rigidity and Number Theory which was held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK, from Jan uary until July, 2000. Beside the activities during the semester, there were workshops held in January, March and July, the first being of introductory nature with five short courses delivered over a week. Although the quality of the workshops was excellent throughout the semester, the idea of these proceedings came about during the March workshop, which is hence more prominently represented, The format of the volume has undergone many changes, but what has remained untouched is the enthusiasm of the contributors since the onset of the project: suffice it to say that even though only two months elapsed between the time we contacted the potential authors and the deadline to submit the papers, the deadline was respected in the vast majority of the cases. The scope of the papers is not completely uniform throughout the volume, although there are some points in common. We asked the authors to write papers keeping in mind the idea that they should be accessible to students. At the same time, we wanted the papers not to be a summary of results that appeared somewhere else.




Schrödinger Equations in Nonlinear Systems


Book Description

This book explores the diverse types of Schrödinger equations that appear in nonlinear systems in general, with a specific focus on nonlinear transmission networks and Bose–Einstein Condensates. In the context of nonlinear transmission networks, it employs various methods to rigorously model the phenomena of modulated matter-wave propagation in the network, leading to nonlinear Schrödinger (NLS) equations. Modeling these phenomena is largely based on the reductive perturbation method, and the derived NLS equations are then used to methodically investigate the dynamics of matter-wave solitons in the network. In the context of Bose–Einstein condensates (BECs), the book analyzes the dynamical properties of NLS equations with the external potential of different types, which govern the dynamics of modulated matter-waves in BECs with either two-body interactions or both two- and three-body interatomic interactions. It also discusses the method of investigating both the well-posedness and the ill-posedness of the boundary problem for linear and nonlinear Schrödinger equations and presents new results. Using simple examples, it then illustrates the results on the boundary problems. For both nonlinear transmission networks and Bose–Einstein condensates, the results obtained are supplemented by numerical calculations and presented as figures.




Tutorials on Multiresolution in Geometric Modelling


Book Description

This is the only textbook available on multiresolution methods in geometric modeling, a central topic in visualization, which is of great importance for industrial applications. Written in tutorial form, the book is introductory in character, and includes supporting exercises. Other supplementary material and software can be downloaded from the website www.ma.tum.de/primus 2001/.




Algebraic and Logic Programming


Book Description

This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS. The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems". The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.