Fire is one of the disasters that most people worry about, especially indoor fires in office buildings, hospitals, shopping centers or housing, because in addition to possibly causing material losses, fires can also cause casualties. Therefore, to overcome this, we need a tool and system that can detect the possibility of a fire in the room. In this study, several sensors will be used, includin…
Watering plants is a tedious thing and is often forgotten by both households and farmers, while plants really need enough water to grow. Seeing these conditions, researchers designed an automation tool that can water plants at a specified time based on environmental temperature and soil moisture. An automatic system designed using an Arduino UNO microcontroller as the main control, Soil Moistur…
Camera PTZ (Pan-tilt-zoom) is a camera that is capable of moving simultaneously horizontal and vertical, PTZ cameras also have features zoom which serves to make frame the camera approaches or moves away from objects that enter the camera frame. This PTZ camera is made using a camera statis which is stationary at a predetermined angular position. To help the static camera move, tools are used i…
This handbook is a comprehensive, authoritative and up-to-date source on prevention technologies specifically for integrated care settings. It covers general issues related to prevention including the practical issues of financing, and staffing, and a general introduction to the advantages of prevention efforts. It covers a range of behavioral health disorders using an approach that is most r…
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 …