springer berlin heidelberg jan 2013 (830 risultati)

Taschenbuch. Condizione: 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.

Buch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: Neu. Neuware -Designing machines that can read handwriting like human beings has been an ambitious goal for more than half a century, driving talented researchers to explore diverse approaches. Obstacles have often been encountered that at first appeared insurmountable but were indeed overcome before long. Yet some open issues remain to be solved.As an indispensable branch, Chinese handwriting recognition has been termed as one of the most difficult Pattern Recognition tasks. Chinese handwriting recognition poses its own unique challenges, such as huge variations in strokes, diversity of writing styles, and a large set of confusable categories. With ever-increasing training data, researchers have pursued elaborate algorithms to discern characters from different categories and compensate for the sample variations within the same category. As a result, Chinese handwriting recognition has evolved substantially and amazing achievements can be seen.This book introduces integral algorithms used in Chinese handwriting recognition and the applications of Chinese handwriting recogniers. The first part of the book covers both widespread canonical algorithms to a reliable recognizer and newly developed scalable methods in Chinese handwriting recognition. The recognition of Chinese handwritten text is presented systematically, including instructive guidelines for collecting samples, novel recognition paradigms, distributed discriminative learning of appearance models and distributed estimation of contextual models for large categories, in addition to celebrated methods, e.g. Gradient features, MQDF and HMMs. In the second part of this book, endeavors are made to create a friendlier human-machine interface through application of Chinese handwriting recognition. Four scenarios are exemplified: grid-assisted input, shortest moving input, handwritten micro-blog, and instant handwriting messenger. All the while, the book moves from basic to more complex approaches, also providing a list forfurther reading with literature comments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Buch. Condizione: Neu. Neuware -Since most of the problems arising in science and engineering are nonlinear, they are inherently difficult to solve. Traditional analytical approximations are valid only for weakly nonlinear problems and often fail when used for problems with strong nonlinearity. ¿Nonlinear Flow Phenomena and Homotopy Analysis: Fluid Flow and Heat Transfer¿ presents the current theoretical developments of the analytical method of homotopy analysis. This book not only addresses the theoretical framework for the method, but also gives a number of examples of nonlinear problems that have been solved by means of the homotopy analysis method. The particular focus lies on fluid flow problems governed by nonlinear differential equations. This book is intended for researchers in applied mathematics, physics, mechanics and engineering.Both Kuppalapalle Vajravelu and Robert A. Van Gorder work at the University of Central Florida, USA.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Automatic code generation is an essential cornerstone of model-driven approaches to software development. Currently, lots of techniques are available that support the specification and implementation of code generators, such as engines based on templates or rule-based transformations. All those techniques have in common that code generators are either directly programmed or described by means of textual specifications. This monograph presents Genesys, a general approach, which advocates the graphical development of code generators for arbitrary source and target languages, on the basis of models and services. In particular, it is designed to support incremental language development on arbitrary metalevels. The use of models allows building code generators in a truly platform-independent and domain-specific way. Furthermore, models are amenable to formal verification methods such as model checking, which increase the reliability and robustness of the code generators. Services enable the reuse and integration of existing code generation frameworks and tools regardless of their complexity, and at the same time manifest as easy-to-use building blocks which facilitate agile development through quick interchangeability. Both, models and services, are reusable and thus form a growing repository for the fast creation and evolution of code generators.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Condizione: Neu. Neuware -This concise tutorial provides the bachelor student and the practitioner with a short text on quantum physics that allows them to understand a wealth of quantum phenomena based on a compact, well readable, yet still concise and accurate description of nonrelativistic quantum theory. This ¿quadrature of the circle¿ is achieved by concentrating first on the simplest quantum system that still displays all basic features of quantum theory, namely, a system with only two quantized energy levels. For most readers it is very helpful to understand such simple systems before slowly proceeding to more demanding topics like particle entanglement, quantum chaos, or the use of irreducible tensors. This tutorial does not intend to replace the standard textbooks on quantum mechanics, but will help the average student to understand them, often for the first time.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Second International Joint Conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management, IC3K 2010, held in Valencia, Spain, in October 2010.This book includes revised and extended versions of a strict selection of the best papers presented at the conference; 26 revised full papers together with 2 invited lectures were carefully reviewed and selectedfrom 369 submissions. According to the three covered conferences KDIR 2010, KEOD 2010, and KMIS 2010, the papers are organized in topical sections on knowledge discovery and information retrieval, knowledgeengineering and ontology development, and on knowledge management and information sharing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of 12 international workshops held in Tallinn, Estonia, in conjunction with the 10th International Conference on Business Process Management, BPM 2012, in September 2012.The 12 workshops comprised Adaptive Case Management and Other Non-Workflow Approaches to BPM (ACM 2012), Business Process Design (BPD 2012), Business Process Intelligence (BPI 2012), Business Process Management and Social Software (BPMS2 2012), Data- and Artifact-Centric BPM (DAB 2012), Event-Driven Business Process Management (edBPM 2012), Empirical Research in Business Process Management (ER-BPM 2012), Process Model Collections (PMC 2012), Process-Aware Logistics Systems (PALS 2012), Reuse in Business Process Management (rBPM 2012), Security in Business Processes (SBP 2012), and Theory and Applications of Process Visualization (TAProViz 2012). The 56 revised full papers presented were carefully reviewed and selected from 141 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 840 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conferenceproceedings of the 4th International Joint Conference on BiomedicalEngineering Systems and Technologies, BIOSTEC 2011, held in Rome, Italy, in January 2011.The 27 revised full papers presented together with one invited lecturewere carefully reviewed and selected from a total of 538 submissions. The papers cover a wide rangeof topics and are organized in four general topical sections on biomedical electronics and devices; bioinformatics models, methods and algorithms; bio-inspired systems and signal processing; health informatics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the International Conference on Modern Probabilistic Methods for Analysis of Telecommunication Networks, Belarusian Winter Workshop in Queueing Theory, BWWQT 2013, held in Minsk, Belarus, in January 2013. The 23 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers present new results in study and optimization of information transmission models in telecommunication networks using different approaches, mainly based on theories of queueing systems and queueing networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 20th International Conference on Conceptual Structures, ICCS 2013, held in Mumbai, India, in January 2013. The 22 full papers presented were carefully reviewed and selected from 43 submissions for inclusion in the book. The volume also contains 3 invited talks. ICCS focuses on the useful representation and analysis of conceptual knowledge with research and business applications. It advances the theory and practice in connecting the user's conceptual approach to problem solving with the formal structures that computer applications need to bring their productivity to bear. Conceptual structures (CS) represent a family of approaches that builds on the successes of artificial intelligence, business intelligence, computational linguistics, conceptual modeling, information and Web technologies, user modeling, and knowledge management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -One of the main aims of management accounting is to provide managers with accurate information in order to provide a good basis for decision-making. There is evidence that the information provided by management accounting systems (MAS) is distorted and the occurrence of biases in accounting information is widely accepted among users of MAS. At the same time, the intensity and the frequency of use of MAS increase, too. Consequently, the quality of the provided information is critical. The focus of this simulation study is twofold. On the one hand, the impact of the sophistication of traditional costing systems on error propagation in the case of a set of input biases is investigated. On the other hand, the impact of single and multiple input biases on the quality of the information provided by traditional costing systems isfocused. In order to investigate the research questions, a simulation approach is applied.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -To large organizations, business intelligence (BI) promises the capability of collecting and analyzing internal and external data to generate knowledge and value, thus providing decision support at the strategic, tactical, and operational levels. BI is now impacted by the ¿Big Datä phenomena and the evolution of society and users. In particular, BI applications must cope with additional heterogeneous (often Web-based) sources, e.g., from social networks, blogs, competitors¿, suppliers¿, or distributors¿ data, governmental or NGO-based analysis and papers, or from research publications. In addition, they must be able to provide their results also on mobile devices, taking into account location-based or time-based environmental data.The lectures held at the Second European Business Intelligence Summer School (eBISS), which are presented here in an extended and refined format, cover not only established BI and BPM technologies, but extend into innovative aspects that are important in this new environment and for novel applications, e.g., machine learning, logic networks, graph mining, business semantics, large-scale data management and analysis, and multicriteria and collaborative decision making.Combining papers by leading researchers in the field, this volume equips the reader with the state-of-the-art background necessary for creating the future of BI. It also provides the reader with an excellent basis and many pointers for further research in this growing field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 10th Theory of Cryptography Conference, TCC 2013, held in Tokyo, Japan, in March 2013. The 36 revised full papers presented were carefully reviewed and selected from 98 submissions. The papers cover topics such as study of known paradigms, approaches, and techniques, directed towards their better understanding and utilization; discovery of new paradigms, approaches and techniques that overcome limitations of the existing ones; formulation and treatment of new cryptographic problems; study of notions of security and relations among them; modeling and analysis of cryptographic algorithms; and study of the complexity assumptions used in cryptography.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 736 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 papers presented together with 2 tool demonstration papers were carefully reviewed and selected from 62 submissions. SLE¿s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Buch. Condizione: Neu. Neuware -Transport phenomena problems that occur in engineering and physics are often multi-dimensional and multi-phase in character. When taking recourse to numerical methods the spectral method is particularly useful and efficient.The book is meant principally to train students and non-specialists to use the spectral method for solving problems that model fluid flow in closed geometries with heat or mass transfer. To this aim the reader should bring a working knowledge of fluid mechanics and heat transfer and should be readily conversant with simple concepts of linear algebra including spectral decomposition of matrices as well as solvability conditions for inhomogeneous problems.The book is neither meant to supply a ready-to-use program that is all-purpose nor to go through all manners of mathematical proofs. The focus in this tutorial is on the use of the spectral methods for space discretization, because this is where most of the difficulty lies. While time dependent problems are also of great interest, time marching procedures are dealt with by briefly introducing and providing a simple, direct, and efficient method.Many examples are provided in the text as well as numerous exercises for each chapter. Several of the examples are attended by subtle points which the reader will face while working them out. Some of these points are deliberated upon in endnotes to the various chapters, others are touched upon in the book itself.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Distributed Computing and Internet Technology, ICDCIT 2013, held in Bhubaneswar, India, in February 2013.The 40 full papers presented together with 5 invited talks in this volume were carefully reviewed and selected from 164 submissions. The papers cover various research aspects in distributed computing, internet technology, computer networks, and machine learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -A brain-computer interface (BCI) establishes a direct output channel between the human brain and external devices. BCIs infer user intent via direct measures of brain activity and thus enable communication and control without movement. This book, authored by experts in the field, provides an accessible introduction to the neurophysiological and signal-processing background required for BCI, presents state-of-the-art non-invasive and invasive approaches, gives an overview of current hardware and software solutions, and reviews the most interesting as well as new, emerging BCI applications. The book is intended not only for students and young researchers, but also for newcomers and other readers from diverse backgrounds keen to learn about this vital scientific endeavour.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.