You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Degree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.
The VaKE Handbook: Theory and Practice of Values and Knowledge Education presents a theoretical model and many examples in various fields of education and training for the realization of the principle "Values without knowledge are blind, while knowledge without values is irresponsible".
This book collects a series of contributions addressing the various contexts in which the theory of Lie groups is applied. A preliminary chapter serves the reader both as a basic reference source and as an ongoing thread that runs through the subsequent chapters. From representation theory and Gerstenhaber algebras to control theory, from differential equations to Finsler geometry and Lepage manifolds, the book introduces young researchers in Mathematics to a wealth of different topics, encouraging a multidisciplinary approach to research. As such, it is suitable for students in doctoral courses, and will also benefit researchers who want to expand their field of interest.
In addition to carrying haemoglobin for gas exchange, red blood cells (RBCs) or erythrocytes contain a number of lipids, proteins, and carbohydrates, making them capable of acting as peripheral biomarkers for many pathological conditions. Early identification of key changes in erythrocytes in response to inflammatory or infectious diseases saves millions of lives worldwide. As such, this book examines the role of RBCs in immunology. Chapters cover such topics as an iron deficiency in erythrocytes, the modulation of oxidative stress (OS) in erythrocytes in bacterial and viral infections, using human foetal astrocytes (HFAs) as an experimental model to measure early predictive biomarkers for hypertension, and more.
This book presents a multidisciplinary collection of original contributions made by the leading scholars and practitioners on researching, building, and maintaining sustainable agricultural systems. Being the first of its kind, the book is divided into two volumes. This book presents a comprehensive and informed review of the current state of multidisciplinary knowledge on sustainability in agriculture. The gaps in the scholarly literature are identified and rigorously analyzed, presenting a clear picture of the promising research directions. The authors critically analyze the very concept of sustainable agricultural systems, primarily focusing on the interactions existing between their inte...
This book presents selected papers from the 18th International Conference on Global Research and Education, Inter-Academia 2019, held in Budapest and Balatonfüred on September 4–7, 2019. The main goal of the conference was to provide an international forum for reviewing and assessing recent trends in both fundamental and applied research. In addition to sparking interest in recent research findings, the conference aimed to strengthen cooperation among the partners of the Inter-Academia community in the pursuit of new theoretical and practical research advances. The book contains a selection of papers based on lectures presented at the Inter-Academia 2019 conference and covering hot and challenging topics in the fields of machine intelligence and computer science, modeling and simulation, measurement, monitoring, and identification, electronics and nanoelectronics, bio- and environmental engineering, chemical processes and material science, together with related educational aspects. Accordingly, it offers a valuable resource for the global scientific community.
The two-volume set LNCS 13956 and 13957 constitutes the refereed proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Lesvos Island, Greece, during July 3–6, 2023. The 67 full papers and 13 short papers and 6 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 283 submissions. The contributions are grouped in topics which deal with General Track 1: Computational Methods, Algorithms and Scientific Applications; General Track 2: High Performance Computing and Networks; General Track 3: Geometric Modeling, Graphics and Visualization; General Track 4: Advanced and Emerging Applications; General Track 5: Information Systems and Technologies; General Track 6: Urban and Regional Planning; and PHD Showcase Papers.
This volume is dedicated to the academic achievements of Karl Kaser and to the 50th anniversary of Southeast European History and Anthropology (SEEHA) at the University of Graz. Its editors are collaborators of SEEHA and experts in various fields of Southeast European Studies: Siegfried Gruber, Dominik Gutmeyr, Sabine Jesner, Elife Krasniqi, Robert Pichler, and Christian Promitzer. The Festschrift covers diverse approaches toward the study of societies and cultures in Southeastern Europe, both with respect to history and current affairs, and brings together contributions from several of Kaser's former doctoral students, colleagues, collaborators and friends from across Europe.
The book comprises original articles on topical issues of risk theory, rational decision making, statistical decisions, and control of stochastic systems. The articles are the outcome of a series international projects involving the leading scholars in the field of modern stochastic optimization and decision making. The structure of stochastic optimization solvers is described. The solvers in general implement stochastic quasi-gradient methods for optimization and identification of complex nonlinear models. These models constitute an important methodology for finding optimal decisions under risk and uncertainty. While a large part of current approaches towards optimization under uncertainty ...