springer berlin heidelberg jun 2003 (132 risultati)

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Component-based software development, CBSD, is no longer just one more new paradigm in software engineering, but is effectively used in development and practice. So far, however, most of the efforts from the software engineering community have concentrated on the functional aspects of CBSD, leaving aside the treatment of the quality issues and extra-functional properties of software components and component-based systems.The 16 revised chapters presented were carefully reviewed and selected for inclusion in the book; together with an introductory survey, they give a coherent and competent survey of the state of the art in the area. The book - the first to focus on quality issues of components and component-based systems - is organized in topical parts on COTS selection, testing and certification, software component quality models, formal models to quality assessment, and CBSD management. 420 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking. 480 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The refereed proceedings of the 14th Annual Symposium on Combinatorial Pattern Matching, CPM 2003, held in Morelia, Michoacán, Mexico in June 2003.The 28 revised full papers presented were carefully reviewed and selected from 57 submissions. The papers are devoted to current theoretical and computational aspects of searching and matching strings and more complicated patterns, such as trees, regular expressions, graphs, point sets, and arrays. Among the application fields addressed are computational biology, bioinformatics, genomics, the Web, data compression, coding, multimedia, information retrieval, pattern recognition, and computer vision. 420 pp. Englisch.

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

Buch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP 2003, held in Eindhoven, The Netherlands in June/July 2003.The 84 revised full papers presented together with six invited papers were carefully reviewed and selected from 212 submissions. The papers are organized in topical sections on algorithms, process algebra, approximation algorithms, languages and programming, complexity, data structures, graph algorithms, automata, optimization and games, graphs and bisimulation, online problems, verification, the Internet, temporal logic and model checking, graph problems, logic and lambda-calculus, data structures and algorithms, types and categories, probabilistic systems, sampling and randomness, scheduling, and geometric problems. 1240 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed 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. 552 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheInternationalConferenceonMachineLearningandDataMining(MLDM)is the third meeting in a series of biennial events, which started in 1999, organized by the Institute of Computer Vision and Applied Computer Sciences (IBaI) in Leipzig. MLDM began as a workshop and is now a conference, and has brought the topic of machine learning and data mining to the attention of the research community. Seventy- ve papers were submitted to the conference this year. The program committeeworkedhardtoselectthemostprogressiveresearchinafairandc- petent review process which led to the acceptance of 33 papers for presentation at the conference. The 33 papers in these proceedings cover a wide variety of topics related to machine learning and data mining. The two invited talks deal with learning in case-based reasoning and with mining for structural data. The contributed papers can be grouped into nine areas: support vector machines; pattern dis- very; decision trees; clustering; classi cation and retrieval; case-based reasoning; Bayesian models and methods; association rules; and applications. We would like to express our appreciation to the reviewers for their precise andhighlyprofessionalwork.WearegratefultotheGermanScienceFoundation for its support of the Eastern European researchers. We appreciate the help and understanding of the editorial sta at Springer Verlag, and in particular Alfred Hofmann,whosupportedthepublicationoftheseproceedingsintheLNAIseries. Last, but not least, we wish to thank all the speakers and participants who contributed to the success of the conference. 456 pp. Englisch.