springer berlin heidelberg jan 2013 (857 resultados)

Taschenbuch. Condición: Neu. Neuware -This lecture note describes the main analytical approaches to stochastic cooling. The first is the time domain picture, in which the beam is rapidly sampled and a statistical analysis is used to describe the cooling behaviour. The second is the frequency domain picture, which is particularly useful since the observations made on the beam are mainly in this domain. This second picture is developed in detail to assess key components of modern cooling theory like mixing and signal shielding and to illustrate some of the diagnostic methods. Finally the use of a distribution function and the Fokker-Plank equation, which offer the most complete description of the beam during the cooling, are discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeDie neueren Schweißverfahren und ihre Schweißeinrichtungen.- Die Technik der Gasschweißung.- Die Hauptanwendungsgebiete der neueren Schweißverfahren, besonders der Gasschweißung.- Das Brennschneiden.- Die Güte der Gasschweißnaht und ihre Prüfung.- Leistungen und Kosten der Gasschweißung.- Schweißtechnische Ausbildung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 68 pp. Deutsch.

Buch. Condición: Neu. Neuware -Hidden Hunger is an increasing problem even in developed countries, whose potential negative consequences on long-term health are often overlooked and underestimated. Chronic malnutrition is at the core of the global hunger challenge facing science, politics, and economics. In plain language and with moving examples, Hans K. Biesalski describes how hidden hunger affects human health long before malnutrition becomes obvious. Worldwide, over one third of deaths among children under 5 years of age is associated with malnutrition. As poverty is the main reason for hidden hunger, addressing this dire challenge requires long-term policies. Land grabbing and climate change seriously counteract a lot of efforts to overcome hidden hunger. This book is a highly impressive call to action. Investment in agriculture and in particular in small-scale farmers to improve subsistence farming are among the approaches suggested to reach a sustainable solution. The author is head of the department of biochemistry and nutrition and managing director of the Food Security Center at the University of Hohenheim, Germany. He is a member of numerous advisory and expert groups for the World Health Organization (WHO), the Food and Agriculture Organization (FAO) and the Global Forum on Food Security and Nutrition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 6th International Workshop on Enterprise Applications and Services in the Finance Industry, FinanceCom 2012, held in Barcelona, Spain, on June 10, 2012.The workshop spans multiple disciplines, including technical, service, economic, sociological, and behavioral sciences. It reflects on technologically enabled opportunities, implications, and changes due to the introduction of new business models or regulations related to the financial services industry and the financial markets.The seven papers presented were carefully reviewed and selected from numerous submissions. The topics covered are: news and text analysis; algorithmic and high-frequency trading; and the role and impact of technology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains ten thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. They were originally presented at the 13th International Workshop on Agent-Mediated Electronic Commerce (AMEC 2011), collocated with AAMAS 2011 in Taipei, Taiwan, or at the 2011 Workshop on Trading Agent Design and Analysis (TADA 2011), collocated with IJCAI 2011 in Barcelona, Spain.The papers presented at these two workshops illustrate both the depth and broad range of research topics in this field. They range from providing solutions to open theoretical problems in online scheduling and bargaining under uncertainty, to designing bidding agents in a wide area of application areas, such as electronic commerce, supply chain management, or keyword advertising, to designing agents that can successfully replicate actual human behaviors in realistic games.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Passive and Active Measurement, PAM 2013, held in Hong Kong, China, in March 2013. The 24 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers have been organized in the following topical sections: measurement design, experience and analysis; Internet wireless and mobility; performance measurement; protocol and application behavior; characterization of network usage; and network security and privacy. In addition, 9 poster abstracts have been included.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, held in Oldenburg, Germany, in February/March 2013. The 15 full papers included in this volume were carefully reviewed and selected from 48 submissions; in addition the book contains two keynote talks in full-paper length. The contributions are organized in topical sections named: from computer usage to computational thinking; algorithmic and computational thinking; games; informatics in the context of other disciplines; and competence-based learning and retention of competencies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 16th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2012, which was held in Shanghai, China, in May 2012. The 14 revised papers presented were carefully reviewed and selected from 24 submissions. The papers cover the following topics: parallel batch scheduling; workload analysis and modeling; resource management system software studies; and Web scheduling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2012, held in Ljubljana, Slovenia, in September 2012. The 11 revised full papers presented together with two invited keynote talks and two brief announcements were carefully reviewed and selected from 24 submissions. The papers are organized in two tracks: sensor networks - covering topics such as barrier resilience, localization, connectivity with directional antennas, broadcast scheduling, and data aggregation; and ad hoc wireless and mobile systems - covering topics such as: SINR model; geometric routing; cognitive radio networks; video delivery; and mapping polygons.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and large-scale applications in an interdisciplinary environment. The papers included in this survey cover research in mathematical modeling, design of parallel algorithms, aspects of microprocessor architecture, parallel programming languages, hardware-aware computing, heterogeneous platforms, manycore technologies, performance tuning, and requirements for large-scale applications. The contributions presented in this volume are an outcome of an inspiring conference conceived and organized by the editors at the University of Applied Sciences (HfT) in Stuttgart, Germany, in September 2012. The 10 revised full papers selected from 21 submissions are presented together with the twelve poster abstracts and focus on combination of new aspects of microprocessor technologies, parallel applications, numerical simulation, and software development; thus they clearly show the potential of emerging technologies in the area of multicore and manycore processors that are paving the way towards personal supercomputing and very likely towards exascale computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 10th European Conference on Wireless Sensor Networks, EWSN 2013, held in Ghent, Belgium, in February 2013. The 12 revised full papers presented were carefully reviewed and selected from 51 submissions. The papers cover a wide range of topics in the following areas: experimentation and data access; data management; network algorithms and protocols; and physical layer and hardware aspects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 5th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2013. This professional symposium and conference offers a range of comprehensive and valuable opportunities for advanced professional training, new ideas, and networking with a series of keynote speeches, professional lectures, exhibits, and tutorials. The seven scientific full papers accepted for SWQD were each peer-reviewed by three or more reviewers and selected out of 18 high-quality submissions. Further, two keynotes and six short papers on promising research directions were also presented and included in order to spark discussions between researchers and practitioners. The papers are organized into topical sections on risk management; software and systems testing; test processes; model-based development; and process improvement and measurement.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the Third MICCAI Workshop on Medical Content-Based Retrieval for Clinical Decision Support, MCBR-CBS 2012, held in Nice, France, in October 2012.The 10 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 15 submissions. The papers are divided on several topics on image analysis of visual or multimodal medical data (X-ray, MRI, CT, echo videos, time series data), machine learning of disease correlations in visual or multimodal data, algorithms for indexing and retrieval of data from visual or multimodal medical databases, disease model-building and clinical decision support systems based on visual or multimodal analysis, algorithms for medical image retrieval or classification, systems of retrieval or classification using the ImageCLEF collection.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2011, held in July 2011 in Zürich, Switzerland. The 8 revised full papers presented were carefully selected from numerous submissions covering topics of formal models for data and knowledge bases, integrity constraints maintenance and dependency theory, formal methods for data and knowledge base design, reasoning about data and knowledge base dynamics, adaptivity for personalised data and knowledge bases view-centered data- and knowledge-intensive systems, information integration in data and knowledge bases, knowledge discovery in data and knowledge bases, validation and verification of data and knowledge base designs, formal linguistics for data and knowledge bases, logical and mathematical foundations of semantics, semantics in data- and knowledge-intensive applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 22nd International Conference on Integrated Circuit and System Design, PATMOS 2012, held in Newcastle, UK Spain, in September 2012. The 25 revised full papers presented were carefully reviewed and selected from numerous submissions. The paper feature emerging challenges in methodologies and tools for the design of upcoming generations of integrated circuits and systems, including reconfigurable hardware such as FPGAs. The technical program focus on timing, performance and power consumption as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Agents and Data Mining Interaction, ADMI 2012, held in Valencia, Spain, in June 2012. The 16 revised full papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on agents for data mining, data mining for agents, and agent mining applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 4th TPC Technology Conference, TPCTC 2012, held in Istanbul, Turkey, in August 2012.It contains 10 selected peer-reviewed papers, 2 invited talks, a report from the TPC Public Relations Committee, and a report from the workshop on Big Data Benchmarking, WBDB 2012. The papers present novel ideas and methodologies in performance evaluation, measurement, and characterization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes thoroughly refereed revised selected papers from the BPM 2012 Joint Workshop on Process-Oriented Information Systems and Knowledge Representation in Health Care, ProHealth 2012/KR4HC 2012, held in Tallinn, Estonia, in September 2012.The 9 papers presented were carefully reviewed and selected from 19 submissions. In addition the book contains 1 keynote paper and 2 invited contributions. The papers are organized in topical sections named: guidelines and summarization; archetypes and cooperation; and process mining and temporal analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry. Thus, training future generations of software engineering researchers and bridging the gap between academia and industry are vital to the field. The International Summer School on Software Engineering (ISSSE), which started in 2003, aims to contribute both to training future researchers and to facilitating the exchange of knowledge between academia and industry. This volume consists of chapters originating from a number of tutorial lectures given in 2009, 2010, and 2011 at the International Summer School on Software Engineering, ISSSE, held in Salerno, Italy. The volume has been organized into three parts, focusing on software measurement and empirical software engineering, software analysis, and software management. The topics covered include software architectures, software product lines, model driven software engineering, mechatronic systems, aspect oriented software development, agile development processes, empirical software engineering, software maintenance, impact analysis, traceability management, software testing, and search-based software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013.The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from numerous submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes revised selected papers from the 7th Conference on Theory of Quantum Computation, Communication, and Cryptography, TQC 2012, held in Tokyo, Japan, in May 2012.The 12 papers presented were carefully reviewed and selected for inclusion in this book. They contain original research on the rapidly growing, interdisciplinary field of quantum computation, communication and cryptography. Topics addressed are such as quantum algorithms, quantum computation models, quantum complexity theory, simulation of quantum systems, quantum programming languages, quantum cryptography, quantum communication, quantum estimation, quantum measurement, quantum tomography, completely positive maps, decoherence, quantum noise, quantum coding theory, fault-tolerant quantum computing, entanglement theory, and quantum teleportation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed post-proceedings of the First International Workshop on Cognitive Agents for Virtual Environments, CAVE 2012, held at AAMAS 2012, in Valencia, Spain, in June 2012. The 10 full papers presented were thoroughly reviewed and selected from 14 submissions. In addition one invited high quality contribution has been included. The papers are organized in the following topical sections: coupling agents and game engines; using games with agents for education; visualization and simulation; and evaluating games with agents.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Citizen Sensor Networks, CitiSens 2012, in Montpellier, France, on August 27, 2012.The 7 revised full papers presented together with 1 keynote lectures were carefully reviewed and selected from 16 submissions. The accepted papers deal with topics like crowdsourcing, smart cities, multi-agent systems, privacy in social networks, data anonymity or smart sensors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 104 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers presented together with two idea papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on secure programming, policies, proving, formal methods, and analyzing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The research domains information retrieval and information visualization have always been independent from each other. However, they have the potential to be mutually beneficial. With this in mind, a writer school was organized in Zinal, Switzerland, in January 2012, within the context of the EU-funded research project PROMISE (Participative Research Laboratory for Multimedia and Multilingual Information Systems Evaluation). PROMISE aims at advancing the experimental evaluation of complex multimedia and multilingual information systems in order to support individuals, commercial entities, and communities who design, develop, employ, and improve such complex systems. The overall goal of PROMISE is to deliver a unified environment collecting data, knowledge, tools, and methodologies, and to help the user community involved in experimental evaluation.This book constitutes the outcome of the PROMISE Winter School 2012 and contains 11 invited lectures from the research domains information retrieval and information visualization. A large variety of subjects are covered, including hot topics such as crowdsourcing and social media.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012.The 19 contributions presented in this volume were carefully reviewed and selected from 46 submissions. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Effective management is crucial to the success of the inter-firm cooperation, and may reduce the risk that is inherently associated with these strategies. If cooperative strategy is to be successful, managers must have knowledge of factors that should be taken into consideration during formation and management of alliance networks. Therefore the main goal of thisbook isan understandable andsimple presentation ofthe complexity involved inthe management of alliance networks at three basic stages:formation stage, functioning stage,andpost-operational stage. Thebook consists of six chapters, both theoretical and practical. A new model for management of alliance networks, which utilizes different instruments and tools, has been developed in the work. The last part of thebook concentrates on the management of alliance networks in a practice-based framework basedon the example of an engineering company which has formed a portfolio of bilateral alliances.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Service science constitutes an interdisciplinary approach to systematic innovation in service systems, integrating managerial, social, legal, and engineering aspects to address the theoretical and practical challenges of the services industry and its economy.This book contains the refereed proceedings of the 4th International Conference on Exploring Services Science (IESS), held in Porto, Portugal, in February 2013. This year, the conference theme was Enhancing Service System Fundamentals and Experiences, chosen to address the current need to explore enhanced methods, approaches, and techniques for a more sustainable and comprehensive economy and society. The 19 full and 9 short papers accepted for IESS were selected from 78 submissions and presented ideas and results related to innovation, services discovery, services engineering, and services management, as well as the application of services in information technology, business, healthcare, and transportation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.