springer palgrave macmillan jul 2020 (70 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This English translation of Daniel Coray¿s original French textbook Notes de géométrie et d¿arithmétique introduces students to Diophantine geometry. It engages the reader with concrete and interesting problems using the language of classical geometry, setting aside all but the most essential ideas from algebraic geometry and commutative algebra. Readers are invited to discover rational points on varieties through an appealing ¿hands on¿ approach that offers a pathway toward active research in arithmetic geometry. Along the way, the reader encounters the state of the art on solving certain classes of polynomial equations with beautiful geometric realizations, and travels a unique ascent towards variations on the Hasse Principle.Highlighting the importance of Diophantus of Alexandria as a precursor to the study of arithmetic over the rational numbers, this textbook introduces basic notions with an emphasis on Hilbert¿s Nullstellensatz over an arbitrary field. A digression on Euclidian rings is followed by a thorough study of the arithmetic theory of cubic surfaces. Subsequent chapters are devoted to p-adic fields, the Hasse principle, and the subtle notion of Diophantine dimension of fields. All chapters contain exercises, with hints or complete solutions.Notes on Geometry and Arithmetic will appeal to a wide readership, ranging from graduate students through to researchers. Assuming only a basic background in abstract algebra and number theory, the text uses Diophantine questions to motivate readers seeking an accessible pathway into arithmetic geometry.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 196 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 24th Conference on Medical Image Understanding and Analysis, MIUA 2020, held in July 2020. Due to COVID-19 pandemic the conference was held virtually.The 29 full papers and 5 short papers presented were carefully reviewed and selected from 70 submissions. They were organized according to following topical sections: ¿image segmentation; image registration, reconstruction and enhancement; radiomics, predictive models, and quantitative imaging biomarkers; ocular imaging analysis; biomedical simulation and modelling.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 464 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Data Communication Networking.- e-Business.- Security and Cryptography.- Signal Processing and Multimedia Applications.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 296 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed post-conference proceedings on Learning and Intelligent Optimization, LION 14, held in Athens, Greece, in May 2020.The 37 full papers presented together with one invited paper have been carefully reviewed and selected from 75 submissions. LION deals with designing and engineering ways of 'learning' about the performance of different techniques, and ways of using past experience about the algorithm behavior to improve performance in the future. Intelligent learning schemes for mining the knowledge obtained online or offline can improve the algorithm design process and simplify the applications of high-performance optimization methods. Combinations of different algorithms can further improve the robustness and performance of the individual components.Due to the COVID-19 pandemic, LION 14 was not held as a physical meeting.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 444 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Facets of Fairness in Search and Recommendation.- Mitigating Gender Bias in Machine Learning Data Sets.- Why Do We Need To Be Bots What Prevents Society From Detecting Biases in Recommendation Systems.- Effect of Debiasing on Information Retrieval.- Matchmaking Under Fairness Constraints: a Speed Dating Case Study.- Recommendation Filtering à la Carte for Intelligent Tutoring Systems.- Bias Goggles - Exploring the bias of Web Domains through the Eyes of the Users.- Data Pipelines for Personalized Exploration of Rated Datasets.- Beyond Accuracy in Link Prediction.- A Novel Similarity Measure for Group Recommender Systems with Optimal Time Complexity.- What Kind of Content are you Prone to Tweet Multi-topic Preference Model for Tweeters.- Venue Suggestion Using Social-Centric Scores.- The Impact of Foursquare Checkins on Users' Emotions on Twitter.- Improving News Personalization through Search Logs.- Analyzing the Interaction of Users with News Articles to Create Personalization Services.- Using String-Comparison measures to Improve and Evaluate Collaborative Filtering Recommender Systems.- Enriching Product Catalogs with User Opinions.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 10th International Symposium on Business Modeling and Software Design, BMSD 2020, which took place in Berlin, Germany, in July 2020.BMSD is a leading international forum that brings together researchers and practitioners interested in business modeling and its relation to software design. Particular areas of interest are: Business Processes and Enterprise Engineering; Business Models and Requirements; Business Models and Services; Business Models and Software; Information Systems Architectures and Paradigms; Data Aspects in Business Modeling and Software Development; Blockchain-Based Business Models and Information Systems; IoT and Implications for Enterprise Information Systems.The theme of BMSD 2020 was: Towards Knowledge-Driven Enterprise Information Systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 420 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 11th International Development Informatics Association Conference, IDIA 2020, held in Macau, China, in March 2020.\* The 14 revised full papers presented were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on ICT4D: taking stock; harnessing frontier technologies for sustainable development; ICT4D discourse, methodologies, and theoretical reflections; the evolving Global Souths. \*The conference was held virtually due to the COVID-19 pandemic.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 232 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the post-conference proceedings of the 21st International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2019, held in Kazan, Russia, in October 2019.The 11 revised full papers presented together with four invited papers were carefully reviewed and selected from 52 submissions. The papers are organized in the following topical sections: advanced data analysis methods; data infrastructures and integrated information systems; models, ontologies and applications; data analysis in astronomy; information extraction from text; distributed computing; data science for education.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 264 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This open access volume makes an important contribution to the ongoing research on hope theory by combining insights from both its long history and its increasing multi-disciplinarity. In the first part, it recognizes the importance of the centuries-old reflection on hope by offering historical perspectives and tracing it back to ancient Greek philosophy. At the same time, it provides novel perspectives on often-overlooked historical theories and developments and challenges established views. The second part of the volume documents the state of the art of current research in hope across eight disciplines, which are philosophy, theology, psychology, economy, sociology, health studies, ecology, and development studies. Taken together, this volume provides an integrated view on hope as a multi-faced phenomenon. It contributes to the further understanding of hope as an essential human capacity, with the possibility of transforming our human societies.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This Brief provides a comprehensive introduction to current research on armed groups and proposes a unitary political theory for their future analysis. Traditionally, theoretical and historical approaches to armed groups have focused on different categories of armed groups¿insurgents, radical groups, militias, governmental forces¿instead of treating them as unitary actors in international politics. This Brief departs from this traditional theoretical treatment, arguing that armed groups are fundamental units of politics, outside of class, gender, and the state, and should be analyzed as such.The book begins with a discussion of current classifications and definitions of armed groups as well as methodological approaches towards studying them. Chapter Two discusses armed groups from a historical and anthropological perspective. Chapter Three presents a critical analysis and interpretation of existing political perspectives on armed groups. The book concludes by introducing thenew theory. Challenging traditional methods of political theory and analysis while providing a solid introduction to the field, this Brief will be of use to researchers and scholars in political theory, international relations, political science, and anthropology, as well as to professionals in fields such as policing, counter-terrorism, and internal affairs.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 64 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 23rd International Conference on Business Information Systems, BIS 2020, which was planned to take place in Colorado Springs, CO, USA. Due to the COVID-19 pandemic, the conference was held fully online during June 8-10, 2020. This year's theme was 'Data Science and Security in Business Information Systems'.The 30 contributions presented in this volume were carefully reviewed and selected from 86 submissions. The book also contains two contributions from BIS 2019. The papers were organized in the following topical sections: Data Security, Big Data and Data Science, Artificial Intelligence, ICT Project Management, Applications, Social Media, Smart Infrastructures.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 464 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume highlights the mathematical research presented at the 2019 Association for Women in Mathematics (AWM) Research Symposium held at Rice University, April 6-7, 2019. The symposium showcased research from women across the mathematical sciences working in academia, government, and industry, as well as featured women across the career spectrum: undergraduates, graduate students, postdocs, and professionals.The book is divided into eight parts, opening with a plenary talk and followed by a combination of research paper contributions and survey papers in the different areas of mathematics represented at the symposium:algebraic combinatorics and graph theoryalgebraic biologycommutative algebraanalysis, probability, and PDEstopologyapplied mathematicsmathematics educationSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 384 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Revealing Creativity: Exploration in Transnational Education Cultures explores the recovery and fostering of creativity under educational constraint. This longitudinal global study of diverse education populations in China, Canada, and Australia offers application of the 4-C Creativity Model through experiential activities and exploratory interviews within classrooms and other learning spaces. Transnational in scope, this book describes an original innovative method, process, and tool for addressing obstacles to creativity in educational environments and within the self that constitute a significant challenge to practice. Through an immersive encounter with a validated creativity model, diverse cultural groups were guided to interpret the 4-C classification system and uncover their latent potential as creators. For their own purposes, readers can adapt the dynamic model-as-method process for releasing and revealing creativity within accountability-bound competitive cultures.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book introduces all the technical features that make up blockchain technology today. It starts with a thorough explanation of all technological concepts necessary to understand any discussions related to distributed ledgers and a short history of earlier implementations. It then discusses in detail how the Bitcoin network looks and what changes are coming in the near future, together with a range of altcoins that were created on the same base code. To get an even better idea, the book shortly explores how Bitcoin might be forked before going into detail on the Ethereum network and cryptocurrencies running on top of the network, smart contracts, and more. The book introduces the Hyperledger foundation and the tools offered to create private blockchain solutions. For those willing, it investigates directed acyclic graphs (DAGs) and several of its implementations, which could solve several of the problems other blockchain networks are still dealing with to this day. In Chapter 4, readers can find an overview of blockchain networks that can be used to build solutions of their own and the tools that can help them in the process.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The intelligent vehicle will play a crucial and essential role in the development of the future intelligent transportation system, which is developing toward the connected driving environment, ultimate driving safety, and comforts, as well as green efficiency. While the decision making, planning, and control are extremely vital components of the intelligent vehicle, these modules act as a bridge, connecting the subsystem of the environmental perception and the bottom-level control execution of the vehicle as well. This short book covers various strategies of designing the decision making, trajectory planning, and tracking control, as well as share driving, of the human-automation to adapt to different levels of the automated driving system.More specifically, we introduce an end-to-end decision-making module based on the deep Q-learning, and improved path-planning methods based on artificial potentials and elastic bands which are designed for obstacle avoidance. Then, the optimal method based on the convex optimization and the natural cubic spline is presented.As for the speed planning, planning methods based on the multi-object optimization and high-order polynomials, and a method with convex optimization and natural cubic splines, are proposed for the non-vehicle-following scenario (e.g., free driving, lane change, obstacle avoidance), while the planning method based on vehicle-following kinematics and the model predictive control (MPC) is adopted for the car-following scenario. We introduce two robust tracking methods for the trajectory following. The first one, based on nonlinear vehicle longitudinal or path-preview dynamic systems, utilizes the adaptive sliding mode control (SMC) law which can compensate for uncertainties to follow the speed or path profiles. The second one is based on the five-degrees-of-freedom nonlinear vehicle dynamical system that utilizes the linearized time-varying MPC to track the speed and path profile simultaneously.Toward human-automation cooperative driving systems, we introduce two control strategies to address the control authority and conflict management problems between the human driver and the automated driving systems. Driving safety field and game theory are utilized to propose a game-based strategy, which is used to deal with path conflicts during obstacle avoidance. Driver's driving intention, situation assessment, and performance index are employed for the development of the fuzzy-based strategy.Multiple case studies and demos are included in each chapter to show the effectiveness of the proposed approach. We sincerely hope the contents of this short book provide certain theoretical guidance and technical supports for the development of intelligent vehicle technology.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 140 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Kurt Gödel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules. Gödel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren't. The result is known as Gödel's first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question 'Can mathematics be proved consistent 'Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 276 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -One of the most important subjects for all engineers and scientists is probability and statistics. This book presents the basics of the essential topics in probability and statistics from a rigorous standpoint. The basics of probability underlying all statistics is presented first and then we cover the essential topics in statistics, confidence intervals, hypothesis testing, and linear regression. This book is suitable for any engineer or scientist who is comfortable with calculus and is meant to be covered in a one-semester format.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 252 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This 3rd edition provides an insight into the mathematical crossroads formed by functional analysis (the macroscopic approach), partial differential equations (the mesoscopic approach) and probability (the microscopic approach) via the mathematics needed for the hard parts of Markov processes. It brings these three fields of analysis together, providing a comprehensive study of Markov processes from a broad perspective. The material is carefully and effectively explained, resulting in a surprisingly readable account of the subject.The main focus is on a powerful method for future research in elliptic boundary value problems and Markov processes via semigroups, the Boutet de Monvel calculus. A broad spectrum of readers will easily appreciate the stochastic intuition that this edition conveys. In fact, the book will provide a solid foundation for both researchers and graduate students in pure and applied mathematics interested in functional analysis, partial differential equations, Markov processes and the theory of pseudo-differential operators, a modern version of the classical potential theory.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 520 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book provides statistical methodologies for time series data, focusing on copula-based Markov chain models for serially correlated time series. It also includes data examples from economics, engineering, finance, sport and other disciplines to illustrate the methods presented. An accessible textbook for students in the fields of economics, management, mathematics, statistics, and related fields wanting to gain insights into the statistical analysis of time series data using copulas, the book also features stand-alone chapters to appeal to researchers.As the subtitle suggests, the book highlights parametric models based on normal distribution, t-distribution, normal mixture distribution, Poisson distribution, and others. Presenting likelihood-based methods as the main statistical tools for fitting the models, the book details the development of computing techniques to find the maximum likelihood estimator. It also addresses statistical process control, as well as Bayesian and regression methods. Lastly, to help readers analyze their data, it provides computer codes (R codes) for most of the statistical methods.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 148 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book explores topics in Gallai-Ramsey theory, which looks into whether rainbow colored subgraphs or monochromatic subgraphs exist in a sufficiently large edge-colored complete graphs. A comprehensive survey of all known results with complete references is provided for common proof methods. Fundamental definitions and preliminary results with illustrations guide readers to comprehend recent innovations. Complete proofs and influential results are discussed with numerous open problems and conjectures. Researchers and students with an interest in edge-coloring, Ramsey Theory, and colored subgraphs will find this book a valuable guide for entering Gallai-Ramsey Theory.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 112 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume of the series Springer Briefs in Space Life Sciences explains the physics and biology of radiation in space, defines various forms of cosmic radiation and their dosimetry, and presents a range of exposure scenarios. It also discusses the effects of radiation on human health and describes the molecular mechanisms of heavy charged particles¿ deleterious effects in the body. Lastly, it discusses countermeasures and addresses the vital question: Are we ready for launch Written for researchers in the space life sciences and space biomedicine, and for master¿s students in biology, physics, and medicine, the book will also benefit all non-experts endeavouring to understand and enter space.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 136 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This textbook provides an introduction to representations of general ¿-algebras by unbounded operators on Hilbert space, a topic that naturally arises in quantum mechanics but has so far only been properly treated in advanced monographs aimed at researchers.The book covers both the general theory of unbounded representation theory on Hilbert space as well as representations of important special classes of ¿-algebra, such as the Weyl algebra and enveloping algebras associated to unitary representations of Lie groups. A broad scope of topics are treated in book form for the first time, including group graded ¿-algebras, the transition probability of states, Archimedean quadratic modules, noncommutative Positivstellensätze, induced representations, well-behaved representations and representations on rigged modules.Making advanced material accessible to graduate students, this book will appeal to students and researchers interested in advanced functional analysis and mathematical physics, and with many exercises it can be used for courses on the representation theory of Lie groups and its application to quantum physics. A rich selection of material and bibliographic notes also make it a valuable reference.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 400 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Continuing the theme of the previous volumes, these seminar notes reflect general trends in the study of Geometric Aspects of Functional Analysis, understood in a broad sense. Two classical topics represented are the Concentration of Measure Phenomenon in the Local Theory of Banach Spaces, which has recently had triumphs in Random Matrix Theory, and the Central Limit Theorem, one of the earliest examples of regularity and order in high dimensions. Central to the text is the study of the Poincaré and log-Sobolev functional inequalities, their reverses, and other inequalities, in which a crucial role is often played by convexity assumptions such as Log-Concavity. The concept and properties of Entropy form an important subject, with Bourgain's slicing problem and its variants drawing much attention. Constructions related to Convexity Theory are proposed and revisited, as well as inequalities that go beyond the Brunn¿Minkowski theory. One of the major current research directions addressedis the identification of lower-dimensional structures with remarkable properties in rather arbitrary high-dimensional objects. In addition to functional analytic results, connections to Computer Science and to Differential Geometry are also discussed.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 364 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Galois theory has such close analogies with the theory of coverings that algebraists use a geometric language to speak of field extensions, while topologists speak of 'Galois coverings'. This book endeavors to develop these theories in a parallel way, starting with that of coverings, which better allows the reader to make images. The authors chose a plan that emphasizes this parallelism. The intention is to allow to transfer to the algebraic framework of Galois theory the geometric intuition that one can have in the context of coverings.This book is aimed at graduate students and mathematicians curious about a non-exclusively algebraic view of Galois theory.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 488 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book offers an introduction to the research in several recently discovered and actively developing mathematical and mathematical physics areas. It focuses on: 1) Feynman integrals and modular functions, 2) hyperbolic and Lorentzian Kac-Moody algebras, related automorphic forms and applications to quantum gravity, 3) superconformal indices and elliptic hypergeometric integrals, related instanton partition functions, 4) moonshine, its arithmetic aspects, Jacobi forms, elliptic genus, and string theory, and 5) theory and applications of the elliptic Painleve equation, and aspects of Painleve equations in quantum field theories. All the topics covered are related to various partition functions emerging in different supersymmetric and ordinary quantum field theories in curved space-times of different (d=2,3,.,6) dimensions. Presenting multidisciplinary methods (localization, Borcherds products, theory of special functions, Cremona maps, etc) for treating a range of partition functions, the book is intended for graduate students and young postdocs interested in the interaction between quantum field theory and mathematics related to automorphic forms, representation theory, number theory and geometry, and mirror symmetry.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 432 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book offers a variety of outlooks and perspectives on the constitutive values and formative norms of a society, reflected by discourses on ethical-political education. It also discusses conceptual and critical philosophical works combined with empirical studies.The book is divided into three parts: the first part describes contemporary youth's tangible experience of and reflections on ethical-political issues, while the second part explores the potential powers and pitfalls of educational philosophies, old and new. The third part highlights cutting edge issues within the humanities and social sciences, and examines the prospects of a fruitful rethinking of ethical-political education in response to today's pressing issues.By addressing current dilemmas with diligence and insight, the authors offer solid arguments for new theoretical and practical directions to promote philosophical clarification and advance research. Intended for students, teachers and researchers, the book provides fresh perspectives on the many facets of ethical-political education, and as such is a valuable contribution to educational research and debate.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book surveys the state-of-the-art in efficiency and productivity analysis, examining advances in the analytical foundations and empirical applications. The analytical techniques developed in this book for efficiency provide alternative ways of defining optimum outcome sets, typically as a (technical) production frontier or as an (economic) cost, revenue or profit frontier, and alternative ways of measuring efficiency relative to an appropriate frontier. Simultaneously, the analytical techniques developed for efficiency analysis extend directly to productivity analysis, thereby providing alternative methods for estimating productivity levels, and productivity change through time or productivity variation across producers.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 276 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal languages of these logics are extended with probabilistic operators. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability.The book will be of value to researchers in logic and it can be used as a supplementary text in graduate courses on non-classical logics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 252 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Superfluid helium is a quantum liquid that exhibits a range of counter-intuitive phenomena such as frictionless flow. Quantized vortices are a particularly important feature of superfluid helium, and all superfluids, characterized by a circulation that can only take prescribed integer values. However, the strong interactions between atoms in superfluid helium prohibit quantitative theory of vortex behaviour. Experiments have similarly not been able to observe coherent vortex dynamics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 172 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Based on 3D smoothed particle hydrodynamics simulations performed with unprecedented high resolution, this book examines the giant impacts that dominate many planets' late accretion and evolution. The numerical methods developed are now publicly available, greatly facilitating future studies of planetary impacts in our solar system and exoplanetary systems.The book focuses on four main topics: (1) The development of new methods to construct initial conditions as well as a hydrodynamical simulation code to evolve them, using 1000 times more simulation particles than the previous standard. (2) The numerical convergence of giant impact simulations -- standard-resolution simulations fail to converge on even bulk properties like the post-impact rotation period. (3) The collision thought to have knocked over the planet Uranus causing it to spin on its side. (4) The erosion of atmospheres by giant impacts onto terrestrial planets, and the first full 3D simulations ofcollisions in this regime.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 152 pp. Englisch.