Автор: Maosong Sun, Xiaojie Wang, Baobao Chang Название: Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data ISBN: 3319690043 ISBN-13(EAN): 9783319690049 Издательство: Springer Рейтинг: Цена: 5300.00 р. Наличие на складе: Есть (3 шт.) Описание: This book constitutes the proceedings of the 16th China National Conference on Computational Linguistics, CCL 2017, and the 5th International Symposium on Natural Language Processing Based on Naturally Annotated Big Data, NLP-NABD 2017, held in Nanjing, China, in October 2017. Minority language information processing.
Описание: This book constitutes the refereed proceedings of the 98th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2021, held in Ishikawa, Japan, in March 2022. The 30 full papers presented were carefully reviewed and selected from 46 submissions.
Автор: A?t-Ameur Название: Theoretical Aspects of Software Engineering ISBN: 3031103629 ISBN-13(EAN): 9783031103629 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.
Описание: This book gathers selected research papers presented at the First Asian Symposium on Cellular Automata Technology (ASCAT 2022), organized online by academicians from Kolkata, India, during March 3-5, 2022.
Автор: Matt Название: Managing and Implementing the Digital Transformation ISBN: 3031143167 ISBN-13(EAN): 9783031143168 Издательство: Springer Рейтинг: Цена: 25155.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book shows how companies can practically implement the advantages of Industry 4.0 and digitalization and also addresses the current challenges with regard to engineering education for Industry 4.0. In this book, we collect the contributions of the 1st Symposium on Industrial Engineering and Automation (ISIEA 2022), which took place from June 21–22, 2022 at the Free University of Bolzano. The contributions cover three basic areas: (1) best practice examples and technical solutions for the implementation of Industry 4.0 in production and logistics, (2) management-oriented approaches for the digital transformation in companies, and (3) addressing Industry 4.0 in engineering education. The book targets different readers. Researchers find approaches to current research topics regarding Industry 4.0. Practitioners find valuable examples for technological implementations as well as management approaches for introducing digitalization. Students and lecturers find hints on how Industry 4.0 can be integrated into university teaching.
Описание: This book constitutes the proceedings of the 4th International Symposium on Intelligent Computing Systems, ISICS 2022, held in Santiago, Chile, in March 2022. Due to the COVID-19 pandemic the conference was held online. The 9 full papers along with 2 short papers presented in this volume were carefully reviewed and selected from 30 submissions. They deal with the field of intelligent computing systems focusing on artificial intelligence, computer vision and image processing.
Автор: Varzinczak Название: Foundations of Information and Knowledge Systems ISBN: 3031113209 ISBN-13(EAN): 9783031113208 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2022, held in Helsinki, Finland, in June 2022. The 13 full papers presented were carefully reviewed and selected from 21 submissions. The papers address various topics such as information and knowledge systems, including submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, databases, information theory, complexity theory, algorithmics and computation, statistics and optimization.
Описание: Enhancing expressivity of checked corecursive streams.- Improving Type Error Reporting for Type Classes.- Asynchronous Unfold/Fold Transformation for Fixpoint Logic.- Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL.- Generating C (System Description).- Translation Certification for Smart Contracts.- Zipping Strategies and Attribute Grammars.- Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform.- Scheduling Complexity of Interleaving Search.- Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming (System Description).- A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl).- Explanations as Programs in Probabilistic Logic Programming.- FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data.- A Lazy Desugaring System for Evaluating Programs with Sugars.- On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs.
Автор: Bie Название: Smart Transportation Systems 2022 ISBN: 9811928126 ISBN-13(EAN): 9789811928123 Издательство: Springer Рейтинг: Цена: 32142.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book gathers selected papers presented at the KES International Symposium on Smart Transportation Systems (KES STS 2022). Modern transportation systems have undergone a rapid transformation in recent years, producing a range of technological innovations such as connected vehicles, self-driving cars, electric vehicles, Hyperloop, and even flying cars, and with them, fundamental changes in transport systems around the world. The book discusses current challenges, innovations, and breakthroughs in smart transportation systems, as well as transport infrastructure modeling, safety analysis, freeway operations, intersection analysis, and other related cutting-edge topics.
Автор: Chen Название: Knowledge and Systems Sciences ISBN: 9811936099 ISBN-13(EAN): 9789811936098 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 21st International Symposium on Knowledge and Systems Sciences, KSS 2022, held in Beijing, China, in June 2022. The 14 revised full papers and 3 short paper presented were carefully reviewed and selected from 51 submissions. The papers are organized in topical secions on data mining and machine learning; model-based systems engineering; complex systems modeling and knowledge technologies.
Автор: Karimipour Название: Web and Wireless Geographical Information Systems ISBN: 3031062442 ISBN-13(EAN): 9783031062445 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 18th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2022, held in Konstanz, Germany, in April 2022. The 7 full papers presented together with 6 short papers in the volume were carefully reviewed and selected from 16 submissions. The papers cover topics that range from mobile GIS and Location-Based Services to Spatial Information Retrieval and Wireless Sensor Networks.
Описание: The book discusses the evolution of future generation technologies through Internet of Things (IoT) in the scope of Artificial Intelligence (AI). The main focus of this volume is to bring all the related technologies in a single platform, so that undergraduate and postgraduate students, researchers, academicians, and industry people can easily understand the AI algorithms, machine learning algorithms, and learning analytics in IoT-enabled technologies. This book uses data and network engineering and intelligent decision support system-by-design principles to design a reliable AI-enabled IoT ecosystem and to implement cyber-physical pervasive infrastructure solutions. This book brings together some of the top IoT-enabled AI experts throughout the world who contribute their knowledge regarding different IoT-based technology aspects.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
