Springer berlin heidelberg okt 2003 (126 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The volume develops the foundations of differential geometry so as to include finite-dimensional spaces with singularities and nilpotent functions, at the same level as is standard in the elementary theory of schemes and analytic spaces. The theory of differentiable spaces is developed to the point of providing a handy tool including arbitrary base changes (hence fibred products, intersections and fibres of morphisms), infinitesimal neighbourhoods, sheaves of relative differentials, quotients by actions of compact Lie groups and a theory of sheaves of Fréchet modules paralleling the useful theory of quasi-coherent sheaves on schemes. These notes fit naturally in the theory of C^infinity-rings and C^infinity-schemes, as well as in the framework of Spallek's C^infinity-standard differentiable spaces, and they require a certain familiarity with commutative algebra, sheaf theory, rings of differentiable functions and Fréchet spaces. 212 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume aims to disseminate a number of new ideas that have emerged in the last few years in the field of numerical simulation, all bearing the common denominator of the 'multiscale' or 'multilevel' paradigm. This covers the presence of multiple relevant 'scales' in a physical phenomenon; the detection and representation of 'structures', localized in space or in frequency, in the solution of a mathematical model; the decomposition of a function into 'details' that can be organized and accessed in decreasing order of importance; and the iterative solution of systems of linear algebraic equations using 'multilevel' decompositions of finite dimensional spaces. 184 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 WorkshopTheme Data mining as a discipline aims to relate the analysis of large amounts of user data to shed light on key business questions. Web usage mining in particular, a relatively young discipline, investigates methodologies and techniques that - dress the unique challenges of discovering insights from Web usage data, aiming toevaluateWebusability,understandtheinterestsandexpectationsofusersand assess the e ectiveness of content delivery. The maturing and expanding Web presents a key driving force in the rapid growth of electronic commerce and a new channel for content providers. Customized o ers and content, made possible by discovered knowledge about the customer, are fundamental for the establi- ment of viable e-commerce solutions and sustained and e ective content delivery in noncommercial domains. Rich Web logs provide companies with data about their online visitors and prospective customers, allowing microsegmentation and personalized interactions. While Web mining as a domain is several years old, the challenges that characterize data analysis in this area continue to be formidable. Though p- processing data routinely takes up a major part of the e ort in data mining, Web usage data presents further challenges based on the di culties of assigning data streams to unique users and tracking them over time. New innovations are required to reliably reconstruct sessions, to ascertain similarity and di erences between sessions, and to be able to segment online users into relevant groups. 196 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Disparate perceptions and conceptual frameworks of environment and the relationship between humans and nature often lead to confusion, constraints on co-operation and collaboration and even conflict when society tries to deal with today's urgent and complex environment research and policy challenges. Such disparities in perception and 'world view' are driven by many factors. They include differences in culture, religion, ethical frameworks, scientific methodologies and approaches, disciplines, political, social and philosophical traditions, life styles and consumption patterns as well as alternative economic paradigms. Distribution of poverty or wealth between north and south may thus be seen as consequence of the above mentioned disparities, which is a challenge for it's universal reasoned evaluation. This volume discusses a wide range of factors influencing 'Environment across Cultures' with a view to identifying ways and means to better understand, reflect and manage such disparities within future global environmental research and policy agendas for bridging the gap between ecology and economy as well as between societies. The book is based upon the results of a scientific symposium on this topic and covers the following sections: Cross Cultural Perception of Environment; Ethics and Nature; Environment, Sustainability and Society. Corresponding contributions were made by well-known scientific authors representing different cultural spheres in accordancewith the inter-cultural approach of this effort. 228 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers in this volume were presented at the workshop 'Innovative Internet Community Systems 2003' held on June 19-21, 2003 in Leipzig. IICS 2003 was the thirdworkshopintheIICSseries.Thepurposeofthese workshopsisto bring together researchers in the area of system and information management for the Next Generation Internet (NGI). Like the preceding two workshops, IICS 2001 and IICS 2002, this year's workshop was organized by the Gesellschaft fur Informatik (GI) in Germany to support the exchange of experiences, results and technology in the area of focus. The 21 papers (2 invited, 19 other contributions) presented at the conference and in the present volume were selected from more than 30 submissions. Every submission was fully reviewed by 3 members of the program committee. We wish to thank all those who made the meeting possible: the authors for submitting papers, the members of the program committee for their excellent work, and the two invited speakers. We wish to express our sincere apprec- tion to Regine Gabler (University of Leipzig) and Barbara Hamann (Technical University, Ilmenau) for their great e orts and perfect work concerning the - ministrative details associated with the workshop and the preparation of this volume. Finally, we wish to acknowledge the substantial help provided by our sponsors: the University of Leipzig, the Technical University, Ilmenau, and the TKK (Techniker Krankenkasse) Leipzig. August 2003 Thomas B ohme Gerhard Heyer Herwig Unger VI Organization Organization IICS 2003 was organized by the Gesellschaft fur Informatik (GI) in Germany. 276 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci cation and veri cation techniques supporting the concepts of reusability and modi ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5-8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering. 524 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of CHARME 2003, the12th Advanced - search Working Conference on Correct Hardware Design and Veri cation - thods. CHARME 2003 continues the series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri cation of hardware and hardware-like systems. Previous events in the CHARME series were held in Edinburgh (2001), Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993) and - rin (1991). This series of meetings were organized in cooperation with IFIP WG 10.5and10.2.Priormeetings,stretchingbacktotheearliestdaysofformalha- wareveri cationwereheldundervariousnamesinMiami(1990),Leuven(1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985) and Darmstadt (1984). We now have a well-established convention whereby the European CHARME con- rence alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design(FMCAD),whichisheldinev- numbered years in the USA. CHARME 2003 took place during 21 24 October 2003 at the Computer Science Department of the University of L Aquila, Italy. It was cosponsored by the IFIP TC10/WG10 Working Group on Design and Engineering of Electronic Systems. The CHARME 2003 scienti c program was comprised of: A morning Tutorial by Daniel Geist aimed at industrial and academic - terchange. Two Invited Lectures by Wolfgang Roesner and Fabio Somenzi. Regular Sessions, featuring 24 papers selected out of 65 submissions, r- ging from foundational contributions to tool presentations. Short Presentations, featuring 8 short contributions accompanied by a short presentation. The conference, of course, also included informal tool demonstrations, not announced in the o cial program. 444 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 4th International Symposium on Medical Data Analysis, ISMDA 2003, held in Berlin, Germany in October 2003.The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on medical models and learning, integration of intelligent analysis methods into medical databases, medical signal processing and image analysis, and applications of medical diagnostic support systems. 140 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The C.I.M.E. session on Dynamical Systems, held in Cetraro (Italy), June 19-26, 2000, focused on the latest developments in several important areas in dynamical systems, with full development and historical context. The lectures of Chow and Mallet-Paret focus on the area of lattice differential systems, the lectures of Conto and Galleotti treat the classical problem of classification of orbits for two-dimensional autonomous systems with polynomial right sides, the lectures of Nussbaum focus on applications of fixed point theorems to the problem of limiting profiles for the solutions of singular perturbations of delay differential equations, and the lectures of Johnson and Mantellini deal with the existence of periodic and quasi-periodic orbits to non-autonomous systems. The volume will be of interest to researchers and graduatestudents working in these areas. 368 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Fast Software Encryption is now a 10-year-old workshop on symmetric crypt- raphy, including the design and cryptanalysis of block and stream ciphers, as well as hash functions. The rst FSE workshop was held in Cambridge in 1993, followed by Leuven in 1994, Cambridge in 1996, Haifa in 1997, Paris in 1998, Rome in 1999, New York in 2000, Yokohama in 2001, and Leuven in 2002. This Fast Software Encryption workshop, FSE 2003, was held February 24 26, 2003 in Lund, Sweden. The workshop was sponsored by IACR (International Association for Cryptologic Research) and organized by the General Chair, Ben Smeets, in cooperation with the Department of Information Technology, Lund University. Thisyearatotalof71papersweresubmittedtoFSE2003.Afteratwo-month reviewing process, 27 papers were accepted for presentation at the workshop. In addition, we were fortunate to have in the program an invited talk by James L. Massey. The selection of papers was di cult and challenging work. Each submission was refereed by at least three reviewers. I would like to thank the program c- mittee members, who all did an excellent job. In addition, I gratefully ackno- edge the help of a number of colleagues who provided reviews for the program committee. They are: Kazumaro Aoki, Alex Biryukov, Christophe De Canni` ere, Nicolas Courtois, Jean-Charles Faug` ere, Rob Johnson, Pascal Junod, Joseph Lano, Marine Minier, Elisabeth Oswald, H avard Raddum, and Markku-Juhani O. Saarinen. 412 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -No symposium of this size can be organized without the help of many dedicated persons. EUSAI was organized by Philips Research in close cooperation with the ITEA Ambience project. Many people were involved in this joint effort and we are greatly indebted to them for their valuable contribution to the organization of EUSAI. Special thanks in this respect go to Ad de Beer for taking care of the local arrangements and to Maurice Groten for guaranteeing the financial budget. EUSAI has succeeded in bringing together a wealth of information on the research progress in ambient intelligence, and we are confident that these proceedings will contribute to the realization of the truly great concept that ambient intelligence provides. Eindhoven, Emile Aarts August 2003 Rene Collier Evert van Loenen Boris de Ruyter Le nouveau poème électronique On the occasion of the 1958 World's Fair in Brussels, Le Corbusier designed for the Philips company a pavilion (see photograph below) that was later referred to as the neglected building by Le Corbusier, since it was dismantled after the fair. In his visually compelling book, Treib [1996] brought this object back to life, and positioned it as an ephemeral structure that exhibited a landmark multimedia production. The nearly two million visitors to the pavilion were exposed to a media show rather than to the typical display of consumer products. 452 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The European Society for Arti cial Intelligence in Medicine (AIME) was - tablished in 1986 with two main goals: 1) to foster fundamental and applied research in the application of Arti cial Intelligence (AI) techniques to medical care and medical research, and 2) to provide a forum for reporting signi cant results achieved at biennial conferences. Additionally, AIME assists medical - dustrials to identify new AI techniques with high potential for integration into new products. A major activity of this society has been a series of international conferences,fromMarseille(FR)in1987toCascais(PT)in2001,heldbiennially over the last 16 years. The AIME conference provides a unique opportunity to present and improve the international state of the art of AI in medicine from both a research and an applicationsperspective.Forthispurpose,theAIMEconferenceincludesinvited lectures, contributed papers, system demonstrations, tutorials and workshops. The present volume contains the proceedings of the AIME 2003 conference, the ninthconferenceonArti cialIntelligenceinMedicineinEurope,heldinCyprus, October 18 22, 2003. In the AIME 2003 conference announcement, we encouraged authors to s- mit original contributions to the development of theory, techniques, and - plications of AI in medicine, including the evaluation of health care programs. Theoretical papers should include a prospective part about possible applications to medical problems solving. Technical papers should describe the novelty of the proposed approach, its assumptions and pros and cons compared to other alt- native techniques. Application papers should present su cient information to allow the evaluation of the practical bene ts of the proposed system or meth- ology. 408 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -At the beginning of the 1990s research started in how to combine soft comput ing with reconfigurable hardware in a quite unique way. One of the methods that was developed has been called evolvable hardware. Thanks to evolution ary algorithms researchers have started to evolve electronic circuits routinely. A number of interesting circuits - with features unreachable by means of con ventional techniques - have been developed. Evolvable hardware is quite pop ular right now; more than fifty research groups are spread out over the world. Evolvable hardware has become a part of the curriculum at some universi ties. Evolvable hardware is being commercialized and there are specialized conferences devoted to evolvable hardware. On the other hand, surprisingly, we can feel the lack of a theoretical background and consistent design methodology in the area. Furthermore, it is quite difficult to implement really innovative and practically successful evolvable systems using contemporary digital reconfigurable technology. 212 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail. 320 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the rst volume of the rst journal in the new LNCS Jo- nalSubline,theJournalonDataSemantics. Publishingajournalinabookseries might come as a surprise to customers, readers, and librarians, thus we would like to provide some background information and our motivation for introducing this new LNCS subline. As a consequence of the very tight interaction between the Lecture Notes in ComputerScienceseriesandtheinternationalcomputerscienceresearchand- velopment community, we receive quite a few proposals for new archive journals. From the successful launch of workshops or conferences and publication of their proceedings in the LNCS series, it might seem like a natural step to approach the publisher about launching a journal once this speci c eld has gained a c- tain level of maturity and stability. Each year we receive about a dozen such proposals and even more informal inquiries. Like other publishers, it has been our experience that launching a new jo- nal and making it a long-term success is a hard job nowadays, due to a generally di cult market situation, and library budget restrictions in particular. Because many of the proceedings in LNCS, and especially many of the LNCS postp- ceedings, apply the same strict reviewing and selection criteria as established journals, we started discussing with proposers of new journals the alternative of devoting a few volumes in LNCS to their eld, instead of going through the painful Sisyphean adventure of establishing a new journal on its own. 256 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 29th International Workshop on Graph-Theoretic Concepts in Computer Science(WG2003)washeldintheMennorodeconferenceCenterinElspeet,The Netherlands.TheworkshopwasorganizedbytheCenterforAlgorithmicSystems of the Institute of Information and Computing Sciences of Utrecht University. The workshop took place June 19-21, 2003. The 72 participants of WG 2003 came from universities and research institutes from 18 di erent countries and ve di erent continents. The workshop looks back at a long tradition. It was rst held in 1975, and has been held 20 times in Germany, twice in Austria, and once in Italy, Slo- kia, Switzerland, and the Czech Republic, and has now been held for the third time in The Netherlands. The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computerscience,orbyextractingnewproblemsfromapplications.Itisdevoted to the theoretical and practical aspects of graph concepts in computer science. The goal is to present recent research results and to identify and explore - rections of future research. The talks given at the workshop showed how recent research results from algorithmic graph theory can be used in computer science and which graph-theoretic questions arise from new developments in computer science. 404 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 188 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 2nd International Workshop on Biomedical Image Registration (WBIR) was held June 23-24, 2003, at the University of Pennsylvania, Philadelphia. Following the success of the rst workshop in Bled, Slovenia, this meeting aimed to once again bring together leading researchers in the area of biomedical image registration to present and discuss recent developments in the eld. Thetheory,implementationandapplicationofimageregistrationinmedicine have become major themes in nearly every scienti c forum dedicated to image processingandanalysis. Thisintenseinterestre ectsthe eld'simportantrolein theconductofabroadandcontinuallygrowingrangeofstudies. Indeed,thete- niques have enabled some of the most exciting contemporary developments in the clinical and research application of medical imaging, including fusion of m- timodality data to assist clinical interpretation; change detection in longitudinal studies; brain shift modeling to improve anatomic localization in neurosurgical procedures; cardiac motion quanti cation; construction of probabilistic atlases of organ structure and function; and large-scale phenotyping in animal models. WBIR was conceived to provide the burgeoning community of investigators in biomedical image registration an opportunity to share, discuss and stimulate developments in registration research and application at a meeting exclusively devoted to the topic. The format of this year's workshop consisted of invited talks, author presentations and ample opportunities for discussion, the latter including an elegant reception and dinner hosted at the Mutter Museum. A representation of the best work in the eld, selected by peer review from full manuscripts,waspresentedinsingle-tracksessions. Thepapers,whichaddressed the full diversity of registration topics, are reproduced in this volume, along with enlightening essays by some of the invited speakers. 432 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The objective of the workshops held in conjunction with ER 2002, the 21st International Conference on Conceptual Modeling, was to give participants the opportunitytopresentanddiscussemerginghottopics,thusaddingnewpersp- tives to conceptual modeling. To meet this objective, we selected the following four workshops: - 2nd InternationalWorkshop on Evolution and Changein Data Management (ECDM 2002) - ER/IFIP8. 1 Workshop on Conceptual Modelling Approaches to Mobile - formation Systems Development (MobIMod 2002) - International Workshop on Conceptual Modeling Quality (IWCMQ 2002) - 3rd International Joint Workshop on Conceptual Modeling Approaches for E-business: a Web Service Perspective (eCOMO 2002) ER 2002 was organized so that there would be no overlap between the c- ference sessions and the workshops. This proceedings contains workshop papers that wererevisedby the authors following discussions during the conference. We are deeply indebted to the members of the organizing committees and program committees of these workshops for their hard work. July 2003 Antoni Oliv e, Masatoshi Yoshikawa, and Eric S. K. Yu Workshop Co-chairs ER 2002 ECDM 2002 Change is a fundamental but sometimes neglected aspect of information and database systems. The management of evolution and change and the ability of database, information and knowledge-based systems to deal with change is an essential component in developing and maintaining truly useful systems. Many approachestohandlingevolutionandchangehavebeenproposedinvariousareas of data management, and this forum seeks to bring together researchers and practitioners from both more established areas and from emerging areas to look at this issue. 472 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Applied Mathematics: Body & Soul is a mathematics education reform project developed at Chalmers University of Technology and includes a series of volumes and software. The program is motivated by the computer revolution opening new possibilitites of computational mathematical modeling in mathematics, science and engineering. It consists of a synthesis of Mathematical Analysis (Soul), Numerical Computation (Body) and Application. Volumes I-III present a modern version of Calculus and Linear Algebra, including constructive/numerical techniques and applications intended for undergraduate programs in engineering and science. Further volumes present topics such as Dynamical Systems, Fluid Dynamics, Solid Mechanics and Electro-Magnetics on an advanced undergraduate/graduate level. The authors are leading researchers in Computational Mathematics who have written various successful books. 472 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003.The 26 revised full papers and 5 revised short papers presented together with an invited paper have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages. 448 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 5th International Symposium on High Performance Computing (ISHPC-V) was held in Odaiba, Tokyo, Japan, October 20-22, 2003. The symposium was thoughtfully planned, organized, and supported by the ISHPC Organizing C- mittee and its collaborating organizations. The ISHPC-V program included two keynote speeches, several invited talks, two panel discussions, and technical sessions covering theoretical and applied research topics in high-performance computing and representing both academia and industry. One of the regular sessions highlighted the research results of the ITBL project (IT-based research laboratory, ITBL is a Japanese national project started in 2001 with the objective of re- izing a virtual joint research environment using information technology. ITBL aims to connect 100 supercomputers located in main Japanese scienti c research laboratories via high-speed networks. A total of 58 technical contributions from 11 countries were submitted to ISHPC-V. Each paper received at least three peer reviews. After a thorough evaluation process, the program committee selected 14 regular (12-page) papers for presentation at the symposium. In addition, several other papers with fav- able reviews were recommended for a poster session presentation. They are also included in the proceedings as short (8-page) papers. Theprogramcommitteegaveadistinguishedpaperawardandabeststudent paper award to two of the regular papers. The distinguished paper award was given for 'Code and Data Transformations for Improving Shared Cache P- formance on SMT Processors' by Dimitrios S. Nikolopoulos. The best student paper award was given for 'Improving Memory Latency Aware Fetch Policies for SMT Processors' by Francisco J. Cazorla. 588 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The rst major revision of the Uni ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands what was already a large language. A challenge for both practitioners andresearchersistohelpsmooththeadoptionofthisnewlanguage.Increasingly, attention is being paid to the use of specialized languages, often pro les of UML, appropriate for di erent purposes; this is one way to make UML less overwh- ming. Accordingly, the focus of the UML conference is gradually expanding from UML to software modeling in general. Simultaneously, model-driven development is being pursued as a way of - creasing the bene ts from modeling throughout the software development p- cess. Gradually, it is developing from a set of slogans into a reality. Many of the papers in this volume are concerned, directly or indirectly, with how to make modeling, rather than coding, the heart of software development, and how to realize the resulting bene ts of higher-level thinking. Much work remains to be done. 432 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume reviews the current status with respect to both theory and observation of the extragalactic distance scale. A sufficient accuracy is required both for a precise determination of the cosmological parameters and also in order to achieve a better understanding of physical processes in extragalactic systems. The 'standard candles', used to set up the extragalactic distance scale, reviewed in this book include cepheid variables, RR Lyrae variables, novae, Type Ia and Type II supernovae as well as globular clusters and planetary nebulae. 328 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 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, held in Heidelberg, Germany in October 2002.The 20 revised full papers and 6 revised short papers presented together with a keynote paper were carefully reviewed and selected from a total of 105 submissions. The papers are organized in topical sections on self-configuration, peer-to-peer management, self-optimization and performance management, utility management, self-protection and access control, manageability and instrumentation, and context-awareness. 292 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Planning is a crucial skill for any autonomous agent, be it a physically embedded agent, such as a robot, or a purely simulated software agent. For this reason, planning, as a central research area of artificial intelligence from its beginnings, has gained even more attention and importance recently.After giving a general introduction to AI planning, the book describes and carefully evaluates the algorithmic techniques used in fast-forward planning systems (FF), demonstrating their excellent performance in many wellknown benchmark domains. In advance, an original and detailed investigation identifies the main patterns of structure which cause the performance of FF, categorizing planning domains in a taxonomy of different classes with respect to their aptitude for being solved by heuristic approaches, such as FF. As shown, the majority of the planning benchmark domains lie in classes which are easy to solve. 268 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 9th workshopon Job Sched- ing Strategies for Parallel Processing, which was held in conjunction with HPDC12 and GGF8 in Seattle, Washington, on June 24, 2003. The papers went through a complete review process, with the full version being read and eva- ated by ve to seven members of the program committee. We would like to take this opportunity to thank the program committee, Su-Hui Chiang, Walfredo Cirne, Allen Downey, Wolfgang Gentzsch, Allan Gottlieb, Moe Jette, Richard Lagerstrom, Virginia Lo, Cathy McCann, Reagan Moore, Bill Nitzberg, Mark Squillante, and John Towns, for an excellent job. Thanks are also due to the authors for their submissions, presentations, and nal revisions for this volume. Finally, we would like to thank the MIT Laboratory for Computer Science and the School of Computer Science and Engineering at the Hebrew University for the use of their facilities in the preparation of these proceedings. This year we had papers on three main topics. The rst was continued work on conventional parallel systems, including infrastructure and scheduling al- rithms. Notable extensions include the considerationof I/O and QoSissues. The secondmajortheme wasscheduling inthe contextofgridcomputing, whichc- tinues to be an area of much activity and rapid progress.The third area was the methodological aspects of evaluating the performance of parallel job scheduling. 284 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 WorkshopTheme Digital multimedia di ers from previous forms of combined media in that the bits that represent text, images, animations, and audio, video and other signals can be treated as data by computer programs. One facet of this diverse data in termsofunderlyingmodelsandformatsisthatitissynchronizedandintegrated, hence it can be treated as integral data records. Such records can be found in a number of areas of human endeavour. Modern medicine generates huge amounts of such digital data. Another - ample is architectural design and the related architecture, engineering and c- struction (AEC) industry. Virtual communities (in the broad sense of this word, which includes any communities mediated by digital technologies) are another example where generated data constitutes an integral data record. Such data may include data about member pro les, the content generated by the virtual community, and communication data in di erent formats, including e-mail, chat records, SMS messages, videoconferencing records. Not all multimedia data is so diverse. An example of less diverse data, but data that is larger in terms of the collected amount, is that generated by video surveillance systems, where each integral data record roughly consists of a set of time-stamped images - the video frames. In any case, the collection of such in- gral data records constitutes a multimedia data set. The challenge of extracting meaningful patterns from such data sets has led to the research and devel- ment in the area of multimedia data mining. 300 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the framework of the Diderot Mathematical Forum (DMF) of the European Mathematical Society (EMS), December 19-20, 1997, a Videoconference was held linking three teams of specialistsin Amsterdam, Madrid and Venice respectively. The general subject of this videoconference, the second one of the DMF series, was Mathematics and Environment and more specifically, Problems related to Water.This volume contains the texts of the Madrid site contributions with important, new and unpublished,examples on the modeling, mathematical and numerical analysis and treatment of the associated control problems of relevant questions arising in Oceanography and Environment. 124 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A gentle introduction to advanced topics such as parallel computing, multigrid methods, and special methods for systems of PDEs. The goal of all chapters is to 'compute' solutions to problems, hence algorithmic and software issues play a central role. All software examples use the Diffpack programming environment - some experience with Diffpack is required. There are also some chapters covering complete applications, i.e., the way from a model, expressed as systems of PDEs, through to discretization methods, algorithms, software design, verification, and computational examples. Suitable for readers with a background in basic finite element and finite difference methods for partial differential equations. 684 pp. Englisch.…