Springer jun 2003 (374 Ergebnisse)

Buch. Zustand: 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. Zustand: 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.…

Taschenbuch. Zustand: 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.…

Buch. Zustand: Neu. Neuware.

Buch. Zustand: 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. Zustand: Neu. Neuware - This is a practitioner's guidebook presenting steps to assessing and treating a problem that borders on health and psychology. It is an invaluable resource for psychologists, nurses, physicians, and allied health professionals and all those who deal with sufferers of chronic sleep problems.…

Buch. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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.…

Buch. Zustand: 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. Zustand: 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.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Is there one global culture of schooling, or many national and local cultures Do educational reforms take school systems on diverging or parallel paths These case studies from five continents use ethnography and history to challenge the sweeping claims of sociology's world culture theory (neo-institutionalism). They demonstrate how national ministries of education and local schools re-invent every reform. Yet the cases also show that teachers and local reformers operate 'within and against' global models. Anthropologists need to recognize the global presence in local schooling as well as local transformation of global models. This is a collection that scholars in the field of the anthropology of education will not want to be without. 263 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The refereed proceedings of the 9th International Conference on User Modeling, UM 2003, held in Johnstown, PA, USA in June 2003.The 20 revised full papers and 28 revised poster papers presented together with 12 abstracts were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on adaptive hypermedia, adaptive Web, natural language and dialogue, plan recognition, evaluation, emerging issues of user modeling, group modeling and cooperation, applications, student modeling, learning environments - natural language and paedagogy, and mobile and ubiquitous computing. 456 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the joint International Conference on Artificial Neural Networks and International Conference on Neural Information Processing, ICANN/ICONIP 2003, held in Istanbul, Turkey, in June 2003.The 138 revised full papers were carefully reviewed and selected from 346 submissions. The papers are organized in topical sections on learning algorithms, support vector machine and kernel methods, statistical data analysis, pattern recognition, vision, speech recognition, robotics and control, signal processing, time-series prediction, intelligent systems, neural network hardware, cognitive science, computational neuroscience, context aware systems, complex-valued neural networks, emotion recognition, and applications in bioinformatics. 1244 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Commercially available chemicals used for patch testing are the main focus of this book.It is the first book which provides a short and concise explanation to physicians, patients, and employees on how to minimize allergic contact dermatitis when patch testing is completed. The second book of this mini-series, 'Patch testing and Prick testing' covers the new standard of patch testing and prick testing procedures in an efficient and practical way. Both of these well-structured books should not be missed by any physician in daily practise when treating patients with dermatological problems. 136 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development. 296 pp. Englisch.…

Taschenbuch. Zustand: 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. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -OrthogonalPolynomialsandSpecialFunctions(OPSF)is a veryoldbranchof mathematics having a very rich history. Many famous mathematicians have contributed to the subject: Euler s work on the gamma function, Gauss s and Riemann s work onthe hypergeometricfunctions andthe hypergeometric di erentialequation,Abel s andJacobi sworkonelliptic functions,andsoon. Usuallythespecialfunctionshavebeenintroducedto solveaspeci cproblem, and many of them occurred in solving the di erential equations describing a physical problem, e.g., the astronomerBessel introduced the functions named afterhiminhisworkonKepler sproblemofthreebodiesmovingundermutual gravitation. So the subject OPSF is very classical and there have been very interesting developments through the centuries, and there have been numerous appli- tions to various branches of mathematics, e.g. combinatorics, representation theory,numbertheory,andapplicationstophysicsandastronomy,suchasthe afore-mentioned classical physical problems, but also integrable systems, - tics,quantumchemistry,etcetera.SoOPSFiswell-established,andverymuch driven by applications. The advent of the computer, rst thought to be fatal to the subject, turned out to be a stimulus, rst of all because it allowedmore detailed computations requiring special numerical algorithms, but mainly - cause it led to automatic summation routines, notably the WZ-method (see Koepf s contribution). So OPSF is a very lively branch of mathematics. Since more advanced courses on OPSF seldom appear in the curriculum, we felt the need for such courses for young researchers (graduate students and post-docs). A series of European summer schools was started with one in Laredo, Spain (2000) and one in Inzell, Germany (2001). This book contains the notes for the lectures of the summer school in Belgium in 2002, which took place from August 12 16, 2002, at the Katholieke Universiteit Leuven, Belgium.In2003asummerschoolinOPSFwillbeheldinCoimbra,Portugal. 260 pp. Englisch. …