springer berlin heidelberg springer berlin heidelberg mär 2004 (111 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the post-proceedings of the DIMACS/RECOMB Satellite Workshop on Computational Methods for SNPs and Haplotype Inference held in Piscataway, NJ, USA, in November 2002.The book presents ten revised full papers as well as abstracts of the remaining workshop papers. All relevant current issues in computational methods for SNP and haplotype analysis and their applications to disease associations are addressed. 168 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume of the LNCS series contains the proceedings of the 5th Internat- nal Working Conference on Active Networks (IWAN 2003) held in the ancient cultural city of Kyoto, Japan. This year we received 73 submissions. The increasing number indicates that Active Networks continues to be an attractive eld of research. Through - reful reviewing and discussion, our program committee decided to fully accept 21 papers. Three papers were conditionally accepted, and were included after shepherding by members of the technical program committee. This volume thus includes these 24 papers which were presented at IWAN 2003. Additional papers were presented in a poster session at the conference. The best paper award went to Kenneth L. Calvert, James N. Gri oen, - jati Imam, and Jiangbo Li (University of Kentucky) for ¿Challenges in Imp- menting an ESP Service,¿ which begins these proceedings and which began the papers in the High Performance & Network Processors session. Papers in these proceedings are organized into seven sessions: High-Level Active Network - plications, Low-Level Active Network Applications, Self-Organization of Active Services, Management in Active Networks, Experiences with Service Engin- ring for Active Networks, and Selected Topics in Active Networks, ranging from risk management to context-aware handover and peer-to-peer communications. 328 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Big Queues aims to give a simple and elegant account of how large deviations theory can be applied to queueing problems. Large deviations theory is a collection of powerful results and general techniques for studying rare events, and has been applied to queueing problems in a variety of ways. The strengths of large deviations theory are these: it is powerful enough that one can answer many questions which are hard to answer otherwise, and it is general enough that one can draw broad conclusions without relying on special case calculations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the proceedings of the 2nd International Conference on TrustManagement,heldinOxford,UK,during29March¿1April2004.Thec- ference followed a very successful 1st International Conference on Trust Ma- gement held in Crete in 2003. Both conferences were organized by iTrust, which is a working group funded as a thematic network by the Future and Emerging Technologies (FET) unit of the Information Society Technologies (IST) program of the European Union. The purpose of the iTrust working group is to provide a forum for cro- disciplinary investigation of the applications of trust as a means of increasing security, building con dence and facilitating collaboration in dynamic open - stems. The notion of trust has been studied independently by di erent academic disciplines, which has helped us to identify and understand di erent aspects of trust. The aim of this conference was to provide a common forum, bringing together researchers from di erent academic branches, such as the technolo- oriented disciplines, law, social sciences and philosophy, in order to develop a deeper and more fundamental understanding of the issues and challenges in the area of trust management in dynamic open systems. The response to this conference was excellent; from the 48 papers submitted to the conference, we selected 21 full papers and 6 short papers for presentation. Theprogramalsoincludedthreekeynoteaddresses,givenbyJe Bradshawfrom theInstituteforHumanandMachineCognitionattheUniversityofWestFlorida (USA), Ian Walden who is Director of the Computer-Related Crime Research Centre at Queen Mary, University of London (UK), and Massimo Marchiori from the World Wide Web Consortium, as well as three panels and a full day of tutorials.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in uential article published by Electronics Magazine in 1965, Moore predicted that this trend would continue for the next 10 years. Despite being criticized for its ¿unrealistic optimism,¿ Moore¿s prediction has remained valid for far longer than even he imagined: today, chips built using state-- the-art techniques typically contain several million transistors. The advances in fabrication technology that have supported Moore¿s law for four decades have fuelled the computer revolution. However,this exponential increase in transistor density poses new design challenges to engineers and computer scientists alike. New techniques for managing complexity must be developed if circuits are to take full advantage of the vast numbers of transistors available. In this monograph we investigate both (i) the design of high-level languages for hardware description, and (ii) techniques involved in translating these hi- level languages to silicon. We propose SAFL, a rst-order functional language designedspeci callyforbehavioralhardwaredescription,anddescribetheimp- mentation of its associated silicon compiler. We show that the high-level pr- erties of SAFL allow one to exploit program analyses and optimizations that are not employed in existing synthesis systems. Furthermore, since SAFL fully abstracts the low-leveldetails of the implementation technology, we show how it can be compiled to a range of di erent design styles including fully synchronous design and globally asynchronous locally synchronous (GALS) circuits.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Evolutionary Computation (EC) deals with problem solving, optimization, and machine learning techniques inspired by principles of natural evolution and - netics. Just from this basic de nition, it is clear that one of the main features of theresearchcommunityinvolvedinthestudyofitstheoryandinitsapplications is multidisciplinarity. For this reason, EC has been able to draw the attention of an ever-increasing number of researchers and practitioners in several elds. In its 6-year-long activity, EvoNet, the European Network of Excellence in Evolutionary Computing, has been the natural reference and incubator for that multifaceted community. EvoNet has provided logistic and material support for thosewhowerealreadyinvolvedinECbut,inthe rstplace,ithashadacritical role in favoring the signi cant growth of the EC community and its interactions with longer-established ones. The main instrument that has made this possible has been the series of events, rst organized in 1998, that have spanned over both theoretical and practical aspects of EC. Ever since 1999, the present format, in which the EvoWorkshops, a collection of workshops on the most application-oriented aspects of EC, act as satellites of a core event, has proven to be very successful and very representative of the multi-disciplinarity of EC. Up to 2003, the core was represented by EuroGP, the main European event dedicated to Genetic Programming. EuroGP has been joined as the main event in 2004 by EvoCOP, formerly part of EvoWorkshops, which has become the European Conference on Evolutionary Computation in Combinatorial Optimization. 588 pp. Englisch.

Buch. Condizione: Neu. Neuware -Multimedia Applications discusses the basic characteristics of multimedia document handling, programming, security, human computer interfaces, and multimedia application services. The overall goal of the book is to provide a broad understanding of multimedia systems and applications in an integrated manner: a multimedia application and its user interface must be developed in an integrated fashion with underlying multimedia middleware, operating systems, networks, security, and multimedia devices.Fundamental information and properties of hypermedia document handling, multimedia security and various aspects of multimedia applications are presented, especially about document handling and their standards, programming of multimedia applications, design of multimedia information at human computer interfaces, multimedia security challenges such as encryption and watermarking, multimedia in education, as well as multimedia applications to assist preparation, processing and application of multimedia content.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -After Ole-Johan¿s retirement at the beginning of the new millennium, some of us had thought and talked about making a ¿Festschrift¿ in his honor. When Donald Knuth took the initiative by sending us the rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees included several members of the IFIP 2. 3 working group, a forum that Ole-Johan treasured and enjoyedparticipating in throughouthis career. In spite of the shortdeadline, the response to the invitations was overwhelmingly positive. The original idea was to complete the book rather quickly to make it a gift he could read and enjoy, because by then he had had cancer for three years, and his health was gradually deteriorating. Kristen had been regularly visiting Ole-Johan,who was in the hospitalat that time, and they were workingon their Turing award speech. Ole-Johan was grati ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf. Peacefully accepting his destiny, Ole- Johan died on June 29, 2002.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Although diagrammatic representations have been a feature of human com- nication from early history, recent advances in printing and electronic media technologyhaveintroducedincreasinglysophisticatedvisualrepresentationsinto everydaylife. We need to improve our understanding of the role of diagramsand sketches in communication, cognition, creative thought, and problem-solving. These concerns have triggered a surge of interest in the study of diagrammatic notations, especially in academic disciplines dealing with cognition, compu- tion, and communication. We believe that the study of diagrammatic communication is best pursued as an interdisciplinary endeavor. The Diagrams conference series was launched to support an international research community with this common goal. After successful meetings in Edinburgh (2000) and Georgia (2002), Diagrams 2004 was the third event in the series. The Diagramsseries attracts a largenumber of researchersfrom virtually all academic elds who arestudying the nature of d- grammatic representations,their use in human communication, and cognitive or computationalmechanismsforprocessingdiagrams.Bycombiningseveralearlier workshop and symposium series that were held in the US and Europe ¿ R- soning with Diagrammatic Representations (DR), US; Thinking with Diagrams (TWD), Europe; and Theory of Visual Languages (TVL), Europe ¿ Diagrams has emerged as a major international conference on this topic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -DILS 2004 (Data Integration in the Life Sciences) is a new bioinformatics wo- shop focusing on topics related to data management and integration. It was motivated by the observation that new advances in life sciences, e. g. , molecular biology, biodiversity, drug discovery and medical research, increasingly depend on bioinformatics methods to manage and analyze vast amounts of highly - verse data. Relevant data is typically distributed across many data sources on the Web and is often structured only to a limited extent. Despite new inter- erability technologies such as XML and web services, integration of data is a highly di cult and still largely manual task, especially due to the high degree of semantic heterogeneity and varying data quality as well as speci c application requirements. The call for papers attracted many submissions on the workshop topics. - ter a carefulreviewing processthe internationalprogramcommittee accepted 13 long and 2 short papers which are included in this volume. They cover a wide spectrum of theoretical and practical issues including scienti c/clinical wo- ows, ontologies, tools/systems, and integration techniques. DILS 2004 also f- tured two keynote presentations, by Dr. Thure Etzold (architect of the leading integration platform SRS, and president of Lion Bioscience, Cambridge, UK) and Prof. Dr. Svante Pä ¿abo (Director, Max Planck Institute for Evolutionary Anthropology, Leipzig). The workshop took place during March 25¿26, 2004, in Leipzig, Germany, and was organized by the Interdisciplinary Bioinformatics Center (IZBI) of the Universityof Leipzig.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues inv- ved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 548 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Where is system architecture heading The special interest group on Computer and Systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology associations GI and ITG a- ed this question and discussed it during two Future Workshops in 2002. The result in a nutshell: Everything will change but everything else will remain. Future systems technologies will build on a mature basis of silicon and IC technology,onwell-understoodprogramminglanguagesandsoftwareengineering techniques, and on well-established operating systems and middleware concepts. Newer and still exotic but exciting technologies like quantum computing and DNA processing are to be watched closely but they will not be mainstream in the next decade. Although there will be considerable progress in these basic technologies, is there any major trend which uni es these diverse developments There is a common denominator ¿ according to the result of the two - ture Workshops ¿ which marks a new quality. The challenge for future systems technologies lies in the mastering of complexity. Rigid and in exible systems, built under a strict top-down regime, have reached the limits of manageable complexity, as has become obvious by the recent failure of several large-scale projects. Nature is the most complex system we know, and she has solved the problem somehow. We just haven¿t understood exactly how nature does it. But it is clear that systems designed by nature, like an anthill or a beehive or a swarm of birds or a city, are di erent from today¿s technical systems that have beendesignedbyengineersandcomputerscientists. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -On behalf of the PROFES organizing committee we are proud to present to you the proceedings of the 5th International Conference on Product Focused Software Process Improvement (PROFES 2004), held in Kansai Science City, Japan. Since 1999, PROFES has established itself as one of the recognized international process improvement conferences. In 2004 the conference left Europe for the first time and moved to Japan. Japan and its neighboring countries are intensifying their efforts to improve software engineering excellence, so it was a logical step to select Japan as the venue for PROFES 2004. The purpose of the conference is to bring to light the most recent findings and results in the area and to stimulate discussion between researchers, experienced professionals, and technology providers. The large number of participants coming from industry confirms that the conference provides a variety of up-to-date topics and tackles industry problems. The main theme of PROFES is professional software process improvement (SPI) motivated by product and service quality needs. SPI is facilitated by software process assessment, software measurement, process modeling, and technology transfer. It has become a practical tool for quality software engineering and management. The conference addresses both the solutions found in practice and the relevant research results from academia. This is reflected in the 41 full papers, which are a balanced mix of academic papers as well as industrial experience reports.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 600 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr¿ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), the World Congress on Formal Methods (1999), FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002). This year again, SPIN was held as a satellite event of ETAPS 2004. The co-location of SPIN workshops with conferences has proven to be very successful and has helped to disseminate SPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer-Verlag¿s Lecture Notes in Computer Science series. The history of successful SPIN workshops is evidence for the maturing of model checking technology, not only in the hardware domain, but increasingly also in the software area. While in earlier years algorithms and tool development aroundtheSPINmodelcheckerwerethefocusofthisworkshopseries,forseveral years now the scope has been widened to include more general approaches to software model checking techniques and tools as well as applications. The SPIN workshop has become a forum for all practitioners and researchers interested in model checking based techniques for the validation and analysis of communication protocols and software systems. 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these act- ities are all well within its scope. Di erent blends of theory and practice are r- resented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and theemphasisonsoftwareisnotintendedtobeexclusive. 408 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4¿7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci cation and design, so that the most appropriate design tools are used at di erent points in the life-cycle. 560 pp. Englisch.

Buch. Condizione: Neu. Neuware -The experimental and theoretical investigation of nuclei far from the valley of beta-stability is the main subject of modern nuclear structure research. Although the most successful nuclear structure models are purely phenomenological, they nevertheless exploit basic properties of QCD at low energies. This book focuses on the current efforts to bridge the gap between phenomenology and the principles derived from QCD using the extended density functional approach which is based on the successful DFT methods to tackle similarly complex interacting systems in molecular and condensed matter physics. Conceived as a series of pedagogical lectures, this volume addresses researchers in the field as well as postgraduate students and non-specialized scientists from related areas who seek a high-level but accessible introduction to the subject. 392 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 16th IFIP TC6/WG6.1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2004). This conference was held at St Anne¿s College, Oxford, UK, from March 17 to March 19, 2004. TestCom 2004 was the sixteenth in a series of IFIP-sponsored events that started in 1988. The previous events were held in Vancouver, Canada (1988); B- lin, Germany (1989); McLean, USA (1990); Leidschendam, Netherlands (1991); Montreal, Canada (1992); Pau, France (1993); Tokyo, Japan (1994); Evry, France (1995); Darmstadt, Germany (1996); Cheju Island, Korea (1997); Tomsk, R- sia (1998); Budapest, Hungary (1999); Ottawa, Canada (2000); Berlin, Germany (2002); and Sophia Antipolis, France (2003). TestCom was not held in 2001 since at this point the conference moved from autumn to spring. TestCom 2004 was organized by Brunel University, UK and LSR-IMAG, France and was sponsored by IFIP. Support was also provided by the Engineering and Physical Sciences Research Council (EPSRC). We are grateful to the keynote speaker, Prof. Sir Tony Hoare, FRS, and our invited speakers for agreeing to address TestCom 2004.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -From the Reviews:'Gihman and Skorohod have done an excellent job of presenting the theory in its present state of rich imperfection.'D.W. Stroock in Bulletin of the American Mathematical Society, 1980'To call this work encyclopedic would not give an accurate picture of its content and style. Some parts read like a textbook, but others are more technical and contain relatively new results. . The exposition is robust and explicit, as one has come to expect of the Russian tradition of mathematical writing. The set when completed will be an invaluable source of information and reference in this ever-expanding field.'K.L. Chung in American Scientist, 1977'The dominant impression is of the authors' mastery of their material, and of their confident insight into its underlying structure.'J.F.C. Kingman in Bulletin of the London Mathematical Society, 1977Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -From the Reviews:'Gihman and Skorohod have done an excellent job of presenting the theory in its present state of rich imperfection.'D.W. Stroock in Bulletin of the American Mathematical Society, 1980'To call this work encyclopedic would not give an accurate picture of its content and style. Some parts read like a textbook, but others are more technical and contain relatively new results. . The exposition is robust and explicit, as one has come to expect of the Russian tradition of mathematical writing. The set when completed will be an invaluable source of information and reference in this ever-expanding field'K.L. Chung in American Scientist, 1977'The dominant impression is of the authors' mastery of their material, and of their confident insight into its underlying structure. .'J.F.C. Kingman in Bulletin of the London Mathematical Society, 1977Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Constructible and perverse sheaves are the algebraic counterpart of the decomposition of a singular space into smooth manifolds, a great geometrical idea due to R. Thom and H. Whitney. These sheaves, generalizing the local systems that are so ubiquitous in mathematics, have powerful applications to the topology of such singular spaces (mainly algebraic and analytic complex varieties).This introduction to the subject can be regarded as a textbook on modern algebraic topology, treating the cohomology of spaces with sheaf (as opposed to constant)coefficients.The first 5 chapters introduce derived categories, direct and inverse images of sheaf complexes, Verdier duality, constructible and perverse sheaves, vanishing and characteristic cycles. They also discuss relations to D-modules and intersection cohomology. Later chapters apply this powerful tool to the study of the topology of singularities, polynomial functions and hyperplane arrangements.Some fundamental results, for which excellent sources exist, are not proved but just stated and illustrated by examples and corollaries. In this way, the reader is guided rather quickly from the basic theory to current research questions, supported in this by examples and exercises.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Condizione: Neu. Neuware -Multimedia Systems discusses the basic characteristics of multimedia operating systems, networking and communication, and multimedia middleware systems. The overall goal of the book is to provide a broad understanding of multimedia systems and applications in an integrated manner: a multimedia application and its user interface must be developed in an integrated fashion with underlying multimedia middleware, operating systems, networks, security, and multimedia devices.Fundamental characteristics of multimedia operating and distributed communication systems are presented, especially scheduling algorithms and other OS supporting approaches for multimedia applications with soft-real-time deadlines, multimedia file systems and servers with their decision algorithms for data placement, scheduling and buffer management, multimedia communication, transport, and streaming protocols, services with their error control, congestion control and other Quality ofService aware and adaptive algorithms, synchronization services with their skew control methods, and group communication with their group coordinating algorithms and other distributed services.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Buch. Condizione: Neu. Neuware -The volume Stochastic Processes by K. Itö was published as No. 16 of Lecture Notes Series from Mathematics Institute, Aarhus University in August, 1969, based on Lectures given at that Institute during the academie year 1968 1969. The volume was as thick as 3.5 cm., mimeographed from typewritten manuscript and has been out of print for many years. Since its appearance, it has served, for those abIe to obtain one of the relatively few copies available, as a highly readable introduetion to basic parts of the theories of additive processes (processes with independent increments) and of Markov processes. It contains, in particular, a clear and detailed exposition of the Lévy-It ö decomposition of additive processes. Encouraged by Professor It ó we have edited the volume in the present book form, amending the text in a number of places and attaching many footnotes. We have also prepared an index. Chapter 0 is for preliminaries. Here centralized sums of independent ran dom variables are treated using the dispersion as a main tooI. Lévy's form of characteristic functions of infinitely divisible distributions and basic proper ties of martingales are given. Chapter 1 is analysis of additive processes. A fundamental structure the orem describes the decomposition of sample functions of additive processes, known today as the Lévy-Itó decomposition. This is thoroughly treated, as suming no continuity property in time, in a form close to the original 1942 paper of Itó, which gave rigorous expression to Lévy's intuitive understanding of path behavior.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -It is the aim of this book to describe in concise form our present theoretical understanding of the nuclear many-body problem. The presen tation of the enormous amount of material that has accumulated in this field over the last few decades may be divided into two broad categories: One can either concentrate on the physical phenomena, such as the single-particle excitations, rotations, vibrations, or large-amplitude collec tive motion, and treat each of them using a variety of theoretical methods; or one may stress the methodology and technical aspects of the different theories that have been used to describe the nucleus. We have chosen the second avenue. The structure of this book is thus dictated by the different methods used-Hartree-Fock theory, time-dependent Hartree-Fock the ory, generator coordinates, boson expansions, etc. -rather than by the physical subjects. Many of the present theories have, of course, already been presented in other textbooks. In order to be able to give a more rounded picture, we shall either briefly review such topics (as in the case of the liquid drop or the shell model) or try to give more updated versions (as in the cases of rotations or the random phase approximation). Our essential aim, however, is to present the more modern theories-such as boson expansions, genera tor coordinates, time-dependent Hartree-Fock, semiclassical theories, etc. -which have either never been seen, or at best had little detailed treat ment in, book form.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 736 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Entropy is a concept which appears in several fields and it is in the center of interest both in mathematical and physical subjects, sometimes even at other places, for example in communication engineering. The birthplace of quantum entropy was in quantum statistical mechanics. Quantum entropy is not a single concept but rather a family of notions which started with the von Neumann entropy of a density matrix and has developed in a number of directions. The heritage of quantum entropies from quantum mechanics is their strong relation to Hilbert space. This book begins with the entropy of a state and through the entropy of coarse graining it proceeds to the quantum dynamical entropy. A bunch of topics shows the direct physical relevance of the entropy methods. The math ematical formalism is based on operator theory and mostly the language of operator algebras is used. The use of the concepts and methods of functional analysis not only makes the theory of quantum entropy more uniform and lu cid, but it essentially simplifies and extends it. A comprehensive presentation without these elements would not be possible.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Buch. Condizione: Neu. Neuware -Inverse Projection is a method for estimating accurate demographic indicators of a population where vital registration data are available, but population censuses are lacking or unreliable. The book offers an overview of the present state of methodological development in the field of inverse projection techniques. In the various chapters of the book, leading experts in demography and related fields review the method, discuss recent extensions, test performances, and stress differences of the various procedures. The book is intended for all scientists who are interested in the reconstruction of demographic scenarios in particular situations, with specific kinds of data, as well as for statisticians and mathematicians who are attracted by this fascinating field of application.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year¿s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems. 692 pp. Englisch.

Buch. Condizione: Neu. Neuware -In Stability of Life on Earth, Professor Kondratyev and his team show that the concept of biotic regulation is of fundamental importance in solving a wide range of environmental and other problems. They put forward a new approach to the solution of old environmental problems. Beginning with a look at the geographic environment and structural units within it, they show that ecosystems represent a set of homogeneous, closely-correlated communities of organisms and their environment. Biologists call such correlated communities ¿biogeocenoses¿, and they are similar to the corporate structures in economic systems and interact competitively with each other. On the basis of competitive interaction in the biosphere, self-organisation and management take place. The authors show how human economic activity perturbed balances in natural biogeochemical cycles, eliminating and strongly modifying natural land cover, the 20th Century being the time when human activities ¿collided¿ with Nature. They consider scientific bases for the stability and sustainability of life, and demonstrate how the scale and intensity of human-induced destruction of Nature and resultant feedback mechanisms have continuously expanded. They consider the likelihood of increasing numbers of natural disasters as a result of such activities, and propose that sustainable development should become a principal research topic during the 21st Century.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Buch. Condizione: Neu. Neuware -Evolutionary computation, a broad field that includes genetic algorithms, evolution strategies, and evolutionary programming, has proven to offer well-suited techniques for industrial and management tasks - therefore receiving considerable attention from scientists and engineers during the last decade. This monograph develops and analyzes evolutionary algorithms that can be successfully applied to real-world problems such as robotic control. Although of particular interest to robotic control engineers, Evolutionary Computations also may interest the large audience of researchers, engineers, designers and graduate students confronted with complicated optimization tasks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Buch. Condizione: Neu. Neuware -Respiratory failure is a complex disease process whereby the underlying disease and therapeutic measures interact. This book contains an extensive bibliographic review, focusing on preventive and therapeutic studies, that was methodologically standardized, with authors assessing and classifying studies according to statutes of evidence-based medicine. It considers the epidemiology and outcome of mechanical ventilation; addresses ventilator modes and utility of pulmonary mechanics monitoring for treatment; analyzes physiologic effect and patient-outcomes of pulmonary recruitment and lung protective ventilation procedures; describes complications that can be present in these patients such as ventilator-associated pneumonia and useful methods to prevent respiratory infections; covers the impact of bronchodilators, corticosteroids, and antibiotics in acute exacerbation of chronic obstructive pulmonary disease; discusses how, when, and in whom to do tracheostomy; and evaluates the use of sedation and neuromuscular blockade as well as current clinical trials in acute lung injury.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.