springer berlin heidelberg springer berlin heidelberg nov 2002 (225 risultati)

Taschenbuch. Condizione: Neu. Neuware -Based on a graduate course given by the author at Yale University this book deals with complex analysis (analytic capacity), geometric measure theory (rectifiable and uniformly rectifiable sets) and harmonic analysis (boundedness of singular integral operators on Ahlfors-regular sets). In particular, these notes contain a description of Peter Jones' geometric traveling salesman theorem, the proof of the equivalence between uniform rectifiability and boundedness of the Cauchy operator on Ahlfors-regular sets, the complete proofs of the Denjoy conjecture and the Vitushkin conjecture (for the latter, only the Ahlfors-regular case) and a discussion of X. Tolsa's solution of the Painlevé problem.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The growth of the Internet and the availability of powerful computers and hi- speed networks as low-cost commodity components are changing the way we do computing. These new technologies have enabled the clustering of a wide variety of geographically distributed resources, such as supercomputers, storage systems, data sources, and special devices and services, which can then be used as a uni ed resource. Furthermore, they have enabled seamless access to and interaction among these distributed resources, services, applications, and data. The new paradigm that has evolved is popularly termed ¿Grid computing¿. Grid computing and the utilization of the global Grid infrastructure have presented signi cant challenges at all levels, including application development, progr- ming models, systems, infrastructures and services, networking, and security, and have led to the development of a global research community. Grid 2002 is the third in a series of workshops developed to provide a - rum for this growing Grid Computing research community. Grid 2000, the rst workshop in the series, was chaired by Rajkumar Buyya and Mark Baker, and was held in conjunction with HiPC 2002 in Bangalore, India. Grid 2001 (Chair: Craig A. Lee) and Grid 2002 were held in conjunction with Supercomputing, the world¿s premier meeting for high-performance computing. 336 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In this monograph, we study the problem of high-dimensional indexing and systematically introduce two efficient index structures: one for range queries and the other for similarity queries. Extensive experiments and comparison studies are conducted to demonstrate the superiority of the proposed indexing methods.Many new database applications, such as multimedia databases or stock price information systems, transform important features or properties of data objects into high-dimensional points. Searching for objects based on these features is thus a search of points in this feature space. To support efficient retrieval in such high-dimensional databases, indexes are required to prune the search space. Indexes for low-dimensional databases are well studied, whereas most of these application specific indexes are not scaleable with the number of dimensions, and they are not designed to support similarity searches and high-dimensional joins.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In recent years, autonomous robots, including Xavier, Martha [1], Rhino [2,3], Minerva,and Remote Agent, have shown impressive performance in long-term demonstrations. In NASA¿s Deep Space program, for example, an - tonomous spacecraft controller, called the Remote Agent [5], has autonomously performed a scienti c experiment in space. At Carnegie Mellon University, Xavier [6], another autonomous mobile robot, navigated through an o ce - vironment for more than a year, allowing people to issue navigation commands and monitor their execution via the Internet. In 1998, Minerva [7] acted for 13 days as a museum tourguide in the Smithsonian Museum, and led several thousand people through an exhibition. These autonomous robots have in common that they rely on plan-based c- trol in order to achieve better problem-solving competence. In the plan-based approach, robots generate control actions by maintaining and executing a plan that is e ective and has a high expected utility with respect to the robots¿ c- rent goals and beliefs. Plans are robot control programs that a robot can not only execute but also reason about and manipulate [4]. Thus, a plan-based c- troller is able to manage and adapt the robot¿s intended course of action ¿ the plan ¿ while executing it and can thereby better achieve complex and changing tasks. 304 pp. Englisch.

Buch. Condizione: Neu. Neuware -In modern financial practice, asset prices are modelled by means of stochastic processes, and continuous-time stochastic calculus thus plays a central role in financial modelling. This approach has its roots in the foundational work of the Nobel laureates Black, Scholes and Merton. Asset prices are further assumed to be rationalizable, that is, determined by equality of demand and supply on some market. This approach has its roots in the foundational work on General Equilibrium of the Nobel laureates Arrow and Debreu and in the work of McKenzie. This book has four parts. The first brings together a number of results from discrete-time models. The second develops stochastic continuous-time models for the valuation of financial assets (the Black-Scholes formula and its extensions), for optimal portfolio and consumption choice, and for obtaining the yield curve and pricing interest rate products. The third part recalls some concepts and results of general equilibrium theory, and applies this in financial markets. The last part is more advanced and tackles market incompleteness and the valuation of exotic options in a complete market.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). The conference was held at the Indian Institute of Technology, Kanpur during December 12¿14, 2002. The conference attracted 108 submissions (of which two were withdrawn). Of these, a total of 26 papers were selected for presentation in the conference. As in the last year, the PC meeting was held electronically (stretching over nearly three weeks in August 2002) and was a great success. In addition to the contributed papers, we had ve invited speakers this year: Hendrik Lenstra, Jr., Harry Mairson, Dale Miller, Chih-Hao Luke Ong, and Margus Veanes. We thank them for accepting our invitation and for providing abstracts (or even full papers) for the proceedings. Two workshops were organized in conjunction with the conference ¿ both in Kanpur. A workshop on Parameterized Complexity was held during December 10¿11, organized by Mike Fellows and Venkatesh Raman. The second workshop actually consisted of three miniworkshops: on Coding Theory by Madhu Sudan; on Finite Field Algorithms by Hendrik Lenstra, Jr.; and on Sieve Theory by R. Balasubramanian. We wish to thank all the reviewers and PC members who contributed greatly to making the conference a success. We also wish to thank the team at Springer- Verlag for their help in preparing the proceedings. 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The series of annual Asian Computing Science Conferences (ASIAN) was init- ted in 1995 by AIT, INRIA, and UNU/IIST to provide a forum for researchers in computer science from the Asian region and to promote interaction with - searchers from other regions. The rst six conferences were held, respectively, in Bangkok, Singapore, Katmandu, Manila, Phuket, and Penang. The proc- dings have been published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year, the main themes chosen for ASIAN 2002 were: ¿ Internet Computing and Modeling, ¿ Grid, Peer-to-Peer, and Cluster Computing. The program committee selected 17 papers out of 30 submissions, and these papersshowverywelltherichnessofthis eldofscienti cinvestigations.Wehave indeed papers on topics ranging from scienti c cluster computing to advanced networkingapplicationsforthegeneralpublic,andfromnetworkprotoco ldesign and evaluation to the architecture of the Grid. The invited speakers of ASIAN 2002 were Alessandro Bassi (University of Tennessee), Brigitte Plateau (Institut Polytechnique de Grenoble), and Shinji Shimojo (Osaka University). The program committee thanks them for accepting its invitation. The conference was held in Hanoi, Vietnam. We are much obliged to the Asian Institute of Technology of Hanoi, and its director Prof. Nguyen Cong Thanh, for coordinating the local arrangements. Many thanks are due to our sponsoring institutions: the Asian Institute of Technology (Thailand), INRIA (France), and Waseda University (Japan). Finally, I wish to thank warmly the program committee and the additional referees,fortheire cienthandlingofthepapersunderunusualtimeconstraints. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -. 1 AchimStreit PreemptionBasedBack ll. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 QuinnO. Snell,MarkJ. Clement,andDavidB. Jackson JobSchedulingfortheBlueGene/LSystem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 ElieKrevat,Jos¿eG. Castan¿os,andJos¿eE. Moreira SelectiveReservationStrategiesforBack llJobScheduling. . . . . . . . . . . . . . . . . 55 SrividyaSrinivasan,RajkumarKettimuthu,VijaySubramani, andPonnuswamySadayappan Multiple-QueueBack llingSchedulingwithPrioritiesandReservations forParallelSystems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 BarryG. LawsonandEvgeniaSmirni SchedulingJobsonParallelSystemsUsingaRelaxedBack llStrategy. . . . . 88 WilliamA. Ward,Jr. ,CarrieL. Mahood,andJohnE. West TheImpactofMoreAccurateRequestedRuntimes onProductionJobSchedulingPerformance. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 Su-HuiChiang,AndreaArpaci-Dusseau,andMaryK. Vernon EconomicSchedulinginGridComputing. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128 CarstenErnemann,VolkerHamscher,andRaminYahyapour SNAP:AProtocolforNegotiatingServiceLevelAgreements andCoordinatingResourceManagementinDistributedSystems. . . . . . . . . . 153 KarlCzajkowski,IanFoster,CarlKesselman,VolkerSander, andStevenTuecke LocalversusGlobalSchedulerswithProcessorCo-allocation inMulticlusterSystems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184 AncaI. D. BucurandDickH. J. Epema PracticalHeterogeneousPlaceholderScheduling inOverlayMetacomputers:EarlyExperiences. . . . . . . . . . . . . . . . . . . . . . . . . . . . 205 ChristopherPinchak,PaulLu,andMarkGoldenberg CurrentActivitiesintheSchedulingandResourceManagementArea oftheGlobalGridForum. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229 BillNitzberg 252 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The International Conference on Asian Digital Libraries (ICADL) is an annual international forum for participants to exchange research results, innovative ideas, and state-of-the-art developments in digital libraries. Built upon the successes of the first four ICADL conferences, the 5th ICADL Conference in Singapore was aimed at further strengthening the position of ICADL as a premier digital library conference that draws high quality papers and presentations from all around the world, while meeting the needs and interests of digital library communities in the Asia-Pacific region. The theme of the conference, ¿Digital Libraries: People, Knowledge & Technology,¿ reflects the shared belief of the organizers that success in the development and implementation of digital libraries lies in the achievement of three key areas: the richness and depth of content to meet the needs of the communities they intend to serve; the technologies that are employed to build user-centered environments through organization, interaction, and provision of access to that content; and the human elements of management policies, maintenance, and vision necessary to keep pace with new content, new technologies, and changing user needs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 560 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2002, held in Singapore, in December 2002.The 34 revised full papers presented together with two invited contributions were carefully reviewed and selected from 173 submissions on the basis of 875 review reports. The papers are organized in topical sections on public key cryptography, authentication, theory, block ciphers, distributed cryptography, cryptanalysis, public key cryptanalysis, secret sharing, digital signatures, applications, Boolean functions, key management, and ID-based cryptography. 596 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -No conference can succeed without exceptional local organization. For the often overlooked and thankless task of nding a suitable venue and banquet location,dealingwiththelogisticsofregistration,organizinglunchesandco ee, etc.,wewouldliketothankthetheorganizingcommittee,NadjaRence,andOlga Stachova for all their e orts above and beyond the call of duty. We thank our sponsorsSimonFraserUniversity,thePaci cInstituteofMathematicalSciences, the institute for Mathematics of Information Technology and Complex Systems, andBajaiInc.fortheirgeneroussupport.Finally,wethankalltheauthorsand participants. We hope this edition of ISAAC will be a success.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 676 pp. Englisch.

Buch. Condizione: Neu. Neuware -greatlytothe neappearanceofthisbook. Karlovassi,Samos, SpirosCotsakis March2002 EleftheriosPapantonopoulos TableofContents PartI HistoryandOverview 1 IsNatureGeneric SpirosCotsakis,PeterG. L. Leach. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1. 1 Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1. 2 PrinciplesofCosmologicalModelling. . . . . . . . . . . . . . . . . . . . . . . . . 4 1. 2. 1 Spacetimes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1. 2. 2 TheoriesofGravity. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1. 2. 3 MatterFields. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1. 3 Cosmologies. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1. 4 CosmologicalProblems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1. 4. 1 TheSingularityProblem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1. 4. 2 TheProblemofCosmicTopology. . . . . . . . . . . . . . . . . . . . . 9 1. 4. 3 TheProblemofAsymptoticStates. . . . . . . . . . . . . . . . . . . . 9 1. 4. 4 GravityTheoriesandtheEarlyUniverse. . . . . . . . . . . . . . . 11 1. 5Outlook . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 References. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2 EvolutionofIdeasinModernCosmology AndreasParaskevopoulos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2. 1 Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2. 2 TheBeginningsofModernCosmology(1917¿1950). . . . . . . . . . . . . 17 2. 3 Cosmology1950¿1970:HotBigBang, SingularitiesandQuantumApproach. . . . . . . . . . . . . . . . . . . . . . . . . 20 2. 4 Cosmology19Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Buch. Condizione: Neu. Neuware -From the reviews:'Serre's notes on groups acting on trees have appeared in various forms (all in French) over the past ten years and they have had a profound influence on the development of many areas, for example, the theory of ends of discrete groups. This fine translation is very welcome and I strongly recommend it as an introduction to an important subject. In Chapter I, which is self-contained, the pace is fairly gentle. The author proves the fundamental theorem for the special cases of free groups and tree products before dealing with the (rather difficult) proof of the general case.' (A.W. Mason in Proceedings of the Edinburgh Mathematical Society 1982)Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This is an introduction to a very active field of research, on the boundary between mathematics and physics. It is aimed at graduate students and researchers in geometry and string theory. Proofs or sketches are given for many important results.From the reviews:'An excellent introduction to current research in the geometry of Calabi-Yau manifolds, hyper-Kähler manifolds, exceptional holonomy and mirror symmetry.This is an excellent and useful book.' --MATHEMATICAL REVIEWSSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book reflects the work in progress regarding the analysis of the costs of crop genetic resources conservation that has been conducted at various research insti tutes over the last couple of years, including research conducted at ZEF and asso ciated institutes. In addition, contributions in this publication were presented at a special session during the 'Global Dialogue: The Role of the Village in the 2]'1 Century: Crops, Jobs and Livelihood' in Hannover, Germany, at the World Exposition in Au gust 2000. The purpose of the publication is to make a general contribution to the ongoing discussion about the conservation of crop genetic resources as part of the global strategy to secure increasing food production in a sustainable way. Specifically, it discusses the costs of the worldwide efforts to conserve crop genetic resources on the basis of theoretical and applied studies. It aims to serve decision-makers at dif ferent levels with information on the costs involved in the conservation of genetic resources and hence to increase the awareness of the importance of improving the cost effectiveness of different conservation methods in order to optimize the sus tainability of conservation. The quoted Leipzig Declaration, which was adopted at the Fourth International Technical Conference on Plant Genetic Resources in Leipzig in June 1996, dem onstrates the close linkage of the contributions to the ongoing discussion about the implementation of the Global Plan of Actionfor the Conservation and Sustainable Utili zation of Plant Genetic Resources for Food and Agriculture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Buch. Condizione: Neu. Neuware -The work on this book started many years ago as an attempt to simplify and unify some results usually taught in courses in mathematical economics. The economic interpretation of the re sults were representations of preferences as sums or integrals and the decomposition of preferences into utilities and probabilities. It later turned out that t.he approach taken in the earlier versions were also the proper approach in generalizing from preferences which were total preorders to preferences which were not total or tran sitive. The same mathematics would even in that situation give representations which were additive. It would also give decomposi tions where concepts of uncertainty appeared. Early versions of some of the results appeared as Working Pa pers No. 135, 140, 150, and 176 from The Center for Research in Management Science, Berkeley. A first version of chapters 2, 4, 6, 7, and 8 appeared 1969 with the title' Mean Groupoids' [177]. They are essentially unchanged -except for some notes especially in chapter 6. Another version appeared 1990 as [178]. Chapter 10 contains results from the same versions and from [181]. Chapter 11 by Birgit Grodal is based on [91] by Grodal and Jp,an-Francois Mertens. Chapters 11 and 12 - also by Birgit Gro dal -contains the results from the earlier versions, but have been extended (by Karl Vind) to take into account the new corollaries of the results in the other chapters.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Condizione: Neu. Neuware -Ancient DNA Typing is a comprehensive manual about the analysis of ancient and degraded DNA. It is an equally useful textbook and working tool for various disciplines such as: Anthropology, Archaeology, Forensic Medicine, Conservation Biology, Environmental Sciences and Food Engineering.The reader benefits from a clear division of strategies, methods and applications with many interesting examples of the analysis of historic skeletal and cultural remains. The book contains a detailed protocol chapter which serves as a lab manual with the most important methods for DNA extraction, PCR and electrophoretic analysis of degraded samples. The appendix helps to set up a PCR lab specializing in ancient DNA research and answers the most frequent questions concerning technical problems in investigations of degraded DNA.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Buch. Condizione: Neu. Neuware -As computational fluid dynamics (CFD) is applied to ever more demanding fluid flow problems, the ability to compute numerical fluid flow solutions to a user specified tolerance as well as the ability to quantify the accuracy of an existing numerical solution are seen as essential ingredients in robust numerical simulation. Although the task of accurate error estimation for the nonlinear equations of CFD seems a daunting problem, considerable effort has centered on this challenge in recent years with notable progress being made by the use of advanced error estimation techniques and adaptive discretization methods. To address this important topic, a special course wasjointly organized by the NATO Research and Technology Office (RTO), the von Karman Insti tute for Fluid Dynamics, and the NASA Ames Research Center. The NATO RTO sponsored course entitled 'Error Estimation and Solution Adaptive Discretization in CFD' was held September 10-14, 2002 at the NASA Ames Research Center and October 15-19, 2002 at the von Karman Institute in Belgium. During the special course, a series of comprehensive lectures by leading experts discussed recent advances and technical progress in the area of numerical error estimation and adaptive discretization methods with spe cific emphasis on computational fluid dynamics. The lecture notes provided in this volume are derived from the special course material. The volume con sists of 6 articles prepared by the special course lecturers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Buch. Condizione: Neu. Neuware -Christoph Clauser and Jom Bartels SHE MAT (Simulator for HEat and MAss Transport) is an easy-to-use, general purpose reactive transport simulation code for a wide variety of thermal and hy drogeological problems in two and three dimensions. Specifically, SHEMAT solves coupled problems involving fluid flow, heat transfer, species transport, and chemical water-rock interaction in fluid-saturated porous media. It can handle a wide range of time scales. Therefore, it is useful to address both technical and geo logical processes. In particular, it offers special and attractive features for model ing steady-state and transient processes in hydro-geothermal reservoirs. This makes it well suited to predict the long-term behavior of heat mining installations in hot aquifers with highly saline brines. SHEMA T in its present form evolved from a fully coupled flow and heat transport model (Clauser 1988) which had been developed from the isothermal USGS 3-D groundwater model of Trescott and Larson (Trescott 1975; Trescott and Larson 1977). Transport of dissolved species, geochemical reactions between the solid and fluid phases, extended cou pling between the individual processes (most notably between porosity and per meability), and a convenient user interface (developed from Processing Modflow (Chiang and Kinzelbach 2001)) were added during several research projects funded by the German Science Foundation (DFG) under grant CL 12117 and the German Federal Ministries for Education, Science, Research, and Technology (BMBF) under grant 032 69 95A-D and for Economics and Technology (BMWi) under grant 0327095 (Bartels et al. 2002, Kuhn et al. 2002a).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Buch. Condizione: Neu. Neuware -The study of the genetic basis for evolution has flourished in this century, as well as our understanding of the evolvability and programmability of biological systems. Genetic algorithms meanwhile grew out of the realization that a computer program could use the biologically-inspired processes of mutation, recombination, and selection to solve hard optimization problems. Genetic and evolutionary programming provide further approaches to a wide variety of computational problems. A synthesis of these experiences reveals fundamental insights into both the computational nature of biological evolution and processes of importance to computer science. Topics include biological models of nucleic acid information processing and genome evolution; molecules, cells, and metabolic circuits that compute logical relationships; the origin and evolution of the genetic code; and the interface with genetic algorithms and genetic and evolutionary programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Buch. Condizione: Neu. Neuware -Many books on mesoscopic systems have been published as progress has con tinued in the fields of nanoscience and nanotechnology. The focus in these books is mainly on quantum mechanical behavior in artificial electronic sys tems fabricated by nanometer-scale structuring. Such quantum mechanical behavior is projected to macroscopic observers and the quantum nature can be utilized in practical devices. Quantum computers, another hot topic nowa days, are characterized by excitation coherence properties among nanostruc tures, and the ability to maintain excitations is very important when using the characteristics as information. In that sense, the device is described as a microscopic system and some processes occur before being projected to macroscopic observers. In this book, the authors try to describe not only the techniques for fabricating nanostructures but also new directions as re gards exciting systems and understanding how energy is dissipated through observation. The idea of 'nano-electrodynamics' underlying the book is an analogy with the well-established classical electrodynamics. In contrast to the latter, 'nano-electrodynamics' is still in its infancy and far from well established. When a structure is miniaturized as a device, it is essential to have control over energy excitation and dissipation. Otherwise, when a device is squeezed down beyond a certain size and the energy dissipation becomes overwhelmed, the device will eventually collapse. It is our aim in this book to provide some thoughts on the task of making devices out of small structures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Buch. Condizione: Neu. Neuware -Magnetic control of the properties and the flow of liquids is a challenging field for basic research and for applications. This book is meant to be both an introduction to, and a state-of-the-art review of, this topic. Written in the form of a set of lectures and tutorial reviews, the book addresses the synthesis and characterization of magnetic fluids, their hydrodynamical description and their rheological properties. The book closes with an account of magnetic drug targeting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Condizione: Neu. Neuware -Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 624 pp. Englisch.

Buch. Condizione: Neu. Neuware -Applied mathematics is a central connecting link between scientific observations and their theoretical interpretation. Nonlinear analysis has surely contributed major developments which nowadays shape the face of applied mathematics. At the beginning of the millennium, all sciences are expanding at increased speed. Technological, ecological, economical and medical problem solving is a central issue of every modern society. Mathematical models help to expose fundamental structures hidden in these problems and serve as unifying tools to deepen our understanding. What are the new challenges applied mathematics has to face with the increased diversity of scientific problems In which direction should the classical tools of nonlinear analysis be developed further How do new available technologies influence the development of the field How can problems be solved which have been beyond reach in former times It is the aim of this book to explore new developments in the field by way of discussion of selected topics from nonlinear analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book is not a textbook, but rather a coherent collection of papers from the field of partial differential equations. Nevertheless we believe that it may very well serve as a good introduction into some topics of this classical field of analysis which, despite of its long history, is highly modem and well prospering. Richard Courant wrote in 1950: 'It has always been a temptationfor mathematicians to present the crystallized product of their thought as a deductive general theory and to relegate the individual mathematical phenomenon into the role of an example. The reader who submits to the dogmatic form will be easily indoctrinated. Enlightenment, however, must come from an understanding of motives; live mathematical development springs from specific natural problems which can be easily understood, but whose solutions are difficult and demand new methods or more general significance. ' We think that many, if not all, papers of this book are written in this spirit and will give the reader access to an important branch of analysis by exhibiting interest ing problems worth to be studied. Most of the collected articles have an extensive introductory part describing the history of the presented problems as well as the state of the art and offer a well chosen guide to the literature. This way the papers became lengthier than customary these days, but the level of presentation is such that an advanced graduate student should find the various articles both readable and stimulating.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 688 pp. Englisch.

Buch. Condizione: Neu. Neuware -Optical solitons in fibers are a beautiful example of how an abstract mathematical concept has had an impact on new information transmission technologies. The concept of all-optical data transmission with optical soliton systems is now setting the standard for the most advanced transmission systems. The book deals with the motion of light waves in optical fibers, the evolution of light wavepackets, optical information transfer, all-optical soliton transmission systems, the control of optical solitons, polarization effects, dispersion-managed solitons, WDM transmission, soliton lasers, all-optical switching and other applications. This book is a must for all researchers and graduate students active in the field of optical data transmission.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Condizione: Neu. Neuware -The 30 coherently written chapters by leading researchers presented in this anthology are devoted to basic results achieved in computational intelligence since 1997. The book provides complete coverage of the core issues in the field, especially in fuzzy logic and control as well as for evolutionary optimization algorithms including genetic programming, in a comprehensive and systematic way. Theoretical and methodological investigations are complemented by prototypic applications for design and management tasks in electrical engineering, mechanical engineering, and chemical engineering.This book will become a valuable source of reference for researchers active in computational intelligence. Advanced students and professionals interested in learning about and applying advanced techniques of computational intelligence will appreciate the book as a useful guide enhanced by numerous examples and applications in a variety of fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Buch. Condizione: Neu. Neuware -ingcommittee,W. Ceg laandP. Lugiewicz, fortheirhelp. Specialthanksmust beextendedtoMrsAnnaJadczykforherhelpatvariousstagesoftheschool organizationandthecompetenteditorialassistance. Theschoolwas nanciallysupportedbytheUniversityofWroc law,Univ- sityofZielonaG¿ ora,PolishMinistryofEducation,PolishAcademyofSciences, FoundationfortheKarpaczWinterSchoolofTheoreticalPhysicsandthe- nationfromtheDrWilhelmHeinrichHeraeusundElseHeraeusStiftung. Wrocla wandZielonaG¿ ora,Poland PiotrGarbaczewski June2002 RobertOlkiewicz TableofContents Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 ChapterI NonequilibriumDynamics SomeRecentAdvancesinClassicalStatisticalMechanics E. G. D. Cohen. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 DeterministicThermostatsandFluctuationRelations L. Rondoni. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 WhatIstheMicroscopicResponseofaSystem DrivenFarFromEquilibrium C. Jarzynski. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 Non-equilibriumStatisticalMechanics ofClassicalandQuantumSystems D. Kusnezov,E. Lutz,K. Aoki. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 ChapterII DynamicsofRelaxationandChaoticBehaviour DynamicalTheoryofRelaxation inClassicalandQuantumSystems P. Gaspard. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 RelaxationandNoiseinChaoticSystems S. Fishman,S. Rahav. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165 FractalStructuresinthePhaseSpace ofSimpleChaoticSystemswithTransport J. R. Dorfman. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193 ChapterIII DynamicalSemigroupsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Buch. Condizione: Neu. Neuware -T a a a a a . T a a- a - a a a a a a a a b a a a a a- a .T a a a b a a a a .I b a- a a a a a a ,a a a .O a a a a a a a a a b a a a a a a a . T a , a a a a b a a . T a a a a .T a a a , a a a a a a a a a . Ab ba a a b a a a a a a a a . T a a a a a a b a a - .Ma a a a a a a a a a a a , a - , , a a a , a a a , , a , .I a , a , GMR a a a a a a a a a , a a , a RAM .E , a a , , a . a b a - a.T a ab a a a a a a a a a . I , a 21 a a a a a a a a .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Buch. Condizione: Neu. Neuware -aiming at a more conceptual understanding of classical and qu- tum eld theory from a novel mathematical point of view.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.