springer berlin heidelberg springer berlin heidelberg jul 2015 (73 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Buch. Zustand: Neu. Neuware -The overall structure of this new edition is three-tier: Part I presents the basics, Part II is concerned with methodological issues, and Part III discusses advanced topics. In the second edition the authors have reorganized the material to focus on problems, how to represent them, and then how to choose and design algorithms for different representations. They also added a chapter on problems, reflecting the overall book focus on problem-solvers, a chapter on parameter tuning, which they combined with the parameter control and 'how-to' chapters into a methodological part, and finally a chapter on evolutionary robotics with an outlook on possible exciting developments in this field.The book is suitable for undergraduate and graduate courses in artificial intelligence and computational intelligence, and for self-study by practitioners and researchers engaged with all aspects of bioinspired design and optimization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Buch. Zustand: Neu. Neuware -Presenting a wealth of highly original and innovative analyses and case studies, this book examines the strategic ties between various emerging economies, their different approaches to finding mutual trade solutions, and new trends in the use of contingent protection. The research methodology can also be applied to the study of specific Latin American countries or other developed or developing states in comparison to China. The book presents new theories and offers a valuable template for further studies in this area. Further, the application of the New Haven approach can further develop the studies' potential to offer guidance in a broader context.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book discusses both the beneficial and harmful aspects of NO in biology and medicine, and also introduces the emerging discovery of artemisinin in antitumor, antibacterial infection, anti-inflammation, and antiaging contexts. In 1992 nitric oxide (NO) was voted ¿Molecule of the Year¿ by Science magazine, and the discovery of its physiological roles has led to Nobel Prize-winning work in neuroscience, physiology and immunology. The book explains why we should maintain a steady-state NO level that is derived from neuronal or epithelial NO synthase, and avoid the extremely high NO level resulting from inducible NO synthase. The book offers a valuable resource for medical chemists, clinicians, biologists and all those interested in health and disease.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Conference on Financial Cryptography and Data Security, FC 2014, held in San Juan, Puerto Rico, in January 2015. The 23 revised full papers and 10 short papers were carefully selected and reviewed from 102 full papers submissions. The papers are grouped in the following topical sections: sidechannels; cryptography in the cloud; payment and fraud detection; authentication and access control; cryptographic primitives; mobile security; privacy and incentives; applications and attacks; authenticated data structures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. Current decentralized systems still focus on data and knowledge as their main resource. Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and the support of agent systems with scaling and decentralized control. Synergy between grids, P2P systems, and agent technologies is the key to data- and knowledge-centered systems in large-scale environments.This volume, the 21st issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, focuses on Data Warehousing and Knowledge Discovery from Big Data, and contains extended and revised versions of eight papers selected as the best papers from the 14th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2012), held in Vienna, Austria, during September 3-6, 2012. These papers cover several advanced Big Data topics, ranging from data cube computation using MapReduce to multiple aggregations over multidimensional databases, from data warehousing systems over complex energy data to OLAP-based prediction models, from extended query engines for continuous stream analytics to popular pattern mining, and from rare pattern mining to enhanced knowledge discovery from large cross-document corpora.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata and theory of programming; and foundations of networked computation: models, algorithms and information management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 760 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -JIMD Reports publishes case and short research reports in the area of inherited metabolic disorders. Case reports highlight some unusual or previously unrecorded feature relevant to the disorder or serve as an important reminder of clinical or biochemical features of a Mendelian disorder.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book deals with various aspects of commutants and reducing subspaces of multiplication operators on the Bergman space,along with relevant von Neumann algebras generated by these operators, which have been the focus of considerable attention from the authors and other expertsin recent years. The book reviews past developments and offers insights into cutting-edge developments in the study of multiplication operators. It also provides commentary and comparisons to stimulate research in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book focuses on analysis and design problems for high-order linear time-invariant (LTI) swarm systems (multi-agent systems) to achieve consensus, formation, containment and formation-containment. As a first step, the concepts of practical consensus and formation-containment are introduced. Unlike previous research, the formation in this book can be time-varying. A general framework for consensus, consensus tracking, formation, containment and state formation-containment is presented for the first time.Sufficient/necessary and sufficient conditions, and approaches to designing the protocols for swarm systems to achieve these control objectives, are respectively proposed. Autonomous time-varying formation experiments using five quadrotor unmanned aerial vehicles (UAVs) are conducted in an outdoor setting to demonstrate the theoretical results.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Buch. Zustand: Neu. Neuware -This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book argues that democracy is the inevitable product of China's industrialization and modernization, and is necessary for the development of China's current society. It provides a political guarantee for China's industrialization and modernization. There are both similarities and differences between China's version of democracy and those versions of other countries. In this book, the author discusses the country's important experiences in constructing democracy with Chinese characteristics, which it has gathered during the long struggle for national independence, prosperity and social development. The democracy system embodies basic values and universal principles of democracy with uniquely Chinese characteristics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book introduces the new China (Shanghai) Free-Trade Zone one year after its launch. It examines in depth the economic, strategic and political effects of Chinese economic and financial reform. The results of the analysis are further clarified by comparing Shanghai with analogous counterparts in Singapore and Hong Kong. China has developed a number of special and free-trade zones but the new Pilot Shanghai FTZ includes all previous privileges promoting the area as perfect hub for the Asia-Pacific region. This work represents a valuable business guide for appraising new opportunities in the most promising sectors for business enterprises in China.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book takes a corpus-based approach, which integrates translation studies and contrastive analysis, to the study of translational language. It presents the world¿s first balanced corpus of translational Chinese, which, in combination with a comparable native Chinese corpus, provides a reliable empirical basis for a comprehensive account of the macro-statistic, lexical, and grammatical features of translational Chinese in English-to-Chinese translation ¿ a significant contribution to Descriptive Translation Studies. The research findings based on these two distinctly different languages have important implications for universal translation research on the European tradition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Innovations in hardware architecture, like hyper-threading or multicore processors, mean that parallel computing resources are available for inexpensive desktop computers. In only a few years, many standard software products will be based on concepts of parallel programming implemented on such hardware, and the range of applications will be much broader than that of scientific computing, up to now the main application area for parallel computing.Rauber and Rünger take up these recent developments in processor architecture by giving detailed descriptions of parallel programming techniques that are necessary for developing efficient programs for multicore processors as well as for parallel cluster systems and supercomputers. Their book is structured in three main parts, covering all areas of parallel computing: the architecture of parallel systems, parallel programming models and environments, and the implementation of efficient application algorithms. The emphasis lies on parallel programming techniques needed for different architectures. For this second edition, all chapters have been carefully revised. The chapter on architecture of parallel systems has been updated considerably, with a greater emphasis on the architecture of multicore systems and adding new material on the latest developments in computer architecture. Lastly, a completely new chapter on general-purpose GPUs and the corresponding programming techniques has been added.The main goal of the book is to present parallel programming techniques that can be used in many situations for a broad range of application areas and which enable the reader to develop correct and efficient parallel programs. Many examples and exercises are provided to show how to apply the techniques. The book can be used as both a textbook for students and a reference book for professionals. The material presented has been used for courses in parallel programming at different universities for manyyears.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Distributed computing is at the heart of many applications. It arises as soon as one has to solve a problem in terms of entities -- such as processes, peers, processors, nodes, or agents -- that individually have only a partial knowledge of the many input parameters associated with the problem. In particular each entity cooperating towards the common goal cannot have an instantaneous knowledge of the current state of the other entities. Whereas parallel computing is mainly concerned with 'efficiency', and real-time computing is mainly concerned with 'on-time computing', distributed computing is mainly concerned with 'mastering uncertainty' created by issues such as the multiplicity of control flows, asynchronous communication, unstable behaviors, mobility, and dynamicity.While some distributed algorithms consist of a few lines only, their behavior can be difficult to understand and their properties hard to state and prove. The aim of this book is to present in a comprehensive way the basic notions, concepts, and algorithms of distributed computing when the distributed entities cooperate by sending and receiving messages on top of an asynchronous network. The book is composed of seventeen chapters structured into six parts: distributed graph algorithms, in particular what makes them different from sequential or parallel algorithms; logical time and global states, the core of the book; mutual exclusion and resource allocation; high-level communication abstractions; distributed detection of properties; and distributed shared memory. The author establishes clear objectives per chapter and the content is supported throughout with illustrative examples, summaries, exercises, and annotated bibliographies.This book constitutes an introduction to distributed computing and is suitable for advanced undergraduate students or graduate students in computer science and computer engineering, graduate students in mathematics interested in distributed computing, and practitioners and engineers involved in the design and implementation of distributed applications. The reader should have a basic knowledge of algorithms and operating systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Buch. Zustand: Neu. Neuware -This textbook provides an introduction to the concept of sustainability in the context of transportation planning, management, and decision-making. The book is divided into two parts. In the first part, indicators and frameworks for measuring sustainable development in the transportation sector are developed. In the second, the authors analyzeactual planning and decision-making in transportation agencies in a variety of governance settings. This analysis of real-world case studiesdemonstrates the benefits and limitations of current approaches to sustainable development in transportation. The book concludes with a discussion on how to make sustainability count in transportation decision-making and practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Many economic and social surveys are designed as panel studies, which provide important data for describing social changes and testing causal relations between social phenomena. This textbook shows how to manage, describe, and model these kinds of data. It presents models for continuous and categorical dependent variables, focusing either on the level of these variables at different points in time or on their change over time. It covers fixed and random effects models, models for change scores and event history models. All statistical methods are explained in an application-centered style using research examples from scholarly journals, which can be replicated by the reader through data provided on the accompanying website. As all models are compared to each other, it provides valuable assistance with choosing the right model in applied research. The textbook is directed at master and doctoral students as well as applied researchers in the social sciences, psychology, business administration and economics. Readers should be familiar with linear regression and have a good understanding of ordinary least squares estimation.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Buch. Zustand: Neu. Neuware -This sixth volume (2015) of the European Yearbook of International Economic Law puts a particular emphasis on non-tariff barriers (NTBs) to trade and the world trade order. With the steady reduction of tariff rates since the GATT 47 came into force, focus in recent years has been on the vast and complex landscape of non-tariff barriers to trade. States as well as scholars seemingly struggle with the multitude of measures pooled under this expression as there is no single, acknowledged definition of the term, and its relation to the term ¿non-tariff measures¿ remains equally blurred. Particularly in practice and on a multilateral level, there appears to be some awkwardness when it comes to coping with NTBs since multilateral trade rules seem to be in conflict with national regulatory autonomy in the pursuit of policy objectives. In part one, this volume sheds light on the problems of non-tariff barriers to trade that arise in various fields.Part two focuses on regional integration with an emphasis on relations between East Asia and the European Union. In this regard, the authors outline the trade and investment relations between the European Union and East Asia, including Japan, Korea and Singapore. Part three offers an overview of recent institutional developments in WIPO, ICSID, WTO and WTO jurisprudence. Part four includes book reviews of recent works in the field of international economic law, and part five introduces a new section on publications in the field of international economic law that were released in 2013 and 2014.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book introduces new trends of theory and practice of information technologies in tourism. The book does not handle only the fundamental contribution, but also discusses innovative and emerging technologies to promote and develop new generation tourism informatics theory and their applications. Some chapters are concerned with data analysis, web technologies, social media and their case studies. Travel information on the web provided by travelers is very useful for other travelers make their travel plan. A chapter in this book proposes a method for interactive retrieval of information on accommodation facilities to support travelling customers in their travel preparations. Also an adaptive user interface for personalized transportation guidance system is proposed. Another chapter in this book shows a novel support system for the collaborative tourism planning by using the case reports that are collected via Internet. Also, a system for recommending hotels for the users is proposed and evaluated. Other chapters are concerned with recommendation, personalization and other emerging technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book systematically describes the design options for micro systems as well as the equations needed for calculating the behavior of their basic elements. The fundamental equations needed to calculate the effects and forces that are important in micro systems are also provided.Readers do not require previous knowledgeof fabrication processes. This second edition of the volume is a thoroughly revised and extended update. The target audience primarily comprises experts in the field of micro systems and the book is also suitable for graduate engineering students. For quick reference, equations are presented in tables that can be found in an index at the end of the book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -JIMD Reports publishes case and short research reports in the area of inherited metabolic disorders. Case reports highlight some unusual or previously unrecorded feature relevant to the disorder, or serve as an important reminder of clinical or biochemical features of a Mendelian disorder.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -JIMD Reports publishes case and short research reports in the area of inherited metabolic disorders. Case reports highlight some unusual or previously unrecorded feature relevant to the disorder, or serve as an important reminder of clinical or biochemical features of a Mendelian disorder.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book is a comprehensive and intensive book for graduate students in fluid dynamics as well as scientists, engineers and applied mathematicians. Offering a systematic introduction to the physical theory of vortical flows at graduate level, it considers the theory of vortical flows as a branch of fluid dynamics focusing on shearing process in fluid motion, measured by vorticity.It studies vortical flows according to their natural evolution stages,from being generated to dissipated. As preparation, the first three chapters of the book provide background knowledge for entering vortical flows.The rest of the book deals with vortices and vortical flows, following their natural evolution stages. Of various vortices the primary form is layer-like vortices or shear layers, and secondary but stronger form is axial vortices mainly formed by the rolling up of shear layers.Problems are given at the end of each chapter and Appendix, some for helping understanding the basic theories, and some involving specific applications; but the emphasis of both is always on physical thinking.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -JIMD Reports publishes case and short research reports in the area of inherited metabolic disorders. Case reports highlight some unusual or previously unrecorded feature relevant to the disorder, or serve as an important reminder of clinical or biochemical features of a Mendelian disorder.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Buch. Zustand: Neu. Neuware -Through this monograph, the pharmaceutical chemist gets familiar with the possibilities electroanalytical methods offer for validated analyses of drug compounds and pharmaceuticals. The presentation focuses on the techniques most frequently used in practical applications, particularly voltammetry and polarography. The authors present the information in such a way that the reader can judge whether the application of such techniques offers advantages for solving a particular analytical problem. Basics of individual electroanalytical techniques are outlined using as simple language as possible, with a minimum of mathematical apparatus. For each electroanalytical technique, the physical and chemical processes as well as the instrumentation are described. The authors also cover procedures for the identification of electroactive groups and the chemical and electrochemical processes involved.Understanding the principles of such processes is essential for finding optimum analytical conditions in the most reliable way. Added to this is the validation of such analytical procedures. A particularly valuable feature of this book are extensive tables listing numerous validated examples of practical applications. Various Indices according to the drug type, the electroactive group and the type of method as well as a subject and author index are also provided for easy reference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The book focuses on responsible living as the individual¿s contribution to sustainable development. We believe that sustainable development can only be achieved if individual freedom and responsibilities are balanced on a high level while taking social, ecological and economic needs into account. A crucial element to achieve this is to integrate different perspectives of stakeholders and co-create a joined approach through partnerships. While partnerships develop new opportunities for the stakeholders involved they also require a readiness for mutual understanding, respect and courage to co-create.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book sheds new light on the development and use of quantitative models to describe the process of skin permeation. It critically reviews the development of quantitative predictive models of skin absorption and discusses key recommendations for model development. Topics presented include an introduction to skin physiology; the underlying theories of skin absorption; the physical laboratory-based processes used to generate skin absorption data, which is in turn used to construct mathematical models describing the skin permeation process; algorithms of skin permeability including quantitative structure-activity (or permeability) relationships (QSARs or QSPRs); relationships between permeability and molecular properties; the development of formulation-focused approaches to models of skin permeability prediction; the use of artificial membranes, e.g. polydimethylsiloxane as alternatives to mammalian skin; and lastly, the use of novel Machine Learning methods in developing the next generation of predictive skin permeability models.The book will be of interest to all researchers in academia and industry working in pharmaceutical discovery and development, as well as readers from the field of occupational exposure and risk assessment, especially those whose work involves agrochemicals, bulk chemicals and cosmetics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book collects and organizes the original studies presented at PROMS 2014 conference on theories and applications of Rasch model. It provides useful examples of the Rasch model used to address practical measurement problems across a range of different disciplines including: Item Response Theory (IRT), philosophy of measurement, dimensionality, the role of fit statistics and residuals, application, educational application, language testing, health related research, business and industrial application and Rasch-based computer software. PROMS 2014 (Pacific Rim Objective Measurement Symposium) was held August 2 ¿ 6, 2014 in Guangzhou, China. The goal of this conference is to bring together the researchers from academia, universities, hospitals, industry, management sector as well as practitioners to share ideas, problems and solutions relating to the multifaceted aspects of Rasch Model.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Buch. Zustand: Neu. Neuware -This study systematically investigates the development process, major characteristics and weak links of China's poverty alleviation experience and conducts a comparative analysis of poverty alleviation cases. It also accurately presents the internal logic and core elements of China's poverty alleviation theory and taking the Chinese experience of poverty alleviation refines the 'Two Threads One Force' theoretical framework to make a basic judgment of the 'China model' for poverty alleviation. It also presents the rationale and plans for responding to new challenges to achieve poverty alleviation goals, which will enhance the welfare of the people and promote social progress and national prosperity.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.