springer nature switzerland springer international publishing jun 2017 (116 résultats)

Taschenbuch. Etat : Neu. Neuware -This book is a formalization of collected notes from an introductory game theory course taught at Queen's University. The course introduced traditional game theory and its formal analysis, but also moved to more modern approaches to game theory, providing a broad introduction to the current state of the discipline. Classical games, like the Prisoner's Dilemma and the Lady and the Tiger, are joined by a procedure for transforming mathematical games into card games. Included is an introduction and brief investigation into mathematical games, including combinatorial games such as Nim. The text examines techniques for creating tournaments, of the sort used in sports, and demonstrates how to obtain tournaments that are as fair as possible with regards to playing on courts. The tournaments are tested as in-class learning events, providing a novel curriculum item. Example tournaments are provided at the end of the book for instructors interested in running a tournament in their own classroom.The book is appropriate as a text or companion text for a one-semester course introducing the theory of games or for students who wish to get a sense of the scope and techniques of the field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This is the first book describing the glorious geology of Iceland¿s Golden Circle and four additional excursions:(1) the beautiful valleys and mountains of the fjord of Hvalfjördur, (2) the unique landscape and geothermal fields of the Hengill Volcano, (3) the explosion craters, volcanic fissures, and lava fields of the Reykjanes Peninsula, and (4) the volcanoes (Hekla, Eyjafjallajökull, Katla), waterfalls, sandur plains, and rock columns of South Iceland. The Golden Circle offers a unique opportunity to observe and understand many of our planet¿s forces in action. These forces move the Earth¿s tectonic plates, rupture the crust, and generate earthquakes, volcanic eruptions, channels for rivers and waterfalls, and heat sources for hot springs and geysers. The Golden Circle includes the famous rifting and earthquake fracture sites at Thingvellir, the hot springs of the Geysir area, the waterfall of Gullfoss, and the Kerid volcanic crater. As the book is primarily intended forpeople with no background in geosciences, no geological knowledge is assumed and technical terms are avoided as far as possible (those used are explained in a glossary). With more than 240 illustrations ¿ mostly photographs ¿ explaining geological structures and processes, it is also a useful resource for geoscientists.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Presents a strategic perspective and design methodology that guide the process of developing digital products and services that provide ¿real experience¿ to users. Only when the material experienced runs its course to fulfilment is it then regarded as ¿real experience¿ that is distinctively senseful, evaluated as valuable, and harmoniously related to others.Based on the theoretical background of human experience, the book focuses on these three questions:How can we understand the current dominant designs of digital products and services What are the user experience factors that are critical to provide the real experience What are the important HCI design elements that can effectively support the various UX factors that are critical to real experience Design for Experience is intended for people who are interested in the experiences behind the way we use our products and services, for example designers and students interested in interaction, visual graphics and information design or practitioners and entrepreneurs in pursuit of new products or service-based start-ups.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely ¿RuleML¿ (International Web Rule Symposium) and ¿RR¿ (Web Reasoning and Rule Systems).The 16 regular papers presented together with 2 keynote abstracts were carefully reviewed and selected from 29 submissions.The RR conference series has been a forum for discussion and dissemination of new results on all topics concerning Web Reasoning and Rule Systems, with an emphasis on rule-based approaches and languages. The RuleML conference series has been devoted to disseminating research, applications, languages and standards for rule technologies, with attention to both theoretical and practical developments, to challenging new ideas and industrial applications. Both series of conferences aimed at building bridges between academia and industry in the field of rules and their applications. Therefore, RuleML+RR is expected to become a leading conference for all subjects concerning theoretical advances, novel technologies, and innovative applications about knowledge representation and reasoning with rules.This new joint conference provides a valuable forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. It provides the possibility to present and discuss applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The two-volume set of LNCS 10385 and 10386, constitutes the proceedings of the 8th International Conference on Advances in Swarm Intelligence, ICSI 2017, held in Fukuoka, Japan, in July/August 2017.The total of 133 papers presented in these volumes was carefully reviewed and selected from 267 submissions. The paper were organized in topical sections as follows:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 672 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the 15th IFIP International Conference on Wired/Wireless Internet Communications, WWIC 2017, held in St. Petersburg, Russia, in June 2017.The 27 papers presented in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections named: network analysis and dimensioning; 5G communications; network design and planning; network protocols; information technology; and circuit design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the 15th International Conference on Applied Cryptology and Network Security, ACNS 2017, held in Kanazawa, Japan, in July 2017.The 34 papers presented in this volume were carefully reviewed and selected from 149 submissions. The topics focus on innovative research and current developments that advance the areas of applied cryptography, security analysis, cyber security and privacy, data and server security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 728 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 31st Annual IFIP WG 11.3 International Working Conference on Data and Applications Security and Privacy, DBSec 2017, held in Philadelphia, PA, USA, in July 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution and maintenance; model-driven generative development; model consistency management; model verification and analysis; and experience reports, case studies and new applications scenarios.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 25th International Conference on Case-Based Reasoning Research and Development, ICCBR 2017, held in Trondheim, Norway, in June 2017.The 27 full papers presented together with 3 keynote presentations were carefully reviewed and selected from 38 submissions. The theme of ICCBR-2017, 'Analogy for Reuse', was highlighted in several events.These papers, which are included in the proceedings, address many themes related to the theory and application of case-based reasoning, analogical reasoning, CBR and Deep Learning, CBR in the Health Sciences, Computational Analogy, and Process-Oriented CBR.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017.In 2017, the theme of the school was 'Semantic Interoperability on the Web', which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 14th Pacific Rim Collocated PRICAI 2016 Workshops on Artificial Intelligence, held in Phuket, Thailand, in August 2016.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, held in Zurich, Switzerland, in July 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017.The 54 full papers and 24 short papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in the following topical sections: virtual reality; augmented and mixed reality; computer graphics; human-computer interaction; applications of VR/AR in medicine; and applications of VR/AR in cultural heritage.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the 23rd International Symposium on Foundations of Intelligent Systems, ISMIS 2017, held in Warsaw, Poland, in June 2017. The 56 regular and 15 short papers presented in this volume were carefully reviewed and selected from 118 submissions. The papers include both theoretical and practical aspects of machine learning, data mining methods, deep learning, bioinformatics and health informatics, intelligent information systems, knowledge-based systems, mining temporal, spatial and spatio-temporal data, text and Web mining. In addition, four special sessions were organized; namely, Special Session on Big Data Analytics and Stream Data Mining, Special Session on Granular and Soft Clustering for Data Science, Special Session on Knowledge Discovery with Formal Concept Analysis and Related Formalisms, and Special Session devoted to ISMIS 2017 Data Mining Competition on Trading Based on Recommendations, which was launched as a part of the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 780 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This two-volume set LNAI 10313 and LNAI 10314 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2017, held in Olsztyn, Poland, in July 2017.The 74 revised full papers presented together with 16 short papers and 16 invited talks, were carefully reviewed and selected from 130 submissions. The papers in this two set-volume of IJCRS 2017 follow the track already rutted by RSCTC and JRS conferences which aimed at unification of many facets of rough set theory from theoretical aspects of the rough set idea bordering on theory of concepts and going through algebraic structures, topological structures, logics for uncertain reasoning, decision algorithms, relations to other theories of vagueness and ambiguity, then to extensions of the rough set idea like granular structures, rough mereology, and to applications of the idea in diverse fields of applied science including hybrid methods like rough-fuzzy, neuro-rough, neuro-rough-fuzzy computing. IJCRS 2017encompasses topics spread among four main tracks: Rough Sets and Data Science (in relation to RSCTC series organized since 1998); Rough Sets and Granular Computing (in relation to RSFDGrC series organized since 1999); Rough Sets and Knowledge Technology (in relation to RSKT series organized since 2006); and Rough Sets and Intelligent Systems (in relation to RSEISP series organized since 2007).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 608 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Innovations for Community Services, I4CS 2017, held in Darmstadt, Germany, in June 2017.The 12 revised full papers presented together with two short papers were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on Social Networks; Cooperative Networks; Optimization Algorithms; Infrastructure Planning; Energy Management; Short Papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017.The 70 revised full papers presented together with 45 short papers and 3 invited talks were carefully reviewed and selected from 180 submissions. They are organized in topical sections: constraints, planning, and optimization; data mining and machine learning; sensors, signal processing, and data fusion; recommender systems; decision support systems; knowledge representation and reasoning; navigation, control, and autonome agents; sentiment analysis and social media; games, computer vision; and animation; uncertainty management; graphical models: from theory to applications; anomaly detection; agronomy and artificial intelligence; applications of argumentation; intelligent systems in healthcare and mhealth for health outcomes; and innovative applications of textual analysis based on AI.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017.The 70 revised full papers presented together with 45 short papers and 3 invited talks were carefully reviewed and selected from 180 submissions. They are organized in topical sections: constraints, planning, and optimization; data mining and machine learning; sensors, signal processing, and data fusion; recommender systems; decision support systems; knowledge representation and reasoning; navigation, control, and autonome agents; sentiment analysis and social media; games, computer vision; and animation; uncertainty management; graphical models: from theory to applications; anomaly detection; agronomy and artificial intelligence; applications of argumentation; intelligent systems in healthcare and mhealth for health outcomes; and innovative applications of textual analysis based on AI.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 672 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions. The papers report on the application and validation of agent-based models, methods, and technologies in a number of key application areas, including day life and real world, energy and networks, human and trust, markets and bids, models and tools, negotiation and conversation, scalability and resources.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Image Analysis and Recognition, ICIAR 2017, held in Montreal, QC, Canada, in July 2017.The 73 revised full papers presented were carefully reviewed and selected from 133 submissions. The papers are organized in the following topical sections: machine learning in image recognition; machine learning for medical image computing; image enhancement and reconstruction; image segmentation; motion and tracking; 3D computer vision; feature extraction; detection and classification; biomedical image analysis; image analysis in ophthalmology; remote sensing; applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 692 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Workshop on Post-Quantum Cryptography, PQCrypto 2017, held in Utrecht, The Netherlands, in June 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015. GTTSE 2015 applied a broader scope to include additional areas of software analysis, empirical research, modularity, and product lines. The tutorials/briefings cover probabilistic program analysis, ontologies insoftware engineering, empirical evaluation of programming and programming languages, model synchronization management of software product families, 'people analytics' in software development, DSLs in robotics, structuredprogram generation techniques, advanced aspects of software refactoring, and name binding in language implementation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book will provide, for the first time available, a concise but high yield topic review of cardiac sarcoidosis from risk factors to the development of the disease through treatment options. The book will include concepts that are emerging and those that are now known on the topic, and will use real world examples to help illustrate best practices in the management of this disease entity.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The purpose of this volume is to give an up-to-date introduction to tensor valuations and their applications. Starting with classical results concerning scalar-valued valuations on the families of convex bodies and convex polytopes, it proceeds to the modern theory of tensor valuations. Product and Fourier-type transforms are introduced and various integral formulae are derived. New and well-known results are presented, together with generalizations in several directions, including extensions to the non-Euclidean setting and to non-convex sets. A variety of applications of tensor valuations to models in stochastic geometry, to local stereology and to imaging are also discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Buch. Etat : Neu. Neuware -This book is about Victorian women¿s representations of colonial life in India. These accounts contributed to imperial rule by exemplifying an idealized middle-class femininity and attesting to the Anglicisation of the subcontinent. Writers described familiarly feminine modes of experience, focusing on the domestic environment, household management, the family, hobbies and pastimes, romance and courtship and their busy social lives. However, this book reveals the extent to which their lives in India bore little resemblance to their lives in Britain and suggests that the acclaimed transportation of the home culture was largely an ideological construct iterated by women writers in the service of the Raj. In this way, they subverted the constraints of Victorian gender discourses and were part of a growing proto-feminism.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 18th International Conference on Artificial Intelligence in Education, AIED 2017, held in Wuhan,China, in June/July 2017. The 36 revised full papers presented together with 4 keynotes, 37 poster, presentations, 4 doctoral consortium papers, 5 industry papers, 4 workshop abstracts, and 2 tutorial abstracts were carefully reviewed and selected from 159 submissions. The conference provides opportunitiesfor the cross-fertilization of approaches, techniques and ideas from the many fields that comprise AIED, including computer science, cognitive and learning sciences, education, game design, psychology, sociology,linguistics as well as many domain-specific areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 712 pp. Englisch.