springer berlin heidelberg springer berlin heidelberg jun 2006 (48 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 revised full papers, 9 revised short papers, and 12 extended abstracts are presented together with 2 keynote papers and 2 tutorial papers. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, and psychological issues in comprehension, production and communication. 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The area of smart homes is fast developing as an emergent area which attracts the synergy of several areas of science. This volume offers a collection of contributions addressing how artificial intelligence (AI), one of the core areas of computer science, can bring the growing area of smart homes to a higher level of functionality where homes can truly realize the long standing dream of proactively helping their inhabitants in an intelligent way.After an introductory section to describe a smart home scenario and to provide some basic terminology, the following 9 sections turn special attention to a particular exemplar application scenario (provision of healthcare and safety related services to increase the quality of life) exploring the application of specific areas of AI to this scenario.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Biomedical Image Registration. The 20 revised full papers and 18 revised poster papers presented were carefully reviewed and selected for inclusion in the book. The papers cover all areas of biomedical image registration; methods of registration, biomedical applications, and validation of registration. 344 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) ve di erent continents and have been hosted by many of the most prominent people and organizations in the eld. The AMAST initiative has always sought to have practical e ects by dev- oping the science of software and basing it on a rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines. The truly distinguishing feature of AMAST is that it seeks rigorous mathematical developments, but always strives to link them to real technological applications. Our meetings frequently include industry-based participants and are a rare opportunity for mathematicians and mathema- callymindedacademicstointeracttechnicallywithindustry-basedtechnologists. Over the years AMAST has included industrial participants from organizations specializing in safety-critical (including medical) systems, transport (including aerospace), and security-critical systems, amongst others.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Welcome to the second International Workshop on Data Engineering Issues in E-Commerce and Services (DEECS 2006) in conjunction with the 8th IEEE Conference on E-Commerce Technology and the third IEEE Conference on Enterprise Computing, E-Commerce and E-Services. The purpose of the DEECS workshop is to provide an annual forum for exchange of state-of-the-art research and development in e-commerce and services. Since the increasing demand on e-commerce and services, we are witnessing a continuing growth of interest in the workshop. The increased number of submissions this year includes a record number from Asia. We received 47 papers: 6 from North/South America, 9 from Europe, and 32 from Asia. Of these, 15 regular papers and 8 short papers were accepted. The technical program reflects an increasing development of principles in service engineering, service-oriented architecture, data and knowledge engineering, and business models and analysis. It also reflects an increased emphasis on system and tool implementation, and applications to service practices, evidencing a maturation of the underlying principles.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the ninth official archival publication devoted to RoboCup, documenting presentations at the RoboCup 2005 International Symposium, held in Osaka, Japan, July 2005 alongside the RoboCup Competition. The book presents 34 revised full papers and 38 revised short papers together with two award-winning papers. This is a valuable source of reference and inspiration for those interested in robotics or distributed intelligence, and mandatory reading for the rapidly growing RoboCup community. 752 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 17th Annual Symposium on Combinatorial Pattern Matching, CPM 2006, held in Barcelona, Spain, July 2006. The book presents 33 revised full papers together with 3 invited talks, organized in topical sections on data structures, indexing data structures, probabilistic and algebraic techniques, applications in molecular biology, string matching, data compression, and dynamic programming. 432 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held in Turku, Finland in June 2006. The book presents 16 revised full papers and 6 revised tool papers together with 4 invited papers. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed. 460 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Aspects in Information and Management, AAIM 2006, held in Hong Kong, June 2006. The book presents 34 revised full papers together with abstracts of 2 invited talks. The papers cover topics from areas such as online scheduling, game and finance, data structures and algorithms, computational geometry, optimization, graph, and string, and more. 412 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. Presents 10 revised full papers together with 5 invited papers contributed by outstanding researchers. Discusses core problems in measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, and more.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 ¿ 21, 2006. Responding to the Call for Papers, we received 62 papers from 20 different countries, representing six different continents. This clearly indicates the international nature of the ICCS community as well as the widespread interest which was spawned by the previous conferences. By a thorough review process, 24 papers were selected to be included in this volume. In addition, six invited speakers made contributions which can be found in the first section of this volume. The theme of ICCS 2006¿¿Conceptual Structures: Inspiration and Application¿¿ points to a dual focus of interest that is also reflected in the constellation of papers. From the beginning of the planning of this conference, we focused on inspirational sources that have led to the current state of research in our community, by tracing important historical influences which daily effect work in representing knowledge and in handling representations of conceptual structures. At the same time, we also focused on ways in which these legacies are employed to further advance theory and practice in the field of knowledge representation and processing. With this volume, we believe that a valuable contribution to both aspects of this field is being made. We wish to express our appreciation to all the authors of submitted papers, to the members of the Editorial Board and the Program Committee for all their work and valuable comments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Buch. Zustand: Neu. Neuware -This volume contains the edited lectures of the fourth Mittelwihr school on 'Magnetismand Synchrotron Radiation'. This series of events introduces graduate students andnonspecialists from related disciplines to the field of magnetism and magnetic materialswith emphasis on synchrotron radiation as an experimental tool of investigation. These lecture notes present in particular the state of the art regarding the analysis of magnetic properties of new materials.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.

Buch. Zustand: Neu. Neuware -Polysaccharide esters (e.g. cellulose and starch) are among the first polymeric materials applied commercially. The way of producing these technically relevant derivatives, mainly the carboxylic acid esters of C2 to C4 acids, have not been changed significantly during their history of manufacture. The investigation of new acylation methods and strategies of analysis was revived during the last decade by the search for tailored, biocompatible material for specific fields of application, e.g., biotechnology, sensor technique and medicine. Unconventional solvents were developed for completely homogeneous acylation reaction applying state of the art techniques of modern organic chemistry for polysaccharide modification. This book will provide a first comprehensive summary of acylation methods in a very practical manner.Detailed structure analysis is indispensable for the evaluation of structure-property-relationships. Spectroscopic methods in particular FTIR- and NMR spectroscopy including two dimensional methods are of increasing importance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume is the third and last of a series devoted to the lecture notes of the Grenoble Summer School on ¿Open Quantum Systems¿ which took place at the th th Institut Fourier from June 16 to July 4 2003. The contributions presented in this volumecorrespondtoexpanded versionsofthelecturenotesprovidedbytheauthors to the students of the Summer School. The corresponding lectures were scheduled in the last part of the School devoted to recent developments in the study of Open Quantum Systems. Whereas the rst two volumes were dedicated to a detailed exposition of the mathematical techniques and physical concepts relevant in the study of Open S- tems with noapriori pre-requisites, the contributions presented in this volume request from the reader some familiarity with these aspects. Indeed, the material presented here aims at leading the reader already acquainted with the basics in quantum statistical mechanics, spectral theory of linear operators,C -dynamical systems, and quantum stochastic differential equations to the front of the current research done on various aspects of Open Quantum Systems. Nevertheless, pe- gogical efforts have been made by the various authors of these notes so that this volume should be essentially self-contained for a reader with minimal previous - posure to the themes listed above. In any case, the reader in need of complements can always turn to these rst two volumes. The topics covered in these lectures notes start with an introduction to n- equilibrium quantum statistical mechanics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This is the rst in a series of three volumes dedicated to the lecture notes of the Summer School ¿Open Quantum Systems¿ which took place at the Institut Fourier in Grenoble from June 16th to July 4th 2003. The contributions presented in these volumes are revised and expanded versions of the notes provided to the students during the School. Closed vs. Open Systems By de nition, the time evolution of a closed physical systemS is deterministic. It is usually described by a differential equation x = X(x ) on the manifold M of t t possible con gurations of the system. If the initial con guration x M is known 0 then the solution of the corresponding initial value problem yields the con guration x at any future time t. This applies to classical as well as to quantum systems. In the t classical case M is the phase space of the system and x describes the positions and t velocities of the various components (or degrees of freedom) ofS at time t. Inthe quantum case, according to the orthodoxinterpretation of quantum mechanics, M is a Hilbert space and x a unit vector ¿ the wave function ¿ describing the quantum t state of the system at time t. In both cases the knowledge of the state x allows t to predict the result of any measurement made onS at time t.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware - This is the rst in a series of three volumes dedicated to the lecture notes of the Summer School 'Open Quantum Systems' which took place at the Institut Fourier in Grenoble from June 16th to July 4th 2003. The contributions presented in these volumes are revised and expanded versions of the notes provided to the students during the School. Closed vs. Open Systems By de nition, the time evolution of a closed physical systemS is deterministic. It is usually described by a differential equation x = X(x ) on the manifold M of t t possible con gurations of the system. If the initial con guration x M is known 0 then the solution of the corresponding initial value problem yields the con guration x at any future time t. This applies to classical as well as to quantum systems. In the t classical case M is the phase space of the system and x describes the positions and t velocities of the various components (or degrees of freedom) ofS at time t. Inthe quantum case, according to the orthodoxinterpretation of quantum mechanics, M is a Hilbert space and x a unit vector - the wave function - describing the quantum t state of the system at time t. In both cases the knowledge of the state x allows t to predict the result of any measurement made onS at time t.

Taschenbuch. Zustand: Neu. Neuware -The first two chapters of this book have been thoroughly revised and sig nificantly expanded. Sections have been added on elementary methods of in tegration (on homogeneous and inhomogeneous first-order linear equations and on homogeneous and quasi-homogeneous equations), on first-order linear and quasi-linear partial differential equations, on equations not solved for the derivative, and on Sturm's theorems on the zeros of second-order linear equa tions. Thus the new edition contains all the questions of the current syllabus in the theory of ordinary differential equations. In discussing special devices for integration the author has tried through out to lay bare the geometric essence of the methods being studied and to show how these methods work in applications, especially in mechanics. Thus to solve an inhomogeneous linear equation we introduce the delta-function and calculate the retarded Green's function; quasi-homogeneous equations lead to the theory of similarity and the law of universal gravitation, while the theorem on differentiability of the solution with respect to the initial conditions leads to the study of the relative motion of celestial bodies in neighboring orbits. The author has permitted himself to include some historical digressions in this preface. Differential equations were invented by Newton (1642-1727).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Buch. Zustand: Neu. Neuware -Consciousness is one of the major unsolved problems in science. How do the feelings and sensations making up conscious experience arise from the concerted actions of nerve cells and their associated synaptic and molecular processes Can such feelings be explained by modern science, or is there an entirely different kind of explanation needed And how can this seemingly intractable problem be approached experimentally How do the operations of the conscious mind emerge out of the specific interactions involving billions of neurons This multi-authored book seeks answers to these questions within a range of physically based frameworks, i.e, the underlying assumption is that consciousness can be understood using the intellectual potential of modern physics and other sciences. There are a number of theories of consciousness in existence, some of which are based on classical physics while some others require the use of quantum concepts. The latter ones have drawn a lot of criticism from the present-day scientific establishment while simultaneously claiming that classical approaches are doomed to failure. This book presents the reader with a spectrum of opinions from both sides of this on-going scientific debate, letting him/her decide which of these approaches are most likely to succeed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Buch. Zustand: Neu. Neuware -Fueled by the ongoing debate about the distributive effects of the Washington Consensus, the dynamics of poverty and inequality have returned to the center of attention of academic scholars, policymakers, and the public at large. The main obstacles to analyzing this issue are incomplete income and consumption data in developing countries. Hence, the book presents a new dynamic cross-survey microsimulation methodology and applies it to generate the database for a detailed case study on Bolivia during the era of structural reforms. Building upon this database, the dynamics of different dimensions of poverty and inequality in 1989 - 2002 are analyzed with various microeconomic tools. The empirical results suggest that in the case of Bolivia the impact of the Washington Consensus has neither lived up to the expectations of its proponents nor to the fears of its critics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, logics in computer science, semiotics, interface design, multimedia, and consciousness, to mention just some of the areas, have all been enriched in fundamental ways by his ideas.This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006. Both the Festschrift volume and the Symposium allow the articulation of a retrospective and prospective view of a range of related research topics by key members of the research community in computer science and other fields connected with Joseph Goguen's work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 700 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book gives a clearly structured, well-defined compendium of classifications and scores of the shoulder for use in everyday clinical life to improve and simplify the communication between physicians and physiotherapists.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Buch. Zustand: Neu. Neuware -The increasing awareness on the varied consequences of hypogonadism in distinct organs and systems has supported the notion of estrogens as systemic agents. This observation is congruent with the variety of tissues affected by - trogens when used in hormone therapy formulations on hypogonadic women. Apart from the genital tract and the breast, recognized as traditional targets for estrogens, the skeleton, the vascular tree, or the central nervous system, are good examples of territories that have demonstrated sensitivity to estrogens. This evidence has created great interest, as shown by the great amount of lit- ature that has been produced on the bene ts and risks associated with the use of estrogens. In parallel to the clinical interest, basic research has improved our kno- edge on the complexities involved in estrogen action at the molecular level. Together with effects mediated through speci c receptors, a concept that has been the mainstay of the interpretation of estrogen action for years, there is enough evidence to hold the notion of receptor-independent effects. The substantial advances in modern technology applied to research have helped in enlightening the particulars of this versatile action of estrogens. This more detailed knowledge on the sophisticated mechanism of action of estrogens has nourished the emergence of multiple hypotheses speculating with the p- sibility of manipulating estrogen action. The notion that a widely extended regulatory system of cell function, as it is the estrogen receptor machinery, might be modulated at wish has arisen as an attractive, although still elusive postulate.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book covers in a great depth the fast growing topic of tools, techniques and applications of soft computing (e.g., fuzzy logic, genetic algorithms, neural networks, rough sets, Bayesian networks, and other probabilistic techniques) in the ontologies and Semantic Web. How components of the Semantic Web (like the RDF, Description Logics, ontologies) can be covered with a soft computing focus is shown. The book aims to provide a single account of current studies in soft computing approaches to the ontologies and the Semantic Web. The objective of the book is to provide the state of the art information to researchers, practitioners, and graduate students of the Web intelligence, and at the same time serving the information technology professional faced with non-traditional applications that make the application of conventional approaches difficult or impossible.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Computers Helping People with Special Needs, ICCHP 2006, held in Linz, Austria, in July 2006. The 193 revised contributions presented were carefully reviewed and selected for inclusion in the book. The papers evaluate how various fields in computer science can contribute to helping people with various kinds of disabilities and impairment. 1424 pp. Englisch.

Buch. Zustand: Neu. Neuware -Therandom-clustermodelwasinventedbyCees[Kees]FortuinandPietKasteleyn around 1969 as a uni cation of percolation, Ising, and Potts models, and as an extrapolation of electrical networks. Their original motivation was to harmonize the series and parallel laws satis ed by such systems. In so doing, they initiated a study in stochastic geometry which has exhibited beautiful structure in its own right, and which has become a central tool in the pursuit of one of the oldest challenges of classical statistical mechanics, namely to model and analyse the ferromagnet and especially its phase transition. The importance of the model for probability and statistical mechanics was not fully recognized until the late 1980s. There are two reasons for this period of dormancy. Although the early publications of 1969¿1972 contained many of the basic properties of the model, the emphasis placed there upon combinatorial aspects may have obscured its potential for applications. In addition, many of the geometrical arguments necessary for studying the model were not known prior to 1980, but were developed during the ¿decade of percolation¿ that began 1 then. In 1980 was published the proof that p = for bond percolation on the c 2 square lattice, and this was followed soon by Harry Kesten¿s monograph on t- dimensionalpercolation. Percolationmovedintohigherdimensionsaround1986, and many of the mathematical issues of the day were resolved by 1989. Interest in the random-cluster model as a tool for studying the Ising/Potts models was rekindled around 1987.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Buch. Zustand: Neu. Neuware -(translation) I was interested by the development of a new edition of the book [1] ¿Die Grundstrukturen einer physikalischen Theorie.¿ This has been possible, in spite of my old age, thanks to the contributions of Dr. G. Thurler. Without his indefatigable support and his essential and fundamental propositions, this new edition would not have been possible. The new edition clari es and formulates more precisely the fundamental ideasofphysicaltheoriesinordertoavoidasmuchaspossibleanyambiguities. One begins theoretical physics with concepts that can be explained wi- out theories. Later, one introduces other concepts by theories known as ¿pre-theories.¿ Thus it does not make sense to introduce concepts such as ¿state¿ without a pre-theory. The eld of physics is thus determined by the basic concepts introduced without the use of pre-theories. Also, it does not make sense to speak about the position and speed of an electron at a xed time. ¿Reality¿ is not however only the reality which is described by physical concepts. Thus, for example, colors,tones, joy, hate, and love are not physical concepts. But the demarcation of the physical concepts, and thus the demarcation of the eld of physics makes it possible to know more clearly, and thus to describemoreclearlyinthe future,the structureof realitybeyondthe domain ofphysics.The eldoflifeandnotthatofdeathshouldbethegoalofmankind. Thus, I hope that this book can also become another small step for life.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Buch. Zustand: Neu. Neuware -This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Buch. Zustand: Neu. Neuware -It has become apparent that the genomes of many organisms are characterized by unique patterns of DNA methylation which can differ from genome segment to genome segment and cell type to cell type. These patterns can be instrumental in determining cell type and function. Thus, it is not surprising that studies on the role of DNA methylation now occupy center stage in many fields of biology and medicine such as developmental biology, genetic imprinting, genetic disease, tumor biology, gene therapy, cloning of organisms and others. Once again, basic research in molecular biology has provided the essential foundation for investigations of biomedical problems. 296 pp. Englisch.

Buch. Zustand: Neu. Neuware -Light and Light Sources gives an introduction to the working principles of high-intensity discharge (HID) lamps and points out challenges and problems associated with the development and operation of HID lamps. The state-of-the-art in electrode and plasma diagnostics as well as numerical methods used for the understanding of HID lamps are described. This volume addresses students as well as scientists and researchers at universities and in industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Stochastic hybrid systems involve the coupling of discrete (logic based), continuous and probabilistic phenomena. Because of their versatility and generality, methods for modelling and analysis of stochastic hybrid systems have proved invaluable in a wide range of applications, including finance, air traffic control, biology, telecommunications, and embedded systems. Success stories in these application areas have made stochastic hybrid systems a very important, rapidly growing and dynamic research field since the beginning of the century, bridging the gap between stochastic analysis, computer science and control engineering.This volume presents a number of fundamental theoretical advances in the area of stochastic hybrid systems, motivated primarily from applications to air traffic management. Air traffic is arguably the most challenging application area for stochastic hybrid systems, since it requires handling complex distributed systems, multiple human in the loop elements and hybrid dynamics. The editors have collected key contributions, which define the state-of-the-art, present novel directions, and highlight emerging application areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.