springer berlin heidelberg springer berlin heidelberg jul 2007 (177 risultati)

Taschenbuch. Condizione: Neu. Neuware -In wavelet analysis, irregular wavelet frames have recently come to the forefront of current research due to questions concerning the robustness and stability of wavelet algorithms. A major difficulty in the study of these systems is the highly sensitive interplay between geometric properties of a sequence of time-scale indices and frame properties of the associated wavelet systems.This volume provides the first thorough and comprehensive treatment of irregular wavelet frames by introducing and employing a new notion of affine density as a highly effective tool for examining the geometry of sequences of time-scale indices. Many of the results are new and published for the first time. Topics include: qualitative and quantitative density conditions for existence of irregular wavelet frames, non-existence of irregular co-affine frames, the Nyquist phenomenon for wavelet systems, and approximation properties of irregular wavelet frames.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Economic Systems exhibit complex dynamics evidenced by large-amplitude and aperiodic fluctuations in economic variables, such as foreign exchange rates and stock market prices, indicating that these systems are driven far from the equilibrium. Characterization of the complex behavior of economic cycles, by identifying regular and irregular patterns and regime switching in economic time series, is the key for pattern recognition and forecasting of economic cycles. Statistical analysis of stock markets and foreign exchange markets has demonstrated the intermittent nature of economic time series. A nonlinear model of business cycles is able to simulate intermittency arising from order-chaos and chaos-chaos transitions. This monograph introduces new concepts of unstable periodic orbits and chaotic saddles which are unstable structures embedded in a chaotic attractor, responsible for economic intermittency.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -On behalf of the program and organizing committee members of this conference, we th are pleased to present you with the proceedings of the 12 Asia-Pacific Computer Systems Architecture Conference (ACSAC 2007), which was hosted in Seoul, Korea on August 23-25, 2007. This conference has traditionally been a forum for leading researchers in the Asian, American and Oceanian regions to share recent progress and the latest results in both architectural and system issues. In the past few years the c- ference has become more international in the sense that the geographic origin of p- ticipants has become broader to include researchers from all around the world, incl- ing Europe and the Middle East. This year, we received 92 paper submissions. Each submission was reviewed by at least three primary reviewers along with up to three secondary reviewers. The total number of completed reviews reached 333, giving each submission 3.6 reviews on average. All the reviews were carefully examined during the paper selection process, and finally 26 papers were accepted, resulting in an acceptance rate of about 28%. The selected papers encompass a wide range of topics, with much emphasis on hardware and software techniques for state-of-the-art multicore and multithreaded architectures. 416 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This is a subject that is as hot as a snake in a wagon rut, offering as it does huge potentiality in the field of computer programming. That¿s why this book, which constitutes the refereed proceedings of the 7th International Symposium on Abstraction, Reformulation, and Approximation, held in Whistler, Canada, in July 2007, will undoubtedly prove so popular among researchers and professionals in relevant fields. 26 revised full papers are presented, together with the abstracts of 3 invited papers and 13 research summaries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The inherent dangers of change are often summed up in the misquoted Chinese curse ¿May you live in interesting times.¿ The submission procedure for the 16th International Conference of Inductive Logic Programming (ILP 2006) was a radical (hopefully interesting but not cursed) departure from previous years. Submissions were requested in two phases. The rst phase involved submission of short papers (three pages) which were then presented at the conference and included in a short papers proceedings. In the second phase, reviewers selected papersforlongpapersubmission(15pagesmaximum).Thesewerethenassessed by the same reviewers, who then decided which papers to include in the journal special issue and proceedings. In the rst phase there were a record 77 papers, comparedto the usual20 orso long papersofpreviousyears.Eachpaper was- viewed by three reviewers. Out of these, 71 contributors were invited to submit long papers. Out of the long paper submissions, 7 were selected for the - chine Learning Journal special issue and 27 were accepted for the proceedings. In addition, two papers were nominated by Program Committee referees for the applications prize and two for the theory prize. The papers represent the div- sity and vitality in present ILP research including ILP theory, implementations, search and phase transition, distributed and large-scale learning, probabilistic ILP, biological applications, natural language learning and planning and action learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Running to almost 400 pages, and featuring more than 40 papers, this work on combinatorial optimization and applications will be seen as an important addition to the literature. It constitutes the refereed proceedings of the first International Conference on Combinatorial Optimization and Applications, COCOA 2007, held in Xi'an, China in August of that year. The 29 revised full papers presented together with 8 invited papers and 2 invited presentations were carefully reviewed and selected from 114 submissions and cover both theoretical issues and practical applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Who could have predicted that the S¿ eminaire de Probabilit¿ es would reach the age of 40 This long life is rst due to the vitality of the French probabil- tic school, for which the S¿ eminaire remains one of the most speci c media of exchange. Another factor is the amount of enthusiasm, energy and time invested year after year by the R¿ edacteurs: Michel Ledoux dedicated himself tothistaskuptoVolumeXXXVIII,andMarcYormadehisnameinseparable from the S¿ eminaire by devoting himself to it during a quarter of a century. Browsing among the past volumes can only give a faint glimpse of how much is owed to them; keeping up with the standard they have set is a challenge to the new R¿ edaction. In a changing world where the status of paper and ink is questioned and where, alas, pressure for publishing is increasing, in particular among young mathematicians, we shall try and keep the same direction. Although most contributions are anonymously refereed, the S¿ eminaire is not a mathema- cal journal; our rst criterion is not mathematical depth, but usefulness to the French and international probabilistic community. We do not insist that everything published in these volumes should have reached its nal form or be original, and acceptance¿rejection may not be decided on purely scienti c grounds.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.

Buch. Condizione: Neu. Neuware -Retrieval of multimedia data is different from retrieval of structured data. A key problem in multimedia databases is search, and the proposed solutions to the problem of multimedia information retrieval span a rather wide spectrum of topics outside the traditional database area, ranging from information retrieval and human¿computer interaction to computer vision and pattern recognition.Based on more than 10 years of teaching experience, Blanken and his coeditors have assembled all the topics that should be covered in advanced undergraduate or graduate courses on multimedia retrieval and multimedia databases. The single chapters of this textbook explain the general architecture of multimedia information retrieval systems; various metadata languages like Dublin Core, RDF, or MPEG; pattern recognition through Markov models, unsupervised learning, and pattern clustering; various indexing approaches to audio and video streams; interaction and control; the protection of content and user privacy; and search effectiveness and efficiency. The authors emphasize high-level features and show how these features are used in mathematical models to support the retrieval process. For each chapter, there¿s detail on further reading, and additional exercises and teaching material is available online.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In modern financial practice, asset prices are modelled by means of stochastic processes, and continuous-time stochastic calculus thus plays a central role in financial modelling. This approach has its roots in the foundational work of the Nobel laureates Black, Scholes and Merton. Asset prices are further assumed to be rationalizable, that is, determined by equality of demand and supply on some market. This approach has its roots in the foundational work on General Equilibrium of the Nobel laureates Arrow and Debreu and in the work of McKenzie. This book has four parts. The first brings together a number of results from discrete-time models. The second develops stochastic continuous-time models for the valuation of financial assets (the Black-Scholes formula and its extensions), for optimal portfolio and consumption choice, and for obtaining the yield curve and pricing interest rate products. The third part recalls some concepts and results of general equilibrium theory, and applies this in financial markets. The last part is more advanced and tackles market incompleteness and the valuation of exotic options in a complete market.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Buch. Condizione: Neu. Neuware -The nature and essence of Dark Matter and Dark Energy have become the central issue in modern cosmology over the past years. This extensive volume, an outgrowth of a topical and tutorial summer school, has been set up with the aim of constituting an advanced-level, multi-authored textbook which meets the needs of both postgraduate students and young researchers in the fields of modern cosmology and astrophysics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -There is a world beyond Turing, as more and more computer researchers are demonstrating, but where would you find out about the current leading edge in unconventional computation Here, in this fascinating work that is the refereed proceedings of the 6th International Conference on Unconventional Computation, held in Kingston, Canada, in August 2007. The 17 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. All current aspects of unconventional computation are addressed. 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -No fewer than 55 revised full papers are presented in this volume, all given at the 4th International Conference on Autonomic and Trusted Computing, held in Hong Kong, China in July 2007. The papers, presented together with one keynote lecture, were carefully reviewed and selected from 223 submissions. The papers are organized in topical sections on, among others, cryptography and signatures, autonomic computing and services, and secure and trusted computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 592 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -organized by Lexi Pimenidis of RWTH Aachen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Buch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Decision modeling is a key area in the developing field of AI, and this timely work connects researchers and professionals with the very latest research. It constitutes the refereed proceedings of the 4th International Conference on Modeling Decisions for Artificial Intelligence, held in Kitakyushu, Japan, in August 2007. The 42 revised full papers presented together with 4 invited lectures are devoted to theory and tools, as well as applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The International Conference on Case-Based Reasoning (ICCBR) is the pre-eminent international meeting on case-based reasoning (CBR). ICCBR 2007 (iccbr.org./iccbr07/) was the seventh in this series, presenting the most significant contributions in the field of CBR. The conference took place in Belfast, Northern Ireland, UK, during August 13-16, 2007. ICCBR and its sister conferences ECCBR (European Conference on Case-Based Reasoning) alternate every year. ICCBR 2007 followed a series of six successful international conferences previously held in Sesimbra, Portugal (1995); Providence, Rhode Island, USA (1997); Seeon, Germany (1999); Vancouver, Canada (2001); Trondheim, Norway (2003); and C- cago, Illinois, USA (2005). The European Conferences on Case-Based Reasoning (ECCBR) were held as European workshops in Kaiserslautern, Germany (1993); Chantilly, France (1994); Lausanne, Switzerland (1996); Dublin, Ireland (1998); and Trento, Italy (2000); and as European conferences in Aberdeen, UK (2002); Madrid, Spain (2004); and Lykia World, Turkey (2006). Days one, two, and four comprised presentations and posters on theoretical and - plied CBR research. In order to emphasize the importance of applications, the tra- tional industry day was converted into an Industry Program held on the second day, in the middle of the conference. Day three was devoted to five workshops: Case-Based Reasoning and Context-Awareness; Case-Based Reasoning in the Health Sciences; Textual Case-Based Reasoning: Beyond Retrieval; Uncertainty and Fuzziness in Case- Based Reasoning; and Knowledge Discovery and Similarity.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 552 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of two joint RECOMB 2006 satellite events: the Second Annual Workshop on Systems Biology, RSB 2006, and the First Biennial Workshop on Computational Proteomics, RCP 2006, held in San Diego, CA, USA in December 2006. The papers cover various aspects of systems biology and explore the use of computational mass spectrometry in various proteomic applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The main goal of the EUNICE Summer School is to give young researchers,and particularly PhD students, the opportunity to present their work at an inter- tional level. The EUNICE Summer School also seeks to o er comprehensive and inspiring invited talks from experienced experts in the eld, providing a context for discussions on ongoing research and new challenges. The EUNICE Summer School is an initiative of the European University Network of Information and Communication Engineering, or EUNICE Network for short. Although the summer school events are organized by the member institutions taking turns, submission to and participation in the events are open to researchers outside the EUNICE Network. The 13th EUNICE Summer School returned to Enschede, The Netherlands, whereitwashostedearlierin2000.Backin2000,thethemeofthesummerschool was ¿Innovative Internet Applications.¿ Much has changed since then: wireless network technologies have become a constantly growing part of the Internet infrastructure, and increasingly smaller and more powerful computing devices with exible connectivity open the possibility of new services and applications. 168 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Stamatis Vassiliadis established the SAMOS workshop in the year 2001¿an event which combines his devotion to computer engineering and his pride for Samos, the island where he was born. The quiet and inspiring northern mo- tainside of this Mediterranean island together with his enthusiasm and warmth created a unique atmosphere that made this event so successful. Stamatis V- siliadis passed away on Saturday, April 7, 2007. The research community wants to express its gratitude to him for the creation of the SAMOS workshop, which will not be the same without him. We would like to dedicate this proceedings volume to the memory of Stamatis Vassiliadis. The SAMOS workshop is an international gathering of highly quali ed - searchers from academia and industry, sharing their ideas during a 3-day lively discussion.Theworkshopmeetingisoneoftwocolocatedevents¿theotherevent being the IC-SAMOS. The workshop is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved pr- lems and in-depth topical reviews can be unleashed in the scienti c arena. C- sequently, the workshop provides the participants with an environment where collaboration rather than competition is fostered.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), which was held in Como (Italy) in July 2007. The conference is the agship event of the community, promoting research and scienti c progress in the Web engineering eld. The importance of the Web ¿ and of its many related technologies¿ is widening the scope of the conference year after year, and is also leading to the cross-fertilization of several related disciplines (e.g., requirements engineering, testing and analysis, communication science, HCI, multimedia, and more).The conference brings together practiti- ers, scientists, and researchers committed to investigating and innovating the technologies, methodologies, tools, processes, and techniques used to construct, verify, and maintain Web-based applications and services. This year, the Call for Papers attracted a high number of submissions with a verygoodcoverageof allthe di erentfacets of the Web engineeringdiscipline.A totalof172submissions(asforresearchpapers)allowedusto buildanattractive program of high technical and scienti c quality. The 39 selected submissions comprise 26 full papers and 13 short papers (with an acceptance rate close to 23%); they cover the di erent aspects highlighted in the Call for Papers and represent well the many Web engineering research groups active worldwide. The program spans from service-based systems to testing and analysis, from quality and metrics to models, and from semantic issues and Web 2.0 to application development techniques. 596 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume was prepared to share with a larger audience the exciting ideas and work presented at an ICML 2006 workshop of the same title. Network models have a long history. Sociologists and statisticians made major advances in the 1970s and 1980s, culminating in part with a number of substantial databases and the class of exponential random graph models and related methods in the early 1990s. Physicists and computer scientists came to this domain cons- erably later, but they enriched the array of models and approaches and began to tackle much larger networks and more complex forms of data. Our goal in organ- ing the workshop was to encourage a dialog among people coming from di erent disciplinary perspectives and with di erent methods, models, and tools. Both the workshop and the editing of the proceedings was a truly colla- rative e ort on behalf of all six editors, but three in particular deserve special recognition. Anna Goldenberg and Alice Zheng were the driving force behind the entire enterprise and Edo Airoldi assisted on a number of the more important arrangements.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Buch. Condizione: Neu. Neuware -In this book the author employs a cybernetic view of robot cognition and perception as he examines mobile robot simulations, realizations and experiments, and explains the related mathematical models and algorithms. Chapters are dedicated to map building, path planning, navigation using genetic algorithms, and robot programming packages. Then detailed chapters examine the programs required for robot parameter display, gripper control, sonar reading display, teleoperation, autonomous navigation, image capture and 3D perception.This book will be useful for students and engineers building intelligent robots, and researchers migrating to this field. The required source code is included in the book or available online.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), which is an annual event that, for the rst time, was hosted in the UK. Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications in - search,softwareengineering,manufacturing and business.The conference brings together researchersin computer science, information technology,arti cial int- ligence, philosophy and a variety of applied disciplines to explore novel ways that information technologies can be leveraged to assist human reasoning and interaction for tangible business or social bene ts. Conceptual structures can be used to augment human intelligence by facilitating knowledge integration, de- sion making, the creation of intelligent software systems and the exploration of implicit structures. The theme for this year¿s conference was ¿Conceptual Structures: Kno- edge Architectures for Smart Applications.¿ Knowledge architectures give rise to smart applications that allow enterprises to share meaning across their int- connected computing resources and to realize transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart appli- tions integrate the creativity of individuals and organizations with the prod- tivity of computers for a meaningful digital future. A focus of ICCS 2007 was on papers that apply conceptual structures in business and technological settings. Other submitted papers covered researchin conceptual structures, which is s- ported by mathematical and computational theory, including formal concept analysis, algorithm design and graph theory, and a variety of software tools. 532 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the International Conference on C- puter Aided Veri cation (CAV), held in Berlin, Germany, July 3¿7, 2007. CAV 2007 was the 19th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri cation tools and the algorithms and techniques that are needed for their implementation. We received 134 regular paper submissions and 39 tool paper submissions. Of these, the ProgramCommittee selected 33 regularpapersand 14 toolpapers. Each submission was reviewed by at least three members of the Program C- mittee. The reviewing process included a PC review meeting, and ¿ for the rst time in the history of CAV ¿ an author feedback period. About 50 additional reviews were provided by experts external to the Program Committee to assure a high quality selection. The CAV 2007 program included three invited talks from industry: ¿ Byron Cook (Microsoft Research) on Automatically Proving Program T- mination, ¿ David Russino (AMD) on A Mathematical Approach to RTL Veri cation, and ¿ Thomas Kropf (Bosch) on Software Bugs Seen from an Industrial Persp- tive. 584 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, held in Caparica, Portugal in June 2006. The papers are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Buch. Condizione: Neu. Neuware -This concise treatment embraces, in four parts, all the main aspects of theoretical physics. Recent topics such as holography and quantum cryptography are included. The book summarizes what a graduate student, physicist working in industry, or a physics teacher should master during his or her degree course. It will also be useful for deepening one¿s insight and it adds new dimensions to understanding of these elemental concepts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Buch. Condizione: Neu. Neuware -Dieses Buch beschäftigt sich mit Algorithmen und Methoden der Peer-to-Peer-Netzwerke und gibt einen Einblick in die aktuelle Forschung.Ursprünglich waren Peer-to-Peer-Netzwerke nur für File-Sharing konzipiert. Mittlerweile hat sich Peer-to-Peer zum Paradigma für Rechnernetzwerke entwickelt. Ziel dieses Buches ist es, dem Leser ein grundlegendes Verständnis der Techniken hinter den aktuellen Peer-to-Peer-Netzwerken aufzuzeigen und im nächsten Schritt Algorithmen vorzustellen, die vielleicht erst in einigen Jahren umgesetzt werden.Das Buch richtet sich in erster Linie an Informatiker (Studenten ab dem 5. Semester). Aber auch interessierte Nichtinformatiker können von diesem Buch profitieren, wobei grundlegende Kenntnisse aus den Bereichen der Mathematik und Informatik vorausgesetzt werden. Die Ziele, Kernaussagen und Ergebnisse sollten jedoch jedem Leser auch ohne akademischen Hintergrund klar werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Deutsch.

Buch. Condizione: Neu. Neuware -Confabulation theory offers the first complete detailed explanation of the mechanism of cognition, i.e., thinking, an essential information processing capability of all enbrained Earth animals (bees, octopi, trout, ravens, humans, et al.). Concentrating on the human case, this book offers an hypothesis for the neuronal implementation of cognition, and explores the mathematics and methods of application of its mechanism. Thinking turns out to be starkly alien in comparison with all known technological approaches to information processing. While probably not yet scientifically testable, confabulation theory seems consistent with the facts of neuroscience. Beyond science, any complete detailed explanation of cognition can be investigated by applying it technologically. Multiple experiments of this nature are described in this book in complete detail. The results suggest that confabulation theory can provide the universal platform for building intelligent machines. In short, this book explains how thinking works and establishes the foundation for building machines that think.Because of the theory¿s implications for philosophy, education, medicine, anthropology and social science, this book will also be of interest to scientists in those domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.