springer mai 2009 (460 risultati)

Taschenbuch. Condizione: Neu. Neuware -Cosa mangia l¿America nell¿era moderna Probabilmente molte delle cose che mangeremo anche noi nel prossimo futuro.Ormai la dinamica dei flussi è chiara: l¿hamburger e la Coca Cola sono solo i simboli di un modello di consumo che, con diverse sfaccettature, ha definitivamente contaminato la nostra cultura del cibo. Se per noi gli spaghetti sono intoccabili e la pizza continua a essere il più gettonato tra i fast food, è comunque vero che le giovani generazioni sentono irresistibile il richiamo del cibo made in USA. All¿insegna dell¿intercultura e del mercato globale, ci troveremo sempre di più a fare i conti con prodotti per noi alieni come i Marshmallow (le famose caramelle spugnose a forma di cilindretto), magari in versioni addomesticate per sposarsi meglio con il gusto mediterraneo. Del resto il Parmigiano Reggiano e lo Speck dell¿Alto Adige negli hamburger di McDonald¿s sono già una realtà ed è un dato di fatto che i banchi del supermercato si arricchiscano ogni giorno di nuove proposte sempre più tecnologiche. Le 'patatine' che hanno l¿aspetto e il sapore del bacon (senza averlo mai visto nemmeno da lontano) sono dei must dell¿happy hour, così come prosegue il successo degli energy drink dal gusto dubbio e delle gomme americane (per l¿appuntö) che frizzano.Pagina dopo pagina, questo libro ci introduce in un mondo diverso ma certamente affascinante, dove si scopre che il cibo può avere dimensioni e significati differenti da quelli che gli attribuiamo abitualmente. Oltre il piacere, oltre il nutrimento, diventa gioco, ricerca tecnologica, sfida scientifica, desiderio di stupire e di distinguersi¿Arricchito da informazioni inattese e uno humour sorprendente, Sai cosa mangi approfondisce in maniera dettagliata e avvincente non solo come la scienza è presente nei nostri pasti quotidiani, ma anche quali sono i principi scientifici sottostanti aidiversi alimenti che ogni giorno mangiamo. 260 pp. Italienisch.

Taschenbuch. Condizione: Neu. Neuware -This book presents a step-by-step discussion of the design and development of radio frequency identification (RFID) and RFID-enabled sensors on flexible low cost substrates for UHF frequency bands. Various examples of fully function building blocks (design and fabrication of antennas, integration with ICs and microcontrollers, power sources, as well as inkjet-printing techniques) demonstrate the revolutionary effect of this approach in low cost RFID and RFID-enabled sensors fields. This approach could be easily extended to other microwave and wireless applications as well. The first chapter describes the basic functionality and the physical and IT-related principles underlying RFID and sensors technology. Chapter two explains in detail inkjet-printing technology providing the characterization of the conductive ink, which consists of nano-silver-particles, while highlighting the importance of this technology as a fast and simple fabrication technique especially on flexible organic substrates such as Liquid Crystal Polymer (LCP) or paper-based substrates. Chapter three demonstrates several compact inkjet-printed UHF RFID antennas using antenna matching techniques to match IC's complex impedance as prototypes to provide the proof of concept of this technology. Chapter four discusses the benefits of using conformal magnetic material as a substrate for miniaturized high-frequency circuit applications. In addition, in Chapter five, the authors also touch up the state-of-the-art area of fully-integrated wireless sensor modules on organic substrates and show the first ever 2D sensor integration with an RFID tag module on paper, as well as the possibility of 3D multilayer paper-based RF/microwave structures. Table of Contents: Radio Frequency Identification Introduction / Flexible Organic Low Cost Substrates / Benchmarking RFID Prototypes on Organic Substrates / Conformal Magnetic Composite RFID Tags / Inkjet-Printed RFID-Enabled SensorsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 92 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -For many years, most computer architects have pursued one primary goal: performance. Architects have translated the ever-increasing abundance of ever-faster transistors provided by Moore's law into remarkable increases in performance. Recently, however, the bounty provided by Moore's law has been accompanied by several challenges that have arisen as devices have become smaller, including a decrease in dependability due to physical faults. In this book, we focus on the dependability challenge and the fault tolerance solutions that architects are developing to overcome it. The two main purposes of this book are to explore the key ideas in fault-tolerant computer architecture and to present the current state-of-the-art - over approximately the past 10 years - in academia and industry. Table of Contents: Introduction / Error Detection / Error Recovery / Diagnosis / Self-Repair / The FutureSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book discusses how to develop embedded products using DaVinci & OMAP Technology from Texas Instruments Incorporated. It presents a single software platform for diverse hardware platforms. DaVinci & OMAP Technology refers to the family of processors, development tools, software products, and support. While DaVinci Technology is driven by the needs of consumer video products such as IP network cameras, networked projectors, digital signage and portable media players, OMAP Technology is driven by the needs of wireless products such as smart phones. Texas Instruments offers a wide variety of processing devices to meet our users' price and performance needs. These vary from single digital signal processing devices to complex, system-on-chip (SoC) devices with multiple processors and peripherals. As a software developer you question: Do I need to become an expert in signal processing and learn the details of these complex devices before I can use them in my application As a senior executive you wonder: How can I reduce my engineering development cost How can I move from one processor to another from Texas Instruments without incurring a significant development cost This book addresses these questions with sample code and gives an insight into the software architecture and associated component software products that make up this software platform. As an example, we show how we develop an IP network camera. Using this software platform, you can choose to focus on the application and quickly create a product without having to learn the details of the underlying hardware or signal processing algorithms. Alternatively, you can choose to differentiate at both the application as well as the signal processing layer by developing and adding your algorithms using the xDAIS for Digital Media, xDM, guidelines for component software. Finally, you may use one code base across different hardware platforms.Table of Contents: Software Platform / More about xDM, VISA, & CE / Building a Product Based on DaVinci Technology / Reducing Development Cost / eXpressDSP Digital Media (xDM) / Sample Application Using xDM / Embedded Peripheral Software Interface (EPSI) / Sample Application Using EPSI / Sample Application Using EPSI and xDM / IP Network Camera on DM355 Using TI Software / Adding your secret sauce to the Signal Processing Layer (SPL) / Further ReadingSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Linguistic annotation and text analytics are active areas of research and development, with academic conferences and industry events such as the Linguistic Annotation Workshops and the annual Text Analytics Summits. This book provides a basic introduction to both fields, and aims to show that good linguistic annotations are the essential foundation for good text analytics. After briefly reviewing the basics of XML, with practical exercises illustrating in-line and stand-off annotations, a chapter is devoted to explaining the different levels of linguistic annotations. The reader is encouraged to create example annotations using the WordFreak linguistic annotation tool. The next chapter shows how annotations can be created automatically using statistical NLP tools, and compares two sets of tools, the OpenNLP and Stanford NLP tools. The second half of the book describes different annotation formats and gives practical examples of how to interchange annotations between different formats using XSLT transformations. The two main text analytics architectures, GATE and UIMA, are then described and compared, with practical exercises showing how to configure and customize them. The final chapter is an introduction to text analytics, describing the main applications and functions including named entity recognition, coreference resolution and information extraction, with practical examples using both open source and commercial tools. Copies of the example files, scripts, and stylesheets used in the book are available from the companion website, located at the book website. Table of Contents: Working with XML / Linguistic Annotation / Using Statistical NLP Tools / Annotation Interchange / Annotation Architectures / Text AnalyticsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Service-orientierte Architektur (SOA) ist ein aktuelles Schlagwort, das nicht nur im Bereich der Softwaretechnik sondern auch im Unternehmens-Management auf sehr viel Interesse gestoßen ist. Bei der Wahl der Strategie zur Modernisierung von IT-Landschaften fällt die Entscheidung häufig zugunsten dieses neuartigen Architekturmodells.Der Kerngedanke von SOA besteht darin, IT-Funktionalitäten in einzelne, geschäftsorientierte Serviceblöcke aufzuspalten und damit komplexe Strukturen aufzulösen. Dem Leser werden einerseits die allgemeinen Grundlagen der Serviceorientierung vermittelt und andererseits die technologischen Konzepte und Standards zur praktischen Umsetzung Service-orientierter Architekturen unter Verwendung von WebServices vorgestellt. Der Fokus liegt dabei auf der Fragestellung, in wie weit WebServices zur Implementierung geeignet sind. Ergänzend wird die Orchestrierung von Services zu einem Prozess mittels der Prozessbeschreibungssprache WS-BPEL beschrieben und auf organisatorische Vorgehensmethoden im Rahmen der SOA-Governance eingegangen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 2008 Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, held in Hanoi, Vietnam, in December 2008 as part of 10th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2008. The 20 revised papers presented were carefully reviewed and selected from 57 submissions and went through two rounds of reviewing and improvement. The papers are organized in topical sections on machine learning and data mining, incremental knowledge acquisition, web-based techniques and applications, as well as domain specific knowledge acquisition methods and applications. 256 pp. Englisch.

Buch. Condizione: Neu. Neuware -In this monograph we apply scattering theory methods to calculations in quantum eld theory, with a particular focus on properties of the quantum vacuum. These methods will provide e cient and reliable solutions to a - riety of problems in quantum eld theory. Our approach will also elucidate in a concrete context many of the subtleties of quantum eld theory, such as divergences, regularization, and renormalization, by connecting them to more familiar results in quantum mechanics. We will use tools of scattering theory to characterize the spectrum of energyeigenstatesinapotentialbackground,hencethetermspectralmethods. This mode spectrum comprises both discrete bound states and a continuum of scattering states. We develop a powerful formalism that parameterizes the e ects of the continuum by the density of states, which we compute from scattering data. Summing the zero-point energies of these modes gives the energy of the quantum vacuum, which is one of the central quantities we study.Althoughthemostcommonlystudiedbackgroundpotentialsarisefrom static soliton solutions to the classical equations of motion, these methods are not limited to such cases. 196 pp. Englisch.

Buch. Condizione: Neu. Neuware -The theory of elliptic curves is distinguished by its long history and by the diversity of the methods that have been used in its study. This book treats the arithmetic approach in its modern formulation, through the use of basic algebraic number theory and algebraic geometry. Following a brief discussion of the necessary algebro-geometric results, the book proceeds with an exposition of the geometry and the formal group of elliptic curves, elliptic curves over finite fields, the complex numbers, local fields, and global fields. Final chapters deal with integral and rational points, including Siegels theorem and explicit computations for the curve Y = X + DX, while three appendices conclude the whole: Elliptic Curves in Characteristics 2 and 3, Group Cohomology, and an overview of more advanced topics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the era of continuous changes in internal organizationalsettings and external business environments ¿ such as new regulations and business opportunities ¿ modern enterprises are subject to extensive research and study. For the understanding, design, and engineering of modern enterprises and theircomplexbusiness processes,thedisciplineofenterpriseengineeringrequires sound engineering principles and systematic approaches based on rigorous th- ries. Along with that, a paradigm shift seems to be needed for addressing these issues adequately. The main paradigm shift is the consideration of an enterprise and its business processes as a social system. In its social setting, an enterprise and its business processes represent actors with certain authorities and assigned roles, who assume certain responsibilities in order to provide a service to its environment. Second to that, a paradigm shift is to look at an enterprise as an artifact purposefully designed for a certain mission and goal. The need for this paradigm shift, along with the complexity and agility of modern enterprises, gives inspiration for the emerging discipline of enterprise engineering that requires development of new theories and methodologies. To this end, the prominent methods and tools of modeling and simulation play a signi cant role. Both (conceptual) modeling and simulation are widely used for understanding, analyzing, and engineering an enterprise (its organization and business processes). 220 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Mandelbrot and van Ness (1968) suggested fractional Brownian motion as a parsimonious model for the dynamics of nancial price data, which allows for dependence between returns over time. Starting with Rogers(1997) there is an ongoing dispute on the proper usage of fractional Brownian motion in option pricing theory. Problems arise because fractional Brownian motion is not a semimartingale and therefore ¿no arbitrage pricing¿ cannot be applied. While this is consensus, the consequences are not as clear. The orthodox interpretation is simply that fractional Brownian motion is an inadequate candidate for a price process. However, as shown by Cheridito (2003) any theoretical arbitrage opportunities disappear by assuming that market p- ticipants cannot react instantaneously. This is the point of departure of Rostek¿s dissertation. He contributes to this research in several respects: (i) He delivers a thorough introduction to fr- tional integration calculus and uses the binomial approximation of fractional Brownianmotion to give the reader a rst idea of this special market setting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The ATOP (Agent-Based Technologies and Applications for Enterprise Interoperability) workshop series focuses on technologies that support interoperability in networked organizations, on successful applications of these technologies, and on lessons learned. So far two ATOP workshops have been held at the AAMAS conferences in Utrecht, The Netherlands, in July 2005, and in Estoril, Portugal, in May 2008. The 13 papers presented here are extended versions of carefully reviewed and selected contributions to the workshops. The topics covered are business interoperability; organizations and virtual institutions; modeling multiagent systems; agent interaction; and security. The main goal was to collect approaches for the application of agent technologies in these areas. Current trends in the development of agent technologies are compared with recent developments in service-oriented and model-driven system design, with respect to their ability to solve interoperability problems. 268 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Thepapersinthis volumewerepresentedatthe5thInternationalConferenceon Algorithmic Aspects in Information and Management (AAIM 2009), held June 15¿17, 2009, in San Francisco, California. The topics cover mostly algorithmic applications in information management and management science. A total of 41 papers were submitted to the conference.After an on-line paper review process, the Program Committee accepted 25 papers to be presented. The international Program Committee included Tetsuo Asano, Marshall Bern, Daniel Bienstock, Danny Z. Chen, Camil Demetrescu, Lisa Fleischer, Rudolf Fleischer, Martin Frer, Andrew Goldberg, Mordecai Golin, Monika Henzinger, Seok-Hee Hong, Ming-Yang Kao, Xiang-Yang Li, Mohammad Mahdian, Tom McCormick, Junfeng Pan, Rong Pan, Panos Pardalos, Tomasz Radzik, Rajeev Raman, Martin Scholz, Robert Schreiber, Dou Shen, Xiaodong Wu, Jinhui Xu, QiangYang,HuamingZhang,YunhongZhouandBinhaiZhu.Itisexpectedthat many of the accepted papers will appear in a more complete form in scienti c journals. The submitted papers are from Algeria, Argentina, Australia, Chile, China, Czech Republic, Denmark, France, Germany, Hong Kong, India, Iran, Israel, Japan, Taiwan, UK and USA. Each paper was evaluated by at least three P- gram Committee members (four is also common), assisted in some cases by subreferees (listed in the proceedings). In addition to selected papers, the c- ference also included two invited presentations by Andrei Broder and Edward Chang. We thank allthe people who made this meeting possible:the authorsfor s- mitting papers, the Program Committee members for their excellent work, and the two invited speakers. Finally, we thank the Organizing Committee members whose hard work make this conference possible.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2009, held in Amsterdam, The Netherlands, in June 2009. The 14 revised full papers were carefully reviewed and selected from 49 submissions. The papers are organized in thematic sections on value and risk, change and evolution, interactions and inconsistencies, organization and structuring, experience, elicitation, research methods, behavior modeling, empirical studies, and open-source RE.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -COST ¿ the acronym for European COoperation in Science and Technology ¿ is the oldest and widest European intergovernmental network for cooperation in - search. Established by the Ministerial Conference in November 1971, COST is presently used by the scientific communities of 35 European countries to coop- ate in common research projects supported by national funds. The funds provided by COST ¿ less than 1% of the total value of the projects ¿ support the COST cooperation networks (COST Actions) through which, with ¿ 30 million per year, more than 30,000 European scientists are involved in - search having a total value which exceeds ¿ 2 billion per year. This is the financial worth of the European added value which COST achieves. A ¿bottom up approach¿ (the initiative of launching a COST Action comes from the European scientists themselves), ¿à la carte participation¿ (only countries interested in the Action participate), ¿equality of access¿ (participation is open also to the scientific communities of countries not belonging to the European - ion) and ¿flexible structure¿ (easy implementation and light management of the research initiatives) are the main characteristics of COST.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2009, held in Lisbon, Portugal, in June 2009. The DAIS conference was held as part of the federated event on Distributed Computing Techniques (DisCoTec), together with the 11th International Conference on Coordination Models and Languages (Coordination 2009) and the IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009). The 12 revised full papers presented were carefully reviewed and selected from 32 submissions. The papers address service orientation, quality of service and service contract, business processes, Web services, service components, algorithms and protocols supporting dependability, fault tolerance, data replication, group communication, adaptive and collaborative systems, context awareness, model-driven development, middleware for ubiquitous computing and sensor networks, ad hoc network protocols, peer-to-peer systems, and overlays. They are organized in topical sections peer-to-peer networks, adhoc networks, dependability, and infrastructure and services.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains a selection of the best papers from WEBIST 2008 (the Fourth International Conference on Web Information Systems and Technologies), held in Funchal, Madeira, in 2008, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), and co-sponsored by the Wo- flow Management Coalition (WfMC). The purpose of the WEBIST series of conferences is to bring together researchers, engineers and practitioners interested in the technological advances and business - plications of web-based information systems. The series focuses on four main topic areas, covering different aspects of web information systems, including internet te- nology; web interfaces and applications; society, e-business, and e-government; and e-learning. WEBIST 2008 received 238 paper submissions from more than 40 countries on all continents. A double-blind review process was enforced, with the help of more than 200 experts from the international Program Committee, each of them specialized in one of the main conference topic areas. After reviewing, 32 papers were selected to be published and presented as full papers and 64 additional papers, describing work-- progress, as short papers for oral presentation only. Furthermore, 58 papers were p- sented as posters. The full-paper acceptance ratio was 13%, and the total oral paper acceptance ratio was 40%. Therefore, we hope that you find the papers included in this book interesting, and we trust they may represent a helpful reference in the future for all those who need to address any of the research areas mentioned above. 436 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -th These proceedings contain refereed papers presented at the 7 WSOM held at the Casa Monica Hotel, St. Augustine, Florida, June 8¿10, 2009. We designed the wo- shop to serve as a regular forum for researchers in academia and industry who are interested in the exciting field of self-organizing maps (SOM). The program includes excellent examples of the use of SOM in many areas of social sciences, economics, computational biology, engineering, time series analysis, data visualization and c- puter science as well a vibrant set of theoretical papers that keep pushing the envelope of the original SOM. Our deep appreciation is extended to Teuvo Kohonen and Ping Li for the plenary talks and Amaury Lendasse for the organization of the special sessions. Our sincere thanks go to the members of the Technical Committee and other reviewers for their excellent and timely reviews, and above all to the authors whose contributions made this workshop possible. Special thanks go to Julie Veal for her dedication and hard work in coordinating the many details necessary to put together the program and local arrangements. Jose C. Principe Risto MiikkulainenSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The field of software engineering is characterized by speed and turbulence in many regards. While new ideas are proposed almost on a yearly basis, very few of them live for a decade or a longer. Lightweight software development methods were a new idea in the latter part of the 1990s. Now, ten years later, they are better known as agile software development methods, and an active community driven by practitioners has formed around the new way of thinking. Agile software development is currently being embraced by the research community as well. As a sign of increased research activity, most research-oriented conferences have an agile software development track included in the conference program. The XP conference series established in 2000 was the first conference dedicated to agile processes in software engineering. The idea of the conference is to offer a unique setting for advancing the state of the art in research and practice of agile processes. This year¿s conference was the tenth consecutive edition of this international event. Due to the diverse nature of different activities during the conference, XP is claimed to be more of an experience rather then a regular conference. It offers several different ways to interact and strives to create a truly collaborative environment where new ideas and exciting findings can be presented and shared. This is clearly visible from this year¿s program as well. 296 pp. Englisch.

Buch. Condizione: Neu. Neuware -Water is vital for life. Since the dawn of civilization, much effort has been made to harness sources of fresh water. Recent years have raised global awareness of the need for increasing demand of water worldwide, largely because of growing population, rising standard of living, higher demand for energy, and greater appreciation for environmental quality. As an example, the world population has increased threefold in the past five decades. In order to meet the rising water demand, water resources are being developed by building large dams, reservoirs, barrages and weirs across rivers worldwide. The guiding principle for water resources development has been to ensure adequate supply of water for agriculture, domestic use (including fine drinking water), waste disposal, industries, and energy production, with due attention to maintain the ecosystem functions. This development, however, depends on a holistic, cooperative and scientific approach. The basic inputs in the assessment of waterresources for a given region are from hydrological data and the subject of hydrology forms the core in achieving sustainable development of water resources. Barring a few exceptions, hydrological data for most river basins are sparse and therefore it is difficult to comprehensively assess their water resources. The major source of water is rainfall which occurs as a result of condensation of atmospheric moisture governed by the science of meteorology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2009, held in Nice, France in June 2009. The 54 revised full papers presented were carefully reviewed and selected from numerous submissions. The contributions cover topics such as cardiac imaging and electrophysiology, cardiac architecture imaging and analysis, cardiac imaging, cardiac electrophysiology, cardiac motion estimation, cardiac mechanics, cardiac image analysis, cardiac biophysical simulation, cardiac research platforms, and cardiac anatomical and functional imaging. 556 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The First International Workshop on Traffic Monitoring and Analysis (TMA 2009) was an initiative from the COST Action IC0703 'Data Traffic Monitoring and Analysis: Theory, Techniques, Tools and Applications for the Future Networks' (cost-tma.eu). The COST program is an intergovernmental framework for European Cooperation in Science and Technology, allowing the coordination of nationally funded research on a European level. Each COST Action contributes to reducing the fragmentation in research and opening the European Research Area to cooperation worldwide. Traffic monitoring and analysis (TMA) is now an important research topic within the field of networking. It involves many research groups worldwide that are coll- tively advancing our understanding of the Internet. The importance of TMA research is motivated by the fact that modern packet n- works are highly complex and ever-evolving objects. Understanding, developing and managing such environments is difficult and expensive in practice. Traffic monitoring is a key methodology for understanding telecommunication technology and improving its operation, and the recent advances in this field suggest that evolved TMA-based techniques can play a key role in the operation of real networks. Moreover, TMA offers a basis for prevention and response in network security, as typically the det- tion of attacks and intrusions requires the analysis of detailed traffic records. On the more theoretical side, TMA is an attractive research topic for many reasons.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The discipline of formal concept analysis (FCA) is concerned with the form- ization of concepts and conceptual thinking. Built on the solid foundation of lattice and order theory, FCA is rst and foremost a mathematical discipline. However,its motivation andguiding principles arebasedon strongphilosophical underpinnings. In practice, FCA provides a powerful framework for the qua- tative, formal analysis of data, as demonstrated by numerous applications in diverse areas. Likewise, it emphasizes the aspect of human-centered information processing by employing visualization techniques capable of revealing inherent structure in data in an intuitively graspable way. FCA thereby contributes to structuring and navigating the ever-growing amount of information available in our evolving information society and supports the process of turning data into information and ultimately into knowledge. In response to an expanding FCA community, the International Conference on Formal Concept Analysis (ICFCA) was established to provide an annual opportunity for the exchange of ideas. Previous ICFCA conferences were held in Darmstadt (2003), Sydney (2004), Lens (2005), Dresden (2006), Clermont- Ferrand (2007), as well as Montreal (2008) and are evidence of vivid ongoing interest and activities in FCA theory and applications. ICFCA 2009 took place during May 21¿24 at the University of Applied S- ences in Darmstadt. Beyond serving as a host of the very rst ICFCA in 2003, Darmstadt can be seen as the birthplace of FCA itself, where this discipline was introduced in the early 1980s and elaborated over the subsequent decades.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Buch. Condizione: Neu. Neuware -The problem of counting the number of self-avoiding polygons on a square grid, - therbytheirperimeterortheirenclosedarea,is aproblemthatis soeasytostate that, at rst sight, it seems surprising that it hasn¿t been solved. It is however perhaps the simplest member of a large class of such problems that have resisted all attempts at their exact solution. These are all problems that are easy to state and look as if they should be solvable. They include percolation, in its various forms, the Ising model of ferromagnetism, polyomino enumeration, Potts models and many others. These models are of intrinsic interest to mathematicians and mathematical physicists, but can also be applied to many other areas, including economics, the social sciences, the biological sciences and even to traf c models. It is the widespread applicab- ity of these models to interesting phenomena that makes them so deserving of our attention. Here however we restrict our attention to the mathematical aspects. Here we are concerned with collecting together most of what is known about polygons, and the closely related problems of polyominoes. We describe what is known, taking care to distinguish between what has been proved, and what is c- tainlytrue,but has notbeenproved. Theearlierchaptersfocusonwhatis knownand on why the problems have not been solved, culminating in a proof of unsolvability, in a certain sense. The next chapters describe a range of numerical and theoretical methods and tools for extracting as much information about the problem as possible, in some cases permittingexactconjecturesto be made.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The growing emphasis on complexity concerns for ontologies has attracted signi cant interest from both the researchers¿ and the practitioners¿ communities in modularization techniques as a way to decrease the complexity of managing huge ontologies.Researchhasproducedmanycomplementaryandcompetingapproaches, mainly with the goal of supportingpractitioners¿ methodologieswith sound and p- cisely de nedfoundationsand alternatives.Existing prototypessubstantiate research results and experimental evaluations have been performed. Thus, a large body of work is available. This book has been designed to provide the reader with a detailed analysis of where we stand today and which concepts, theories and techniques for knowledge modularization we can con dently rely on. The material for the book has been - lected from research achievements that are mature enough to be considered as a rm and reliable basis on which to inspire further work and to develop solutions in c- crete environments. The content of the book has been organized in three parts. Part I holds a general introductionto theidea andissuescharacterizingmodularization.Thisisfollowedby three chapters that offer an in-depth analysis of properties, criteria and knowledge import techniques for modularization. The last chapter discusses one of the three approaches that implement the modularization idea. The two other approaches are covered in detail in parts II and III.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

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

Taschenbuch. Condizione: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009.The 25 revised full papers presented together with six tutorials and invited talks were carefully reviewed and selected from 57 submissions. The papers cover some of the most active areas of research on the frontiers between computation, logic, and linguistics, with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 18th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-18, held in Tarragona, Spain, in June 2009. The 22 revised full papers presented together with 7 extended absstracts were carefully reviewed and selected from 50 submissions. Among the subjects addressed are block codes, including list-decoding algorithms; algebra and codes: rings, fields, algebraic geometry codes; algebra: rings and fields, polynomials, permutations, lattices; cryptography: cryptanalysis and complexity; computational algebra: algebraic algorithms and transforms; sequences and boolean functions. 256 pp. Englisch.