springer berlin heidelberg jun 2003 (132 resultados)

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

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

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

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The excellently received call for papers of the 13th Scandinavian Conference on Image Analysis, June 29 July 2 (SCIA 2003) resulted in the selected articles of this proceedings. Additionally the volume also contains invited contributions from Ivar Austvoll, Stavanger University College (NO), Lars B a ath, Halmstad University (SE), Ewert Bengtsson, Uppsala University (SE), Rasmus Larsen, Technical University of Denmark (DK), Jussi Parkkinen, University of Joensuu (FI), Pietro Perona, California Institute of Technology (US) which brings the total number of articles to 152. The theme of the papers are dominated by the categories Feature extraction Depth and surface Medical image processing Shape analysis Segmentation and spatial grouping Coding and representation Motion analysis Texture analysis Color analysis Indexing and categorization which also represent the topical groupings of this book. The particularly strong response to the feature extraction, depth and surface, and medical image processing themes makes us believe that these areas are c- rently expansive, partly because of the rich set of problems which remain to be addressed. 1232 pp. Englisch.

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

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

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This third volume documents the results achieved within a priority program on spatial cognition funded by the German Science Foundation (DFG).The 23 revised full papers presented went through two rounds of reviewing and improvement and reflect the increased interdisciplinary cooperation in the area. The papers are organized in topical sections on routes and navigation, human memory and learning, spatial representation, and spatial reasoning. 432 pp. Englisch.

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

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings contain the papers presented at the 5th Annual Genetic and EvolutionaryComputationConference(GECCO2003).Theconferencewasheld in Chicago, USA, July 12 16, 2003. A total of 417 papers were submitted to GECCO 2003. After a rigorous doubleblind reviewing process, 194 papers were accepted for full publication and oral presentation at the conference, resulting in an acceptance rate of 46.5%. An additional 92 submissions were accepted as posters with two-page extended abstracts included in these proceedings. This edition of GECCO was the union of the 8th Annual Genetic Progr- mingConference(whichhasmetannuallysince1996)andthe12thInternational Conference on Genetic Algorithms (which, with its rst meeting in 1985, is the longest running conference in the eld). Since 1999, these conferences have m- ged to produce a single large meeting that welcomes an increasingly wide array of topics related to genetic and evolutionary computation. Possibly the most visible innovation in GECCO 2003 was the publication of theproceedingswithSpringer-VerlagaspartoftheirLectureNotesinComputer Science series. This will make the proceedings available in many libraries as well asonline,wideningthedisseminationoftheresearchpresentedattheconferenc e. OtherinnovationsincludedanewtrackonCoevolutionandArti cialImmune Systems and the expansion of the DNA and Molecular Computing track to include quantum computation. In addition to the presentation of the papers contained in these proceedings, the conference included 13 workshops, 32 tutorials by leading specialists, and presentation of late-breaking papers. GECCO is sponsored by the International Society for Genetic and Evolut- nary Computation (ISGEC). The ISGEC by-laws contain explicit guidance on the organization of the conference, including the following principles: (i)GECCOshouldbeabroad-basedconferenceencompassingthewhole eld of genetic and evolutionary computation. 1380 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A set of detailed lecture notes on six topics at the forefront of current research in numerical analysis and applied mathematics. Each set of notes presents a self-contained guide to a current research area. Detailed proofs of key results are provided. The notes start from a level suitable for first year graduate students in applied mathematics, mathematical analysis or numerical analysis, and proceed to current research topics. Current (unsolved) problems are also described and directions for future research are given. This book is also suitable for professional mathematicians. 368 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Symposium on Surgery Simulation and Soft Tissue Modeling, IS4TM 2003, held in Juan-Les-Pins, France in June 2003.The 33 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on soft tissue models, haptic rendering, cardiac modeling, and patient specific simulators. 404 pp. Englisch.

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

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The refereed proceedings of the 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, held in Toulouse, France in June 2003.The 29 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Ravenscar, language issues, static analysis, distributed information systems, software metrics, software components, formal specification, real-time kernel, software testing, and real-time systems design. 448 pp. Englisch.

Buch. Condición: 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. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001. The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on symbolics and numerics of differential equations, symbolics and numerics in algebra and geometry, and applications in physics and engineering. 404 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a powerful new language and methodology for programming complex reactive systems in a scenario-based manner. The language is live sequence charts (LSCs), a multimodal extension of sequence charts and UML's sequence diagrams, used in the past mainly for requirements. The methodology is play-in/play-out, an unusually convenient means for specifyinginter-object scenario-based behavior directly from a GUI or an object model diagram, with the surprising ability to execute that behavior, or those requirements, directly. The language and methodology are supported by a fully implemented tool the Play-Engine which is attached to the book in CD form.Comments from experts in the field:The design of reactive systems is one of the most challenging problems in computer science. This books starts with a critical insight to explain the difficulty of this problem: there is a fundamental gap between the scenario-based way in which people think about such systems and the state-based way in which these systems are implemented. The book then offers a radical proposal to bridge this gap by means of playing scenarios. Systems can be specified by playing in scenarios and implemented by means of a Play-Engine that plays out scenarios. This idea is carried out and developed, lucidly, formally and playfully, to its fullest. The result is a compelling proposal, accompanied by a prototype software engine, for reactive systems design, which is bound to cause a splash in the software-engineering community.Moshe Y. Vardi, Rice University, Houston, Texas, USAScenarios are a primary exchange tool in explaining system behavior to others, but their limited expressive power never made them able to fully describe systems, thus limiting their use. The language of Live Sequence Charts (LSCs) presented in this beautifully written book achieves this goal, and the attached Play-Engine software makes these LSCs really come alive. This is undoubtedly a key breakthrough that will start long-awaited and exciting new directions in systems specification, synthesis, and analysis.Gérard Berry, Esterel Technologies and INRIA, Sophia-Antipolis, FranceThe approach of David Harel and Rami Marelly is a fascinating way of combining prototyping techniques with techniques for identifying behavior and user interfaces.Manfred Broy, Technical University of Munich, Germany 404 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed proceedings of the International Symposium on Parallel and Distributed Processing and Applications, ISPA 2003, held in Aizu, Japan in July 2003.The 30 revised full papers and 9 revised short papers presented together with abstracts of 4 keynotes were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on applications on Web-based and intranet systems, compiler and optimization techniques, network routing, performance evaluation of parallel systems, wireless communication and mobile computing, parallel topology, data mining and evolutionary computing, image processing and modeling, network security, and database and multimedia systems. 468 pp. Englisch.

Taschenbuch. Condición: 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. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The refereed proceedings of the International Workshop on OpenMP Applications and Tools, WOMPAT 2003, held in Toronto, Canada in June 2003.The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in sections on tools and tool technology, OpenMP implementations, OpenMP experience, and OpenMP on clusters. 284 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The refereed proceedings of the 20th British National Conference on Databases, BNCOD 20, held in Coventry, UK, in July 2003.The 20 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on XML and semi-structured data; performance in searching and mining; transformation, integration, and extension; events and transactions; and personalization and the Web. 300 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed 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.