springer international publishing apr 2020 (930 risultati)

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

Buch. Condizione: Neu. Neuware -This volume focuses on adult craniopharyngiomas, offering various perspectives. The first part of the book provides an up-to-date overview of the pathogenesis and management of adult craniopharyngiomas, helping readers understand the pathogenesis and molecular pathways. It highlights the importance of animal models for addressing molecular keys and for developing targeted therapies.The second part deals with clinical management, detailing the latest results in the era of endoscopic surgery, including the major contribution of the extended nasal endoscopic approaches for suprasellar and retrochiasmatic tumors. The book also discusses the key aspects of these tumors and how to manage them. The last part of the book addresses the future therapies and recurrences after surgery and radiotherapy.This volume is of interest to neurosurgeons, endocrinologists, paediatricians, radiologists and oncologists.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: Neu. Neuware -This book analyses the impact of web design parameters on user experience and the behaviour of website users. Website design is considered one of the key parameters of a company's Internet presentation, affecting consumer attitudes and buying behaviour. The authors examine the concept of website quality based on the identification of patterns of user behaviour in the online environment, particularly focusing on the functional and aesthetic parameters of web design and causal relationships between them. Using website traffic analysis and best practices from professionals, they describe a methodical procedure for measuring the quality of web pages and developing optimised websites.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book examines the relationship between Congress and the Federal Judiciary over time. Several aspects of this separation of power dynamics are examined, including court curbing legislation, court structuring legislation, justiciability, and judicial review. Unlike prior works, this book examines this relationship from a bicameral perspective, as it is argued that there are different motivations and reasons as to why and how each chamber of Congress approaches its relationship with the federal judiciary. In addition, this book considers the role of the judiciary committee in the legislative process, as bills that were reported out of committee are examined. Several possible causes of this legislative activity and judicial responses are analyzed, including polarization, judicial review, unanimity on the court, the changing issue agenda of the Court, ideological institutional distance, and divided government. The results reveal that there are important differences with regard to how the chambers interact with the federal judiciary.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book deals with literary representations of the genocide of the Tutsis in Rwanda. The focus is a transnational, polyphonic writing project entitled ¿Rwanda: écrire par devoir de mémoire¿ (Rwanda: Writing by Duty of Memory), undertaken in 1998 by a group of nine African authors. This work emphasizes the Afropolitan cultural frame in which the texts were conceived and written. Instead of using Western and Eurocentric tropes, this volume looks at a so-called ¿minority traumä: an African conflict situated in a collectivist society and written about by writers from African origin. This approach enables a more situated study, in which it becomes possible to draw out the local notions of ubuntu, oral testimonies, mourning traditions, healing and storytelling strategies, and the presence of the ¿invisible¿. As these texts are written in French and to date not all of them have been translated into English, most academic research has been done in French. This book thus assists inconnecting English-speaking readers not only to a set of texts written in French with significant literary and cultural value, but also to francophone trauma studies research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Buch. Condizione: 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. Condizione: Neu. Neuware -This book analyzes the innovative international intervention instruments against corruption in Central America called Hybrid Anticorruption Agencies or HACAS. The author aims to disclose and explain the decision of the United Nations and the Organization of American States to promote, separately but with a similar rationale, a new strategic approach to fighting corruption through the creation of two HACAS. Specifically, the book examines the International Commission Against Impunity in Guatemala (CICIG) and the Mission to Support the Fight against Corruption and Impunity in Honduras (MACCIH). The CICIG and the MACCIH represent unique cases of anti-corruption hybrid commissions because they combine resources, participants and/or national and international institutions which, in a coherent and integrated manner, strengthen the investigation, prosecution, and punishment of corrupt and criminal acts. The book also studies the HACAS as international instruments not free from risks and limitations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Buch. Condizione: Neu. Neuware -This open access book follows the idea that security policy must be based on strategic analysis. Defence policy and the role of the armed forces can subsequently be determined on the grounds of said analysis. More than ever, internal and external security, and developments both in the Netherlands and abroad are interconnected. The world order is shifting, the cooperation within NATO and the EU is under pressure and the Dutch armed forces are gasping for breath. What is the task of Dutch security and the defence policy There have been growing calls in the last few years to end the devastating cuts in the defence budget and to invest more in security. The acute threats and conflicts in which the Netherlands are involved have served as a wake-up call. The shooting down of Flight MH17 over Ukraine, the streams of refugees from Syria and other countries, the conflict with Däesh in Syria and Iraq, and terrorist threats reveal how events in many of the world¿s flash-points have a direct or indirect impact on the Netherlands. Conflicts in other countries have a spill-over effect in The Netherlands. This is illustrated by tensions between population groups and the clashes over the Gülen schools after the failed putsch in Turkey on 15 July 2016 and over the constitutional referendum in that country. How do we ensure that any additional funds are not divided amongst the branches of the armed forces without any sense of strategic direction What should a future-proof security policy that plots the course of defence policy entail What strategic analyses should lie behind the political choices that are made This book answers these questions and offers a comprehensive framework addressing among other things human security, national security and flow security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Buch. Condizione: Neu. Neuware -This open access book outlines development theory and practice over time as well as critically interrogates the ¿cultural turn¿ in development policy in Latin American indigenous communities, specifically, in Guatemala, Honduras, Ecuador, and Bolivia. It becomes apparent that culturally sustainable development is both a new and old idea, which is simultaneously traditional and modern, and that it is a necessary iteration in thinking on development. This new strain of thought could inform not only the work of development practitioners, graduate students, and theorists working in the Global South, but in the Global North as well.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book offers an important addition to the growing literature on education in emergencies. In war situations or in the wake of natural disasters, children¿s education is often significantly disrupted. This book demonstrates how the authors used radio and mobile technologies to improve educational outcomes for over 20,000 displaced and out-of-school children in northeast Nigeria at the height of the Boko Haram insurgency. Interactive Radio Instruction (IRI) programs typically interact with a functional classroom teacher. However, the transactional radio instruction strategy presented provides high-quality, safe, and sensitive education in war-torn societies, where there are no schools or teachers. Summarizing the research and lessons learned from a USAID-funded Technology Enhanced Learning for All (TELA) project in Boko Haram-ravaged northeast Nigeria, the book describes in detail an education-in-emergency strategy based on a ¿whole of community¿ approach, with radio and mobile tablets at its core.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book is about the Arduino microcontroller and the Arduino concept. The visionary Arduino team of Massimo Banzi, David Cuartielles, Tom Igoe, Gianluca Martino, and David Mellis launched a new innovation in microcontroller hardware in 2005, the concept of open-source hardware. Their approach was to openly share details of microcontroller-based hardware design platforms to stimulate the sharing of ideas and promote innovation. This concept has been popular in the software world for many years. In June 2019, Joel Claypool and I met to plan the fourth edition of Arduino Microcontroller Processing for Everyone! Our goal has been to provide an accessible book on the rapidly changing world of Arduino for a wide variety of audiences including students of the fine arts, middle and senior high school students, engineering design students, and practicing scientists and engineers. To make the book more accessible to better serve our readers, we decided to change our approach andprovide a series of smaller volumes. Each volume is written to a specific audience. This book, Arduino I: Getting Started is written for those looking for a quick tutorial on the Arduino environment, platforms, interface techniques, and applications. Arduino II will explore advanced techniques, applications, and systems design. Arduino III will explore Arduino applications in the Internet of Things (IoT). Arduino I: Getting Started covers three different Arduino products: the Arduino UNO R3 equipped with the Microchip ATmega328, the Arduino Mega 2560 equipped with the Microchip ATmega2560, and the wearable Arduino LilyPad.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

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