- Table View
- List View
A New Development at the Intersection of Nuclear Structure and Reaction Theory
by Steven Karataglidis Ken Amos Paul R. Fraser Luciano CantonThis book highlights a major advance in low-energy scattering theory: the Multi-Channel Algebraic Scattering (MCAS) theory, which represents an attempt to unify structure and reaction theory. It solves the Lippmann–Schwinger equations for low-energy nucleon-nucleus and alpha-nucleus scattering in momentum space, allowing both the bound and scattering states in the compound nucleus formed to be described. Results of various cases are presented and discussed.
Mathematical Modelling of Haemodialysis: Cardiovascular Response, Body Fluid Shifts, and Solute Kinetics
by Leszek Pstras Jacek WaniewskiBeginning with an introduction to kidney function, renal replacement therapies, and an overview of clinical problems associated with haemodialysis, this book explores the principles of the short-term baroreflex regulation of the cardiovascular system and the mechanisms of water and solute transport across the human body from a mathematical model perspective. It synthesizes theoretical physiological concepts and practical aspects of mathematical modelling needed for simulation and quantitative analysis of the haemodynamic response to dialysis therapy.Including an up-to-date review of the literature concerning the modelled physiological mechanisms and processes, the book serves both as an overview of transport and regulatory mechanisms related to the cardiovascular system and body fluids and as a useful reference for the study and development of mathematical models of dynamic physiological processes.Mathematical Modelling of Haemodialysis: Cardiovascular Response, Body Fluid Shifts, and Solute Kinetics is intended for researchers and graduate students in biomedical engineering, physiology, or medicine interested in mathematical modelling of cardiovascular dynamics and fluid and solute transport across the human body, both under physiological conditions and during haemodialysis therapy.
Knowledge Management in Organizations: 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings (Communications in Computer and Information Science #1027)
by Lorna Uden I-Hsien Ting Juan Manuel CorchadoThis book contains the refereed proceedings of the 14th International Conference on Knowledge Management in Organizations, KMO 2019, held in Zamora, Spain, in July 2019. The 46 papers accepted for KMO 2018 were selected from 109 submissions and are organized in topical sections on: knowledge management models and analysis; knowledge transfer and learning; knowledge and service innovation; knowledge creation; knowledge and organization; information systems and information science; data mining and intelligent science; social networks and social aspects of KM; big data and IoT; and new trends in IT.
Applied Physics, System Science and Computers III: Proceedings of the 3rd International Conference on Applied Physics, System Science and Computers (APSAC2018), September 26-28, 2018, Dubrovnik, Croatia (Lecture Notes in Electrical Engineering #574)
by Klimis Ntalianis George Vachtsevanos Pierre Borne Anca CroitoruThis book reports on advanced theories and methods in three related fields of research: applied physics, system science and computers. The first part covers applied physics topics, such as lasers and accelerators; fluid dynamics, optics and spectroscopy, among others. It also addresses astrophysics, security, and medical and biological physics. The second part focuses on advances in computers, such as those in the area of social networks, games, internet of things, deep learning models and more. The third part is especially related to systems science, covering swarm intelligence, smart cities, complexity and more. Advances in and application of computer communication, artificial intelligence, data analysis, simulation and modeling are also addressed. The book offers a collection of contributions presented at the 3nd International Conference on Applied Physics, System Science and Computers (APSAC), held in Dubrovnik, Croatia on September 26–28, 2018. Besides presenting new methods, it is also intended to promote collaborations between different communities working on related topics at the interface between physics, computer science and engineering.
Excursions in Ill-Condensed Quantum Matter: From Amorphous Topological Insulators to Fractional Spins (Springer Theses)
by Adhip AgarwalaImpurities, disorder or amorphous systems – ill-condensed matter – are mostly considered inconveniences in the study of materials, which is otherwise heavily based on idealized perfect crystals. The Kondo effect and the scaling theory of localization are among the fundamental and early discoveries which revealed the novelty hidden in impure or disordered systems. Recent advances in condensed matter physics have emphasized the role of topology, spin-orbit coupling, and certain discrete symmetries such as time reversal in many physical phenomena. These have irreversibly transformed the essential ideas and purview of condensed matter physics, both in theoretical and experimental directions. However, many of these recent developments and their implications are limited to, or by, ideas that pertain to clean systems. This thesis deals with various aspects of these new developments, but in the case of unclean systems. The author introduces new ideas such as amorphous topological insulators, fractalized metals and fractionalized spins.
Models, Mindsets, Meta: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #11200)
by Tiziana Margaria Susanne Graf Kim G. LarsenThis Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the establishment of cross-community relationships with the effect to obtain simpler, yet more powerful solutions. He initiated many new lines of research through seminal papers that pioneered various fields, starting with the Concurrency Workbench, a model checking toolbox that significantly influenced the research and development of mode based high assurance systems worldwide. The contributions in this volume reflect the breadth and impact of his work. The introductory paper by the volume editors, the 23 full papers and two personal statements relate to Bernhard’s research and life. This volume, the talks and the entire B-Day at ISoLA 2018 are a tribute to the first 30 years of Bernhard’s passion, impact and vision for many facets of computer science in general and for formal methods in particular. Impact and vision include the many roles that formal methods-supported software development should play in education, in industry and in society.
Changing Age and Career Concepts in the Austrian Banking Industry: A Case Study of Middle-Aged Non-managerial Employees and Managers (Contributions to Management Science)
by Barbara Marina Covarrubias VenegasDemographic change is affecting societies and organizations alike. Although ageing is relevant to all, there is still a tendency for more negative stereotypes to be attributed to older individuals, while positive stereotypes are mainly associated with younger individuals. Further, there are indications of gendered ageism, showing that age prejudices are more likely to affect women. This book argues that, through holistic measures, human resources management is of fundamental importance to an age-friendly and non-age-discriminatory culture. It can be assumed that awareness-raising on age issues also takes into account the gender issue. Drawing on qualitative interviews with employees in the Austrian banking industry and using an analytical framework, the author provides suggestions and implications for organizations to address this situation.
Waveguide Propagation of Nonlinear Waves: Impact of Inhomogeneity and Accompanying Effects (Springer Series on Atomic, Optical, and Plasma Physics #109)
by Sergey LebleThis book addresses the peculiarities of nonlinear wave propagation in waveguides and explains how the stratification depends on the waveguide and confinement. An example of this is an optical fibre that does not allow light to pass through a density jump. The book also discusses propagation in the nonlinear regime, which is characterized by a specific waveform and amplitude, to demonstrate so-called solitonic behaviour. In this case, a wave may be strongly localized, and propagates with a weak change in shape. In the waveguide case there are additional contributions of dispersion originating from boundary or asymptotic conditions.Offering concrete guidance on solving application problems, this essentially (more than twice) expanded second edition includes various aspects of guided propagation of nonlinear waves as well as new topics like solitonic behaviour of one-mode and multi-mode excitation and propagation and plasma waveguides, propagation peculiarities of electromagnetic waves in metamaterials, new types of dispersion, dissipation, electromagnetic waveguides, planetary waves and plasma waves interaction.The key feature of the solitonic behaviour is based on Coupled KdV and Coupled NS systems. The systems are derived in this book and solved numerically with the proof of stability and convergence. The domain wall dynamics of ferromagnetic microwaveguides and Bloch waves in nano-waveguides are also included with some problems of magnetic momentum and charge transport.
A Game- and Decision-Theoretic Approach to Resilient Interdependent Network Analysis and Design (SpringerBriefs in Electrical and Computer Engineering)
by Juntao Chen Quanyan ZhuThis brief introduces game- and decision-theoretical techniques for the analysis and design of resilient interdependent networks. It unites game and decision theory with network science to lay a system-theoretical foundation for understanding the resiliency of interdependent and heterogeneous network systems. The authors pay particular attention to critical infrastructure systems, such as electric power, water, transportation, and communications. They discuss how infrastructure networks are becoming increasingly interconnected as the integration of Internet of Things devices, and how a single-point failure in one network can propagate to other infrastructures, creating an enormous social and economic impact. The specific topics in the book include: · static and dynamic meta-network resilience game analysis and design; · optimal control of interdependent epidemics spreading over complex networks; and · applications to secure and resilient design of critical infrastructures. These topics are supported by up-to-date summaries of the authors’ recent research findings. The authors then discuss the future challenges and directions in the analysis and design of interdependent networks and explain the role of multi-disciplinary research has in computer science, engineering, public policy, and social sciences fields of study. The brief introduces new application areas in mathematics, economics, and system and control theory, and will be of interest to researchers and practitioners looking for new approaches to assess and mitigate risks in their systems and enhance their network resilience. A Game- and Decision-Theoretic Approach to Resilient Interdependent Network Analysis and Design also has self-contained chapters, which allows for multiple levels of reading by anyone with an interest in game and decision theory and network science.
Data Analytics and Management in Data Intensive Domains: 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers (Communications in Computer and Information Science #1003)
by Yannis Manolopoulos Sergey StupnikovThis book constitutes the refereed proceedings of the 20th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2018, held in Moscow, Russia, in October 2018.The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 54 submissions. The papers are organized in the following topical sections: FAIR data infrastructures, interoperability and reuse; knowledge representation; data models; data analysis in astronomy; text search and processing; distributed computing; information extraction from text.
Model Selection and Error Estimation in a Nutshell (Modeling and Optimization in Science and Technologies #15)
by Luca OnetoHow can we select the best performing data-driven model? How can we rigorously estimate its generalization error? Statistical learning theory answers these questions by deriving non-asymptotic bounds on the generalization error of a model or, in other words, by upper bounding the true error of the learned model based just on quantities computed on the available data. However, for a long time, Statistical learning theory has been considered only an abstract theoretical framework, useful for inspiring new learning approaches, but with limited applicability to practical problems. The purpose of this book is to give an intelligible overview of the problems of model selection and error estimation, by focusing on the ideas behind the different statistical learning theory approaches and simplifying most of the technical aspects with the purpose of making them more accessible and usable in practice. The book starts by presenting the seminal works of the 80’s and includes the most recent results. It discusses open problems and outlines future directions for research.
Modeling, Stochastic Control, Optimization, and Applications (The IMA Volumes in Mathematics and its Applications #164)
This volume collects papers, based on invited talks given at the IMA workshop in Modeling, Stochastic Control, Optimization, and Related Applications, held at the Institute for Mathematics and Its Applications, University of Minnesota, during May and June, 2018. There were four week-long workshops during the conference. They are (1) stochastic control, computation methods, and applications, (2) queueing theory and networked systems, (3) ecological and biological applications, and (4) finance and economics applications. For broader impacts, researchers from different fields covering both theoretically oriented and application intensive areas were invited to participate in the conference. It brought together researchers from multi-disciplinary communities in applied mathematics, applied probability, engineering, biology, ecology, and networked science, to review, and substantially update most recent progress. As an archive, this volume presents some of the highlights of the workshops, and collect papers covering a broad range of topics.
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11562)
by Isil Dillig Serdar TasiranThe open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
Mathematische Werke: Erster Band Funktionentheorie
by Adolf Hurwitz George Pólya NA Eidgenössische Technische HochschuleDieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
Neue Grundsätze der Artillerie: Aus dem Englischen des Herrn Benjamin Robins Übersetzt und mit Vielen Anmerkungen Versehen (Leonhard Euler, Opera Omnia #2 / 14)
by Leonhard EulerDieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
Modern Developments in Multivariate Approximation: 5th International Conference, Witten-Bommerholz (Germany), September 2002 (International Series of Numerical Mathematics #145)
This volume contains a selection of eighteen peer-reviewed articles that were presented at the 5th International Conference on Multivariate Approximation, held in Witten-Bommerholz in September 2002. The contributions cover recent developments of constructive approximation on manifolds, approximation by splines and kernels, subdivision techniques and wavelet methods. The main topics are:- applications of multivariate approximation in finance- approximation and stable reconstruction of images, data reduction- multivariate splines for Lagrange interpolation and quasi-interpolation- radial basis functions- spherical point sets- refinable function vectors and non-stationary subdivision- applications of adaptive wavelet methods- blending functions and cubature formulae- singularities of harmonic functionsThe book provides an overview of state-of-the-art developments in a highly relevant field of applied mathematics, with many links to computer science and geophysics.
Dynamical Systems of Algebraic Origin (Progress in Mathematics #128)
by Klaus SchmidtAlthough the study of dynamical systems is mainly concerned with single trans formations and one-parameter flows (i. e. with actions of Z, N, JR, or JR+), er godic theory inherits from statistical mechanics not only its name, but also an obligation to analyze spatially extended systems with multi-dimensional sym metry groups. However, the wealth of concrete and natural examples, which has contributed so much to the appeal and development of classical dynamics, is noticeably absent in this more general theory. A remarkable exception is provided by a class of geometric actions of (discrete subgroups of) semi-simple Lie groups, which have led to the discovery of one of the most striking new phenomena in multi-dimensional ergodic theory: under suitable circumstances orbit equivalence of such actions implies not only measurable conjugacy, but the conjugating map itself has to be extremely well behaved. Some of these rigidity properties are inherited by certain abelian subgroups of these groups, but the very special nature of the actions involved does not allow any general conjectures about actions of multi-dimensional abelian groups. Beyond commuting group rotations, commuting toral automorphisms and certain other algebraic examples (cf. [39]) it is quite difficult to find non-trivial smooth Zd-actions on finite-dimensional manifolds. In addition to scarcity, these examples give rise to actions with zero entropy, since smooth Zd-actions with positive entropy cannot exist on finite-dimensional, connected manifolds. Cellular automata (i. e.
Kurt Gödel: Unpublished Philosophical Essays
by Francisco A. Rodriguez-ConsuegraKurt Gödel, together with Bertrand Russell, is the most important name in logic, and in the foundations and philosophy of mathematics of this century. However, unlike Russel, Gödel the mathematician published very little apart from his well-known writings in logic, metamathematics and set theory. Fortunately, Gödel the philosopher, who devoted more years of his life to philosophy than to technical investigation, wrote hundreds of pages on the philosophy of mathematics, as well as on other fields of philosophy. It was only possible to learn more about his philosophical works after the opening of his literary estate at Princeton a decade ago. The goal of this book is to make available to the scholarly public solid reconstructions and editions of two of the most important essays which Gödel wrote on the philosophy of mathematics. The book is divided into two parts. The first provides the reader with an incisive historico-philosophical introduction to Gödel's technical results and philosophical ideas. Written by the Editor, this introductory apparatus is not only devoted to the manuscripts themselves but also to the philosophical context in which they were written. The second contains two of Gödel's most important and fascinating unpublished essays: 1) the Gibbs Lecture ("Some basic theorems on the foundations of mathematics and their philosophical implications", 1951); and 2) two of the six versions of the essay which Gödel wrote for the Carnap volume of the Schilpp series The Library of Living Philosophers ("Is mathematics syntax of language?", 1953-1959).
Geometric and Harmonic Analysis on Homogeneous Spaces and Applications: TJC 2015, Monastir, Tunisia, December 18-23 (Springer Proceedings in Mathematics & Statistics #207)
by Ali Baklouti Takaaki NomuraThis book provides the latest competing research results on non-commutative harmonic analysis on homogeneous spaces with many applications. It also includes the most recent developments on other areas of mathematics including algebra and geometry.Lie group representation theory and harmonic analysis on Lie groups and on their homogeneous spaces form a significant and important area of mathematical research. These areas are interrelated with various other mathematical fields such as number theory, algebraic geometry, differential geometry, operator algebra, partial differential equations and mathematical physics. Keeping up with the fast development of this exciting area of research, Ali Baklouti (University of Sfax) and Takaaki Nomura (Kyushu University) launched a series of seminars on the topic, the first of which took place on November 2009 in Kerkennah Islands, the second in Sousse on December 2011, and the third in Hammamet on December 2013. The last seminar, which took place December 18th to 23rd 2015 in Monastir, Tunisia, has promoted further research in all the fields where the main focus was in the area of Analysis, algebra and geometry and on topics of joint collaboration of many teams in several corners. Many experts from both countries have been involved.
Quality of Life in Urban Landscapes: In Search of a Decision Support System (The Urban Book Series)
by Roberta Cocci Grifoni Rosalba D'Onofrio Massimo SargoliniThis volume introduces an innovative tool for the development of sustainable cities and the promotion of the quality of life of city inhabitants. It presents a decision-support system to orient public administrations in identifying development scenarios for sustainable urban and territorial transformations. The authors have split the volume into five parts, which respectively describe the theoretical basis of the book, the policies in question and indicators that influence them, the decision-support system that connects indicators to policies, the case study of Ancona, Italy, and potential future directions for this work. This volume is based on transdisciplinary research completed in May 2016 that involved about 40 researchers at The University of Camerino, Italy and other European universities. With purchase of this book, readers will also have access to Electronic Supplementary Material that contains a database with groups of indicators of assessment of urban quality of life and a toolkit containing the data processing system and management information system used in the book’s case study.
Pharmaceutical Statistics: MBSW 39, Muncie, Indiana, USA, May 16-18, 2016 (Springer Proceedings in Mathematics & Statistics #218)
by Ray Liu Yi TsongThis book presents the proceedings of the 39th annual Midwest Biopharmaceutical Statistics Workshop (MBSW), held in Muncie, Indiana on May 16–18, 2016. It consists of selected peer- reviewed and revised papers on topics ranging from statistical applications in drug discovery and CMC to biomarkers, clinical trials, and statistical programming. All contributions feature original research, and together they cover the full spectrum of pharmaceutical R&D – with a special focus on emergent topics such as biosimilarity, bioequivalence, clinical trial design, and subgroup identification.Founded in 1978, the MBSW has provided a forum for statisticians to share knowledge, research, and applications on key statistical topics in pharmaceutical R&D for almost forty years, with the 2016 conference theme being “The Power and 3 I’s of Statistics: Innovation, Impact and Integrity.” The papers gathered here will be of interest to all researchers whose work involves the quantitative aspects of pharmaceutical research and development, including pharmaceutical statisticians who want to keep up-to-date with the latest trends, as well as academic statistics researchers looking for areas of application.
Logics for Computer Science: Classical And Non-classical
by Anita WasilewskaProviding an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework. While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting the material and use a specialized language. Logics for Computer Science discusses Gentzen as well as Hilbert formalizations, first order theories, the Hilbert Program, Godel's first and second incompleteness theorems and their proofs. It also introduces and discusses some many valued logics, modal logics and introduces algebraic models for classical, intuitionistic, and modal S4 and S5 logics.The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. In addition to Computer Science, this book may also find an audience in mathematics and philosophy courses, and some of the chapters are also useful for a course in Artificial Intelligence.
Methods in Experimental Economics: An Introduction (Springer Texts in Business and Economics)
by Joachim Weimann Jeannette Brosig-KochThis textbook provides a hands-on and intuitive overview of the methodological foundations of experimental economics. Experimental economic research has been an integral part of economic science for quite some time and is gaining more and more attention in related disciplines. The book addresses the design and execution of experiments, the evaluation of experimental data and the equipment of an experimental laboratory. It illustrates the challenges involved in designing and conducting experiments and helps the reader to address them in practice.
Advanced Statistics for the Behavioral Sciences: A Computational Approach with R
by Jonathon D. BrownThis book demonstrates the importance of computer-generated statistical analyses in behavioral science research, particularly those using the R software environment. Statistical methods are being increasingly developed and refined by computer scientists, with expertise in writing efficient and elegant computer code. Unfortunately, many researchers lack this programming background, leaving them to accept on faith the black-box output that emerges from the sophisticated statistical models they frequently use. Building on the author’s previous volume, Linear Models in Matrix Form, this text bridges the gap between computer science and research application, providing easy-to-follow computer code for many statistical analyses using the R software environment. The text opens with a foundational section on linear algebra, then covers a variety of advanced topics, including robust regression, model selection based on bias and efficiency, nonlinear models and optimization routines, generalized linear models, and survival and time-series analysis. Each section concludes with a presentation of the computer code used to illuminate the analysis, as well as pointers to packages in R that can be used for similar analyses and nonstandard cases. The accessible code and breadth of topics make this book an ideal tool for graduate students or researchers in the behavioral sciences who are interested in performing advanced statistical analyses without having a sophisticated background in computer science and mathematics.
Nine Chapters on Mathematical Modernity: Essays on the Global Historical Entanglements of the Science of Numbers in China (Transcultural Research – Heidelberg Studies on Asia and Europe in a Global Context)
by Andrea BréardThe book addresses for the first time the dynamics associated with the modernization of mathematics in China from the nineteenth to the mid-twentieth century from a transcultural global historical perspective. Rather than depict the transformations of mathematical knowledge in terms of a process of westernization, the book analyzes the complex interactions between different scientific communities and the ways in which the past, modernity, language, and mathematics were negotiated in a global context. In each chapter, Andrea Bréard provides vivid portraits of a series of go-betweens (such as translators, educators, or state statisticians) based on a vast array of translated primary sources hitherto unavailable to a non-Chinese readership. They not only illustrate how Chinese scholars mediated between new mathematical objects and discursive modes, but also how they instrumentalized their autochthonous scientific roots in specific political and intellectual contexts. While sometimes technical in style, the book addresses all readers who are interested in the global and cultural history of science and the complexities involved in the making of universal mathematics. “While the pursuit of modernity is in the title, entanglement is of as much interest. Using the famous ‘Nine Chapters’ as a framework, Bréard considers a wide range of that entanglement from divination to data management. Bréard’s analysis and thought-provoking insights show once again how much we can learn when two cultures intersect. A fascinating read!” (John Day, Boston University).