springer berlin heidelberg jul 2004 (166 risultati)

Taschenbuch. Condizione: Neu. Neuware -Data mining from traditional relational databases as well as from non-traditional ones such as semi-structured data, Web data, and scientific databases housing biological, linguistic, and sensor data has recently become a popular way of discovering hidden knowledge.This book on database support for data mining is developed to approaches exploiting the available database technology, declarative data mining, intelligent querying, and associated issues, such as optimization, indexing, query processing, languages, and constraints. Attention is also paid to the solution of data preprocessing problems, such as data cleaning, discretization, and sampling.The 16 reviewed full papers presented were carefully selected from various workshops and conferences to provide complete and competent coverage of the core issues. Some papers were developed within an EC funded project on discovering knowledge with inductive queries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers selected for presentation at the 1st Conference onModelingDecisionsforArti cialIntelligence(MDAI2004),heldinBarcelona, Catalonia, August 2¿4, 2004. The aim of this conference was to provide a forum for researchers to discuss models for information fusion (aggregation operators) and decision, to examine computational methods and criteria for model selection and determination, and to stimulate their application in new contexts. Fifty-three papers were submitted to the conference, from 19 di erent co- tries. Each submitted paper was reviewed by at least two experts on the basis of technical soundness, originality, signi cance and clarity. Based on the review reports, 26 papers were accepted for publication in this volume. Additionally, this volume contains the plenary talks given at the conference. We would like to express our gratitude to the members of the program c- mittee as well as to all reviewers for their work. We thank Alfred Hofmann, from Springer-Verlag,who supported the publication of these proceedings in the LNAI series. The conference was supported by the Catalan Association for Arti cial Intelligence (ACIA), the European Society for Fuzzy Logic and Technology (EUSFLAT), the Japan Society for Fuzzy Theory and Intelligent Informatics (SOFT), the IEEESpanish Chapter,the Spanish Council for Scienti c Research (CSIC) and the Generalitat de Catalunya (AGAUR 2002XT 00111).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the contributed papers and invited talks presented at the 1stInternationalWorkshoponAlgorithmicAspectsofWirelessSensorNetworks (ALGOSENSORS 2004), which was held July 16, 2004, in Turku, Finland, - located with the 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004). Wireless ad hoc sensor networks have become a very important research subject due to their potential to provide diverse services in numerous appli- tions. The realization of sensor networks requires intensive technical research and development e orts, especially in power-aware scalable wireless ad hoc c- munications protocols, due to their unusual application requirements and severe constraints. On the other hand, a solid theoretical background seems necessary for sensor networks to achieve their full potential. It is an algorithmic challenge to achieve e cient and robust realizations of such large, highly dynamic, complex, n- conventional networking environments. Features, including the huge number of sensor devices involved, the severe power, computational and memory limi- tions, their dense deployment and frequent failures, pose new design, analysis and implementation challenges. This event is intended to provide a forum for researchers and practitioners to present their contributions related to all aspects of wireless sensor networks. Topics of interest for ALGOSENSORS 2004 were: ¿ Modeling of speci c sensor networks. ¿ Methods for ad hoc deployment. ¿ Algorithms for sensor localization and tracking of mobile users. ¿ Dynamic sensor networks. ¿ Hierarchical clustering architectures. ¿ Attribute-based named networks. ¿ Routing: implosion issues and resource management. ¿ Communication protocols. ¿ Media access control in sensornetworks. ¿ Simulators for sensor networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Condizione: Neu. Neuware -This volume contains the edited versions of some selected lectures delivered at the famous 'Schladming Winter School', devoted to 'Flavor Physics' in the present case. Flavor physics is one of the hot topics in contemporary elementary particle physics, because it relates to fundamental questions like the origin of masses, the size and strength of CP violation and the oscillations between various neutrino species. This volume will be useful for graduate students wishing to get more acquainted with the field as well as for lecturers in search of material for seminars of special lectures and courses in quantum field theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The SAMOS workshop is an international gathering of highly quali ed rese- chers from academia and industry, sharing in a 3-day lively discussion on the quietandinspiringnorthernmountainsideofthe MediterraneanislandofSamos. As a tradition, the workshop features plenary presentations in the morning, while after lunch all kinds of informal discussions and nut cracking gatherings take place. The workshop is unique in the sense that not only solved research problems are presented and discussed, but also (partly) unsolved problems and in-depth topical reviews can be unleashed in the scienti c arena. Consequently, the workshopprovidesthe participantswithanenvironmentwherecollaboration rather than competition is fostered. This fourth edition of the SAMOS workshop developed into a highly int- esting event with a program that consisted of 36 paper presentations as well as a keynote speech by Kees Vissers from Xilinx Research. The paper authors r- resented 12 di erent countries, the USA, UK, Canada, Brazil, Germany, France, Spain, Finland, Belgium, Portugal, Greece and The Netherlands. The presen- tions were divided into three tracks: recon gurable computing, architecture and implementation, and system modeling and simulation. We believe that all three tracks showed high-quality, state-of-the-art research in their respective elds. Besides the papers from SAMOS IV, this proceedings also features num- ous papers from the SAMOS III workshop. As the SAMOS III edition did not have a well-established proceedings mechanism, we decided to give the authors from last year¿s edition the opportunity to formally publish their papers in this proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 580 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The purpose of this book is to stimulate a much needed debate on ma- ematics education reform. We do not claim that we present anything near the whole truth, and that there are not many other points of view. We thus invite to debate and urge other people to express their views. As scientists we believe that it is our duty to present our own standpoints and conc- sions as clearly as possible, to open for scrutiny and discussion, rather than ambiguous politically correct views, which are di cult to question. This book may be viewed as an introduction to our mathematics e- cation reform project Body&Soul based on a synthesis of Body (com- tational mathematics) and Soul (analytical mathematics). We do make a case for computational mathematics, which is the new world of mathem- ics opened by the computer, now waiting to enter mathematics education. But we do also propose a synthesis of this new world, with the kernel being computational algorithms, and the traditional world of analytical ma- ematics, with analytical formulas as the kernel. In fact, algorithms are expressed using analytical formulas before being translated into computer code, and good analytical formulas are necessary for understanding and insight.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -We would like to present, with great pleasure, the rst volume of a new jo- nal, Transactions on Rough Sets. This journal, part of the new journal subline in the Springer-Verlag series Lecture Notes in Computer Science, is devoted to the entire spectrum of rough set related issues, starting from logical and ma- ematical foundations of rough sets, through all aspects of rough set theory and its applications, data mining, knowledge discovery and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets, theory of evidence, etc. The rst, pioneering papers on rough sets, written by the originator of the idea,ProfessorZdzis lawPawlak,werepublishedintheearly1980s.Weareproud to dedicate this volume to our mentor, Professor Zdzis law Pawlak, who kindly enriched this volume with his contribution on philosophical, logical, and mat- matical foundations of roughset theory. In his paper Professor Pawlakshows all over again the underlying ideas of rough set theory as well as its relations with Bayes¿ theorem, con ict analysis, ow graphs, decision networks, and decision rules.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Originating from a Dagstuhl seminar, the collection of papers presented in this book constitutes on the one hand a representative state-of-the-art survey of embodied artificial intelligence, and on the other hand the papers identify the important research trends and directions in the field.Following an introductory overview, the 23 papers are organized into topical sections on philosophical and conceptual issues information, dynamics, and morphology principles of embodiment for real-world applications developmental approaches artificial evolution and self-reconfigurationSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains selected papers presented at the 12th International C- ference on Conceptual Structures, ICCS 2004, held in Huntsville Alabama, July 19¿23, 2004. The main theme of the conference, ¿Conceptual Structures at Work¿, was chosen to express our intention of applying conceptual structures for hum- centered practical purposes. That invites us to develop not only clear conceptual theories,butalsomethodstosupporthumansintheapplicationofthesetheories in their societies. Some promising steps in this direction are being taken, but the gap between the researchers working on a highly sophisticated level on one side and the practitioners in many elds of applications on the other side is usually di culttobridge.Someofushaveexperiencesinsuchpracticalcooperation,but we need more members of our community to be engaged in ¿real life problems¿. We all know that solutions of complex problems in practice require not only a well-developed formal theory, but also an understanding of the whole context of the given problems. To support our understanding we need general philo- phical methods as well as formal theories for the representation of fundamental structures in practice. We believe that our community has powerful tools and methodsforsuccessfulapplicationsinpractice,butthatwemustdevelopaforu m to present our results to a broader audience. First we must understand the s- ni cant developments in our own group, which has activities in many directions of research. 420 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -With the rapid development of Web-based learning and new concepts like virtual cla- rooms, virtual laboratories and virtual universities, many issues need to be addressed. On the technical side, there is a need for effective technology for deployment of W- based education.On the learning side, the cyber mode of learning is very different from classroom-based learning. How can instructional developmentcope with this new style of learning On the management side, the establishment of the cyber university - poses very different requirements for the set-up. Does industry-university partnership provide a solution to addressing the technological and management issues Why do we need to standardize e-learning and what can we do already As with many other new developments, more research is needed to establish the concepts and best practice for Web-based learning. ICWL 2004, the 3rd International Conference on Web-Based Learning, was held at the Tsinghua University (Beijing, China) from August 8th to 11th, 2004, as a continued attempt to address many of the above-mentioned issues. Following the great successes of ICWL 2002 (Hong Kong) and ICWL 2003 (Australia), ICWL 2004 aimed at p- senting new progress in the technical, pedagogical, as well as management issues of Web-based learning. The conference featured a comprehensive program, including a tutorial session, a keynote talk, a main track for regular paper presentations, and an - dustrial track. We received 120 papers and accepted only 58 of them in the main track for both oral and poster presentations. 484 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -From the preface:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Constantin Carathéodory (Berlin 1873-1950 Munich) - Mathematics and Politics in Turbulent Times is a biography of a mathematician who became famous during his life, but has hitherto been ignored by historians for half a century after his death.In a thought-provoking approach, Maria Georgiadou devotes to Constantin Carathéodory all the attention such a personality deserves. With breathtaking detail and the appropriate scrutiny she elucidates his oeuvre, life and turbulent political/historical surroundings: descending from the Greek élite of Constantinople, Carathéodory graduated from the military school of Brussels, became engineer at the Assiout dam in Egypt and finally dedicated a life of effort to mathematics and education. He studied and embarked on an international academic career, haunted by wars, catastrophes and personal tragedies. Over the last years of his life, he stayed in Munich despite World War II, an ambiguous decision upon which the author sheds unprecedented light.Carathéodory's most significant mathematical contributions were to the calculus of variations, the theory of point set measure, and the theory of functions of a real variable, pdes, also to complex function theory.The interdisciplinarity of the text allows easy access for both scholars and readers with a general interest in mathematics, politics and history. The thoroughness of the author¿s research and evaluations is certain to leave everyone impressed and more knowledgeable.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 680 pp. Englisch.

Buch. Condizione: Neu. Neuware -Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, computational complexity, and formal languages, although in recent years connections with other areas, such as formal methods and verification, and artificial intelligence, have been discovered. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable; in other words, completeness fails over finite models. The tech nique of the proof, based on encoding Turing machine computations as finite structures, was reused by Fagin almost a quarter century later to prove his cel ebrated result that put the equality sign between the class NP and existential second-order logic, thereby providing a machine-independent characterization of an important complexity class. In 1982, Immerman and Vardi showed that over ordered structures, a fixed point extension of first-order logic captures the complexity class PTIME of polynomial time computable propertiE~s. Shortly thereafter, logical characterizations of other important complexity classes were obtained. This line of work is often referred to as descriptive complexity. A different line of finite model theory research is associated with the de velopment of relational databases. By the late 1970s, the relational database model had replaced others, and all the basic query languages for it were es sentially first-order predicate calculus or its minor extensions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Despite multiple efforts on the bilateral, regional and multilateral level to create uniform or at least harmonized rules for commercial operations and practices in the maritime transport sector and to liberalize maritime transport services by tearing down the barriers that exist in that sector, there is until today no global regime regulating (or rather deregulating) the supply of maritime transport services and ensuring open markets. In this situation, private economic actors are confronted with substantial legal uncertainty.This book provides a detailed analysis of the history of maritime transport services in the Uruguay and post-Uruguay Round negotiations and the role of the sector in the ongoing Doha Round talks, where Member States have the opportunity to work towards a global regime ensuring the progressive liberalization of the sector. The reader will be confronted with an extensive overview of the role of maritime transport services in the WTO/GATS framework, a topic basically uncovered in the literature so far.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This monograph investigates a practical way to achieve robust motion control and state estimation (Kalman filtering) of mechanical systems, which is a promising approach in terms of the perturbation compensator. The book presents novel approaches for design and analysis of perturbation observers as well as an extension to robust motion control and robust state estimation. The book is written in a self-contained manner including experimental results in each chapter clearly validating the developed theories.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Buch. Condizione: Neu. Neuware -In the past two decades, an increasing number of ecologists have started to investigate the importance of biodiversity for ecological processes such as energy flow and nutrient cycling, often referred to as 'ecosystem functioning'. Insects are a dominant component of biodiversity in terrestrial ecosystems and play a key role in mediating the relationship between plants and ecosystem processes. This volume is the first to summarize their effects on ecosystem functioning, focusing mainly, but not exclusively, on herbivorous insects. Renowned authors with extensive experience in the field of plant-insect interactions, contribute to the volume using examples from their own work. In addition to providing concise reviews of the field, this volume discusses in detail the advantages and disadvantages of various techniques of manipulating insect herbivory. Thus, the text provides both a theoretical basis as well as practical advice for future manipulative studies of biodiversity-ecosystem functioning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Buch. Condizione: Neu. Neuware -It is unanimously accepted that the quantum and the classical descriptions of the physical reality are very different, although any quantum process is 'mysteriously' transformed through measurement into an observable classical event. Beyond the conceptual differences, quantum and classical physics have a lot in common. And, more important, there are classical and quantum phenomena that are similar although they occur in completely different contexts. For example, the Schrödinger equation has the same mathematical form as the Helmholtz equation, there is an uncertainty relation in optics very similar to that in quantum mechanics, and so on; the list of examples is very long. Quantum-classical analogies have been used in recent years to study many quantum laws or phenomena at the macroscopic scale, to design and simulate mesoscopic devices at the macroscopic scale, to implement quantum computer algorithms with classical means, etc. On the other hand, the new forms of light ¿ localized light, frozen light ¿ seem to have more in common with solid state physics than with classical optics. So these analogies are a valuable tool in the quest to understand quantum phenomena and in the search for new (quantum or classical) applications, especially in the area of quantum devices and computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Buch. Condizione: Neu. Neuware -Disclaimer The work reported in this book was carried out prior to the publication of the final guidance document on Heavily Modified and Artificial Water Bodies of the Water Framework Directive Common Implementation Strategy. The European Commission, the project donors, the project managers, the Working Group on Heavily Modified Water Bodies of the Common Implementation Strategy and the authors do not necessarily endorse all approaches that were taken in the case studies that are reported. About Ecologic Ecologic, Institute for International and European Environmental Policy, is a private not-for-profit think tank for applied environmental research, policy analysis and c- sultancy with offices in Berlin and Brussels. An independent, non-partisan body, Ecologic is dedicated to bringing fresh ideas to environmental policies and sustainable development. Ecologic¿s work programme focuses on obtaining practical results. It c- ers the entire spectrum of environmental issues and includes the integration of en- ronmental concerns into other policy fields. Ecologic is the German partner in the network of Institutes for European Envir- mental Policy. Founded in 1995, Ecologic has a multi-disciplinary staff that includes lawyers, negotiators, social and natural scientists, economists, technologists, and pl- ners. With a focus on Europe and North America, Ecologic¿s activities cover a growing geographical area and involve policy-makers, business leaders, technical experts and representatives of civil society organisations. Ecologic is officially recognised as being in the public interest. Donations to Ecologic are tax-deductible.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Buch. Condizione: Neu. Neuware -Symplectic geometry, well known as the basic structure of Hamiltonian mechanics, is also the foundation of optics. In fact, optical systems (geometric or wave) have an even richer symmetry structure than mechanical ones (classical or quantum). The symmetries underlying the geometric model of light are based on the symplectic group. Geometric Optics on Phase Space develops both geometric optics and group theory from first principles in their Hamiltonian formulation on phase space. This treatise provides the mathematical background and also collects a host of useful methods of practical importance, particularly the fractional Fourier transform currently used for image processing. The reader will appreciate the beautiful similarities between Hamilton's mechanics and this approach to optics. The appendices link the geometry thus introduced to wave optics through Lie methods. The book addresses researchers and graduate students.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book is the first thorough overview of the first important steps to develop a worldwide virtual observatory so that, in the future, it could be easier to 'dial-up' a part of the sky than wait many months to access a telescope. The articles in this book present details on the status of the first efforts to develop a standardized framework for the virtual observatory, including steps towards completion and deployment of technical infrastructure, uptake by data providers worldwide, and utilization by the scientific community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supported approaches for the development, maintenance and te- ing of Web applications. Web engineering builds upon well-known and succe- ful software engineering principles and practices, adapting them to the special characteristics of Web applications. Even more relevant is the enrichment with methods and techniques stemming from related areas like hypertext authoring, human-computer interaction, content management, and usability engineering. The goal of the 4th International Conference on Web Engineering (ICWE 2004), inlinewiththepreviousICWEconferences,wastoworktowardsabetterund- standing of the issues related to Web application development. Special attention was paid to emerging trends, technologies and future visions, to help the a- demic and industrial communities identify the most challenging tasks for their research and projects. Following a number of successful workshops on Web engineering since 1997 at well-known conferences, such as ICSE and WWW, the rst conference on Web engineering was held in C¿ aceres, Spain in 2001. It was followed by ICWE 2002 in Santa Fe, Argentina and ICWE 2003 in Oviedo, Spain. In 2004 ICWE moved to the center of Europe and was held in Munich, Germany from July 26 to 30. ICWE 2004 was organized by the Institute for Informatics of the Ludwig- Maximilians-Universit¿ at (LMU) Munich. The ICWE 2004 edition received a total of 204 submissions, out of which 25 paperswereselectedbytheProgramCommitteeasfullpapers(12%acceptance).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 648 pp. Englisch.

Buch. Condizione: Neu. Neuware -H. Wegele, L. Müller, and J. Buchner: Hsp70 and Hsp90 ¿ A Relay Team for Protein Folding R. Schülein: The Early Stages of the Intracellular Transport of Membrane Proteins: Clinical and Pharmacological Implications L. Schild: The Epithelial Sodium Channel: From Molecule to DiseaseSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Buch. Condizione: Neu. Neuware -Quantum mechanics is the set of laws of physics which, to the best of our knowledge, provides a complete account of the microworld. One of its chap ters, quantum electrodynamics (QED), is able to account for the quantal phenomena of relevance to daily life (electricity, light, liquids and solids, etc.) with great accuracy. The language of QED, field theory, has proved to be uni versal providing the theoretical basis to describe the behaviour of many-body systems. In particular finite many-body systems (FMBS) like atomic nuclei, metal clusters, fullerenes, atomic wires, etc. That is, systems made out of a small number of components. The properties of FMBS are expected to be quite different from those of bulk matter, being strongly conditioned by quantal size effects and by the dynamical properties of the surface of these systems. The study of the elec tronic and of the collective behaviour (plasmons and phonons) of FMBS and of their interweaving, making use of well established first principle quantum (field theoretical) techniques, is the main subject of the present monograph. The interest for the study of FMBS was clearly stated by Feynman in his address to the American Physical Society with the title 'There is plenty of room at the bottom'. On this occasion he said among other things: 'When we get to the very, very small world - say circuits of seven atoms - we have a lot of new things that would happen that represent completely new opportunities for design' [1].Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -We greeted the attendees of CIVR 2004 with the following address: ¿T¿ aimid an- ¿ bhroduil ¿ failte ¿ a chur romhaibh chuig Ollscoil Chathair Bhaile Atha Cliath agus ¿ chuig an triu ¿ Comhdh¿ ail Idirn¿ aisiun ¿ ta ar Aisghabh¿ ail Iomh¿ anna agus F¿ se¿ an. ¿ T¿asuil ¿ againn go mbeidh am iontach agaibh anseo in Eirinn agus go mbeidh bhur gcuairt taitneamhnach agus sas ¿ uil. ¿ T¿ aimid an-bhroduil ¿ go hairithe ¿ failte ¿ a chur roimh na daoine on ¿ oiread sin t¿ ortha difriula ¿ agus na daoine a th¿ ainig as i bhfad i gc¿ ein. T¿aanoireadsinpaip ¿ ¿ ear curtha isteach chuig an chomhdh¿ ail seo go bhfuil caighde¿ an na bp¿ aip¿ ear agus na bp¿ ostaer an-ard ar fad agus taimid ¿ ag s¿ uil go mor ¿ le h¿ ocaid iontach. ¿ rd We were delighted to host the 3 International Conference on Image and Video Retrieval in Dublin City University. We hope that all attendees had a wonderful stay in Ireland and that their visits were enjoyable and rewarding. There were 125 papers in total submitted to the CIVR2004 conference and each was reviewed by at least three independent reviewers. We are grateful to the 64 members of the technical programme committee and the 29 other rev- wers who completed these reviews and allowed us to put together a very strong technical programme.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 704 pp. Englisch.

Buch. Condizione: Neu. Neuware -The author coherently presents the physical concepts, mathematical details and methodology for optimizing results of reservoir modeling, under conditions of isotropy and anisotropy. The most common form of anisotropy ¿ the transverse isotropy, is dealt with in detail. Besides, practical aspects in reservoir engineering ¿ such as interval isotropic or anisotropic properties of layered media; identifying lithology, pore-fluid types and saturation; and determining crack/fracture-orientations and density - form the core of discussions. This book incorporates significant new developments in isotropic and anisotropic reflection processing, while organizing them to improve the interpretation of seismic reflection data and optimizing the modeling of hydrocarbon reservoirs. The text contains exercises and problems, and solutions are provided for the exercises. This book is written primarily for graduate/postgraduate students and research workers in geophysics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 656 pp. Englisch.

Buch. Condizione: Neu. Neuware -Computational Geosciences with Mathematica is the only book written by a geologist specifically to show geologists and geoscientists how to use Mathematica to formulate and solve problems. It spans a broad range of geologic and mathematical topics, which are drawn from the author's extensive experience in research, consulting, and teaching. The reference and text leads readers step-by-step through geologic applications such as custom graphics programming, data input and output, linear and differential equations, linear and nonlinear regression, Monte Carlo simulation, time series and image analysis, and the visualization and analysis of geologic surfaces. It is packed with actual Mathematica output and includes boxed Computer Notes with tips and exploration suggestions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Buch. Condizione: Neu. Neuware -Planetary Aeronomy is a modern and concise introduction to the underlying physical and chemical processes that govern the formation and evolution of the upper atmospheres of planets. The general approach employed permits consideration of the growing number of extrasolar planets, the detailed observation of which will become possible over the next decades. The book explains the physics behind many atmospheric processes, which are relevant for the evolution of planetary atmospheres and their water inventories, and also contains useful scaling laws and analytical expressions that can be applied to any planet. Readers thus gain insight into the evolution of terrestrial planets and their long-time habitability, atmospheric stability, etc. This volume can be used both as graduate textbook for students wishing to specialize in the field as well as succinct compendium for researchers in the field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Buch. Condizione: Neu. Neuware -This monograph discusses issues related to estimation, control, and motion planning for mobile robots operating in rough terrain, with particular attention to planetary exploration rovers. Rough terrain robotics is becoming increasingly important in space exploration, and industrial applications. However, most current motion planning and control algorithms are not well suited to rough terrain mobility, since they do not consider the physical characteristics of the rover and its environment. Specific addressed topics are: wheel terrain interaction modeling, including terrain parameter estimation and wheel terrain contact angle estimation; rough terrain motion planning; articulated suspension control; and traction control. Simulation and experimental results are presented that show that the desribed algorithms lead to improved mobility for robotic systems in rough terrain.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Buch. Condizione: Neu. Neuware -Symbolic asymptotics has recently undergone considerable theoretical development, especially in areas where power series are no longer an appropriate tool. Implementation is beginning to follow.The present book, written by one of the leading specialists in the area, is currently the only one to treat this part of symbolic asymptotics. It contains a good deal of interesting material in a new, developing field of mathematics at the intersection of algebra, analysis and computing, presented in a lively and readable way. The associated areas of zero equivalence and Hardy fields are also covered.The book is intended to be accessible to anyone with a good general background in mathematics, but it nonetheless gets right to the cutting edge of active research. Some results appear here for the first time, while others have hitherto only been given in preprints.Due to its clear presentation, this book is interesting for a broad audience of mathematicians and theoretical computer scientists.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.