Welcome to our book review site www.go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Applications of Mathematics and Informatics in Natural Sciences and Engineering
This book presents peer-reviewed papers from the 4th International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2019), held in Tbilisi, Georgia, in September 2019. Written by leading researchers from Austria, France, Germany, Georgia, Hungary, Romania, South Korea and the UK, the book discusses important aspects of mathematics, and informatics, and their applications in natural sciences and engineering. It particularly focuses on Lie algebras and applications, strategic graph rewriting, interactive modeling frameworks, rule-based frameworks, elastic composites, piezoelectrics, electromagnetic force models, limiting distribution, degenerate Ito-SDEs, induced operators, subgaussian random elements, transmission problems, pseudo-differential equations, and degenerate partial differential equations. Featuring theoretical, practical and numerical contributions, the book will appeal to scientists from various disciplines interested in applications of mathematics and informatics in natural sciences and engineering.
Advanced Computational Methods for Knowledge Engineering
This proceedings consists of 20 papers which have been selected and invited from the submissions to the 4th International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2016) held on 2-3 May, 2016 in Laxenburg, Austria. The conference is organized into 5 sessions: Advanced Optimization Methods and Their Applications, Models for ICT applications, Topics on discrete mathematics, Data Analytic Methods and Applications and Feature Extractio, respectively. All chapters in the book discuss theoretical and practical issues connected with computational methods and optimization methods for knowledge engineering. The editors hope that this volume can be useful for graduate and Ph.D. students and researchers in Applied Sciences, Computer Science and Applied Mathematics.
Logic-Based Program Synthesis and Transformation
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 programming-in-the-large.
Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering
This book presents eleven peer-reviewed papers from the 3rd International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2017) held in Tbilisi, Georgia in December 2017. Written by researchers from the region (Georgia, Russia, Turkey) and from Western countries (France, Germany, Italy, Luxemburg, Spain, USA), it discusses key aspects of mathematics and informatics, and their applications in natural sciences and engineering. Featuring theoretical, practical and numerical contributions, the book appeals to scientists from various disciplines interested in applications of mathematics and informatics in natural sciences and engineering.
Advances and Trends in Artificial Intelligence. Artificial Intelligence Practices
This two-volume set of LNAI 12798 and 12799 constitutes the thoroughly refereed proceedings of the 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, held virtually and in Kuala Lumpur, Malaysia, in July 2021. The 87 full papers and 19 short papers presented were carefully reviewed and selected from 145 submissions. The IEA/AIE 2021 conference will continue the tradition of emphasizing on applications of applied intelligent systems to solve real-life problems in all areas. These areas include the following: Part I, Artificial Intelligence Practices: Knowledge discovery and pattern mining; artificial intelligence and m...
Unity of Logic and Computation
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.
Logics in Artificial Intelligence
This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025. The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics: Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming. Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving.
