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…
Already, the COVID-19 pandemic has left a deep mark on all levels of human activity and sentiment. As far as the best possible management of the situation is concerned, it is not only up to governments and experts in health systems, but ultimately up to each individual to act appropriately. Understanding the psychological background and the societal context is essential. This essential is also …
This book synthesizes the latest findings on neuroplasticity and learning, drawing on rich phenomenological research carried out with teachers, psychologists, parents and students from around the world to examine the implications for current teaching and for the advancement of learning methods. Building on the author’s previous work in this area, the volume considers in depth the function of …
This edited volume brings together some of the most prominent scholars in the fields of theoretical, critical, and political psychology to examine crisis phenomena. The book investigates the role of psychology as a science in times of crisis, discusses how socio-political change affects the discipline and profession, and renders psychological interventions as forms of political action. The a…
This open access book will examine the implications of digitalization for the understanding of humanity, conceived as a community of intelligent agency. It addresses important topics across a range of social and behavioral theories and identifies a range of novel mechanisms and their social behavioral effects. Across the book, the author highlights the expansion of intelligent processing capabi…
This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were revie…
This book focuses on the development of a new simulation paradigm allowing for the solution of models that up to now have never been resolved and which result in spectacular CPU time savings (in the order of millions) that, combined with supercomputing, could revolutionize future ICT (information and communication technologies) at the heart of science and technology. The authors have recently p…
The volume delivers a wealth of effective methods to deal with various types of uncertainty inherently existing in human-centric decision problems. It elaborates on comprehensive decision frameworks to handle different decision scenarios, which help use effectively the explicit and tacit knowledge and intuition, model perceptions and preferences in a more human-oriented style. The book pres…
PES College of Engineering is organizing an International Conference on Emerging Research in Electronics, Computer Science and Technology (ICERECT-12) in Mandya and merging the event with Golden Jubilee of the Institute. The Proceedings of the Conference presents high quality, peer reviewed articles from the field of Electronics, Computer Science and Technology. The book is a compilation of res…