Download or read book Proceedings of the Fifth International Scientific Conference Intelligent Information Technologies for Industry IITI 21 written by Sergey Kovalev and published by Springer Nature. This book was released on 2021-09-15 with total page 716 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents key advances in intelligent information technologies for industry. This book of Lecture Notes in Networks and Systems contains the papers presented in the main track of IITI 2021, the Fifth International Scientific Conference on Intelligent Information Technologies for Industry held on September 30 – October 4, 2021 in Sirius, Russia. The conference was jointly co-organized by Rostov State Transport University (Russia) and VŠB–Technical University of Ostrava (Czech Republic) with the participation of Russian Association for Artificial Intelligence (RAAI) and Sirius University (Russia). IITI 2021 was devoted to practical models and industrial applications related to intelligent information systems. It was considered as a meeting point for researchers and practitioners to enable the implementation of advanced information technologies into various industries. Nevertheless, some theoretical talks concerning the state of the art in intelligent systems and soft computing were also included into proceedings. There were 180 paper submissions from 14 countries. Each submission was reviewed by at least three chairs or PC members. We accepted 69 regular papers (38\%). Unfortunately, due to limitations of conference topics and edited volumes, the Program Committee was forced to reject some interesting papers, which did not satisfy these topics or publisher requirements. We would like to thank all authors and reviewers for their work and valuable contributions. The friendly and welcoming attitude of conference supporters and contributors made this event a success!

Download or read book Proceedings of the First International Scientific Conference Intelligent Information Technologies for Industry IITI 16 written by Ajith Abraham and published by Springer. This book was released on 2016-05-10 with total page 487 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume of Advances in Intelligent Systems and Computing contains papers presented in the main track of IITI 2016, the First International Conference on Intelligent Information Technologies for Industry held in May 16-21 in Sochi, Russia. The conference was jointly co-organized by Rostov State Transport University (Russia) and VŠB – Technical University of Ostrava (Czech Republic) with the participation of Russian Association for Artificial Intelligence (RAAI) and Russian Association for Fuzzy Systems and Soft Computing (RAFSSC). The volume is devoted to practical models and industrial applications related to intelligent information systems. The conference has been a meeting point for researchers and practitioners to enable the implementation of advanced information technologies into various industries. Nevertheless, some theoretical talks concerning the-state-of-the-art in intelligent systems and soft computing are included in the proceedings as well.

Download or read book 16th International Conference on Applications of Fuzzy Systems Soft Computing and Artificial Intelligence Tools ICAFS 2023 written by Rafik A. Aliev and published by Springer Nature. This book was released on with total page 408 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book XV International Scientific Conference INTERAGROMASH 2022 written by Alexey Beskopylny and published by Springer Nature. This book was released on 2023-02-04 with total page 3287 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book contains proceedings of the XV International Scientific Conference INTERAGROMASH 2022, Rostov-on-Don, Russia. The agro-industrial complex is the most extensive and vital industry. It is rapidly developing by introducing the latest technologies and automating various processes necessary for the functioning of this area. The book is dedicated to engineering technologies of precision farming and agricultural robotics. It includes studies on natural resources variability, sustainable soil management, Agro Big Data, Internet of Things, software and mobile apps for precision agriculture, smart weather for precision agriculture, simulations models and decision support systems, expert systems, DGPS, soil physical and chemical characteristic sensors, machinery, etc. Different types of agricultural robots are presented in the book: autonomous fruit picking robots, farming bots that can seed and water plants, test the soil and remove weeds, completely autonomous robot for ecological and economical ultra-high precision spraying and weeding, harvesting robots with the special vision systems that can “see” fruits and understand whether they're ripe and ready to pick, and others. Also, the book covers advances in agricultural biotechnology in such areas of research as crop production improvement practices, genetic modification, as well as microbial biotechnology in agriculture, etc. The book is aimed for scientists, researchers, and graduate students. It is also useful for representatives of regional authorities, as it gives an idea of existing high-tech solutions for agriculture. The book is written and edited by international researchers, academics, and experts in the corresponding research areas.

Download or read book Theoretical Computer Science written by Lian Li and published by Springer. This book was released on 2018-09-25 with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2018, held in Shanghai, China, in October 2018. The 11 full papers presented were carefully reviewed and selected from 31 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.

Download or read book Foundations of Software Science and Computation Structures written by Stefan Kiefer and published by Springer Nature. This book was released on 2021-03-22 with total page 574 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

Download or read book Design and Testing of Reversible Logic written by Ashutosh Kumar Singh and published by Springer. This book was released on 2019-07-29 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book compiles efficient design and test methodologies for the implementation of reversible logic circuits. The methodologies covered in the book are design approaches, test approaches, fault tolerance in reversible circuits and physical implementation techniques. The book also covers the challenges and the reversible logic circuits to meet these challenges stimulated during each stage of work cycle. The novel computing paradigms are being explored to serve as a basis for fast and low power computation.

Download or read book ECAI 2016 written by G.A. Kaminka and published by IOS Press. This book was released on 2016-08-24 with total page 1860 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial Intelligence continues to be one of the most exciting and fast-developing fields of computer science. This book presents the 177 long papers and 123 short papers accepted for ECAI 2016, the latest edition of the biennial European Conference on Artificial Intelligence, Europe’s premier venue for presenting scientific results in AI. The conference was held in The Hague, the Netherlands, from August 29 to September 2, 2016. ECAI 2016 also incorporated the conference on Prestigious Applications of Intelligent Systems (PAIS) 2016, and the Starting AI Researcher Symposium (STAIRS). The papers from PAIS are included in this volume; the papers from STAIRS are published in a separate volume in the Frontiers in Artificial Intelligence and Applications (FAIA) series. Organized by the European Association for Artificial Intelligence (EurAI) and the Benelux Association for Artificial Intelligence (BNVKI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. This proceedings will be of interest to all those seeking an overview of the very latest innovations and developments in this field.

Download or read book Proceedings of the Third International Scientific Conference Intelligent Information Technologies for Industry IITI 18 written by Ajith Abraham and published by Springer. This book was released on 2018-12-06 with total page 533 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains papers presented in the main track of IITI 2018, the Third International Scientific Conference on Intelligent Information Technologies for Industry held in Sochi, Russia on September 17–21. The conference was jointly co-organized by Rostov State Transport University (Russia) and VŠB – Technical University of Ostrava (Czech Republic) with the participation of Russian Association for Artificial Intelligence (RAAI). IITI 2018 was devoted to practical models and industrial applications related to intelligent information systems. It was considered as a meeting point for researchers and practitioners to enable the implementation of advanced information technologies into various industries. Nevertheless, some theoretical talks concerning the state-of-the-art in intelligent systems and soft computing were also included into proceedings.

Download or read book Foundations of Software Science and Computation Structures written by Patricia Bouyer and published by Springer Nature. This book was released on 2022-03-28 with total page 471 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

Download or read book Management Perspective for Transport Telematics written by Jerzy Mikulski and published by Springer. This book was released on 2018-09-05 with total page 560 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed proceedings of the 18th International Conference on Transport Systems Telematics, TST 2018, held in Krakow, Poland in March 2018. The 36 full papers presented in this volume were carefully reviewed and selected from 128 submissions. They present and organize the knowledge from within the field of telematics in road transport, in rail transport, in marine transport, in air transport, in logistics.

Download or read book Logical Foundations of Computer Science written by Sergei Artemov and published by Springer Nature. This book was released on 2021-12-16 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.

Download or read book Proceedings of the Second International Scientific Conference Intelligent Information Technologies for Industry IITI 17 written by Ajith Abraham and published by Springer. This book was released on 2017-09-30 with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume of Advances in Intelligent Systems and Computing highlights key scientific achievements and innovations in all areas of automation, informatization, computer science, and artificial intelligence. It gathers papers presented at the IITI 2017, the Second International Conference on Intelligent Information Technologies for Industry, which was held in Varna, Bulgaria on September 14–16, 2017. The conference was jointly co-organized by Technical University of Varna (Bulgaria), Technical University of Sofia (Bulgaria), VSB Technical University of Ostrava (Czech Republic) and Rostov State Transport University (Russia). The IITI 2017 brought together international researchers and industrial practitioners interested in the development and implementation of modern technologies for automation, informatization, computer science, artificial intelligence, transport and power electrical engineering. In addition to advancing both fundamental research and innovative applications, the conference is intended to establish a new dissemination platform and an international network of researchers in these fields.

Download or read book ICICKM 2019 16th International Conference on Intellectual Capital Knowledge Management Organisational Learning written by John Dumay and published by Academic Conferences and publishing limited. This book was released on 2019-12-05 with total page 447 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Joachim Lambek The Interplay of Mathematics Logic and Linguistics written by Claudia Casadio and published by Springer Nature. This book was released on 2021-04-21 with total page 432 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is dedicated to the life and work of the mathematician Joachim Lambek (1922–2014). The editors gather together noted experts to discuss the state of the art of various of Lambek’s works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the course of his multifaceted career. After early work in combinatorics and elementary number theory, Lambek became a distinguished algebraist (notably in ring theory). In the 1960s, he began to work in category theory, categorical algebra, logic, proof theory, and foundations of computability. In a parallel development, beginning in the late 1950s and for the rest of his career, Lambek also worked extensively in mathematical linguistics and computational approaches to natural languages. He and his collaborators perfected production and type grammars for numerous natural languages. Lambek grammars form an early noncommutative precursor to Girard’s linear logic. In a surprising development (2000), he introduced a novel and deeper algebraic framework (which he called pregroup grammars) for analyzing natural language, along with algebraic, higher category, and proof-theoretic semantics. This book is of interest to mathematicians, logicians, linguists, and computer scientists.

Download or read book Creativity in Intelligent Technologies and Data Science written by Alla Kravets and published by Springer. This book was released on 2017-08-28 with total page 886 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Second Conference on Creativity in Intelligent Technologies and Data Science, CIT&DS 2017, held in Volgograd, Russia, in September 2017. The 58 revised full papers and two keynote papers presented were carefully reviewed and selected from 194 submissions. The papers are organized in topical sections on Knowledge Discovery in Patent and Open Sources for Creative Tasks; Open Science Semantic Technologies; Computer Vision and Knowledge-Based Control; Pro-Active Modeling in Intelligent Decision Making Support; Data Science in Energy Management and Urban Computing; Design Creativity in CASE/CAI/CAD/PDM; Intelligent Internet of Services and Internet of Things; Data Science in Social Networks Analysis; Creativity and Game-Based Learning; Intelligent Assistive Technologies: Software Design and Application.

Download or read book Recent Trends on Type 2 Fuzzy Logic Systems Theory Methodology and Applications written by Oscar Castillo and published by Springer Nature. This book was released on 2023-03-31 with total page 273 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers the introduction, theory, development and applications of type-2 fuzzy logic systems, which represent the current state-of-the-art in various domains such as control applications, power plants, health care, image processing, mathematical applications etc. The book is also rich in discussing different applications in order to give the researchers a flavor of how type-2 fuzzy logic is designed for different types of problems. Type-2 fuzzy logic systems are now used extensively in engineering applications for many purposes. In simple language, this book covers the practical use of type-2 fuzzy logic and its optimization through different training methods. Furthermore, this book maintains the relationship between mathematics and practical implementations in the real world. This book chapter also contains the proper comparisons with available literature work. It shows that the presented enhanced techniques have better results. This book would serve as a handy reference guide for a variety of readers, primarily targeting research scholars, undergraduate and postgraduate researchers and practicing engineers working in Type-2 fuzzy logic systems and their applications.