Angebote zu "Computation" (20 Treffer)

Kategorien

Shops

Integer Programming and Combinatorial Optimization
90,19 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 17th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2014, held in Bonn, Germany, in June 2014. The 34 full papers presented were carefully reviewed and selected from 143 submissions. The conference is a forum for researchers and practitioners working on various aspects of integer programming and combinatorial optimization. The aim is to present recent developments in theory, computation, and applications in these areas. The scope of IPCO is viewed in a broad sense, to include algorithmic and structural results in integer programming and combinatorial optimization as well as revealing computational studies and novel applications of discrete optimization to practical problems.

Anbieter: Dodax
Stand: 06.07.2020
Zum Angebot
Stable Mappings and Their Singularities
80,24 € *
ggf. zzgl. Versand

This book aims to present to first and second year graduate students a beautiful and relatively accessible field of mathematics-the theory of singu larities of stable differentiable mappings. The study of stable singularities is based on the now classical theories of Hassler Whitney, who determined the generic singularities (or lack of them) of Rn ~ Rm (m ~ 2n - 1) and R2 ~ R2, and Marston Morse, for mappings who studied these singularities for Rn ~ R. It was Rene Thorn who noticed (in the late '50's) that all of these results could be incorporated into one theory. The 1960 Bonn notes of Thom and Harold Levine (reprinted in [42]) gave the first general exposition of this theory. However, these notes preceded the work of Bernard Malgrange [23] on what is now known as the Malgrange Preparation Theorem-which allows the relatively easy computation of normal forms of stable singularities as well as the proof of the main theorem in the subject-and the definitive work of John Mather. More recently, two survey articles have appeared, by Arnold [4] and Wall [53], which have done much to codify the new material, still there is no totally accessible description of this subject for the beginning student. We hope that these notes will partially fill this gap. In writing this manuscript, we have repeatedly cribbed from the sources mentioned above-in particular, the Thom-Levine notes and the six basic papers by Mather.

Anbieter: Dodax
Stand: 06.07.2020
Zum Angebot
Fundamentals of Computation Theory
106,99 € *
ggf. zzgl. Versand

This volume is dedicated to the 15th Symposium on Fundamentals of Com- tation Theory FCT 2005, held in Lu beck, Germany, on August 17 20, 2005. The FCT symposium was established in 1977 as a biennial event for - searchers interested in all aspects of theoretical computer science, in particular in algorithms, complexity, and formal and logical methods. The previous FCT conferences were held in the following places: Poznan (Poland, 1977),Wendisch- Rietz (Germany, 1979), Szeged (Hungary, 1981), Borgholm (Sweden, 1983), Cottbus(Germany,1985),Kazan(Russia,1987),Szeged(Hungary,1989),Gosen- Berlin (Germany, 1991), Szeged (Hungary, 1993), Dresden (Germany, 1995), Krak ow (Poland, 1997), Iasi (Romania, 1999), Riga (Latvia, 2001) and Malmo (Sweden, 2003). The FCT conference seriesis coordinatedby a steering comm- tee. Its current members are B. Chlebus (Denver/Warsaw),Z. Esik (Szeged), M. Karpinski (Bonn), A. Lingas (Lund), M. Santha (Paris), E. Upfal (Providence) and I. Wegener (Dortmund). The call for papers for FCT 2005 sought contributions on original research in all aspects of theoretical computer science including design and analysis of algorithms, abstract data types, approximation algorithms, automata and formal languages, categorical and topological approaches, circuits, computational and structural complexity, circuit and proof theory, computational biology, com- tational geometry, computer systems theory, concurrency theory, cryptography, domain theory, distributed algorithms and computation, molecular computation, quantumcomputation and information, granular computation, probabilistic c- putation, learning theory, rewriting, semantics, logic in computer science, spe- ?cation, transformation and veri?cation, and algebraic aspects of computer s- ence.

Anbieter: Dodax
Stand: 06.07.2020
Zum Angebot
The embodied mind
17,90 CHF *
zzgl. 3,50 CHF Versand

Seminar paper from the year 2007 in the subject American Studies - Linguistics, grade: 1,3, University of Bonn (Institut für Anglistik, Amerikanistik und Keltologie), course: Cognitive Linguistics, 20 entries in the bibliography, language: English, abstract: The 2.000 year old dichotomies of mind versus body and inner self versus external world are still ubiquitous in Western spontaneous philosophy (in Gramsci's sense), science and education. However, they cannot be empirically testified. On the contrary, more than thirty years of rich evidence from interdisciplinary cognitive science leave no doubt that the human mind is embodied in our entire organism and embedded in the world. The nature of our everyday sensory (i.e. visual, auditory, haptic, olfactory, gustatory, vestibular) and motoric experience, which is interactive and could be described as 'organism-environment co-ordination' (Johnson & Rohrer 10), constitutes our 'species-specific view of the world' (Evans & Green 45). Moreover it serves as information on the 'opportunities and costs of acting in the environment' (Proffitt 110) and thereby at least indirectly (i.e. via our individual conceptual structures derived from embodied experience of our natural and socio-cultural environment) guides our (linguistic) behaviour. Perception (i.e. processing of information obtained by our sensory system), cognition (i.e. conceptual representation of perceptual input and off-line employment of the concepts), consciousness (i.e. confluence of distinct phenom-ena such as first-person-perspective and volition) and action do not form clearly divided sys-tems of brain activity but function as continuum of ongoing interaction between our body, mind and ambiance. They are 'not merely contingently in individuals; they have also evolved together.' (Rosch & Thompson etc. 173)This paper will sum up the most fundamental findings from the branches of cognitive linguistics, psychology and neuroscience, giving account of the neural and mental structures and processes that link all (in equal measure physical) aspects of our existence. More precisely we are going to see how mechanisms of thought such as image schemas, conceptual domains and even metaphors are derived from bodily experience and how they are embodied themselves in the brain structure. Metaphor in particular will be looked at as a conceptual rather than purely linguistic device that structures our world view (including our political and scientific stance, cf. Lakoff Why the embodied... 33), language and social action in place of some universal, disem-bodied reason (which is a Rationalist illusion). Further we will be concerned with embodied language understanding on the basis of neural computation over so-called Perceptual Symbol Systems. Finally the reader will learn about the Neo-Whorfian notion of language as a 'shaper of thought' (Evans & Green 98) and why it does not contradict the Embodied Realist model of semantic structure encoding conceptual and ultimately perceptual structure.

Anbieter: Orell Fuessli CH
Stand: 06.07.2020
Zum Angebot
Stable Mappings & Their Singul
117,00 CHF *
ggf. zzgl. Versand

This book aims to present to first and second year graduate students a beautiful and relatively accessible field of mathematics-the theory of singu larities of stable differentiable mappings. The study of stable singularities is based on the now classical theories of Hassler Whitney, who determined the generic singularities (or lack of them) of Rn ~ Rm (m ~ 2n - 1) and R2 ~ R2, and Marston Morse, for mappings who studied these singularities for Rn ~ R. It was Rene Thorn who noticed (in the late '50's) that all of these results could be incorporated into one theory. The 1960 Bonn notes of Thom and Harold Levine (reprinted in [42]) gave the first general exposition of this theory. However, these notes preceded the work of Bernard Malgrange [23] on what is now known as the Malgrange Preparation Theorem-which allows the relatively easy computation of normal forms of stable singularities as well as the proof of the main theorem in the subject-and the definitive work of John Mather. More recently, two survey articles have appeared, by Arnold [4] and Wall [53], which have done much to codify the new material; still there is no totally accessible description of this subject for the beginning student. We hope that these notes will partially fill this gap. In writing this manuscript, we have repeatedly cribbed from the sources mentioned above-in particular, the Thom-Levine notes and the six basic papers by Mather.

Anbieter: Orell Fuessli CH
Stand: 06.07.2020
Zum Angebot
Digital and Discrete Geometry
147,00 CHF *
ggf. zzgl. Versand

This book provides comprehensive coverage of the modern methods for geometric problems in the computing sciences. It also covers concurrent topics in data sciences including geometric processing, manifold learning, Google search, cloud data, and R-tree for wireless networks and BigData. The author investigates digital geometry and its related constructive methods in discrete geometry, offering detailed methods and algorithms. The book is divided into five sections: basic geometry; digital curves, surfaces and manifolds; discretely represented objects; geometric computation and processing; and advanced topics. Chapters especially focus on the applications of these methods to other types of geometry, algebraic topology, image processing, computer vision and computer graphics. Digital and Discrete Geometry: Theory and Algorithms  targets  researchers and professionals working in digital image processing analysis, medical imaging (such as CT and MRI) and informatics, computer graphics, computer vision, biometrics, and information theory.  Advanced-level students in electrical engineering, mathematics, and computer science will also find this book useful as a secondary text book or reference. Praise for this book: This book does present a large collection of important concepts, of mathematical, geometrical, or algorithmical nature, that are frequently used in computer graphics and image processing. These concepts range from graphs through manifolds to homology. Of particular value are the sections dealing with discrete versions of classic continuous notions. The reader finds compact definitions and concise explanations that often appeal to intuition, avoiding finer, but then necessarily more complicated, arguments… As a first introduction, or as a reference for professionals working in computer graphics or image processing, this book should be of considerable value.' - Prof. Dr. Rolf Klein, University of Bonn.

Anbieter: Orell Fuessli CH
Stand: 06.07.2020
Zum Angebot
Theoretical Optics
257,00 CHF *
ggf. zzgl. Versand

Filling the gap between optics textbooks for students and scientific literature in optics, this revised and enlarged second edition provides a solid yet concise introduction to the topic. Starting from basic electrodynamics, it comprises nonlinear optics and light-matter interaction, as well as modern topics in quantum optics, including entanglement, cryptography, and quantum computation. With over thirty years of experience in research and teaching theoretical optics, the author goes way beyond the scope of traditional lectures, enabling readers to keep up with the current state of knowledge. Both in terms of content and presentation, this is essential reading for graduate and PhD students and a valuable reference for researchers. From the Contents: - Crystal optics - Nonlinear optics - Geometrical optics - Diffraction theory - Holography - Coherence theory - Interaction of radiation and matter - Quantum optics and fundamental quantum theory Hartmann Römer received his Ph.D. degree from the University of Bonn in 1970, where he also completed his habilitation. He held Postdoc positions at the Weizmann Institute of Science in Rehovot, Israel, and at CERN in Geneva. He has been full professor for Theoretical Physics at the University of Freiburg since 1979. His research interests include particle theory and quantum field theory, in particular geometrical and topological methods: symplectic geometry, quantization theory, classical limit and short wave asymptotics.

Anbieter: Orell Fuessli CH
Stand: 06.07.2020
Zum Angebot
A Course in Mathematical Logic for Mathematicians
88,90 CHF *
ggf. zzgl. Versand

A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. It then presents several highlights of 20th century mathematical logic, including theorems of Gödel and Tarski, and Cohen's theorem on the independence of the continuum hypothesis. A unique feature of the text is a discussion of quantum logic. The exposition then moves to a discussion of computability theory that is based on the notion of recursive functions and stresses number-theoretic connections. The text present a complete proof of the theorem of Davis–Putnam–Robinson–Matiyasevich as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is also treated. Part III establishes the essential equivalence of proof theory and computation theory and gives applications such as Gödel's theorem on the length of proofs. A new Chapter IX, written by Yuri Manin, treats, among other things, a categorical approach to the theory of computation, quantum computation, and the P/NP problem. A new Chapter X, written by Boris Zilber, contains basic results of model theory and its applications to mainstream mathematics. This theory has found deep applications in algebraic and diophantine geometry. Yuri Ivanovich Manin is Professor Emeritus at Max-Planck-Institute for Mathematics in Bonn, Germany, Board of Trustees Professor at the Northwestern University, Evanston, IL, USA, and Principal Researcher at the Steklov Institute of Mathematics, Moscow, Russia. Boris Zilber, Professor of Mathematical Logic at the University of Oxford, has contributed the Model Theory Chapter for the second edition.

Anbieter: Orell Fuessli CH
Stand: 06.07.2020
Zum Angebot
Digital and Discrete Geometry
173,00 CHF *
ggf. zzgl. Versand

This book provides comprehensive coverage of the modern methods for geometric problems in the computing sciences. It also covers concurrent topics in data sciences including geometric processing, manifold learning, Google search, cloud data, and R-tree for wireless networks and BigData. The author investigates digital geometry and its related constructive methods in discrete geometry, offering detailed methods and algorithms. The book is divided into five sections: basic geometry; digital curves, surfaces and manifolds; discretely represented objects; geometric computation and processing; and advanced topics. Chapters especially focus on the applications of these methods to other types of geometry, algebraic topology, image processing, computer vision and computer graphics. Digital and Discrete Geometry: Theory and Algorithms  targets  researchers and professionals working in digital image processing analysis, medical imaging (such as CT and MRI) and informatics, computer graphics, computer vision, biometrics, and information theory.  Advanced-level students in electrical engineering, mathematics, and computer science will also find this book useful as a secondary text book or reference. Praise for this book: This book does present a large collection of important concepts, of mathematical, geometrical, or algorithmical nature, that are frequently used in computer graphics and image processing. These concepts range from graphs through manifolds to homology. Of particular value are the sections dealing with discrete versions of classic continuous notions. The reader finds compact definitions and concise explanations that often appeal to intuition, avoiding finer, but then necessarily more complicated, arguments… As a first introduction, or as a reference for professionals working in computer graphics or image processing, this book should be of considerable value.' - Prof. Dr. Rolf Klein, University of Bonn.

Anbieter: Orell Fuessli CH
Stand: 06.07.2020
Zum Angebot