Bücher veröffentlicht von Springer Nature Singapore

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ¿-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.

This book summarizes and classifies 100 wonderful Chinese industrial heritage cases, starting from the path of cultural tourism industry's involvement in the transformation and renewal of industrial heritage. With the development of industrialization for more than 100 years, China, which has been a major industrial heritage country, is often ignored in the field of industrial heritage research. This is the first book in the world to systematically explore the cultural and tourism industry's involvement in the transformation and renewal of Chinese industrial heritage. It fully contributed the wisdom and experience of the transformation of China's industrial heritage to the world, and provided important experience for the transformation of industrial heritage in other parts of the world. This book is not only a reference book for scholars, planners, and decision makers, but it will also inspire other readers who are concerned about China's urbanization and industrial heritage.

This book discusses the significance of descriptive, predictive, and prescriptive digital enterprises and their practices for different functional domains and in different countries during COVID-19. It explores new dimensions in digital enterprises that are emerging after COVID-19. Varied topics discussed include virtual workplace and workflows, media use, digital security, e-governance, digital supply chains, increased use of AI, new HR practices, and sustainable development in post-pandemic era. The broad range of digital development topics will help business owners, digital professionals, managers, researchers, and academicians.

This book covers the application of emerging technologies, occurring after the 4th industrial revolution, in oral and maxillofacial surgery (OMFS) and introduces a new era of personalized medicine in this discipline. It describes the manufacturing and data acquisition methods, in detail, including the advantages and disadvantages of each process. The workflow of using the emerging technologies in reconstructive treatments, orthognathic surgery, implant dentistry, robotic surgery and biöfabrication have been covered in separate chapters.Several related cases in conjunction with the workflow are presented and discussed as clinical examples of each, for practical discussion of the workflow and process trajectory. Each chapters provides introduction, definition, application and plausible pitfalls of employing these technologies in specific areas. Given the multiple materials and techniques, the logic behind selection of each in different fields of practice and thorough explanation of process provides surgeons with a background on how and why a certain approach is employed, and if application of emerging technologies would outdo traditional treatment processes. The importance of fabricating living tissues is discussed as one of the most recent progresses in the field. The bench-to-bedside transition, their clinical application, and their remarkable positive impact on oral and maxillofacial surgical procedures are covered. This book is arranged for oral and maxillofacial, and plastic surgeons and in-training-fellows in associated fields.

This book provides a comprehensive introduction of mesoscale meteorology which is one of the important branches of meteorology, studying majorly mesoscale atmospheric systems. It focuses on introduction of the basic knowledge about mesoscale meteorology. It contains the features and equation set of mesoscale atmospheric motions, the topographically forced mesoscale circulations, the gravity waves in free atmosphere, the front and jet stream, the mesoscale convective systems (MCSs), the atmospheric instability, the factors effecting the development of MCSs, mesoscale weather diagnosis and forecasting. This book provides many figures and basic formulas to help reader understanding the basic knowledge. What is mesoscale weather system? How the mesoscale systems influence severe disaster weather? How to forecast the mesoscale severe disaster weather? You will find the answers in it. This book will be of interest to both graduate students majoring in meteorology and the meteorological researchers.

This book contains select proceedings of the 10th annual conference of Deep Foundations Institute of India, DFI India, 2021. It presents papers on 1) Geotechnical Investigation, Testing, Instrumentation, Monitoring, and Quality Management, 2) Ground Improvement Techniques, 3) Piling and Deep Foundation Techniques, 4) Earth Retention and Deep Excavation Support, 5) Research, Experimental and Numerical Methods in Deep Foundations and Deep Excavation Technologies, and 6) Safe and Efficient Geo-Construction. This book has seventeen articles, each with a specific field application value. The probabilistic approach in evaluating the field data, namely SPT N and pressure meter modulus for arriving at the geotechnical design parameters, multiphase site investigation program for complex underground construction activity, the safety of working platforms in foundation construction projects, usage of liner piles to support the reaction platform for static loading tests for piles, choice of foundation system for three bridges, emphasis on the importance of selecting an appropriate foundation system for the safe and timely completion of the project, challenges in deep excavations, constructions in confined spaces, groundwater level variations, and their influence on tunneling have been discussed. The usefulness of numerical analysis in the design of deep excavations and ground improvement projects is highlighted. The articles covered in this book are of immense value to professionals and academicians for improving their work practice.

This book discusses various passive and active techniques for controlling unsteady flow dynamics and associated coupled mechanics of fluid-structure interaction. Coupled multiphysics and multidomain simulations are emerging and challenging research areas, which have received significant attention during the past decade. One of the most common multiphysics and multidomain problems is fluid-structure interaction (FSI), i.e., the study of coupled physical systems involving fluid and a structure that have a mechanical influence on each other. Regardless of the application area, the investigation toward modeling of fluid-structure interaction and the underlying mechanisms in dealing with coupled fluid-structure instability with real-world applications remains a challenge to scientists and engineers. This book is designed for students and researchers who seek knowledge of computational modeling and control strategies for fluid-structure interaction. Specifically, this book provides acomprehensive review of the underlying unsteady physics and coupled mechanical aspects of the fluid-structure interaction of freely vibrating bluff bodies, the self-induced flapping of thin flexible structures, and aeroelasticity of shell structures. Understanding flow-induced loads and vibrations can lead to safer and cost-effective structures, especially for light and high-aspect ratio structures with increased flexibility and harsh environmental conditions. Using the body-fitted and moving mesh formulations, the physical insights associated with structure-to-fluid mass ratios, Reynolds number, nonlinear structural deformation, proximity interference, near-wall contacts, free-surface, and other interacting physical fields are covered in this book. In conjunction with the control techniques, data-driven model reduction approaches based on subspace projection and deep neural calculus are covered for low-dimensional modeling of unsteady fluid-structure interaction.

This book facilitates both the theoretical background and applications of fuzzy, intuitionistic fuzzy and rough, fuzzy rough sets in the area of data science. This book provides various individual, soft computing, optimization and hybridization techniques of fuzzy and intuitionistic fuzzy sets with rough sets and their applications including data handling and that of type-2 fuzzy systems. Machine learning techniques are effectively implemented to solve a diversity of problems in pattern recognition, data mining and bioinformatics. To handle different nature of problems, including uncertainty, the book highlights the theory and recent developments on uncertainty, fuzzy systems, feature extraction, text categorization, multiscale modeling, soft computing, machine learning, deep learning, SMOTE, data handling, decision making, Diophantine fuzzy soft set, data envelopment analysis, centrally measures, social networks, VolterräFredholm integro-differential equation, Caputo fractional derivative, interval optimization, decision making, classification problems. This book is predominantly envisioned for researchers and students of data science, medical scientists and professional engineers.

The book is a compilation of high-quality scientific papers presented at the 4th International Conference on Computer & Communication Technologies (IC3T 2022). The book covers cutting-edge technologies and applications of soft computing, artificial intelligence and communication. In addition, a variety of further topics are discussed, which include data mining, machine intelligence, fuzzy computing, sensor networks, signal and image processing, human-computer interaction, and web intelligence.

Designed as a self-contained text, this book covers a wide spectrum of topics on portfolio theory. It covers both the classical-mean-variance portfolio theory as well as non-mean-variance portfolio theory. The book covers topics such as optimal portfolio strategies, bond portfolio optimization and risk management of portfolios. In order to ensure that the book is self-contained and not dependent on any pre-requisites, the book includes three chapters on basics of financial markets, probability theory and asset pricing models, which have resulted in a holistic narrative of the topic. Retaining the spirit of the classical works of stalwarts like Markowitz, Black, Sharpe, etc., this book includes various other aspects of portfolio theory, such as discrete and continuous time optimal portfolios, bond portfolios and risk management.The increase in volume and diversity of banking activities has resulted in a concurrent enhanced importance of portfolio theory, both in terms of management perspective (including risk management) and the resulting mathematical sophistication required. Most books on portfolio theory are written either from the management perspective, or are aimed at advanced graduate students and academicians. This book bridges the gap between these two levels of learning. With many useful solved examples and exercises with solutions as well as a rigorous mathematical approach of portfolio theory, the book is useful to undergraduate students of mathematical finance, business and financial management.

This book offers reflections from Arts-Based Educational Research (ABER) scholars who, since 2005, were awarded the American Educational Research Association ABER Special Interest Group's Outstanding Dissertation Award. The book includes essays from ten awardees who, across diverse artistic disciplines, share how their ABER careers evolve and succeed¿inspiring insights into the possibilities of ABER. It also examines the essential role of mentorship in the academy that supports and expands ABER scholarship. Drawing from dissertation exemplars in the field, this book allows readers to look at how ABER scholars learn with the world while creatively researching and teaching in innovative ways

This report is a partial result of Chinäs Quarterly Macroeconomic Model (CQMM), a project developed and maintained by the Center for Macroeconomic Research (CMR) at Xiamen University. The CMR is one of the Key Research Institutes of Humanities and Social Sciences sponsored by the Ministry of Education of China, focusing on Chinäs economic growth and macroeconomic policy. The CMR started to develop CQMM for purpose of short-term forecasting, policy analysis, and simulation in 2005.Based on CQMM, the CMR and its partners hold press conferences to release forecasts for Chinä major macroeconomic variables. Since July 2006, thirty-three quarterly reports on Chinäs macroeconomic outlook have been presented.

This book comprises the proceedings of the 26th International Conference on Hydraulics, Water Resources and Coastal Engineering (HYDRO 2021) focusing on broad spectrum of emerging opportunities and challenges on the impact of climate change on water resources. It covers a range of topics, including, but not limited to, climate change assessment and downscaling issues, climate change impact and adaptive measures, influence of climate variability on hydro-climatic variables, impact of climate change on water resources of Indian Rivers, etc. Presenting recent advances in the form of illustrations, tables, and text, the content offers readers insights for their own research. In addition, the book addresses fundamental concepts and studies on the impact of climate change on water resources, making it a valuable resource for both beginners and researchers wanting to further their understanding of hydraulics, water resources and coastal engineering.

This book reviews the structure-function relationship of nucleic acids, their role in the pathophysiology of the diseases, and as therapeutic targets for human diseases. The chapters discuss the role of nucleic acids in inflammatory diseases, neurodegenerative diseases, and cancer. The book also describes recent advancements in nucleic acid-based therapy, the application of nucleic acids in diagnostics, in the development of nano-carriers, logic gates, and sensors. It explores the use of nucleic acids (RNA and DNA) as a unique and multifunctional platform for numerous applications, including therapeutics, diagnostics, nanodevices, and materials. It further examines the role of DNA methylation, histone modifiers and readers, chromatin remodelers, microRNAs, and other components of chromatin in the progression of cancer. The book also discusses the applications of nucleic acid as a vaccine and as a gene-editing tool. It also provides an overview of the clinical trials using genome editing platforms for disease treatment and the challenges in implementing the editing technology. Finally, the book elucidates a representative description of challenges associated with nucleic acid-mediated therapy.¿

This book presents the select proceedings of the International Conference on Recent Advances in Materials, Manufacturing and Thermal Engineering (RAMMTE 2022). It broadly covers the topics of manufacturing and thermal engineering. Various topics covered in this book include alternative fuels, automation, mechatronics and robotics, CAD, CAM, FMS, CIM, CN, CFD, failure and fracture mechanics, friction, wear, tribology, and surface engineering, heat treatment, microstructure and refrigeration and cryogenics, heating ventilation and air conditioning system, heat transfer, internal combustion engines, machinability and formability of materials, mechanisms and machines, rapid manufacturing technologies and prototyping, turbo machinery, thermal engineering, and traditional and non-traditional machining processes. This book is useful for researchers and professionals working in the areas of manufacturing and thermal engineering.

The book spans across the research domains of mechanisation and automation, agrobusiness, food processing and value addition, climate smart agriculture, rural sanitation, agro biotechnology, and rural energy.

This book presents techniques such as the robust control and nonlinearity approximation using linear-parameter-varying (LPV) techniques. Meanwhile, the control of independently driven electric vehicles and autonomous vehicles is introduced. It covers a comprehensive literature review, robust state estimation with uncertain measurements, sideslip angle estimation with finite-frequency optimization, fault detection of vehicle steering systems, output-feedback control of in-wheel motor-driven electric vehicles, robust path following control with network-induced issues, and lateral motion control with the consideration of actuator saturation. This book is a good reference for researchers and engineers working on control of electric vehicles.

This book comprises select proceedings of the 1st International Conference on Computational Intelligence for Engineering and Management Applications (CIEMA - 2022). This book emphasizes applications of computational intelligence including machine intelligence, data analytics, and optimization algorithms for solving fundamental and advanced engineering and management problems. This book serves as a valuable resource for researchers, industry professionals, academicians, and doctoral scholars in engineering, production, thermal, materials, design, computer engineering, natural sciences, and management who work on computational intelligence. The book also serves researchers who are willing to use computational intelligence algorithms in real-time applications.

This proceedings book showcases papers presented at the 2022 Rethinking Management and Economics in the (New) 20s conference in Leiria, Portugal. Rethinking Management and Economics in the (New) 20¿s is focused on the investigation of key challenges and perspectives of Management and Economics. The chapters in this book explore new avenues of research and cover theoretical, empirical, and experimental studies related to different themes in the global context of Management and Economics. This book contributes towards deepening our understanding of what the new problems associated with achieving the goals of management and Economics in the 2020s and present possible solutions to the problems. This book is ideal for economists, businesses, managers, accountants, practitioners, stakeholders, researchers, academicians, and students who are interested in the current issues and advancements in corporate governance and earnings management.

The book constitutes proceedings of the International Conference on Intelligent Systems and Human-Machine Collaboration 2022. The papers consist of research from different domains of human-machine interaction, computer engineering like quantum computational intelligence, big data analytics, the Internet of things, etc. The book includes significant contributions from academia and industry dealing with human-machine interaction both from the theoretical development and the application point of view. It also brings out research articles in interdisciplinary platforms applying human-machine interaction. The book is useful to researchers and practitioners alike.