Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Reproducible Research in Pattern Recognition, RRPR 2021, held as a virtual event, in January 2021. The 8 revised full papers, presented together with 6 short papers, were carefully reviewed and selected from 18 submissions.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Multi-Agent-Based Simulation, MABS 2021, held in May 2021 as part of AAMAS 2021.
Описание: This volume constitutes selected papers from the Second International Conference on Information Systems and Design, ICID 2021, held as virtual event in September 2021. They are organized in topical sections on digital transformation of enterprises based on analysis and management tools: practical-focused research;
Описание: Models of rewriting and rewriting logic.- Termination, confluence, coherence, and complexity.- Unification, generalization, and narrowing.- Graph rewriting.- Tree automata.- Rewriting strategies.- Rewriting-based declarative languages.- Explicit-state and symbolic model checking techniques.- Rewriting-based theorem proving, including (co)inductive theorem proving.- Rewriting-based constraint solving and satisfiability.
Описание: This book constitutes the post-conference proceedings of the 17th International Conference on Information Security and Cryptology, Inscrypt 2021, in August 2021. The papers presents papers about research advances in all areas of information security, cryptology, and their applications.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions.
This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020.
The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs.
Chapter 'Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Chapter 'High-level Modelling for Typed Functional Programming' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Описание: This book constitutes the proceedings of the 4th International Workshop on Chatbot Research and Design, CONVERSATIONS 2020, which was held during November 23-24, 2020, hosted by the University of Amsterdam.
Автор: Asbj?rn F?lstad; Theo Araujo; Symeon Papadopoulos; Название: Chatbot Research and Design ISBN: 3030395391 ISBN-13(EAN): 9783030395391 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 18 revised full papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are grouped in the following topical sections: user and communication studies user experience and design, chatbots for collaboration, chatbots for customer service, and chatbots in education.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
