springer international publishing springer international publishing apr 2020 (396 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -This edited volume, now in its second edition, brings together the some of the most important figures in the evolution of Critical Pedagogy and a number of up-and-coming scholars. Together they provide comprehensive analyses related to the struggles against the triangulation of Neoliberalism, Conservatism, and Nationalism, not just in education but in all of social life, through the democratizing forces of critical pedagogy. Its re-release coincides with the 50th anniversary of the publication of Paulo Freire¿s landmark publication, Pedagogy of the Oppressed. The second edition has been updated with a majority of new chapters to address the current political shifts that have hastened erosion of the public sphere and public education today. These critical pedagogues show how neoliberal attacks can be collectively resisted, challenged, and eradicated especially by those of us teaching in schools and universities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book is to help post-graduate students to get into gravitational wave astronomy. We assume the knowledge of General Relativity theory, though we will concentrate on the physics and often omit mathematically strict derivations. We provide references to already existing literature where possible, this helps us to see a broad picture, skipping the details. The uniqueness of this book is in that it covers three frequency bands and three major world-wide efforts to detect gravitational waves. The LIGO and Virgo scientific collaboration has detected first gravitational waves and the merger of black holes become now almost a routine. We do expect many discoveries yet to come, especially in the joined gravitational and electromagnetic observations. LISA, the space-based gravitational wave observatory, will be launched around 2034 and will be able to detect thousands of GW sources in the milli-Hz band. Pulsar timing array observations have accumulated 20-years' worth of data and we expected detection of GWs in the nano-Hz band within the next decade. We describe the gravitational wave sources and data analysis techniques in each frequency band.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The development of science has been an ideological struggle that lasted over three millennia. At and after the times of the Babylonian Empire, however, the pace of scientific evolution was painfully slow. This situation changed after Copernicus kick-started the Scientific Revolution with his heliocentric theory. Newton¿s law of universal gravitation transformed natural philosophy, previously focused on mythology and abstract philosophical thinking, into an orderly and rational physical science. Einstein¿s redefinition of space and time revealed a new and central principle of the Universe, paving the way for the huge amounts of energy held deep inside physical matter to be released. To this day, many of the our known physical theories represent an accumulation of changing knowledge over the long course of scientific history. But what kind of changes did the scientists see What questions did they address What methods did they use What difficulties did they encounter And what kind of persecution might they have faced on the road to discovering these beautiful, sometimes almost mystical, ideas This book¿s purpose is to investigate these questions. It leads the reader through the stories behind major scientific advancements and their theories, as well as explaining associated examples and hypotheses. Over the course of the journey, readers will come to understand the way scientists explore nature and how scientific theories are applied to natural phenomena and every-day technology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 608 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions.The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 660 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 788 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020.The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA¿s mission is to promote ideas over performance: a solid motivation can be as convincing as exhaustive empirical evaluation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 604 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book offers a modern and accessible introduction to Statistical Inference, the science of inferring key information from data. Aimed at beginning undergraduate students in mathematics, it presents the concepts underpinning frequentist statistical theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed post-conference proceedings of the First International Conference on Society with Future: Smart and Liveable Cities, SC4Life 2019, which took place in Braga, Portugal, in December 2019. The 13 revised full papers were carefully reviewed and selected from 19 submissions. The conference has brought researchers, developers, and practitioners who are leveraging and develoing new knowledge on the topic of smart cities, offering more efficiency to main infrastructures, utilities and services, creating a sustainable urban environment that improves the quality of life for its citizens and enhances economic development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 6th International Conference on Internet of Things (IoT) Technologies for HealthCare, HealthyIoT 2019, held in Braga, Portugal, in December 2019. The IoT as a set of existing and emerging technologies, notions and services can provide many solutions to delivery of electronic healthcare, patient care, and medical data management. The 10 revised full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as healthcare information systems, consumer health, health informatics, engineering, telecommunications, mathematics and statistics, life and medical sciences, and cloud computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Buch. Zustand: Neu. Neuware -This textbook offers a geometric perspective on special relativity, bridging Euclidean space, hyperbolic space, and Einstein¿s spacetime in one accessible, self-contained volume. Using tools tailored to undergraduates, the author explores Euclidean and non-Euclidean geometries, gradually building from intuitive to abstract spaces. By the end, readers will have encountered a range of topics, from isometries to the Lorentz¿Minkowski plane, building an understanding of how geometry can be used to model special relativity.Beginning with intuitive spaces, such as the Euclidean plane and the sphere, a structure theorem for isometries is introduced that serves as a foundation for increasingly sophisticated topics, such as the hyperbolic plane and the Lorentz¿Minkowski plane. By gradually introducing tools throughout, the author offers readers an accessible pathway to visualizing increasingly abstract geometric concepts. Numerous exercises are also included with selected solutions provided.Geometry: from Isometries to Special Relativity offers a unique approach to non-Euclidean geometries, culminating in a mathematical model for special relativity. The focus on isometries offers undergraduates an accessible progression from the intuitive to abstract; instructors will appreciate the complete instructor solutions manual available online. A background in elementary calculus is assumed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Zustand: Neu. Neuware -This beautifully crafted book collects images, which were created during the process of research in all fields of theoretical biology. Data analysis, numerical treatment of a model, or simulation results yield stunning images, which represent pieces of art just by themselves. The approach of the book is to present for each piece of visualization a lucid synopsis of the scientific background as well as an outline of the artistic vision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This manual enables individuals working in children¿s palliative care (CPC) globally to learn through engaging real-world cases. The aim is to provide a clinical case-based resource that is globally relevant and accessible to those working in CPC. Drawing on case histories from around the world that reflect key issues and elements of CPC, it provides a practical approach grounded in experience. It addresses multidisciplinary care in the management of children and their families; discusses cases from an international perspective, and shares examples from a variety of countries, utilising cases across a range of ages and conditions, demonstrating holistic care. It represents the first case-based manual on global CPC and is endorsed and promoted by the International Children¿s Palliative Care Network (ICPCN).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This brief offers a unique and innovative account of the role of internet and digital technologies in human smuggling and trafficking. It explores new illegal paths through the web by analyzing how traffickers and smugglers use the visible and dark web during different phases of the process, including recruitment, transportation, and exploitation. Featuring case studies from two European countries, Italy and the United Kingdom, it outlines the types of websites used in these processes, how they are used, and common behavior patterns. With a view of transnational criminal activities involving actors from individual criminal entrepreneurs to organized crime groups and fluid large criminal networks, this brief will be of use to law enforcement, researchers of trafficking and organized crime, and policy makers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 92 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book examines how human behavior is shaped by our aspirations, emotions, thoughts and sensations, and conversely, how the experiences that result from our behavior impact ourselves, others and the planet. Based on an analysis of the constant interplay between these four layers, it offers practical solutions to systematically induce sustainable social change dynamics. It shows why change, in addition to economic and political transformation at the macro level, begins with mind-shifts at the micro level. Hereby it establishes the missing link between investments in personal empowerment and collective welfare. A novel theoretical paradigm is the foundation of this book, which is anchored in the perspective of an ongoing ¿body-mind-heart-soul connection.¿ Based on the premise that an equitable society is to the benefit of everyone, it is argued that efforts made for others have benefits at three levels ¿ for the individual who acts, the one who has been acted for and for society.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 11th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2020, held in Hangzhou, China, in July 2020.The 24 full papers and 5 short papers presented were carefully reviewed and selected from 36 submissions. They are organized in topical sections on machine learning; multi-agent system; recommendation system; social computing; brain computer integration; pattern recognition; and computer vision and image understanding.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 24 submissions. The contributions present current research activities in the areas of declarative languages and compilation techniques, in particular for constraint-based, logical and functional languages and their extensions, as well as discuss new approaches and key findings in constraint-solving, knowledge representation, and reasoning techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes extended revised selected papers presented during the 8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, held in Joinville, Brazil, in October 2017, and during the 9th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2018, held in Belém, Brazil, in October 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Artificial Evolution, EA 2019, held in Mulhouse, France, in October 2019.The 16 revised papers were carefully reviewed and selected from 33 submissions. The papers cover a wide range of topics in the field of artificial evolution, such as evolutionary computation, evolutionary optimization, co-evolution, artificial life, population dynamics, theory, algorithmic and modeling, implementations, application of evolutionary paradigms to the real world (industry, biosciences.), other biologically-inspired paradigms (swarm, artificial ants, artificial immune systems, cultural algorithms.), memetic algorithms, multi-objective optimization, constraint handling, parallel algorithms, dynamic optimization, machine learning and hybridization with other soft computing techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The two-volume set LNCS 12110 and 12111 constitutes the refereed proceedings of the 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, PKC 2020, held in Edinburgh, UK, in May 2020.The 44 full papers presented were carefully reviewed and selected from 180 submissions. They are organized in topical sections such as: functional encryption; identity-based encryption; obfuscation and applications; encryption schemes; secure channels; basic primitives with special properties; proofs and arguments; lattice-based cryptography; isogeny-based cryptography; multiparty protocols; secure computation and related primitives; post-quantum primitives; and privacy-preserving schemes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers.The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume constitutes the proceedings of the 11th International Conference on Intelligent Human Computer Interaction, IHCI 2019, held in Allahabad, India, in December 2019.The 25 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The papers are grouped in the following topics: EEG and other biological signal based interactions; natural language, speech and dialogue processing; vision based interactions; assistive living and rehabilitation; and applications of HCI.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes selected papers from the 16th European, Mediterranean, and Middle Eastern Conference, EMCIS 2019, held in Dubai, UAE, in October 2019. EMCIS is dedicated to the definition and establishment of Information Systems as a discipline of high impact for the methodical community and IS professionals, focusing on approaches that facilitate the identification of innovative research of significant relevance to the IS discipline.The 48 full papers presented in this volume were carefully reviewed and selected from a total of 138 submissions. They were organized in topical sections named: Big Data and Analytics; Blockchain Technology and Applications; Cloud Computing; Digital Services and Social Media; e-Government; Enterprise Information Systems; Health-Care Information Systems; Information Systems Security and Information Privacy Protection; Innovative Research Projects; IT Governance; and Management and Organizational Issues in Information Systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 652 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book addresses the current challenges in controlling Kala-azar disease (Visceral leishmaniasis) in India and other VL-endemic areas, and aims to develop and apply a geo-environmental risk model based on primary and secondary data with the aid of remote sensing and GIS technologies to assess and mitigate Kala-azar transmission. Through case studies carried out in India, the book provides insight into the relationship between geo-environmental variables and encroachments of Kala-azar, and identifies potential pathways for VL introduction to develop mitigation strategies using GIS and remote sensing technologies. The book critically assesses existing VL mitigation measures that do not adequately account for geo-environmental conditions, and analyzes the environmental factors that aid Kala-azar transmission using remote sensing, spatial statistics and data mining techniques. The book will be of interest to epidemiologists, researchers and practitioners using geospatial data practices to study disease transmission and associated monitoring technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book examines and compares the religious experience of an African group with a European one. It offers an ethnographical investigation of the Jukun of north central Nigeria. The author also organically weaves into the narrative the Christianization of the Irish in a comparative fashion. Throughout, he makes the case for an African Christianity connected to a Celtic Irish Christianity and vice-versa -- as different threads in a tapestry.This work is a product of a synthesis of archival research in three continents, interviews with surviving first-generation Christians who were active practitioners of the Jukun indigenous religion, and with former missionaries to the Jukun. On the Irish side, it draws from extant primary sources and interviews with scholars in Celtic Irish studies. In addition, pictures, diagrams, and excerpts from British colonial and missionary journals provide a rich contextual understanding of Jukun religious life and practices.The author is among the emerging voices in the study of World Christianity who advocate for the reality of 'poly-centres' for Christianity. This perspective recognizes voices from the Global South in the expansion of Christianity. This book serves as a valuable resource for historians, anthropologists, theologians, and those interested in missions studies, both scholars and lay readers seeking to deepen their understanding of World Christianity.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Buch. Zustand: Neu. Neuware -What impact did walking tours and scenic films have on leisure activities In what ways did working class travel disrupt normative narratives concerning nature and identity The appreciation of nature and leisure travel have a complex and interrelated history in Scotland. In Charting Scottish Tourism, Wilson looks at how scenic filmmaking altered the construction of the tourist map and spatial identities at the turn of the 20th Century. Scenic film, the author argues, played a key role in the expansion of regional travel and national tourism during the period. In addition, scenic film provides the modern researcher with an unrivalled source of documentary evidence relating to the manner in which Scottish working and middle class communities explored and reclaimed the natural spaces around them. The author examines the central role of the Scottish scenic within leisure performances and the way in which these films promoted and challenged normative spatial narratives. These discursive shifts, she argues, had a wide-reaching impact on popular assumptions concerning space, nature and identity both home and away. Charting Scottish Tourism provides a fascinating case study and numerous methodological insights for students and researchers interested in documentary film as well as the construction of identity and the natural world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book intends to present the development of socio-spatial practices in the metropolitan coast of the Northeast of Brazil, highlighting the main urban, spa and tourist agglomerations: Salvador-BA, Recife-PE, Fortaleza-CE, and Natal-RN. The objective is to study the processes of urbanization associated with maritime leisure.In the first chapter, the reader will find a historical and conceptual presentation highlighting the relevance of leisure practices, their forms-flows and their role in the formation of maritime resorts. The second chapter analyses the context of the northeastern region of Brazil and demonstrates the process of modernization and formation of the seaside function within the cities, and later, in the maritime metropolises of the region. The relationship between urbanization and touristic real estate ventures is the central theme of the third chapter, which proposes a specific methodology for studies of this nature. The final chapter presents the seaside resorts in the metropolitan area of Fortaleza, a case study similar to others in the Northeast, examining the urbanistic effects and the key ideas of the planners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 84 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book focuses on operations management methods for analysing complex systems from a system engineering perspective. It presents various advanced multi-criteria decision analysis methods for investigating factors that influence complex systems. In turn, it shows how to improve systems¿ performance, including their competitiveness, safety, and sustainability. The book also draws on examples of typical virtual systems such as tourism, aviation maintenance, and waste-to-wealth systems to illustrate the operations management methods discussed. Cases from day-to-day life are used to elicit heuristic questions on the operations management methods presented in each chapter.The book will help researchers, operations managers, and engineers alike to understand the latest advances in operations management methods for analysing complex systems from the standpoint of system engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.