springer jun 2003 (125 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003.The 27 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 57 submissions. All current aspects in language theory are addressed, in particular grammars, acceptors, and transducers for strings, trees, graphs, arrays, etc; algebraic theories for automata and languages; combinatorial properties of words and languages; formal power series; decision problems; efficient algorithms for automata and languages; and relations to complexity theory and logic, picture description and analysis, DNA computing, quantum computing, cryptography, and concurrency. 456 pp. Englisch.

Taschenbuch. Zustand: Neu. 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.This book presents the state of the art of research on communication in multiagent systems. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002.The 28 revised full papers presented together with an invited paper and 4 short papers were carefully selected during two rounds of reviewing and revision. The topics addressed range from theoretical and methodological issues to automata applications in software engineering, natural language processing, speech recognition, and image processing, to new representations and algorithms for efficient implementation of automata and related structures. 324 pp. Englisch.

Taschenbuch. Zustand: Neu. 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.This book is the first one focusing on quality issues of 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 is organized in topical parts on COTS selection, testing and certification, software component quality models, formal models to quality assessment, and CBSD management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Tenth LMS-EPSRC Numerical Analysis Summer School was held at the University of Durham, UK, from the 7th to the 19th of July 2002. This was the second of these schools to be held in Durham, having previously been hosted by the University of Lancaster and the University of Leicester. The purpose of the summer school was to present high quality instructional courses on topics at the forefront of numerical analysis research to postgraduate students. The speakers were Franco Brezzi, Gerd Dziuk, Nick Gould, Ernst Hairer, Tom Hou and Volker Mehrmann. This volume presents written contributions from all six speakers which are more comprehensive versions of the high quality lecture notes which were distributed to participants during the meeting. At the time of writing it is now more than two years since we first contacted the guest speakers and during that period they have given significant portions of their time to making the summer school, and this volume, a success. We would like to thank all six of them for the care which they took in the preparation and delivery of their material.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The thoroughly refereed postproceedings of the International Workshop on Architectures for Quality of Service in the Internet, Art-QoS 2003, held in Warsaw, Poland, in March 2003. The 22 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on architectures for next generation networks, architectures and services, signalling, admission control, AQUILA-resource control, AQUILA-QoS at work, MPLS traffic engineering, and traffic control mechanisms. 324 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The assessment and management of rheumatic diseases is challenging andmany doctors are not confident of their abilities in this area. This bookoffers practical advice and information for those who need to learnrapidly the essentials of modern clinical rheumatology. Written for seniorhouse officers and residents in general (internal) medicine, healthprofessionals in rheumatology, primary care doctors and medical studentswill also find it useful.\* Up-to-date information about new therapies\* Essentials of common and uncommon rheumatic diseases listed\* Practical advice on selecting appropriate tests, drug prescribingand patient information\* Patient-centred approach to management\* Useful rheumatology websites listed\* All you need in one handy pocket-sized resourceSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed 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. Zustand: Neu. Neuware -This book provides a detailed examination of how systems located within five countries shape the early career learning of beginning teachers. It describes, discusses and analyzes comprehensive teacher induction found within France, Japan, New Zealand, Shanghai and Switzerland. We refer to the phenomena we observed as induction ¿systems¿ because they are am- tious, substantial and established: all beginning teachers in these various locales are served; there are no unfunded mandates; these systems have been in place for 10¿25 years. Nevertheless, they are still evolving, und- going review and change ¿ they are dynamic systems. While sharing such similarities, these systems also present striking contrasts in their purposes, policies, program design and the specific activities that constitute them. These induction systems operate within countries having both centr- ized and decentralized education systems, and within large jurisdictions as well as smaller ones. Although we primarily looked at beginning mathe- tics and science teachers of the lower secondary grades, many aspects are relevant to novice teachers of all school subjects at these grade levels, and some structures and insights are germane to the induction of elementary teachers as well.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The International User Modeling Conferences are the events at which research foundations are being laid for the personalization of computer systems. In the last 15 years, the field of user modeling has produced significant new theories and methods to analyze and model computer users in short and long term interactions. A user model is an explicit representation of properties of individual users or user classes. It allows the system to adapt its performance to user needs and preferences. Methods for personalizing human computer interaction based on user models have been successfully developed and applied in a number of domains, such as information filtering, adaptive natural language and hypermedia presentation, tutoring systems, e commerce and medicine. There is also a growing recognition of the need to evaluate the results of new user modeling methods and prototypes in empirical studies and a growing focus on evaluation methods. New trends in HCI create new and interesting challenges for user modeling. While consolidating results in traditional domains of interest, the user modeling field now also addresses problems of personalized interaction in mobile and ubiquitous computing and adaptation to user attitudes and affective states. Finally, with the spread of user modeling in everyday applications and on the Web, new concerns about privacy preservation are emerging. All these topics are covered in the proceedings of UM 2003, the 9th International Conference on User Modeling. 456 pp. Englisch.

Buch. Zustand: Neu. 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 chaos such as eigenvalue and eigenfunctions computations for chaotic quantum systems. The book addresses scientists and advanced students in mathematics and mathematical physics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The author emphasizes a non-uniform ellipticity condition as the main approach to regularity 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 the fundamental differences, a non-uniform ellipticity condition serves as the main tool towards a unified view of the regularity theory for both kinds of problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The refereed proceedings of the 4th International Conference on Discrete Mathematics and Theoretical Computer Science, DMTCS 2003, held in Dijon, France, in July 2003. The 18 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 35 submissions. A broad variety of topics in discrete mathematics and the theory of computing is addressed including information theory, coding, algorithms, complexity, automata, computational mathematics, combinatorial computations, graph computations, algorithmic geometry, relational methods, game-theoretic methods, combinatorial optimization, and finite state systems. 316 pp. Englisch.

Taschenbuch. Zustand: Neu. 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. Neuware -In 30 chapters, the text deals with commercially available chemicals used for patch testing. It is the first book to provide a short and concise explanation for physicians, patients, and employees as 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. Thus, both of these well-structured books should not be missed by any physician in daily practise when treating patients with dermatological problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Zustand: Neu. 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. Zustand: Neu. Neuware -Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognitive psychology, computational linguistics, geography, mathematics, biology, theoretical computer science, architecture, design, and philosophy of mind. As these different disciplines gain a deeper understanding of their fellow disciplines and their research approaches, they increasingly find ways to combine their insights and to conceive powerful mechanisms to analyze and synthesize cognitive systems. Spatial cognition has now reached a point where we can see how different pieces of the puzzle may fit together to form integrated systems of specialized cognitive components. The research triggers new quests for basic issues of cognition and sparks ideas for the development of technological applications that make use of spatial structures and spatial computation. Potential applications can be found in such diverse areas as autonomous robotics, geographic information systems, locati- based services, spatial task assistance, multi-agent communication, to name but a few. This third volume on Spatial Cognition marks the final phase of the German Spatial Cognition Priority Program. It augments the results presented in the two precursor volumes published in 1998 and 2000, respectively. The interdisciplinary 1 research program was established by the Deutsche Forschungsgemeinschaft (DFG) in 1996 and terminated after six years, the maximum duration of DFG priority programs. The Spatial Cognition Priority Program consists of 17 research projects at 13 research institutions throughout Germany. Besides carrying out research in individual projects and joint research between projects, the program organized ¿topical colloquiä and annual plenary colloquia, largely with internationalparticipation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The International Conference TSD 2003, the sixth event in the series on Text, Speech, and Dialogue, which originated in 1998, presents state-of-the-art technology and - cent achievements in the eld of natural language processing. This year¿s conference includes invited talks given by top-class researchers (Frederick Jelinek from Johns H- kinsUniversityofBaltimore,SadaokiFuruifromtheUniversityofTechnologyinTo kyo, President of ISCA, and Steven Krauwer from the Institute of Linguistics of Utrecht U- versity), plenary and problem-oriented sessions, as well as poster sessions and dem- strations involving 28 functional applications. The conference declares its intent to be an interdisciplinary forum, which intertwines researchinspeechandlanguageprocessingaswellasresearchintheEasternandWestern hemispheres. We feel that the mixture of different approaches and applications gives agreatopportunitytogetacquaintedwiththecurrentactivitiesinallaspects oflanguage communication and to witness the amazing vitality of research from the former East Block countries. The nancial support of ISCA (International Speech Communication Association) enables the wide attendance of researchers from all active regions of the world. This volume contains a collection of all the papers presented at the international conf- ence organized by the Faculty of Applied Sciences of the University of West Bohemia in Pilsen in collaboration with the Faculty of Informatics, Masaryk University in Brno, and held in the beautiful city of Ceske ¿ Budejo vice (South Bohemia, Czech Republic), September 8¿12, 2003. Each of the submitted papers was thoroughly reviewed by three membersoftheconferencereviewingteamconsistingofmorethan40world-famouss- cialists in the conference topic areas. 448 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they software or hardware, or combined computer-embedded systems, including distributed and real-time systems. We propose a different way to program such systems, centered on inter object scenario-based behavior. The book describes a language, two tech niques, and a supporting tool. The language is a rather broad extension of live sequence charts (LSCs), the original version of which was proposed in 1998 by W. Damm and the first-listed author of this book. The first of the two techniques, called play-in, is a convenient way to 'play in' scenario based behavior directly from the system's graphical user interface (QUI). The second technique, play-out, makes it possible to execute, or 'play out', the behavior on the QUI as if it were programmed in a conventional intra object state-based fashion. All this is implemented in full in our tool, the Play-Engine. The book can be viewed as offering improvements in some ofthe phases of known system development life cycles, e.g., requirements capture and anal ysis, prototyping, and testing. However, there is a more radical way to view the book, namely, as proposing an alternative way to program reactivity, which, being based on inter-object scenarios, is a lot closer to how people think about systems and their behavior.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -conference, including the following principles: (i)GECCOshouldbeabroad-basedconferenceencompassingthewhole eld of genetic and evolutionary computation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1380 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th Australasian Conference on Information Security and Privacy, ACISP 2003, held in Wollongong, Australia, in July 2003.The 42 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 158 submissions. The papers are organized in topical sections on privacy and anonymity, elliptic curve cryptography, cryptanalysis, mobile and network security, digital signatures, cryptosystems, key management, and theory and hash functions.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 552 pp. Englisch.

Buch. Zustand: Neu. Neuware -Density functional theory (DFT) is by now a well-established method for tackling the quantum mechanics of many-body systems. Originally applied to compute properties of atoms and simple molecules, DFT has quickly become a work horse for more complex applications in the chemical and materials sciences. The present set of lectures, spanning the whole range from basic principles to relativistic and time-dependent extensions of the theory, is the ideal introduction for graduate students or nonspecialist researchers wishing to familiarize themselves with both the basic and most advanced techniques in this field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Buch. Zustand: Neu. Neuware - Many of the titles on active/experiential learning concepts are focused on the K-12 setting. They are often how-to books, rather than theory-based. Learning-in-Community extends Kolb's experiential learning theory to community-based projects. It takes a conceptually-grounded approach to active learning through technology-based projects. The book traces the conceptual and operational development of learning-in-community over the decade that we have used it in our teaching. It concludes by outlining a logical next step in efforts to democratize technology: social activism. Training the new ICT professional at a time of significant inequality in access to ICTs would be seriously inadequate if it ignored social responsibility. This book is intended for faculty of undergraduate and graduate-level courses in information technology, business and management.

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.

Buch. Zustand: Neu. Neuware -1. THE PROBLEM OF CATASTROPHE RISK The risk of large losses from natural disasters in the U.S. has significantly increased in recent years, straining private insurance markets and creating troublesome problems for disaster-prone areas. The threat of mega-catastrophes resulting from intense hurricanes or earthquakes striking major population centers has dramatically altered the insurance environment. Estimates of probable maximum losses (PMLs) to insurers from a mega catastrophe striking the U.S. range up to $100 billion depending on the location and intensity of the event (Applied Insurance Research, 2001).1 A severe disaster could have a significant financial impact on the industry (Cummins, Doherty, and Lo, 2002; Insurance Services Office, 1996a). Estimates of industry gross losses from the terrorist attack on September 11, 2001 range from $30 billion to $50 billion, and the attack's effect on insurance markets underscores the need to understand the dynamics of the supply of and the demand for insurance against extreme events, including natural disasters. Increased catastrophe risk poses difficult challenges for insurers, reinsurers, property owners and public officials (Kleindorfer and Kunreuther, 1999). The fundamental dilemma concerns insurers' ability to handle low-probability, high-consequence (LPHC) events, which generates a host of interrelated issues with respect to how the risk of such events are 1 These probable maximum loss (PML) estimates are based on a SOD-year 'return' period.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Buch. Zustand: Neu. Neuware -Russia and many other transition countries are now facing the challenges of opening up, restructuring, and modernizing their economies, which requires addressing numerous institutional weaknesses and supply-side distortions. The papers in this collection examine these issues both in Russia and from a regional perspective, drawing on the experience of other reforming countries. Aspects addressed include the implications of trade and capital flows, the process of labor market reform, financial market development, productivity growth, and innovation dynamics. The dynamics of the reform process are also studied in the context of new political economy models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Buch. Zustand: Neu. Neuware -New efficiency theory refers to the various parametric and semi-parametric methods of estimating production and cost frontiers, which include data envelopment analysis (DEA) with its diverse applications in management science and operations research. This monograph develops and generalizes the new efficiency theory by highlighting the interface between economic theory and operations research.Some of the outstanding features of this monograph are: (1) integrating the theory of firm efficiency and industry equilibrium, (2) emphasizing growth efficiency in a dynamic setting, (3) incorporating uncertainty of market demand and prices, and (4) the implications of group efficiency by sharing investments. Applications discuss in some detail the growth and decline of US computer industry, and the relative performance of mutual fund portfolios.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 190 pp. Englisch.

Buch. Zustand: Neu. Neuware -This volume contains the final proceedings of the special stream on security in E-government and E-business. This stream has been an integral part of the IFIP World Computer Congress 2002, that has taken place from 26-29 August 2002 in Montreal, Canada. The stream consisted of three events: one tutorial and two workshops. The tutorial was devoted to the theme 'An Architecture for Information Se curity Management', and was presented by Prof. Dr. Basie von Solms (Past chairman of IFIP TC 11) and Prof. Dr. Jan Eloff (Past chairman of IFIP TC 11 WG 11.2). Both are from Rand Afrikaans University -Standard Bank Academy for Information Technology, Johannesburg, South Africa. The main purpose of the tutorial was to present and discuss an Architecture for Informa tion Security Management and was specifically of value for people involved in, or who wanted to find out more about the management of information secu rity in a company. It provided a reference framework covering all three of the relevant levels or dimensions of Information Security Management. The theme of the first workshop was 'E-Government and Security' and was chaired by Leon Strous, CISA (De Nederlandsche Bank NY, The Netherlands and chairman of IFIP TC 11) and by Sabina Posadziejewski, I.S.P., MBA (Al berta Innovation and Science, Edmonton, Canada). 304 pp. Englisch.