springer berlin heidelberg jun 2003 (193 resultados)

Taschenbuch. Condición: 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.

Taschenbuch. Condición: 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.

Buch. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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.

Taschenbuch. Condición: Neu. Neuware -¿European Collaboration: Towards Drug Development and Rational Drug Therapy ¿ is the title of the 6th Congress of the European Association for Clinical Pharmacology and Therapeutics ( EACPT )being held in Istanbul,Turkey from June 24th -28th 2003. Istanbul has been chosen as the venue for this congress as a unique city bridging two continents and bringing together scientists from a large number of countries. This volume has been edited by Prof Cankat Tulunay ( the President of the Congress ) and Prof Michael Orme ( co-ordinator of the Scientific Committee and Hon. Secretary of EACPT. The volume contains details of the 21 symposia and 3 workshops that are taking place in Istanbul together with the abstracts from the more than 400 submitted and being presented in Istanbul. The organisers hope that you will enjoy both the scientific and cultural aspects of this Congress. Table of contents Abstracts of lectures 1 Table of abstracts 39 Abstracts 69 Abstracts of lectures 23 June 2003 Whole Day Course indeed it is important to stress that this process in Introduction to the Methodology of Clinical Trials a continuum, with useful information coming from different departments contributing day by Paola Antonini day to the final product profile. Key areas of Pre- Medical Affairs Director, Merck Sharp & Dohme clinical Development are Pharmacology, Toxicol- Italy ogy, Pharmacokinetics and Chemistry and Ph- macy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Buch. Condición: Neu. Neuware -Database and database systems have become an essential part of everyday life, such as in banking activities, online shopping, or reservations of airline tickets and hotels. These trends place more demands on the capabilities of future database systems, which need to evolve into decision making systems based on data from multiple sources with varying reliability. In this book a model for the next generation of database systems is presented. It is demonstrated how to quantize favorable and unfavorable qualitative facts so that they can be stored and processed efficiently, as well as how to use the reliability of the contributing sources in our decision makings. The concept of a confidence index set (ciset), is introduced in order to mathematically model the above issues. A simple introduction to relational database systems is given allowing anyone with no background in database theory to appreciate the further contents of this work, especially the extended relational operations and semantics of the ciset relational database model.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -In the last decade, we have seen tremendous successes in World Wide Web and Internet technologies. Traditional development techniques had to be adapted to thisnewsituation,andatthesametimenewtechniquesemerged.Manyresearch teams began to investigate di erent ways to adapt classic ¿ but still e ective ¿ software engineering design and development techniques to the Web and Web engineering emerged as a new research eld that relates several subject areas, including agents, e-commerce, e-learning, human-computer interaction, mobile technologies, security, quality and testing, the Semantic Web, etc. The International Conference on Web Engineering (ICWE) continued the tradition of earlier conferences with the aim of bringing together researchers and practitioners in these areas, trying to o er a good environment where people with di erent backgrounds could exchange their insights in this area. Thesuccessofthisconferencegeneratedanincredibleamountofworkforthe Program Committee members and the External Reviewers, lead by the Program Committee chairs Oscar Pastor L¿ opez, Luis Olsina Santos and Mart¿ n Gonz¿ alez Rodr¿ guez. We are immensely grateful for the e ort they put into the process of selecting the very best papers. There were 190 papers submitted, with 25 papers accepted (13%) as long papers. A large number of papers describing ongoing research were included as short papers or posters. Unfortunately, we were forced to reject many good papers. Paper selection is always a di cult task. 580 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The refereed proceedings of the 5th International Conference on Case-Based Reasoning, ICCBR 2003, held in Trondheim, Norway, in June 2003.The 51 revised full papers presented were carefully reviewed and selected from 92 submissions. All current aspects of CBR are addressed including case representation, similarity retrieval, adaptation, case library maintenance, multi-agent collaborative systems, data mining, soft computing, recommender systems, knowledge management, legal reasoning, software reuse, and music. 756 pp. Englisch.

Buch. Condición: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Buch. Condición: Neu. Neuware -Infonnation technology will have a significant impact in the publishing industry. Many publishers and institutions are experimenting with new ways of sharing knowledge. Internet sites are becoming more sophisticated, digital libraries and coHaboratories are being built. However it is stiH unc1ear, where this journey of change will take us. This book sets out to provide answers by examining a large number of different initiatives that aim to create, share and distribute knowledge electronicaHy. The book also fundarnentaHy rethinks the related processes and shows that infonnation technology has the potential of being much more 'revolu tionary' than just accelerating established publishing and review processes. The book shows that deeply ingrained notions of books and artic1es need to be re thought. In the future they may be replaced by dynamic networks of knowledge consisting of much smaller units than we are used to. The goal of this book is to provide guidance to those who are developing their own knowledge infrastructures and knowledge networks. The book was written while working at the University of Southern California and I am indebted to my colleagues in the Infonnation and Operations Manage ment Department of the Marshall School of Business. The frrst ideas for this topic began to take form during a PhD seminar I taught together with Omar El Sawy. I thoroughly enjoyed the creative environment and lively discussions with him.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Whetheryouareacomputerscientist,alogician,aphilosopher,orapsychologist, it is crucial to understand the role that context and contextual information plays in reasoning and representation. The conference at which the papers in this volume were presented was the fourth in an international series devoted to research on context, and was held in Stanford (USA) on June 23¿25, 2003. The rst conference in the series was held in Rio de Janeiro (Brazil) in 1997, the second was held in Trento (Italy) in 1999, and the third was held in Dundee (Scotland, UK) in 2001. CONTEXT2003 brought together representative work from many di erent elds: in this volume you will nd philosophical theorizing, logical formalization, computationalmodelling¿and,indeed,computationalapplications¿ together with work that approaches context from a more cognitive orientation. While we don¿t believe that this volume can capture the lively avor of discussion of the conference itself, we do hope that researchers interested in context (in any of its many manifestations) will nd something of interest here, perhaps something that will inspire new lines of work. We are very grateful to our invited speakers: Patrick Br¿ ezillon (University of Paris VI, France), Keith Devlin (CSLI, Stanford), and David Leake (Indiana University, USA) for presenting three important contemporary perspectives on the study on context. 544 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This is the only book entirely devoted to the sensory circumventricular organs. It reviews research into their detailed anatomy, neurochemistry, neural connections, and functions, and provides the reader with many illustrations previously unpublished.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The refereed proceedings of the 10th International Fuzzy Systems Association World Congress, IFSA 2003, held in June/July 2003 in Istanbul, Turkey.The 84 papers presented together with 5 invited papers were carefully reviewed and selected form 318 submissions. The papers address all current issues in the area and present the state of the art in fuzzy sets, fuzzy systems, and fuzzy logic and their applications in a broad variety of fields. The papers are divided in four parts on mathematical issues, methodological issues, application areas, and cross-disciplinary issues. 756 pp. Englisch.