Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540006737ISBN 13: 9783540006732
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -AIle reden yom Wetter, so laBt sich in knapper Form zusammenfassen, daB das Wettergeschehen als bedeutender Umweltfaktor die Menschen schon inter essiert hat, als ihnen der physikalische Grundsatz von Ursache und Wirkung, z. B. ohne Wasserdampf keine Wolken, noch vollig verborgen war. Der fruhzeitliche Mensch sah in den Himmelser scheinungen das Wirken der Gotter; meteorologische wie astronomische Himmelserscheinungen waren fur ihn Ausdrucksformen gottlichen Wohlwollens oder Unwillens. Er war daher bestrebt, diese Wahrzeichen zu beobachten und zu deuten. So verwundert es nicht, daB in den Fruhkulturen Astrologie und Meteorologie zu einer 'Astro-Meteorologie' verbunden waren. Die ursprungliche Wetterbeobachtung resultierte daher offensichtlich aus dem Bedurfnis, den Willen der Got ter zu ergrunden und damit die eigene Zukunft vor herzusagen. Bei schlechtem astro-meteorologischen Wahrzei chen versuchte man die Gotter durch Kulthandlungen ggf. auch durch Opfer gnadig zu stimmen. In vielen Gebieten der Erde (Afrika, Australien, Amerika) fleh te man in Durreperioden durch Beschworungszeremo nien und Tanze den Regengott urn Regen. So wird z. B. berichtet, daR man dabei bunte Steine in die Sonne legte, urn den Regenbogen herbeizuholen, daR jung frauliche Madchen bei kultischen Zeremonien mit Wasser iiberschiittet wurden oder daR man Tiere op ferte. Wie eng in der Friihzeit Meteorologie und Astrologie miteinander in Verbindung gebracht wur den, belegt eine Keilschrift aus dem alten Babylon. 268 pp. Deutsch.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 354044176XISBN 13: 9783540441762
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieser kompetente Praxisleitfaden enthält alles, was man über die Arzneimitteltherapie von Venenerkrankungen wissen muss. Dabei wird nicht nur auf die Wirkstoffe, sondern auch auf die Grundlagen eingegangen. Anerkannte Indikationen werden ebenso dargestellt wie die unerwünschten Wirkungen. Nutzen-Risiko-Relation und Aufwand-Nutzen-Relation sind die zentralen Parameter für die Arzneimittelauswahl. Hinweise für die Betreuung von Patienten und Patiententipps runden das Werk ab. 300 pp. Deutsch.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540006583ISBN 13: 9783540006589
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Es ist eine bekannte Streitfrage, ob wir der Eigendynamik der Technik blind ausgeliefert sind, oder ob wir Technik zielgerichtet und nach gesellschaftlichen Werten aktiv und bewusst gestalten können. Im Buch Technikgestaltung zwischen Wunsch und Wirklichkeit wird diese Frage aus den Perspektiven verschiedener wissenschaftlicher Disziplinen behandelt. Das Spektrum aus Philosophie, Sozialwissenschaft, Technikgeschichte und den Ingenieurwissenschaften erlaubt neue Sichtweisen auf die Frage der Gestaltbarkeit von Technik. Ergebnis des Buches ist ein besseres Verständnis, was Technikgestaltung bedeuten kann, wie dies in der Praxis funktioniert, ob und wie gesellschaftliche Technikgestaltung erfolgen kann und ob, auf welche Weise und unter welchen Bedingungen eine Technikgestaltung für mehr Nachhaltigkeit möglich ist. 264 pp. Deutsch.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540140336ISBN 13: 9783540140337
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 354040192XISBN 13: 9783540401926
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 354000663XISBN 13: 9783540006633
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch ist eine Einführung in die Programmiersprache Java. In den ersten Kapiteln werden die Grundlagen behandelt: Klassen, Objekte, Interfaces und Pakete. Weitere Kapitel befassen sich mit Benutzeroberflächen, der Ausnahmebehandlung, der Threadprogrammierung, mit Client/Server-Implementierung, Javas Sicherheitsmechanismen und dem Aufruf entfernter Methoden. Alle Sprachkonstrukte und die verwendeten Klassen der Java-Standardbibliothek werden an Beispielen verdeutlicht. An die einzelnen Kapitel schließt sich eine Reihe von Übungsaufgaben an. Die kompletten Beispielprogramme und Lösungen zu den Übungen befinden sich auf der beiliegenden CD-ROM.In der 4. Auflage wurde die Behandlung des IO-Frameworks um das New IO API (NIO), das seit JDK 1.4 neben das streambasierte API tritt, erweitert. Einige Client/Server-Beispiele wurden auf NIO umgestellt. Bei der Ausnahmebehandlung wurde das neue Java-Sprachkonstrukt der Zusicherungen (assertions) ergänzt. 656 pp. Deutsch.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540023569ISBN 13: 9783540023562
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Real-Time Enterprise (RTE) ist eine Unternehmensstruktur, die durch kontinuierliche Beschleunigung der Managementprozesse die eigene Aktions- und Reaktionsgeschwindigkeit nachhaltig verbessert und verzögerungsfrei auf externe sowie interne Änderungen reagieren und damit Zeit und Kosten einsparen kann. Voraussetzungen und Rahmenbedingungen hierfür sind durchgängig integrierte Geschäftsprozesse und Informationsflüsse entlang der kompletten Wertschöpfungskette. Im Idealfall sind dabei alle Arbeitsprozesse in einem Unternehmen optimal aufeinander abgestimmt, so dass Data Warehouse, Supply Chain Management, Customer Relationship Management und Enterprise Resource Planning wirkungsvoll ineinander greifen. Dabei endet die Betrachtung von Prozessen und Informationen nicht an den Unternehmensgrenzen. Statt dessen sind Kunden und beteiligte Partnerfirmen beziehungsweise deren Prozesse transparent eingebunden und tauschen Informationen über alle relevanten Ereignisse zeitnah aus. 192 pp. Deutsch.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540404368ISBN 13: 9783540404361
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The refereed proceedings of the 6th International Workshop on Computational Processing of the Portuguese Language, PROPOR 2003, held in Faro, Portugal, in June 2003.The 24 revised full papers and 17 revised short papers presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on speech analysis and recognition; speech synthesis; pragmatics, discourse, semantics, syntax, and the lexicon; tools, resources, and applications; dialogue systems; summarization and information extraction; and evaluation. 288 pp. Englisch.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540405232ISBN 13: 9783540405238
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540007873ISBN 13: 9783540007876
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540405542ISBN 13: 9783540405542
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 354020024XISBN 13: 9783540200246
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 354040452XISBN 13: 9783540404521
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed proceedings of the 4th IAPR International Workshop on Graph-Based Representation in Pattern Recognition, GbRPR 2003, held in York, UK in June/July 2003.The 23 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on data structures and representation, segmentation, graph edit distance, graph matching, matrix methods, and graph clustering. 284 pp. Englisch.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540026231ISBN 13: 9783540026235
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540404341ISBN 13: 9783540404347
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540401040ISBN 13: 9783540401049
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers collected in this volume reproduce contributions by leading sch- arstoaninternationalschoolandworkshopwhichwasorganizedandheldwith thegoaloftakinga snapshotofadiscipline undertumultuous growth. Indeed, the area of protein folding, docking and alignment is developing in response to needs for a mix of heterogeneous expertise spanning biology, chemistry, mathematics, computer science, and statistics, among others. Some of the problems encountered in this area are not only important for the scienti c challenges they pose, but also for the opportunities they disclose intermsofmedicalandindustrialexploitation. Atypicalexampleiso eredby protein-drug interaction (docking), a problem posing daunting computational problems at the crossroads of geometry, physics and chemistry, and, at the same time, a problem with unimaginable implications for the pharmacopoeia of the future. The schoolfocused on problems posed by the study of the mechanisms - hind protein folding, and explored di erent ways of attacking these problems under objective evaluations of the methods. Together with a relatively small core of consolidated knowledge and tools, important re ections were brought to this e ort by studies in a multitude of directions and approaches. It is obviously impossible to predict which, if any, among these techniques will prove completely successful, but it is precisely the implicit dialectic among them that best conveys the current avor of the eld. Such unique diversity and richness inspired the format of the meeting, and also explains the slight departure of the present volume from the typical format in this series: the exposition of the current sediment is complemented here by a selection of quali ed specialized contributions. 184 pp. Englisch.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540403760ISBN 13: 9783540403760
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540404317ISBN 13: 9783540404316
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540403116ISBN 13: 9783540403111
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540405151ISBN 13: 9783540405153
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540405399ISBN 13: 9783540405399
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540404392ISBN 13: 9783540404392
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540405046ISBN 13: 9783540405047
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540443193ISBN 13: 9783540443193
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540406034ISBN 13: 9783540406037
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540405240ISBN 13: 9783540405245
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540403914ISBN 13: 9783540403913
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540405577ISBN 13: 9783540405573
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540402985ISBN 13: 9783540402985
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540404937ISBN 13: 9783540404934
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.