Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …

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…

PSYCHOLOGICAL TESTING Seventh Edition

Edition

7th

ISBN/ISSN

0-13-614488-8

Collation

xiii, 721 p. : ill. ; 23 cm.

Series Title

INTERNATIONAL EDITION

Call Number

158.3 Ana p

Lippincott Illustrated Reviews : Integrated Systems

Edition

-

ISBN/ISSN

978-1-4963-1518-2

Collation

v, 457p.; ill.; 28cm

Series Title

Lippincott Illustrated Reviews

Call Number

612.807 6 Lip l

Automated Deduction – CADE 28: 28th International Conference on Automated D…

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…

Diabetes and Couples

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…

Finance 4.0 - Towards a Socio-Ecological Finance System: A Participatory Fram…

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…

Culture as Process

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…

Complications in Ocular Surgery A Guide to Managing the Most Common Challenges

Edition

-

ISBN/ISSN

978-1-61711-054-2

Collation

xvii, 343p.; 28,5 cm.; Illus.

Series Title

-

Call Number

617.71 Com c

Panic Buying

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…

Place and Post-Pandemic Flourishing

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…

COVID-19 and Psychology

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 …

Brain Plasticity and Learning

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 …

The Psychology of Global Crises and Crisis Politics

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…

Augmented Humanity

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…

Graph Structures for Knowledge Representation and Reasoning: 6th Internationa…

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…

STRESS AND ENVIRONMENTAL REGULATION OF GENE EXPRESSION AND ADAPTATION IN BACT…

Edition

-

ISBN/ISSN

9781119004882

Collation

xv, 1472p.; ill.; 29cm

Series Title

-

Call Number

616.01 Str s

PGD-Based Modeling of Materials, Structures and Processes

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…

Human-Centric Decision-Making Models for Social Sciences

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…

CLINICAL GYNECOLOGIC ENDOCRINOLOGY AND INFERTILITY, Sixth Edition

Edition

6

ISBN/ISSN

0-683-30379-1

Collation

x, 1200p.; ill.; 29cm

Series Title

-

Call Number

618.1 Spa c

Emerging Research in Electronics, Computer Science and Technology: Proceeding…

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…

Pharmacogenomics of Human Drug Transporters; Clinical Impacts

Edition

-

ISBN/ISSN

978-0-470-92794-6

Collation

xi, 422p.: ill.; 24cm

Series Title

-

Call Number

615.7 Pha p

Teachers as Professional Learners

Drawing upon data from an Australian study, this book gives voice to beginning teachers navigating their way through their first year of teaching and discovering what it means to be professional learners. The chapters within provide rich insights into the ways in which beginning teachers make sense of the new and challenging experiences they face during the first year of teaching, and how these…

ANALISA PERBANDINGAN FUZZY LOGIC SUGENO DAN MAMDANI UNTUK MEMPREDIKSI JUMLAH …

Bottled drinking water (AMDK) is drinking water that is ready for consumption without having to go through the heating process first and its practical use, so now many people choose to use AMDK which makes the amount of AMDK production increase. The amount of bottled water production needs to be planned appropriately because it can affect the level of sales and market demand. To plan the amount…

Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms: Theory a…

Edition

-

ISBN/ISSN

978-3-030-68776-2

Collation

IX, 383p.:ill.

Series Title

Studies in Computational Intelligence

Call Number

511.3 Fuz

Dual Mode Logic

Edition

-

ISBN/ISSN

978-3-030-40786-5

Collation

XIV, 185p.:Ill

Series Title

-

Call Number

621.381 5 Lev d

International Conference on Emerging Applications and Technologies for Indust…

This book addresses the adoption of intelligent algorithms for resolving challenges in different aspects of the society such as sport, cyber-security, COVID-19 pandemic, advertising, driving, smart environment—sensors, blockchain, cloud computing, and health. In addition, the book also covers machine learning fundamentals such as feature selection. The book presents practical simulation resul…

Marketing and Smart Technologies

This book includes selected papers presented at the International Conference on Marketing and Technologies (ICMarkTech 2020), held at ISCTE - University Institute of Lisbon, in the city of Lisbon in Portugal, between 8 and 10 October 2020. It covers up-to-date cutting-edge research on artificial intelligence applied in marketing, virtual and augmented reality in marketing, business intelligence…

Advanced Manufacturing Systems and Innovative Product Design

This book comprises select papers presented at the Conference on Innovative Product Design and Intelligent Manufacturing System (IPDIMS 2020). The book discusses the latest methods and advanced tools from different areas of design and manufacturing technology. The main topics covered include design methodologies, industry 4.0, smart manufacturing, and advances in robotics among others. The cont…

SISTEM KONTROL POSISI AUTONOMOUS BUOY MENGGUNAKAN METODE FUZZY LOGIC CONTROL

The problem of poor water quality can lead to mass deaths of fish inside floating net cages (KJA). To address this issue, this research develops an automatic KJA that can adapt to water quality conditions. This KJA needs to be equipped with autonomous buoys that have actuators and sensors, enabling them to move and search for areas with good water quality by comparing sensor values with other b…

Emerging Technologies During the Era of COVID-19 Pandemic

This book tackles the recent research directions in using the newly emerged technologies during the era of COVID-19 pandemic. It mainly focuses on using emerging technologies and their impact on health care, education, and society. It also provides insights into the current challenges and constraints in using technologies during the era of COVID-19 pandemic and exposes new opportunities for fut…