springer international publishing nov 2014 (756 résultats)

Taschenbuch. Etat : Neu. Neuware -User engagement refers to the quality of the user experience that emphasizes the positive aspects of interacting with an online application and, in particular, the desire to use that application longer and repeatedly. User engagement is a key concept in the design of online applications (whether for desktop, tablet or mobile), motivated by the observation that successful applications are not just used, but are engaged with. Users invest time, attention, and emotion in their use of technology, and seek to satisfy pragmatic and hedonic needs. Measurement is critical for evaluating whether online applications are able to successfully engage users, and may inform the design of and use of applications. User engagement is a multifaceted, complex phenomenon; this gives rise to a number of potential measurement approaches. Common ways to evaluate user engagement include using self-report measures, e.g., questionnaires; observational methods, e.g. facial expression analysis, speech analysis; neuro-physiological signal processing methods, e.g., respiratory and cardiovascular accelerations and decelerations, muscle spasms; and web analytics, e.g., number of site visits, click depth. These methods represent various trade-offs in terms of the setting (laboratory versus ``in the wild''), object of measurement (user behaviour, affect or cognition) and scale of data collected. For instance, small-scale user studies are deep and rich, but limited in terms of generalizability, whereas large-scale web analytic studies are powerful but negate users' motivation and context. The focus of this book is how user engagement is currently being measured and various considerations for its measurement. Our goal is to leave readers with an appreciation of the various ways in which to measure user engagement, and their associated strengths and weaknesses. We emphasize the multifaceted nature of user engagement and the unique contextual constraints that come to bear upon attempts to measure engagement in different settings, and across different user groups and web domains. At the same time, this book advocates for the development of ``good'' measures and good measurement practices that will advance the study of user engagement and improve our understanding of this construct, which has become so vital in our wired world. 136 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -These lecture notes present a concise and introductory, yet as far as possible coherent, view of the main formalizations of quantum mechanics and of quantum field theories, their interrelations and their theoretical foundations.The ¿standard¿ formulation of quantum mechanics (involving the Hilbert space of pure states, self-adjoint operators as physical observables, and the probabilistic interpretation given by the Born rule) on one hand, and the path integral and functional integral representations of probabilities amplitudes on the other, are the standard tools used in most applications of quantum theory in physics and chemistry. Yet, other mathematical representations of quantum mechanics sometimes allow better comprehension and justification of quantum theory. This text focuses on two of such representations: the algebraic formulation of quantum mechanics and the ¿quantum logic¿ approach. Last but not least, some emphasis will also be put on understanding the relation between quantum physics and special relativity through their common roots - causality, locality and reversibility, as well as on the relation between quantum theory, information theory, correlations and measurements, and quantum gravity.Quantum mechanics is probably the most successful physical theory ever proposed and despite huge experimental and technical progresses in over almost a century, it has never been seriously challenged by experiments. In addition, quantum information science has become an important and very active field in recent decades, further enriching the many facets of quantum physics. Yet, there is a strong revival of the discussions about the principles of quantum mechanics and its seemingly paradoxical aspects: sometimes the theory is portrayed as the unchallenged and dominant paradigm of modern physical sciences and technologies while sometimes it is considered a still mysterious and poorly understood theory, waiting for a revolution. This volume, addressing graduate students and seasoned researchers alike, aims to contribute to the reconciliation of these two facets of quantum mechanics.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the IberSPEECH 2014 Conference, held in Las Palmas de Gran Canaria, Spain, in November 19-21, 2014. The 29 papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on speech production, analysis, coding and synthesis; speaker and language characterization; automatic speech recognition; speech of language technologies in different application fields. 308 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This monograph grew out of the authors' efforts to provide a natural geometric description for the class of maps invariant under parabolic renormalization and for the Inou-Shishikura fixed point itself as well as to carry out a computer-assisted study of the parabolic renormalization operator. It introduces a renormalization-invariant class of analytic maps with a maximal domain of analyticity and rigid covering properties and presents a numerical scheme for computing parabolic renormalization of a germ, which is used to compute the Inou-Shishikura renormalization fixed point.Inside, readers will find a detailed introduction into the theory of parabolic bifurcation, Fatou coordinates, Écalle-Voronin conjugacy invariants of parabolic germs, and the definition and basic properties of parabolic renormalization.The systematic view of parabolic renormalization developed in the book and the numerical approach to its study will be interesting to both expertsin the field as well as graduate students wishing to explore one of the frontiers of modern complex dynamics.

Taschenbuch. Etat : Neu. Neuware -This book provides a systematic way of how to make better decisions in water resources management. The applications of three weighting methods namely rating, ranking, and ratio are discussed in this book. Additionally, data mining on keywords is presented using three popular scholarly databases: Science Direct, Scopus, and SciVerse. Four abbreviated keywords (MCDM, MCDA, MCA, MADM) representing multi-criteria decision-making were used and these three databases were searched for different popular weighting methods for a period of 13 years (2000-2012). The book provides also a review of weighting methods applied in various multi-criteria decision-making (MCDM) methods and also presents survey results on priority ranking of watershed management criteria undertaken by 30 undergraduate and postgraduate students from the Faculty of Civil Engineering, Universiti Teknologi Malaysia.

Taschenbuch. Etat : Neu. Neuware -This is a book on planets: Solar system planets and dwarf planets. And planets outside our solar system ¿ exoplanets. How did they form What types of planets are there and what do they have in common How do they differ What do we know about their atmospheres ¿ if they have one What are the conditions for life and on which planets may they be met And what¿s the origin of life on Earth and how did it form You will understand how rare the solar system, the Earth and hence life is.This is also a book on stars. The first and second generation of stars in the Universe. But in particular also on the link between planets and stars ¿ brown dwarfs. Their atmospheric properties and similarities with giant exoplanets.All these fascinating questions will be answered in a non-technical manner. But those of you who want to know a bit more may look up the relevant mathematical relationships in appendices.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Learning to rank refers to machine learning techniques for training a model in a ranking task. Learning to rank is useful for many applications in information retrieval, natural language processing, and data mining. Intensive studies have been conducted on its problems recently, and significant progress has been made. This lecture gives an introduction to the area including the fundamental problems, major approaches, theories, applications, and future work. The author begins by showing that various ranking problems in information retrieval and natural language processing can be formalized as two basic ranking tasks, namely ranking creation (or simply ranking) and ranking aggregation. In ranking creation, given a request, one wants to generate a ranking list of offerings based on the features derived from the request and the offerings. In ranking aggregation, given a request, as well as a number of ranking lists of offerings, one wants to generate a new ranking list of the offerings. Ranking creation (or ranking) is the major problem in learning to rank. It is usually formalized as a supervised learning task. The author gives detailed explanations on learning for ranking creation and ranking aggregation, including training and testing, evaluation, feature creation, and major approaches. Many methods have been proposed for ranking creation. The methods can be categorized as the pointwise, pairwise, and listwise approaches according to the loss functions they employ. They can also be categorized according to the techniques they employ, such as the SVM based, Boosting based, and Neural Network based approaches. The author also introduces some popular learning to rank methods in details. These include: PRank, OC SVM, McRank, Ranking SVM, IR SVM, GBRank, RankNet, ListNet & ListMLE, AdaRank, SVM MAP, SoftRank, LambdaRank, LambdaMART, Borda Count, Markov Chain, and CRanking. The author explains several example applications of learning to rank including web search, collaborative filtering, definition search, keyphrase extraction, query dependent summarization, and re-ranking in machine translation. A formulation of learning for ranking creation is given in the statistical learning framework. Ongoing and future research directions for learning to rank are also discussed. Table of Contents: Learning to Rank / Learning for Ranking Creation / Learning for Ranking Aggregation / Methods of Learning to Rank / Applications of Learning to Rank / Theory of Learning to Rank / Ongoing and Future WorkSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -A zero-suppressed decision diagram (ZDD) is a data structure to represent objects that typically contain many zeros. Applications include combinatorial problems, such as graphs, circuits, faults, and data mining. This book consists of four chapters on the applications of ZDDs. The first chapter by Alan Mishchenko introduces the ZDD. It compares ZDDs to BDDs, showing why a more compact representation is usually achieved in a ZDD. The focus is on sets of subsets and on sum-of-products (SOP) expressions. Methods to generate all the prime implicants (PIs), and to generate irredundant SOPs are shown. A list of papers on the applications of ZDDs is also presented. In the appendix, ZDD procedures in the CUDD package are described. The second chapter by Tsutomu Sasao shows methods to generate PIs and irredundant SOPs using a divide and conquer method. This chapter helps the reader to understand the methods presented in the first chapter. The third chapter by Shin-Ichi Minato introduces the ''frontier-based'' method that efficiently enumerates certain subsets of a graph. The final chapter by Shinobu Nagayama shows a method to match strings of characters. This is important in routers, for example, where one must match the address information of an internet packet to the proprer output port. It shows that ZDDs are more compact than BDDs in solving this important problem. Each chapter contains exercises, and the appendix contains their solutions. Table of Contents: Preface / Acknowledgments / Introduction to Zero-Suppressed Decision Diagrams / Efficient Generation of Prime Implicants and Irredundant Sum-of-Products Expressions / The Power of Enumeration--BDD/ZDD-Based Algorithms for Tackling Combinatorial Explosion / Regular Expression Matching Using Zero-Suppressed Decision Diagrams / Authors' and Editors' Biographies / IndexSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The bubbles were swirling all around me, massaging my body. As I luxuriated in this fantastic bath, I gasped realizing that those bubbles carried with them miniature galaxies bringing the entire Cosmos into my bathtub.Alfie is back. And so are George and other characters from the author¿s previous book Einstein¿s Enigma or Black Holes in My Bubble Bath. While the present book, Universe Unveiled - The Cosmos in My Bubble Bath, is completely independent, its storyline can be considered a sequel to the previous one. The scientific content spanning ancient world models to the most recent mysteries of cosmology is presented in an entirely nontechnical and descriptive style through the discussions between Alfie, the enlightened learner, and George, professor of astrophysics. Fantasies, based on these discussions that cover the scientific facts, are created by the magical bubble baths taken by Alfie.Universe Unveiled blends accurate science withphilosophy, drama, humour, and fantasy to create an exciting cosmic journey that reads like a novel and educates as it entertains.¿Spurred by a series of mind-bending discoveries, Man¿s millennial love affair with the stars has now reached fever pitch. No one writing today is better positioned to evoke the romance and beauty of these cosmic discoveries than Vishveshwara. A leading expert in Einstein¿s relativity theory, he brings a lyrical voice and a poetic sensibility to this joyful task. Universe Unveiled, a unique literary creation, transports readers into believing they can actually hear the music of the spheres.¿Professor Robert Fuller, Former President, Oberlin College (USA)Author of Somebodies and Nobodies: Overcoming the Abuse of RankSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -User engagement refers to the quality of the user experience that emphasizes the positive aspects of interacting with an online application and, in particular, the desire to use that application longer and repeatedly. User engagement is a key concept in the design of online applications (whether for desktop, tablet or mobile), motivated by the observation that successful applications are not just used, but are engaged with. Users invest time, attention, and emotion in their use of technology, and seek to satisfy pragmatic and hedonic needs. Measurement is critical for evaluating whether online applications are able to successfully engage users, and may inform the design of and use of applications. User engagement is a multifaceted, complex phenomenon; this gives rise to a number of potential measurement approaches. Common ways to evaluate user engagement include using self-report measures, e.g., questionnaires; observational methods, e.g. facial expression analysis, speech analysis; neuro-physiological signal processing methods, e.g., respiratory and cardiovascular accelerations and decelerations, muscle spasms; and web analytics, e.g., number of site visits, click depth. These methods represent various trade-offs in terms of the setting (laboratory versus ``in the wild''), object of measurement (user behaviour, affect or cognition) and scale of data collected. For instance, small-scale user studies are deep and rich, but limited in terms of generalizability, whereas large-scale web analytic studies are powerful but negate users' motivation and context. The focus of this book is how user engagement is currently being measured and various considerations for its measurement. Our goal is to leave readers with an appreciation of the various ways in which to measure user engagement, and their associated strengths and weaknesses. We emphasize the multifaceted nature of user engagement and the unique contextual constraints that come to bear upon attempts to measure engagement in different settings, and across different user groups and web domains. At the same time, this book advocates for the development of ``good'' measures and good measurement practices that will advance the study of user engagement and improve our understanding of this construct, which has become so vital in our wired world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Buch. Etat : Neu. Neuware -The outer Solar System is rich in resources and may be the best region in which to search for life beyond Earth. In fact, it may ultimately be the best place for Earthlings to set up permanent abodes. This book surveys the feasibility of that prospect, covering the fascinating history of exploration that kicks off our adventure into the outer Solar System.Although other books provide surveys of the outer planets, Carroll approaches it from the perspective of potential future human exploration, exploitation and settlement, using insights from today¿s leading scientists in the field. These experts take us to targets such as the moons Titan, Triton, Enceladus, Iapetus and Europa, and within the atmospheres of the gas and ice giants. In these pages you will experience the thrill of discovery awaiting those who journey through the giant worlds and their moons.All the latest research is included, as are numerous illustrations, among them original paintings by the author, a renowned prize-winning space artist.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Light phenomena have intrigued humankind since prehistory. Think of the rainbow, a sunset on the sea, a game of shadows. Humans have always used light for their own needs, from cooking food to illuminating a room.However, light is not only limited to what we can see with our eyes. The invisible part of the electromagnetic spectrum is broad and dynamic. This book outlines the mysteries and wonders of electromagnetism, heat, and light. It also covers the history of our scientific understanding of light.The dark as well as the bright sides of light are fully explored in these pages, from their impact on our world to their use in cutting-edge technologies in a variety of fields. Numerous full-color images and drawings complement the text, and light phenomena are explained in a simple and engaging way.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -As our closest stellar companion and composed of two Sun-like stars and a third small dwarf star, Alpha Centauri is an ideal testing ground of astrophysical models and has played a central role in the history and development of modern astronomy¿from the first guesses at stellar distances to understanding how our own star, the Sun, might have evolved. It is also the host of the nearest known exoplanet, an ultra-hot, Earth-like planet recently discovered.Just 4.4 light years away Alpha Centauri is also the most obvious target for humanity¿s first directed interstellar space probe. Such a mission could reveal the small-scale structure of a new planetary system and also represent the first step in what must surely be humanity¿s greatest future adventure¿exploration of the Milky Way Galaxy itself.For all of its closeness, ¿ Centauri continues to tantalize astronomers with many unresolved mysteries, such as how did it form, how many planets does it contain andwhere are they, and how might we view its extensive panorama directly In this book we move from the study of individual stars to the study of our Solar System and our nearby galactic neighborhood. On the way we will review the rapidly developing fields of exoplanet formation and detection.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains 12 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 three events: the Workshop on Agent-Mediated Electronic Commerce (AMEC 2013), co-located with AAMAS 2013 in Saint Paul, MN, USA, in May 2013; the Workshop on Trading Agent Design and Analysis (TADA 2013), co-located with AAAI 2013 in Bellevue, WA, USA, in July 2013; and the Joint Workshop on Trading Agent Design and Analysis (TADA 2014) and Agent-Mediated Electronic Commerce (AMEC 2014), co-located with AAMAS 2014 in Paris, France, in May 2014.Given the breadth of research topics in this field, the range of topics addressed in these papers is correspondingly broad. These include the study of theoretical issues related to the design of interaction protocols and marketplaces; the design and analysis of automated trading strategies used by individual agents; and the deployment of such strategies, in times as part of an entry to the trading agent competition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 11th International Workshop on Algorithms and Models for the Web Graph, WAW 2014, held in Beijing, China, in December 2014.The 12 papers presented were carefully reviewed and selected for inclusion in this volume. The aim of the workshop was to further the understanding of graphs that arise from the Web and various user activities on the Web, and stimulate the development of high-performance algorithms and applications that exploit these graphs. The workshop gathered the researchers who are working on graph-theoretic and algorithmic aspects of related complex networks, including social networks, citation networks, biological networks, molecular networks, and other networks arising from the Internet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed contest reports of the 1st International Workshop, VAAM 2014, held in Stockholm, Sweden, in August 2014. The 10 revised full papers presented were carefully reviewed and selected from 13 submissions.The aim of this workshop is to provide an overview of state of the art methods for audience measurements in retail and Digital Signage, end-users attraction, and stimulate the creation of appropriate benchmark dataset to be used as reference for the development of novel audience measurement algorithms. Papers are invited under the following topics: demographics and modeling consumer behaviour.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Clinical cases are a key component in modern medical education, assisting the trainee or recertifying clinician to work through unusual cases using best practice techniques. Integrative Dermatology is an important discipline in this regard since it is a highly visual subject requiring the reader to describe often very subtle differences in the presentation of patients and define accurately the diagnostic and management criteria to base their clinical decision-making on. In 1992 the National Institutes of Health established the National Center for Complementary and Alternative Medicine (now also called Integrative Medicine), which has led to increased evidence-based research.The objective of this book is to provide readers with an overview of traditional and complementary treatment options for the most common skin problems encountered in clinical practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Artificial Evolution, EA 2013, held in Bordeaux, France, in October 2013.The 20 revised papers were carefully reviewed and selected from 39 submissions. The papers are focused to theory, ant colony optimization, applications, combinatorial and discrete optimization, memetic algorithms, genetic programming, interactive evolution, parallel evolutionary algorithms, and swarm intelligence.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This State-of-the-Art Survey constitutes the Final Publication of the COST Action IC1002 on Multilingual and Multifaceted Interactive Information Access, MUMIA. It contains outstanding research, recent developments and new directions in all related aspects of multifaceted and interactive information access with a focus on professional and enterprise search. The contributions are grouped in the following three parts: frameworks, models and theory; tools, applications and practice; and patent search. The Intellectual Property (IP) domain is used through the book as a primary case study. The book aims to bring together material which has been published in a fragmentary way in journals and conference papers into a coherent whole but also present novel, unpublished work where appropriate.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Second International Joint Conference in Signal Processing and Information Technology, SPIT 2012, held in Dubai, UAE, in September 2012. The 32 papers included in this volume were carefully reviewed and selected from 330 submissions. The papers cover research and development activities in computer science, information technology, computational engineering, image and signal processing, and communication.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the First International Conference on Security Standardisation Research, SSR 2014, which was held in London, UK, in December 2014. The 14 full papers presented in this volume were carefully reviewed and selected from 22 submissions. The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and improving existing standards.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference, TPNC 2014, held in Granada, Spain, in December 2014. The 22 revised full papers presented in this book were carefully reviewed and selected from 47 submissions. The papers are organized in topical sections on nature-inspired models of computation; synthesizing nature by means of computation; nature-inspired materials; and information processing in nature.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software engineering; formalisms related to RL; verification techniques for RL specifications; comparisons of RL with existing formalisms having analogous aims; application of RL to specification and analysis of distributed systems and physical systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly revised selected papers of the 4th and 5th workshops on Big Data Benchmarks, Performance Optimization, and Emerging Hardware, BPOE 4 and BPOE 5, held respectively in Salt Lake City, in March 2014, and in Hangzhou, in September 2014. The 16 papers presented were carefully reviewed and selected from 30 submissions. Both workshops focus on architecture and system support for big data systems, such as benchmarking; workload characterization; performance optimization and evaluation; emerging hardware.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Adaptive Multimedia Retrieval, AMR 2012, held in Copenhagen, Denmark, in October 2012.The 17 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover topics of state of the art contributions, features and classification, location context, language and semantics, music retrieval, and adaption and HCI.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed post-proceedings of the 10th Workshop on RFID Security and Privacy, RFIDSec 2014, held in Oxford, UK, in 2014. The 9 revised full papers and 4 short papers presented in this volume were carefully reviewed and selected from 27 submissions. The papers deal with topics such as RFID power-efficiency, privacy, authentication and side channels, and key exchange.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed conference proceedings of the 8th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2014, held in Bangalore, India, in December 2014.The 22 revised full papers were carefully reviewed and selected from 44 submissions. The papers feature a wide range of topics covering both theory, methods and tools as well as their diverse applications in numerous domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Etat : Neu. Neuware -This book brings together ten original empirical works focusing on the influence of various types of spatial mobility ¿ be it international or national¿ on partnership, family and work life. The contributions cover a range of important topics which focus on understanding how spatial mobility is related to familial relationships and life course transitions. The volume offers new insights by bringing together the state of the art in theoretical and empirical approaches from spatial mobility and international migration research. This includes, for example, studies that investigate the relationships between international migration and changing patterns of partnership choice, family formation and fertility. Complementing to this, this volume presents new empirical studies on job-related residential mobility and its impact on the relationship quality of couples, family life, and union dissolution. It also highlights the importance of research that looks at the reciprocal relationships between mobility and life course events such as young adults leaving the parental home in international migration context, re-arrangements of family life after divorce and spatial mobility of the elderly following life transitions. The scholarly work included in this volume does not only contribute to theoretical debates but also provide timely empirical evidence from various societies which represent the common features in the dynamics of spatial mobility and migration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.