Springer springer jun 2003 (374 risultati)

Buch. Condizione: Neu. Neuware - This book is about model-based diagnosis of a class of discrete-event systems called active systems. Roughly, model-based diagnosis is the task of finding out the faulty components of a physical system based on the observed behavior and the system model. An active system is the abstraction of a physical artefact that is modeled as a network of com municating automata. For example, the protection apparatus of a power transmission network can be conveniently modeled as an active system, where breakers, protection devices, and lines are naturally described by finite state machines. The asynchronous occurrence of a short circuit on a line or a bus-bar causes the reaction of the protection devices, which aims to isolate the shorted line. This reaction can be faulty and several lines might be eventually isolated, rather than the shorted line only. The diagnostic problem to be solved is uncovering the faulty devices based the visible part of the reaction. Once the diagnosis task has been on accomplished, the produced results are exploited to fix the apparatus (and also to localize the short circuit, in this sample case). Interestingly, the research presented in this book was triggered a decade ago by a project 011 short circuit localization, conducted by ENEL, the Italian electricity board, along with other industrial and academic European partners.…

Taschenbuch. Condizione: Neu. Neuware - The refereed proceedings of the International Conference on Business Process Management, BPM 2003, held in Eindhoven, The Netherlands, in June 2003.The 25 revised full papers presented together with an introductory survey article were carefully reviewed and selected from 77 submissions. Among the issues addressed are Web services, workflow modeling, business process modeling, collaborative computing, computer-supported collaborative work, workflow patterns, business process engineering, business process patterns, workflow systems, Petri nets, process services, business process reengineering, and business process management tools.…

Taschenbuch. Condizione: Neu. Neuware -Bauernregeln beruhen auf den Naturbeobachtungen unserer Vorfahren und erlauben manchmal erstaunlich genaue Wettervorhersagen. Horst Malberg nimmt über 400 dieser Wetterregeln unter die Lupe und vergleicht sie mit den Wetterbeobachtungen der Meteorologen. Wie zuverlässig sind Bauernregeln für die Wetterprognose Lassen sie sich naturwissenschaftlich erklären Locker und verständlich erfährt der Leser zugleich viel Wissenswertes über die heutige Meteorologie.Der Autor ist im Bereich Meteorologie in Forschung und Lehre als Professor tätig und durch Rundfunk und Fernsehen bekannt. 268 pp. Deutsch.…

Buch. Condizione: Neu. Neuware - In this book, John Hunt and Chris Loftus take you through the core technologies that make up the Enterprise Edition of the Java 2 platform (J2EE). They cover all the aspects of J2EE that both professionals and students need to know to build multi-tier enterprise applications in Java - the technologies, the design methodology and design patterns. Whether you are a professional or student, this book will help equip you with the skills you need to build enterprise wide applications in Java. Key Topics Includes design issues using J2EE patterns Covers all parts of the enterprise application J2EE Uses an integrated example that spans the chapters to be built up by the reader More accessible and less daunting than a lot of the competition A coherent whole, rather than independent separate chapters (as with some rivals) Features and Benefits Provides an overview of J2EE technologies and their benefits. Discusses architectural design issues using J2EE patterns. Looks at the issues of designing and building multi-tier J2EE applications. Includes fully worked examples, built up throughout the book, which enable you to quickly develop your own multi-tier applications. About the Authors: Dr. John Hunt is Technical Director at JayDeeTechnology Ltd. He runs industrial courses, including server-side Java technologies. He also leads development projects for government and blue chip organisations using Java, J2EE, XML and C#. Chris Loftus is a Teaching Fellow at the Department of Computer Science at the University of Wales, Aberystwyth. He has taught Java-based courses, including J2EE, both in university and industry.…

Buch. Condizione: Neu. Neuware - The yearbook Zutot serves as a platform for small but incisive contributions, and provides them with a distinct context. The substance of these contributions is derived from larger perspectives and, though not always presented in an exhaustive way, will have an impact on contemporary discussions.…

Buch. Condizione: Neu. Neuware - C.O.OKIDl1 I welcome the opportunity to prepare a Foreword to the book on Environmental Policy and Law in Africa, edited by Kevin R. Gray and Beatrice Chaytor. It is a pleasure to do that because the book is a contribution to the cause of capacity building for development and implementation of environmental law in Africa, a goal towards which I have had an undivided focus over the last two decades. There is still some belief in and outside Africa that for developing countries in general, and Africa in particular, development and implementation of environmental law is not a priority. This belief prevails strongly in many quarters of the industrialised countries. In fact, the view is held either out of blatant ignorance or by some renegade industrialists who fail to appreciate Michael Royston's 1979 thesis that Pollution Prevention Pays.2 That group, for obvious reasons, must have their correspondent counterparts in Africa to provide hope that industries rejected as derelict in the West or inoperable due to rigorous environmental regulation, can find homes to which they can escape and dump their polluting industries.…

Buch. Condizione: Neu. Neuware - In the closing decade of the last century, we saw warnings that infectious diseases will require much more attention from patients and physicians in the 21 st century. Recently d- covered diseases such as AIDS pose a major threat to the population at large, and to that threat has been added the re-emergence of established pathogens, microbes that were re- ily treatable in the past. Since infectious diseases already play a major role in the burden of illness and mortality, health care providers and planners are worried. A large proportion of the problem is man-made, arising mainly from the unnecessary overuse of antimicrobials in hospital and community settings and from the agricultural misuse of the agents in animal feed. A consequence has been a dramatic increase in resi- ant strains of bacteria that were considered conquerable several decades ago. Community infections caused by multi-resistant pneumococci serve as an example. These organisms were readily treated with penicillin, but now the spread of penicillin-resistant Streptococcus pneumoniae from continent to continent is becoming a worldwide problem. This is a major concern because pneumococcal infections are common in the community, being the le- ing cause of pneumonia, sinusitis, and meningitis. Resistant bacteria in hospitals are also becoming more prevalent. We have become accustomed to hearing about methicill- resistant Staphylococcus aureus (MRSA) and vancomycin-resistant enterococci (VRE), but now we have to be concerned about multidrug-resistant coliform bacteria and pseudomonads.…

Buch. Condizione: Neu. Neuware - A comprehensive collection of papers on theoretical aspects of electronic processes in simple and synthetic metals, superconductors, bulk and low-dimensional semiconductors under extreme conditions, such as high magnetic and electric fields, low and ultra-low temperatures. The main emphasis is on low-dimensional conductors and superconductors, where correlated electrons, interacting with magnetic or nonmagnetic impurities, phonons, photons, or nuclear spins, result in a variety of new physical phenomena, such as quantum oscillations in the superconducting state, Condon instability, Skyrmions and composite fermions in quantum Hall effect systems, and hyperfine field-induced mesoscopic and nanoscopic phenomena. Several new experimental achievements are reported that promise to delineate future trends in low temperature and high magnetic field physics, including the experimental observation of the interplay between superconductivity and nuclear spin ordering at ultra-low temperatures, new observations of Condon domains in normal metals, and an experimental proposal for the realisation of isotopically engineered, semiconductor-based spin-qubit elements for future quantum computation and communication technology.…

Buch. Condizione: Neu. Neuware - In addition to filling a need within the field of parental behaviorthis book contributes importantly to the growing area of emotional andmotivational neuroscience. A major part of neuroscience research atthe whole organism level has been focused on cognitive neurosciencewith an emphasis on the neurobiology of learning and memory, but therehas been a recent upsurge in research which is attempting to definethe neural basis of basic motivational and emotional systems whichregulate such behaviors as food intake, aggression, reproductionreward-seeking behaviors, and anxiety-related behaviors.In this book the emphasis is on the research findings obtained fromrodents, sheep and primates. The authors' goal, of course, was toprovide a foundation that may help us understand the neurobiology ofhuman parental behavior. Indeed, the last chapter attempts tointegrate the non-human research data with some human data in order tomake some inroads toward an understanding of postpartum depressionchild abuse, and child neglect. Clearly, motivational and emotionalneuroscience has close ties to psychiatry, and this connection will bevery evident in the final chapter. By understanding the neurobiologyof parental behavior we are also delving into neurobiological factorswhich may have an impact on core human characteristics involved insociality, social attachment, nurturing behavior, and love. In thisvery violent world, it is hard to conceive of a group ofcharacteristics that are more worthy of study.…

Taschenbuch. Condizione: Neu. Neuware -Das Buch ist eine Einführung in die Programmiersprache Java. In den ersten Kapiteln werden die Grundlagen behandelt: Klassen, Objekte, Interfaces und Pakete. Weitere Kapitel befassen sich mit Benutzeroberflächen, der Ausnahmebehandlung, der Threadprogrammierung, Javas Sicherheitsmechanismen und dem Aufruf entfernter Methoden. Alle Sprachkonstrukte und die verwendeten Klassen der Java-Standardbibliothek werden an Beispielen verdeutlicht. An die einzelnen Kapitel schließt sich eine Reihe von Übungsaufgaben an. Die kompletten Beispielprogramme und Lösungen zu den Übungen befinden sich auf der beiliegenden CD-ROM.In der 4. Auflage wurde die Behandlung des IO-Frameworks um das New IO API (NIO), das seit JDK 1.4 neben das streambasierte API tritt, erweitert. Einige Client/Server-Beispiele wurden auf NIO umgestellt. Bei der Ausnahmebehandlung wurde das neue Java-Sprachkonstrukt der Zusicherungen (assertions) ergänzt.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Bauernregeln beruhen auf den Naturbeobachtungen unserer Vorfahren und erlauben manchmal erstaunlich genaue Wettervorhersagen. Horst Malberg nimmt über 400 dieser Wetterregeln unter die Lupe und vergleicht sie mit den Wetterbeobachtungen der Meteorologen. Wie zuverlässig sind Bauernregeln für die Wetterprognose Lassen sie sich naturwissenschaftlich erklären Locker und verständlich erfährt der Leser zugleich viel Wissenswertes über die heutige Meteorologie.Der Autor ist im Bereich Meteorologie in Forschung und Lehre als Professor tätig und durch Rundfunk und Fernsehen bekannt.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Interfaces are geometrical objects modelling free or moving boundaries and arise in a wide range of phase change problems in physical and biological sciences, particularly in material technology and in dynamics of patterns. Especially in the end of last century, the study of evolving interfaces in a number of applied fields becomes increasingly important, so that the possibility of describing their dynamics through suitable mathematical models became one of the most challenging and interdisciplinary problems in applied mathematics. The 2000 Madeira school reported on mathematical advances in some theoretical, modelling and numerical issues concerned with dynamics of interfaces and free boundaries. Specifically, the five courses dealt with an assessment of recent results on the optimal transportation problem, the numerical approximation of moving fronts evolving by mean curvature, the dynamics of patterns and interfaces in some reaction-diffusion systems with chemical-biological applications, evolutionary free boundary problems of parabolic type or for Navier-Stokes equations, and a variational approach to evolution problems for the Ginzburg-Landau functional. 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Leading researchersin the field of Optimal Transportation, with different views and perspectives, contribute to this Summer School volume: Monge-Ampère and Monge-Kantorovich theory, shape optimization and mass transportation are linked, among others, to applications in fluid mechanics granular material physics and statistical mechanics, emphasizing the attractiveness of the subject from both a theoretical and applied point of view.Thevolume is designed to become a guide to researchers willing to enter into this challenging and useful theory. 180 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Bringing together a diverse group of contributors, this collection addresses the impact of transnational corporations on human rights. Topics covered include corporate social responsibility; the impact of corporations on internal conflicts, and codes of conduct. Case studies range from the negative effects of the Nigerian oil industry to the positive engagement by a logging company with the Nuu-chah-nulth people in Canada. The book uniquely combines the discussion of conceptual issues with an in-depth examination of specific corporations and industries. 223 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The assessment and management of rheumatic diseases is challenging and many doctors are not confident of their abilities in this area. Those who want to rapidly learn the essentials of modern clinical rheumatology willfind all the practical advice and information they need in this text. Written for senior house officers and residents in general (internal) medicine, health professionals in rheumatology, primary care doctors and medical students will also find it useful:Up-to-date information about new therapiesEssentials of common and uncommon rheumatic diseases listedPractical advice on selecting appropriate tests, drug prescribing and patient informationPatient-centred approach to managementUseful rheumatology websites listedAll you need in one handy pocket-sized resource 128 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Agents in multiagent systems are concurrent autonomous entities that need to coordinate and to cooperate so as to perform their tasks; these coordination and cooperation tasks might be achieved through communication. Communication, also called interaction by some authors, thus represents one of the major topics in multiagent systems.The state of the art of research on communication in multiagent systems is presented in this book. First, three seminal papers by Cohen and Perrault, by Singh, and by Davis and Smith present background information and introduce the newcomer to the area. The main part of the book is devoted to current research work dealing with agent communication, communication for coordination and argumentation, protocols, and dialogue games and conversational agents. Finally, the last paper deals with the future of agent communication. 336 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In a clear exposition this inspirational book shows the in situ three-dimensional morphology of cerebellar neurons, intracortical circuits and synaptic connections that underpin the functioning of cerebellar neurons in networks. It brings together in one volume a new view of the three-dimensional cytoarchitectonic arrangement of the cerebellar cortex. The book shows the cerebellar extrinsic and intrinsic intracortical circuits formed by mossy and climbing fibers as exposed by the cryofracture methods. The high degree of lateral collateralization of these fibers is also displayed providing new insights on the information processing in the cerebellar cortex. Besides, field emission high resolution electron microscopy shows its potential contribution to the study of synaptic morphology. The concluding chapter deals with the contribution of scanning electron microscopy to cerebellar neurobiology. This monograph is an authoritative survey and a must for anyone who is interested in the structure of the central nervous system. It will also appeal to an interdisciplinary audience who wants to learn more about electron microscopy and neurocytology. 156 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -At the Summer School Saint Petersburg 2001, the main lecture courses bore on recent progress in asymptotic representation theory: those written up for this volume deal with the theory of representations of infinite symmetric groups, and groups of infinite matrices over finite fields; Riemann-Hilbert problem techniques applied to the study of spectra of random matrices and asymptotics of Young diagrams with Plancherel measure; the corresponding central limit theorems; the combinatorics of modular curves and random trees with application to QFT; free probability and random matrices, and Hecke algebras. 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed proceedings of the 6th International Symposium on Self-Stabilizing Systems, SSS 2003, held in San Francisco, CA, USA, in June 2003.The 15 revised full papers presented were carefully reviewed and selected from 27 submissions. The papers address self-stabilization issues for various types of systems and software including communication protocols, sensor networks, biological systems, and directed networks; several new algorithms are presented. 232 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Component-based software development, CBSD, is no longer just one more new paradigm in software engineering, but is effectively used in development and practice. So far, however, most of the efforts from the software engineering community have concentrated on the functional aspects of CBSD, leaving aside the treatment of the quality issues and extra-functional properties of software components and component-based systems.The 16 revised chapters presented were carefully reviewed and selected for inclusion in the book; together with an introductory survey, they give a coherent and competent survey of the state of the art in the area. The book - the first to focus on quality issues of components and component-based systems - is organized in topical parts on COTS selection, testing and certification, software component quality models, formal models to quality assessment, and CBSD management. 420 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Symposium on Smart Graphics 2003 was held on July 2-4, 2003 in Heidelberg, Germany. It was the fourth event in a series that started in 1999 as an AAAI Spring Symposium. In response to the overwhelming success of the 1999 symposium, its organizers decided to turn it into a self-contained event in2000. WiththesupportofIBM,the rsttwoInternationalSymposiaonSmart Graphics were held at the T. J. Watson Research Center in Hawthorne, NY. The 2003 symposium was supported by the Klaus Tschira Foundation and moved to the European Media Lab in Heidelberg, thus underlining the international character of the Smart Graphics enterprise and its community. The core idea behind these symposia is to bring together researchers and practitioners from the eld of computer graphics, arti cial intelligence, cog- tive psychology, and ne art. Each of these disciplines contributes to what we mean by the term 'Smart Graphics': the intelligent process of creating expr- sive and esthetic graphical presentations. While artists and designers have been creating communicative graphics for centuries, arti cial intelligence focuses on automating this process by means of the computer. While computer graphics provides the tools for creating graphical presentations in the rst place, cog- tive sciences contribute the rules and models of perception necessary for the design of e ective graphics. The exchange of ideas between these four discip- nes has led to many exciting and fruitful discussions, and the Smart Graphics Symposia draw their liveliness from a spirit of open minds and the willingness to learn from and share with other disciplines. 256 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The author emphasizes a non-uniform ellipticity condition as the mainapproach toregularity theory for solutions of convex variational problems with different types of non-standard growth conditions.This volume first focuses on elliptic variational problems with linear growth conditions. Here the notion of a 'solution' is not obvious and the point of view has to be changed several times in order to get some deeper insight. Then the smoothness properties of solutions to convex anisotropic variational problems with superlinear growth are studied. In spite of thefundamental differences, a non-uniform ellipticity condition serves as the main tool towards a unified view of the regularity theory for both kinds of problems. 232 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking. 480 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The refereed proceedings of the 14th Annual Symposium on Combinatorial Pattern Matching, CPM 2003, held in Morelia, Michoacán, Mexico in June 2003.The 28 revised full papers presented were carefully reviewed and selected from 57 submissions. The papers are devoted to current theoretical and computational aspects of searching and matching strings and more complicated patterns, such as trees, regular expressions, graphs, point sets, and arrays. Among the application fields addressed are computational biology, bioinformatics, genomics, the Web, data compression, coding, multimedia, information retrieval, pattern recognition, and computer vision. 420 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the 'best' design. This follows a similar competition at the SAM 2002 workshop (papers published in LNCS 2599). The winning entry from SAM 2002 is described in the last paper in this volume. The SDL Forum was rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci cation and Descr- tion Language rst standardized in the 1976 Orange Book of the International Telecommunication Union (ITU). From the start this graphical CEFSM (communicating extended nite state machines) notation was used both to describe the implementation of systems and to specify systems (especially protocol systems in standards). In the early days both types of description were quite informal, though speci cations were certainly more formal than the main alternative: natural languagewith some ad hoc gures. Implementations were usually written in assembly language, which is at too low a level to reason well about the interaction between communic- ing agents within a system. In this case the notation provided an intermediate description that gave an overview of how the implementation worked, and often the actual logical development was done at the graphical level with hand coding of that description. 424 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The refereed proceedings of the 6th International Conference on Developments in Language Theory, DLT 2002, held in Kyoto, Japan in September 2002. The 28 revised full papers presented together with 8 invited papers were carefully reviewed and selected from 63 submissions. Among the topics addressed are grammars and acceptors for strings, graphs, arrays, etc; efficient algorithms for languages; combinatorial and algebraic properties of languages; decision problems; relations to complexity theory, logic picture description and analysis, DNA computing, cryptography, concurrency, quantum computing, and algebraic systems. 448 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers collected in this volume reproduce contributions by leading sch- arstoaninternationalschoolandworkshopwhichwasorganizedandheldwith thegoaloftakinga snapshotofadiscipline undertumultuous growth. Indeed, the area of protein folding, docking and alignment is developing in response to needs for a mix of heterogeneous expertise spanning biology, chemistry, mathematics, computer science, and statistics, among others. Some of the problems encountered in this area are not only important for the scienti c challenges they pose, but also for the opportunities they disclose intermsofmedicalandindustrialexploitation. Atypicalexampleiso eredby protein-drug interaction (docking), a problem posing daunting computational problems at the crossroads of geometry, physics and chemistry, and, at the same time, a problem with unimaginable implications for the pharmacopoeia of the future. The schoolfocused on problems posed by the study of the mechanisms - hind protein folding, and explored di erent ways of attacking these problems under objective evaluations of the methods. Together with a relatively small core of consolidated knowledge and tools, important re ections were brought to this e ort by studies in a multitude of directions and approaches. It is obviously impossible to predict which, if any, among these techniques will prove completely successful, but it is precisely the implicit dialectic among them that best conveys the current avor of the eld. Such unique diversity and richness inspired the format of the meeting, and also explains the slight departure of the present volume from the typical format in this series: the exposition of the current sediment is complemented here by a selection of quali ed specialized contributions. 184 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed proceedings of the 4th IAPR International Workshop on Graph-Based Representation in Pattern Recognition, GbRPR 2003, held in York, UK in June/July 2003.The 23 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on data structures and representation, segmentation, graph edit distance, graph matching, matrix methods, and graph clustering. 284 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Quantum maps are presented with special emphasis on their physical origin. They represent a testing ground for understanding concepts in quantized chaotic systems. The book teaches the modern mathematical methods from analytic and algebraic number theory as applied to quantum maps. It gives a broad and in-depth overview of the mathematical problems arising in this area. Also treated are the numerical aspects in quantum chaossuch aseigenvalue and eigenfunctions computations for chaotic quantum systems. The book addresses scientists and advanced students in mathematics and mathematical physics. 184 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Intended as a companion for textbooks in mathematical methods for science and engineering, this book presents a large number of numerical topics and exercises together with discussions of methods for solving such problems using Mathematica(R). The accompanying CD contains Mathematica Not Elektronisches Buch for illustrating most of the topics in the text and for solving problems in mathematical physics. Although it is primarily designed for use with the author's 'Mathematical Methods: For Students of Physics and Related Fields,' the discussions in the book sufficiently self-contained that the book can be used as a supplement to any of the standard textbooks in mathematical methods for undergraduate students of physical sciences or engineering. 256 pp. Englisch.…