birkhäuser birkhäuser mär 2013 (21 results)

Buch. Condition: Neu. Neuware -This eleventh volume in the Poincaré Seminar Series presents an interdisciplinary perspective on the concept of Time, which poses some of the most challenging questions in science. Five articles, written by the Fields medalist C. Villani, the two outstanding theoretical physicists T. Damour and C. Jarzynski, the leading experimentalist C. Salomon, and the famous philosopher of science H. Price, describe recent developments related to the mathematical, physical, experimental, and philosophical facets of this fascinating concept. These articles are also highly pedagogical, as befits their origin in lectures to a broad scientific audience. Highlights include a description of the manifold fundamental physical issues in play with time, in particular with the changes of perspective implied by Special and General Relativity; a mathematically precise discussion of irreversibility and entropy in the context of Boltzmann's and Vlasov's equations; a thorough survey of the recently developed ¿thermodynamics at the nanoscale,¿ the scale most relevant to biological physics; a description of the new cold atom space clockPHARAO to be installed in 2015 onboard the International Space Station, which will allow a test of Einstein's gravitational shift with a record precision of 2 × 10-6, and enable a test of the stability over time of the fundamental constants of physics, an issue first raised by Dirac in 1937; and last, but not least, a logical and clarifying philosophical discussion of ¿Time's arrow¿, a phrase first coined by Eddington in 1928 in a challenge to physics to resolve the puzzle of the time-asymmetry of our universe, and echoed here in a short poème en prose by C. de Mitry.This book should be of broad general interest to physicists, mathematicians, and philosophers.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 232 pp. Englisch.

Buch. Condition: Neu. Neuware -This book deals with the modeling, analysis and simulation of problems arising in the life sciences, and especially in biological processes. The models and findings presented result from intensive discussions with microbiologists, doctors and medical staff, physicists, chemists and industrial engineers and are based on experimental data. They lead to a new class of degenerate density-dependent nonlinear reaction-diffusion convective equations that simultaneously comprise two kinds of degeneracy: porous-medium and fast-diffusion type degeneracy. To date, this class is still not clearly understood in the mathematical literature and thus especially interesting.The author both derives realistic life science models and their above-mentioned governing equations of the degenerate types and systematically studies these classes of equations. In each concrete case well-posedness, the dependence of solutions on boundary conditions reflecting some properties of the environment, and the large-time behavior of solutions are investigated and in some instances also studied numerically.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 232 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Differential equations is a subject of wide applicability, and knowledge of dif Differential equations is a subject of wide applicability, and knowledge of dif ferential ferential equations equations topics topics permeates permeates all all areas areas of of study study in in engineering engineering and and applied applied mathematics. mathematics. Some Some differential differential equations equations are are susceptible susceptible to to analytic analytic means means of of so so lution, lution, while while others others require require the the generation generation of of numerical numerical solution solution trajectories trajectories to to see see the the behavior behavior of of the the system system under under study. study. For For both both situations, situations, the the software software package package Maple Maple can can be be used used to to advantage. advantage. To To the the student student Making Making effective effective use use of of differential differential equations equations requires requires facility facility in in recognizing recognizing and and solving solving standard standard 'tractable' 'tractable' problems, problems, as as well well as as having having the the background background in in the the subject subject to to make make use use of of tools tools for for dealing dealing with with situations situations that that are are not not amenable amenable to to simple simple analytic analytic approaches. approaches.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 432 pp. Englisch.

Buch. Condition: Neu. Neuware -This volume consists of twenty peer-reviewed papers from the special session on pseudodifferential operators and the special session on generalized functions and asymptotics at the Eighth Congress of ISAAC held at the Peoples¿ Friendship University of Russia in Moscow on August 22¿27, 2011. The category of papers on pseudo-differential operators contains such topics as elliptic operators assigned to diffeomorphisms of smooth manifolds, analysis on singular manifolds with edges, heat kernels and Green functions of sub-Laplacians on the Heisenberg group and Lie groups with more complexities than but closely related to the Heisenberg group, Lp-boundedness of pseudo-differential operators on the torus, and pseudo-differential operators related to time-frequency analysis. The second group of papers contains various classes of distributions and algebras of generalized functions with applications in linear and nonlinear differential equations, initial value problems and boundary value problems, stochastic and Malliavin-type differential equations. This second group of papers are related to the third collection of papers via the setting of Colombeau-type spaces and algebras in which microlocal analysis is developed by means of techniques in asymptotics. The volumecontains the synergies of the three areas treatedand is a useful complement tovolumes 155, 164, 172, 189, 205 and 213 published in the same series in, respectively, 2004, 2006, 2007, 2009, 2010 and 2011.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 380 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 1985 Seminar on Stochastic Processes was held at the University of Florida, Gainesville, in March. It was the fifth seminar in a continuing series of meetings which provide opportunities for researchers to discuss current work in stochastic processes in an informal atmosphere. Previous seminars were held at Northwestern University, Evanston and the University of Florida, Gainesville. The participants' enthusiasm and interest have resulted in stimulating and successful seminars. We thank them for it, and we also thank those participants who have permitted us to publish their research here. The seminar was made possible through the generous supports of the Division of Sponsored Research and the Department of Mathematics of the university of Florida, and the Air Force Office of Scientific Research, Grant No. 82- 0189. We are grateful for their support. Finally, the comfort and hospitality we enjoyed in Gainesville were due to the splendid efforts of Professor Zoran Pop-Stojanovic. J. G. 336 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Invoking the machinery of Control Theory to control a real-world plant means, on the basis of available a priori knowledge of the plant, design ing/selecting a feasible controller accomplishing the control objective. A priori knowledge about the plant is normally represented as a mathemat ical model, given by physical laws or measurement data. Such a model is inevitably uncertain, due to measurement errors, simplified models of natural laws, neglected dynamics, and the desire to get a model tractable for further computations. Control of Uncertain Systems is therefore an im portant issue, both practically and philosophically. Basically, two different approaches exist: Adaptive Control and Robust Control. On four beautiful summer days in June 1989, researchers from 12 coun tries gathered together in Bremen, West Germany, for a workshop devoted to these issues. 49 talks, invited and contributed, were presented. The present work collects 18 of these talks. (Program and original abstracts from the workshop are available as Report 209, Institute for Dynamical System.) The papers represent a broad scope of current trends in robust and adaptive control. Topics covered include: New directions in adaptive control, stability analysis of uncertain systems, robust and adaptive stabi lization, numerical methods, and topological aspects of robust control. The papers were carefully refereed and we would like to thank the referees for their efforts, which have resulted in substantial improvements. 360 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The central subject matter of this book is Einstein's special theory of relativiry. While it is a book that is written primarily for a lay audience this does not necessarily mean an audience not versed in the ways of doing science. Rather, this book is written for anyone wishing to consider the nature of the scientific enterprise: where ideas come from, how they become established and accepted, what the relationships are among theories, predictions, and measurements, or the relationship between ideas in a scientific theory and the values held to be important within the larger culture. Some readers will find it strange that I raise any of these issues. It is a common view in our culture that the status of knowledge within science is totally different from the status of knowledge in other areas of human endeavor. The word 'science' stems from the Latin word meaning 'to know' and indeed, knowledge which scientists acquire in their work is commonly held to be certain, unyielding, and absolute. Consider how we use the adjective 'scientific. ' There are investors and there are scientific investors. There are socialists and there are scientific socialists. There are exterminators and there are scientific exterminators. We all know how the modifier 'scientific' inttudes in our daily life. It is the purpose of this book to challenge the belief that scientific knowledge is different from other kinds of knowledge. 516 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This means that many neuroanatomists may balk at the functional interpretation I have given their sort of data, whereas many neuroscien tists in other fields may balk at references to neuroanatomy they cannot confirm from memory and begrudge the time to look up. Members of both groups may consequently decline to read the book on the ground that it is too risky or too difficult to follow, or both. Let me say, in my own defence, that although the argument presented here draws upon data from a number of different fields, they fit together in ways that are often quite striking; that the problem of memory is in itself an important one; and that theory in neuroscience, if it is to fulfill its function of unifying our understanding by way of testable propositions, has got, at some point, to become interdisciplinary. I submit that the present theory meets those requirements and may therefore justify the effort it asks of the reader. To the extent that it passes the critical test of experiment, it will also give research in the fields related to memory a clearer rationale, thereby, perhaps, saving time. Introduction What follows is an outline of the theory of memory functions developed in this monograph. It will not include the supporting data and references used throughout in the text, but will simply present the essentials of the argument.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 224 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Winter 2012 (vol. 14 no. 3) issue of the Nexus Network Journal features seven original papers dedicated to the theme ¿Digital Fabrication¿. Digital fabrication is changing architecture in fundamental ways in every phase, from concept to artifact. Projects growing out of research in digital fabrication are dependent on software that is entirely surface-oriented in its underlying mathematics. Decisions made during design, prototyping, fabrication and assembly rely on codes, scripts, parameters, operating systems and software, creating the need for teams with multidisciplinary expertise and different skills, from IT to architecture, design, material engineering, and mathematics, among others The papers grew out of a Lisbon symposium hosted by the ISCTE-Instituto Universitario de Lisboa entitled ¿Digital Fabrication ¿ A State of the Art¿. The issue is completed with four other research papers which address different mathematical instruments applied to architecture, including geometric tracing systems, proportional systems, descriptive geometry and correspondence analysis. The issue concludes with a book review.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 184 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 416 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -ANOVA models involving random effects have found widespread application to experimental design in varied fields such as biology, econometrics, and engineering. Volume I of this two-part work is a comprehensive presentation of methods and techniques for point estimation, interval estimation, and hypotheses tests for linear models involving random effects. Volume I examines models with balanced data (orthogonal models); Volume II studies models with unbalanced data (non-orthogonal models).Accessible to readers with a modest mathematical and statistical background, the work will appeal to a broad audience of graduate students, researchers, and practitioners. It can be used as a graduate text or as a self-study reference.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 516 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -LP([O,T], IR ),1~ p~+00,theLebesgue spaces,equippedwiththestandardnorm lIulip. l n l n 6. H (ST, IR )denotestheSobolevspaceof u E H ,2(0, T; IR ) suchthat u(O) = u(T).Thenormin HIwillbedenoted by lIull2 = lIull~ + lIull~ 7.Wedenoteby( 1 )and11 11respectivelythescalarproduct andthenormoftheHilbertspace E. 8.For uE E, EHilbertorBanachspace,wedenotetheball ofcenter uandradiusrby B(u,r) = {vE E: lIu- vii~ r}.Wewillalsowrite B = B(O, r). r 1 1 9.WesetA (n) = {uE H (St,n)}. k 10.For VE C (1Rxil,IR)wedenoteby V'(t, x)thegradient of Vwithrespectto x. l 11.Given f E C (M,IR), MHilbertmanifold,welet r = {uEM: f(u) ~ a}, f-l(a,b) = {uE E : a~ f(u) ~ b}. x NOTATION 12.Given f E C1(M,JR), MHilbertmanifold,wewilldenote by Zthesetofcriticalpointsof fon Mandby Zctheset Z U f-l(c, c). 13.Givenasequence UnE E, EHilbertspace,by Un ---'' Uwe willmeanthatthesequence Unconvergesweaklyto u. 14.With £(E)wewilldenotethesetoflinearandcontinuous operatorson E. 15.With Ck''''(A,JR)wewilldenotethesetoffunctions ffrom AtoJR, ktimesdifferentiablewhosek-derivativeisHolder continuousofexponent0:. Main Assumptions Wecollecthere,forthereader'sconvenience,themainassump tionsonthepotential Vusedthroughoutthebook. (VO) VEC1(lRXO,lR),V(t+T,x)=V(t,X) V(t,x)ElRXO, (VI) V(t,x)Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 176 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book offers an excursion through the developmental area of research mathematics. It presents some 40 papers, published between the 1870s and the 1970s, on proofs of the Cantor-Bernstein theorem and the related Bernstein division theorem. While the emphasis is placed on providing accurate proofs, similar to the originals, the discussion is broadened to include aspects that pertain to the methodology of the development of mathematics and to the philosophy of mathematics. Works of prominent mathematicians and logicians are reviewed, including Cantor, Dedekind, Schröder, Bernstein, Borel, Zermelo, Poincaré, Russell, Peano, the Königs, Hausdorff, Sierpinski, Tarski, Banach, Brouwer and several others mainly of the Polish and the Dutch schools. In its attempt to present a diachronic narrative of one mathematical topic, the book resembles Lakatos¿ celebrated book Proofs and Refutations. Indeed, some of the observations made by Lakatos are corroborated herein. The analogy between the two books is clearly anything but superficial, as the present book also offers new theoretical insights into the methodology of the development of mathematics (proof-processing), with implications for the historiography of mathematics.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 456 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc turing in compiler texts that are intended to cover a wide variety of program ming languages. More is said in the Iiterature on semantics-directed compiler construction [1] but here too the viewpoint is very general (though limited to 1 languages with a finite number of syntactic types). On the other handl there is a considerable body of work using the continuation-passing transformation to structure compilers for the specific case of call-by-value languages such as SCHEME and ML [21 3]. ln this paperl we will describe a method of structuring the translation of ALGOL-like languages that is based on the functor-category semantics devel oped by Reynolds [4] and Oles [51 6]. An alternative approach using category theory to structure compilers is the early work of F. L. Morris [7]1 which anticipates our treatment of boolean expressionsl but does not deal with procedures. 2 Types and Syntax An ALGOL-like language is a typed lambda calculus with an unusual repertoire of primitive types. Throughout most of this paper we assume that the primi tive types are comm(and) int(eger)exp(ression) int(eger)acc(eptor) int(eger)var(iable) I and that the set 8 of types is the least set containing these primitive types and closed under the binary operation -.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 360 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the last few years, multiscale methods have lead to spectacular progress in our understanding of complex physical systems and have stimulated the development ofvery refined mathematical techniques. At the same time on the experimental side, equally spectacular progress has been made in developing experimentalmachinery and techniques to test the foundations of quantum mechanics. In view of this progress, this volume is very timely; it is the first text totally devoted to multiscale methods as applied to various areas of physics and to the relative developments in mathematics.The book is aimed atmathematical physicists, theoretical physicists, applied mathematicians, and experimental physicists working in such areas as decoherence, quantum information, and quantum optics.Contributors:M. Arndt; J.E. Avron; D. Bambusi; D. Dürr; C. Fermanian Kammerer; P. Gerard; L. Hackermüller; K. Hornberger; G. Jona-Lasinio; A. Martin; G. Nenciu; F. Nier; R. Olkiewicz; G. Panati; M. Patel; C. Presilla; M. Pulvirenti; D. Robert; A. Sacchetti; V. Scarani; P. Stollmann; A. Teta; S. Teufel; C. Toninelli; and A. Zeilinger 236 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On March 17-19 and May 19-21,1995, analysis seminars were organized jointly at the universities of Copenhagen and Lund, under the heading 'Danish-Swedish Analysis Seminar'. The main topic was partial differen tial equations and related problems of mathematical physics. The lectures given are presented in this volume, some as short abstracts and some as quite complete expositions or survey papers. They span over a large vari ety of topics. The most frequently occurring theme is the use of microlocal analysis which is now important also in the study of non-linear differential equations although it originated entirely within the linear theory. Perhaps it is less surprising that microlocal analysis has proved to be useful in the study of mathematical problems of classical quantum mechanics, for it re ceived a substantial input of ideas from that field. The scientific committee for the invitation of speakers consisted of Gerd Grubb in Copenhagen, Lars Hormander and Anders MeHn in Lund, and Jo hannes Sjostrand in Paris. Lars Hormander and Anders Melin have edited the proceedings. They were hosts of the seminar days in Lund while Gerd Grubb was the host in Copenhagen. Financial support was obtained from the mathematics departments in Copenhagen and Lund, CNRS in France, the Danish and Swedish Na tional Research Councils, Gustaf Sigurd Magnuson's foundation at the Royal Swedish Academy of Sciences, and the Wenner-Gren foundation in Stockholm. We want to thank all these organisations for their support. 388 pp. Englisch.