The main focus of this book is on presenting advances in fuzzy statistics, and on proposing a methodology for testing hypotheses in the fuzzy environment based on the estimation of fuzzy confidence intervals, a context in which not only the data but also the hypotheses are considered to be fuzzy. The proposed method for estimating these intervals is based on the likelihood method and employs th…
This book offers readers a simple, attractive, detailed knowledge of TRIZ and applied TRIZ, Technology for Innovation. The genius of Genrich Altshuller and his many followers created TRIZ by using the best practices of thousands of most talented engineers and scientists, which made our technological civilization. TRIZ is a science and philosophy for new system creation and existing systems d…
This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27–29, 2022. The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in this volume were carefully reviewed and selected from 17 submissions. The papers contain original and unpublished research; the topics of them l…
This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and program…
The fetus or fetus is a creature in the womb that is developing after the embryo. Unhealthy maternal health conditions can threaten the health and safety of the fetus, as well as fetal health can threaten the health conditions of the mother to the developmental stage until death during childbirth. Worldwide, an estimated 2.8 million infants and pregnant women die each year. Therefore, the impor…
Credit is a condition of delivery in the form of goods, money or services from the first party (credit giver) to another party (credit recipient) with a joint agreement to be completed within a certain period of time in return for the additional principal. Customers who apply for credit must meet the conditions set by the bank with the aim of avoiding unexpected possibilities such as bad credit…
The capital market has become one of the important factors in the economy of a country, one of which is Indonesia, where the capital market accelerates the movement of the economy by making it easier for companies to develop because they get capital from selling part of their ownership shares to the general public, so that companies have sufficient funding to finance their business. develop the…
The occurrence of rain can hamper human activities, hence the need to predict rainfall events to anticipate the possibility of bad things that will happen. Prediction of rain events is useful in various fields such as transportation, agriculture and industry. In this study using the fuzzy random forest method which is a combination of fuzzy sets and random forest, this method produces good pred…
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent…
This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The sympos…
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT…
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, includin…
This book shows how psychological aspects of individuals and of couple relationships can work as both protective or risk factors to the health of diabetes patients and their partners. Departing from a social psychologic perspective, it analyzes how individual attributes and personal relationships influence health, focusing on the impacts that diabetes as a chronic-degenerative disease has on th…
This Open Access book outlines ideas for a novel, scalable and, above all, sustainable financial system. We all know that today’s global markets are unsustainable and global governance is not effective enough. Given this situation, could one boost smart human coordination, sustainability and resilience by tweaking society at its core: the monetary system? A Computational Social Science tea…
Jaan Valsiner has made numerous contributions to the development of psychology over the last 40 years. He is internationally recognized as a leader and innovator within both developmental psychology and cultural psychology, and has received numerous prizes for his work: the Alexander von Humboldt prize, the Hans Killian prize, and the Outstanding International Psychologist Award from the Americ…
This brief provides a thorough overview of the history and underlying motivations for consumer panic buying, evaluating psychological perspectives on this behavior on both an individual and societal level. The first volume of its kind to focus specifically on the topic of panic buying, the book situates its analysis within the context of the modern COVID-19 pandemic as well as in a broader psyc…
This book rekindles the well-known connection between people and place in the context of a global pandemic. The chapters are divided into two sections. In the first section, “Place Attachment During a Pandemic,” we review the nature of the COVID-19 pandemic and the extent of its impact on place attachment and human-environment interactions. We examine how restrictions in mobility and enviro…