- Table View
- List View
Proof Theory and Algebra in Logic (Short Textbooks in Logic)
by Hiroakira OnoThis book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results using the former and the general, abstract ones using the latter. Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic semantics, the book also provides an introduction to nonclassical logic for undergraduate or graduate level courses.The book is divided into two parts: Proof Theory in Part I and Algebra in Logic in Part II. Part I presents sequent systems and discusses cut elimination and its applications in detail. It also provides simplified proof of cut elimination, making the topic more accessible. The last chapter of Part I is devoted to clarification of the classes of logics that are discussed in the second part. Part II focuses on algebraic semantics for these logics. At the same time, it is a gentle introduction to the basics of algebraic logic and universal algebra with many examples of their applications in logic. Part II can be read independently of Part I, with only minimum knowledge required, and as such is suitable as a textbook for short introductory courses on algebra in logic.
Euclidean Design Theory (SpringerBriefs in Statistics)
by Masanori Sawa Masatake Hirao Sanpei KageyamaThis book is the modern first treatment of experimental designs, providing a comprehensive introduction to the interrelationship between the theory of optimal designs and the theory of cubature formulas in numerical analysis. It also offers original new ideas for constructing optimal designs. The book opens with some basics on reproducing kernels, and builds up to more advanced topics, including bounds for the number of cubature formula points, equivalence theorems for statistical optimalities, and the Sobolev Theorem for the cubature formula. It concludes with a functional analytic generalization of the above classical results. Although it is intended for readers who are interested in recent advances in the construction theory of optimal experimental designs, the book is also useful for researchers seeking rich interactions between optimal experimental designs and various mathematical subjects such as spherical designs in combinatorics and cubature formulas in numerical analysis, both closely related to embeddings of classical finite-dimensional Banach spaces in functional analysis and Hilbert identities in elementary number theory. Moreover, it provides a novel communication platform for “design theorists” in a wide variety of research fields.
Energy Transfer and Dissipation in Plasma Turbulence: From Compressible MHD to Collisionless Plasma (Springer Theses)
by Yan YangThis book revisits the long-standing puzzle of cross-scale energy transfer and dissipation in plasma turbulence and introduces new perspectives based on both magnetohydrodynamic (MHD) and Vlasov models. The classical energy cascade scenario is key in explaining the heating of corona and solar wind. By employing a high-resolution hybrid (compact finite difference & WENO) scheme, the book studies the features of compressible MHD cascade in detail, for example, in order to approximate a real plasma cascade as “Kolmogorov-like” and to understand features that go beyond the usual simplified theories based on incompressible models. When approaching kinetic scales where plasma effects must be considered, it uses an elementary analysis of the Vlasov–Maxwell equations to help identify the channels through which energy transfer must be dissipated. In addition, it shows that the pressure–strain interaction is of great significance in producing internal energy. This analysis, in contrast to many other recent studies, does not make assumptions about wave-modes, instability or other specific mechanisms responsible for the dynamics – the results are direct consequences of the Vlasov–Maxwell system of equations. This is an important step toward understanding dissipation in turbulent collisionless plasma in space and astrophysics.
Improving Image Quality in Visual Cryptography (Signals and Communication Technology)
by Bin Yan Yong Xiang Guang HuaThis book comprehensively covers the important efforts in improving the quality of images in visual cryptography (VC), with a focus on cases with gray scale images. It not only covers schemes in traditional VC and extended VC for binary secret images, but also the latest development in the analysis-by-synthesis approach. This book distinguishes itself from the existing literature in three ways. First, it not only reviews traditional VC for binary secret images, but also covers recent efforts in improving visual quality for gray scale secret images. Second, not only traditional quality measures are reviewed, but also measures that were not used for measuring perceptual quality of decrypted secret images, such as Radially Averaged Power Spectrum Density (RAPSD) and residual variance, are employed for evaluating and guiding the design of VC algorithms. Third, unlike most VC books following a mathematical formal style, this book tries to make a balance between engineering intuition and mathematical reasoning. All the targeted problems and corresponding solutions are fully motivated by practical applications and evaluated by experimental tests, while important security issues are presented as mathematical proof. Furthermore, important algorithms are summarized as pseudocodes, thus enabling the readers to reproduce the results in the book. Therefore, this book serves as a tutorial for readers with an engineering background as well as for experts in related areas to understand the basics and research frontiers in visual cryptography.
Network Theory and Agent-Based Modeling in Economics and Finance
by Anindya S. Chakrabarti Lukáš Pichl Taisei KaizojiThis book presents the latest findings on network theory and agent-based modeling of economic and financial phenomena. In this context, the economy is depicted as a complex system consisting of heterogeneous agents that interact through evolving networks; the aggregate behavior of the economy arises out of billions of small-scale interactions that take place via countless economic agents. The book focuses on analytical modeling, and on the econometric and statistical analysis of the properties emerging from microscopic interactions. In particular, it highlights the latest empirical and theoretical advances, helping readers understand economic and financial networks, as well as new work on modeling behavior using rich, agent-based frameworks. Innovatively, the book combines observational and theoretical insights in the form of networks and agent-based models, both of which have proved to be extremely valuable in understanding non-linear and evolving complex systems. Given its scope, the book will capture the interest of graduate students and researchers from various disciplines (e.g. economics, computer science, physics, and applied mathematics) whose work involves the domain of complexity theory.
Russian Economic Development over Three Centuries: New Data and Inferences
by Masaaki Kuboniwa Yasushi Nakamura Kazuhiro Kumo Yoshisada ShidaThis book aims to provide a comprehensive statistical picture of the Russian economic development covering the Imperial, Soviet, and New Russian periods. The authors have reconstructed Russian socio-economic statistics from both published and archival materials. The book gives concise descriptions as well as new insights on the Russian economic development. Compiled such that estimations by the authors are kept to a minimum and extensive explanations and notes on the sources, the definitions, the statistical methodologies, the problems and inconsistencies of the original data, and the pitfalls of interpreting the time series are given makes this a standard reference book of the Russian economic history. It will be of value to economists, scholars of collectivist economics, and scholars of Russia and the Soviet experience.
Calculus for Scientists and Engineers (Industrial and Applied Mathematics)
by Martin Brokate Pammy Manchanda Abul Hasan SiddiqiThis book presents the basic concepts of calculus and its relevance to real-world problems, covering the standard topics in their conventional order. By focusing on applications, it allows readers to view mathematics in a practical and relevant setting. Organized into 12 chapters, this book includes numerous interesting, relevant and up-to date applications that are drawn from the fields of business, economics, social and behavioural sciences, life sciences, physical sciences, and other fields of general interest. It also features MATLAB, which is used to solve a number of problems. The book is ideal as a first course in calculus for mathematics and engineering students. It is also useful for students of other sciences who are interested in learning calculus.
Advances in Engineering Design and Simulation: Select Proceedings of NIRC 2018 (Lecture Notes on Multidisciplinary Industrial Engineering)
by Chenfeng Li U. Chandrasekhar Godfrey OnwuboluThis book consists of selected peer-reviewed papers presented at the NAFEMS India Regional Conference (NIRC 2018). It covers current topics related to advances in computer aided design and manufacturing. The book focuses on the latest developments in engineering modelling and simulation, and its application to various complex engineering systems. Finite element method/finite element analysis, computational fluid dynamics, and additive manufacturing are some of the key topics covered in this book. The book aims to provide a better understanding of contemporary product design and analyses, and hence will be useful for researchers, academicians, and professionals.
Proceedings of the 6th Conference on Sound and Music Technology: Revised Selected Papers (Lecture Notes in Electrical Engineering #568)
by Wei Li Shengchen Li Xi Shao Zijin LiThis book discusses the use of advanced techniques to produce and understand music in a digital way. It gathers the first-ever English-language proceedings of the Conference on Sound and Music Technology (CSMT), which was held in Xiamen, China in 2018. As a leading event, the CSMT reflects the latest advances in acoustic and music technologies in China. Sound and technology are more closely linked than most people assume. For example, signal-processing methods form the basis of music feature extraction, while mathematics provides an objective means of representing current musicological theories and discovering new ones. Moreover, machine-learning methods include popular deep learning algorithms and are used in a broad range of contexts, from discovering patterns in music features to producing music. As these proceedings demonstrate, modern technologies not only offer new ways to create music, but can also help people perceive sound in innovative new ways.
Geometric Method for Type Synthesis of Parallel Manipulators (Springer Tracts in Mechanical Engineering)
by Qinchuan Li Jacques M. Hervé Wei YeThis book focuses on the synthesis of lower-mobility parallel manipulators, presenting a group-theory-based method that has the advantage of being geometrically intrinsic. Rotations and translations of a rigid body as well as a combination of the two can be expressed and handled elegantly using the group algebraic structure of the set of rigid-body displacements. The book gathers the authors’ research results, which were previously scattered in various journals and conference proceedings, presenting them in a unified form. Using the presented method, it reveals numerous novel architectures of lower-mobility parallel manipulators, which are of interest to those in the robotics community. More importantly, readers can use the method and tool to develop new types of lower-mobility parallel manipulators independently.
Theory of Graded Consequence: A General Framework for Logics of Uncertainty (Logic in Asia: Studia Logica Library)
by Mihir Kumar Chakraborty Soma DuttaThis book introduces the theory of graded consequence (GCT) and its mathematical formulation. It also compares the notion of graded consequence with other notions of consequence in fuzzy logics, and discusses possible applications of the theory in approximate reasoning and decision-support systems. One of the main points where this book emphasizes on is that GCT maintains the distinction between the three different levels of languages of a logic, namely object language, metalanguage and metametalanguage, and thus avoids the problem of violation of the principle of use and mention; it also shows, gathering evidences from existing fuzzy logics, that the problem of category mistake may arise as a result of not maintaining distinction between levels.
Neural Approaches to Dynamics of Signal Exchanges (Smart Innovation, Systems and Technologies #151)
by Anna Esposito Marcos Faundez-Zanuy Francesco Carlo Morabito Eros PaseroThe book presents research that contributes to the development of intelligent dialog systems to simplify diverse aspects of everyday life, such as medical diagnosis and entertainment. Covering major thematic areas: machine learning and artificial neural networks; algorithms and models; and social and biometric data for applications in human–computer interfaces, it discusses processing of audio-visual signals for the detection of user-perceived states, the latest scientific discoveries in processing verbal (lexicon, syntax, and pragmatics), auditory (voice, intonation, vocal expressions) and visual signals (gestures, body language, facial expressions), as well as algorithms for detecting communication disorders, remote health-status monitoring, sentiment and affect analysis, social behaviors and engagement. Further, it examines neural and machine learning algorithms for the implementation of advanced telecommunication systems, communication with people with special needs, emotion modulation by computer contents, advanced sensors for tracking changes in real-life and automatic systems, as well as the development of advanced human–computer interfaces. The book does not focus on solving a particular problem, but instead describes the results of research that has positive effects in different fields and applications.
Structures and Dynamics of Interfacial Water: Input from Theoretical Vibrational Sum-frequency Spectroscopy (Springer Theses)
by Fujie TangThis book focuses on the study of the interfacial water using molecular dynamics simulation and experimental sum frequency generation spectroscopy. It proposes a new definition of the free O-H groups at water-air interface and presents research on the structure and dynamics of these groups. Furthermore, it discusses the exponential decay nature of the orientation distribution of the free O-H groups of interfacial water and ascribes the origin of the down pointing free O-H groups to the presence of capillary waves on the surface. It also describes how, based on this new definition, a maximum surface H-bond density of around 200 K at ice surface was found, as the maximum results from two competing effects. Lastly, the book discusses the absorption of water molecules at the water–TiO2 interface. Providing insights into the combination of molecular dynamics simulation and experimental sum frequency generation spectroscopy, it is a valuable resource for researchers in the field.
The Potential of Fields in Einstein's Theory of Gravitation
by Zafar AhsanThis book presents a detailed study of the Lanczos potential in general relativity by using tetrad formalisms. It demonstrates that these formalisms offer some simplifications over the tensorial methods, and investigates a general approach to finding the Lanczos potential for algebraic space–time by translating all the tensorial relations concerning the Lanczos potential into the language of tetrad formalisms and using the Newman–Penrose and Geroch–Held–Penrose formalisms. In addition, the book obtains the Lanczos potential for perfect fluid space–time, and applies the results to cosmological models of the universe. In closing, it highlights other methods, apart from tetrad formalisms, for finding the Lanczos potential, as well as further applications of the Newman–Penrose formalism. Given its scope, the book will be of interest to pure mathematicians, theoretical physicists and cosmologists, and will provide common ground for communication among these scientific communities.
Mathematical Models for Therapeutic Approaches to Control Psoriasis (SpringerBriefs in Applied Sciences and Technology)
by Priti Kumar Roy Abhirup DattaThis book discusses several mathematical models highlighting the disease dynamics of psoriasis and its control. It explains the control of keratinocyte concentration through a negative feedback mechanism and the effect of including a realistic time delay in that system. The effect of cytokine release is described in a mathematical model of psoriasis and further elucidated in two different mathematical pathways: the ordinary differential equation model system, and the fractional-order differential equation model system. The book also identifies the role of CD8+ T-cells in psoriasis by investigating the interaction between dendritic cells and CD8+ T-cells. Presenting an approach to control the fractional-order system to prevent excess production of keratinocyte cell population, the book is intended for researchers and scientists in the field of applied mathematics, health informatics, applied statistics and qualitative public health, as well as bio-mathematicians interested in the mathematical modeling of autoimmune diseases like psoriasis.
Foundations of Economic Psychology: A Behavioral and Mathematical Approach
by Kazuhisa TakemuraThis book provides an overview of the concept of economic psychology from behavioral and mathematical perspectives and related theoretical and empirical findings. Economic psychology is defined briefly as a general term for descriptive theories to explain the psychological processes of microeconomic behaviors and macroeconomic phenomena. However, the psychological methodology and knowledge of economic psychology have also been applied widely in such fields as economics, business administration, and engineering, and they are expected to become increasingly useful in the future—a trend suggested in several eminent scholars’ studies.The book explains the numerous behavioral and mathematical models of economic psychology related to micro- and macroeconomic phenomena that have been proposed in the past, and introduces new models that are useful to explain human economic behaviors. It concludes with speculations about the future of modern economic psychology, referring to its connection with fields related to neuroscience, such as neuroeconomics, which have been developed in recent years.Readers require no advanced expertise; nonetheless, an introductory understanding of psychology, business administration, and economics, and a high- school-graduate level of mathematics are useful. To aid readers, each chapter includes a bibliography, which can be referred for more details related to economic psychology.
Magnetohydrodynamic Modeling of the Solar Corona and Heliosphere (Atmosphere, Earth, Ocean & Space)
by Xueshang FengThe book covers intimately all the topics necessary for the development of a robust magnetohydrodynamic (MHD) code within the framework of the cell-centered finite volume method (FVM) and its applications in space weather study. First, it presents a brief review of existing MHD models in studying solar corona and the heliosphere. Then it introduces the cell-centered FVM in three-dimensional computational domain. Finally, the book presents some applications of FVM to the MHD codes on spherical coordinates in various research fields of space weather, focusing on the development of the 3D Solar-InterPlanetary space-time Conservation Element and Solution Element (SIP-CESE) MHD model and its applications to space weather studies in various aspects. The book is written for senior undergraduates, graduate students, lecturers, engineers and researchers in solar-terrestrial physics, space weather theory, modeling, and prediction, computational fluid dynamics, and MHD simulations. It helps readers to fully understand and implement a robust and versatile MHD code based on the cell-centered FVM.
Biomedical Signal Processing: Advances in Theory, Algorithms and Applications (Series in BioEngineering)
by Ganesh NaikThis book reports on the latest advances in the study of biomedical signal processing, and discusses in detail a number of open problems concerning clinical, biomedical and neural signals. It methodically collects and presents in a unified form the research findings previously scattered throughout various scientific journals and conference proceedings. In addition, the chapters are self-contained and can be read independently. Accordingly, the book will be of interest to university researchers, R&D engineers and graduate students who wish to learn the core principles of biomedical signal analysis, algorithms, and applications, while also offering a valuable reference work for biomedical engineers and clinicians who wish to learn more about the theory and recent applications of neural engineering and biomedical signal processing.
Conducting Quantitative Research in Education
by Margaret Kristin Merga Julia Elizabeth Morris Saiyidi Mat RoniThis book provides a clear and straightforward guide for all those seeking to conduct quantitative research in the field of education, using primary research data samples. While positioned as less powerful and somehow inferior, non-parametric tests can be very useful where the research can only be designed to accommodate data structure which is ordinal, or scale but violates a normality assumption, which is required for parametric tests. Non-parametric data are a staple of educational research, and as such, it is essential that educational researchers learn how to work with these data with confidence and rigour.
Fractional Calculus and Fractional Differential Equations (Trends in Mathematics)
by Varsha Daftardar-GejjiThis book provides a broad overview of the latest developments in fractional calculus and fractional differential equations (FDEs) with an aim to motivate the readers to venture into these areas. It also presents original research describing the fractional operators of variable order, fractional-order delay differential equations, chaos and related phenomena in detail. Selected results on the stability of solutions of nonlinear dynamical systems of the non-commensurate fractional order have also been included. Furthermore, artificial neural network and fractional differential equations are elaborated on; and new transform methods (for example, Sumudu methods) and how they can be employed to solve fractional partial differential equations are discussed.The book covers the latest research on a variety of topics, including: comparison of various numerical methods for solving FDEs, the Adomian decomposition method and its applications to fractional versions of the classical Poisson processes, variable-order fractional operators, fractional variational principles, fractional delay differential equations, fractional-order dynamical systems and stability analysis, inequalities and comparison theorems in FDEs, artificial neural network approximation for fractional operators, and new transform methods for solving partial FDEs. Given its scope and level of detail, the book will be an invaluable asset for researchers working in these areas.
Population, Place, and Spatial Interaction: Essays in Honor of David Plane (New Frontiers in Regional Science: Asian Perspectives #40)
by Rachel S. FranklinThis volume is devoted to the geographical—or spatial—aspects of population research in regional science, spanning spatial demographic methods for population composition and migration to studies of internal and international migration to investigations of the role of population in related fields such as climate change and economic growth. If spatial aspects of economic growth and development are the flagship of the regional science discipline, population research is the anchor. People migrate, consume, produce, and demand services. People are the source and beneficiaries of national, regional, and local growth and development. Since the origins of regional science, demographic research has been at the core of the discipline. Contributions in this volume are both retrospective and prospective, offering in their ensemble an authoritative overview of demographic research within the field of regional science.
Testing and Inspection Using Acceptance Sampling Plans
by Muhammad Aslam Mir Masoom AliThis book introduces a number of new sampling plans, such as time truncated life tests, skip sampling plans, resubmitted plans, mixed sampling plans, sampling plans based on the process capability index and plans for big data, which can be used for testing and inspecting products, from the raw-materials stage to the final product, in every industry using statistical process control techniques. It also presents the statistical theory, methodology and applications of acceptance sampling from truncated life tests. Further, it discusses the latest reliability, quality and risk analysis methods based on acceptance sampling from truncated life, which engineering and statisticians require in order to make decisions, and which are also useful for researchers in the areas of quality control, lifetime analysis, censored data analysis, goodness-of-fit and statistical software applications. In its nine chapters, the book addresses a wide range of testing/inspection sampling schemes for discrete and continuous data collected in various production processes. It includes a chapter on sampling plans for big data and offers several illustrative examples of the procedures presented. Requiring a basic knowledge of probability distributions, inference and estimation, and lifetime and quality analysis, it is a valuable resource for graduate and senior undergraduate engineering students, and practicing engineers, more specifically it is useful for quality engineers, reliability engineers, consultants, black belts, master black belts, students and researchers interested in applying reliability and risk and quality methods.
Applications of Regression Techniques
by Manoranjan Pal Premananda BharatiThis book discusses the need to carefully and prudently apply various regression techniques in order to obtain the full benefits. It also describes some of the techniques developed and used by the authors, presenting their innovative ideas regarding the formulation and estimation of regression decomposition models, hidden Markov chain, and the contribution of regressors in the set-theoretic approach, calorie poverty rate, and aggregate growth rate. Each of these techniques has applications that address a number of unanswered questions; for example, regression decomposition techniques reveal intra-household gender inequalities of consumption, intra-household allocation of resources and adult equivalent scales, while Hidden Markov chain models can forecast the results of future elections. Most of these procedures are presented using real-world data, and the techniques can be applied in other similar situations. Showing how difficult questions can be answered by developing simple models with simple interpretation of parameters, the book is a valuable resource for students and researchers in the field of model building.
Uncertain Renewal Processes (Springer Uncertainty Research)
by Kai YaoThis book explores various renewal processes in the context of probability theory, uncertainty theory and chance theory. It also covers the applications of these renewal processes in maintenance models and insurance risk models. The methods used to derive the limit of the renewal rate, the reward rate, and the availability rate are of particular interest, as they can easily be extended to the derivation of other models. Its comprehensive and systematic treatment of renewal processes, renewal reward processes and the alternating renewal process is one of the book’s major features, making it particularly valuable for readers who are interested in learning about renewal theory. Given its scope, the book will benefit researchers, engineers, and graduate students in the fields of mathematics, information science, operations research, industrial engineering, etc.
China's Macroeconomic Outlook: Quarterly Forecast and Analysis Report, February 2019 (Current Chinese Economic Report Series)
by Center for Macroeconomic Research at XiaThis report is a partial result of the China’s Quarterly Macroeconomic Model (CQMM), a project developed and maintained by the Center for Macroeconomic Research (CMR) at Xiamen University. The CMR, one of the Key Research Institutes of Humanities and Social Sciences sponsored by the Ministry of Education of China, has been focusing on China’s economic forecast and macroeconomic policy analysis, and it started to develop the CQMM for purpose of short-term forecasting, policy analysis, and simulation in 2005.Based on the CQMM, the CMR and its partners hold press conferences to release forecasts for China’s major macroeconomic variables. Since July, 2006, twenty-six quarterly reports on China’s macroeconomic outlook have been presented and thirteen annual reports have been published. This report, the twenty-sixth quarterly report, has been presented at the Forum on China’s Macroeconomic Outlook and Press Conference of CQMM on February 26, 2019. This conference was jointly held at Beijing by the CMR and the Economic Information Daily at Xinhua News Agency