Описание: This book constitutes the proceedings of the 19th International Conference on Smart Card Research and Advanced Applications, CARDIS 2020, which took place during November 18-20, 2020. The conference was originally planned to take place in Lubeck, Germany, and changed to an online format due to the COVID-19 pandemic.
This book constitutes the refereed post-conference proceedings of the 10th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2020, held as a virtual event, in September 2020.
The 8 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 42 submissions and are organized in the following topical sections: personality and behavior; behavior in face of adversaries; smart environments; decentralized systems and digital ledgers; and reflections on socio-technical aspects of security.
The Chapter "Statistical Reliability of 10 Years of Cyber Security User Studies" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Автор: 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.
Описание: 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.
Описание: 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 refereed post-conference proceedings of the Third International Symposium on Benchmarking, Measuring, and Optimization, Bench 2020, held virtually in November 2020.The 12 revised full papers and 1 revised short paper presented were carefully reviewed and selected from 28 submissions.
Описание: This book constitutes the refereed post-conference proceedings of the 21st International Conference on Membrane Computing, CMC 2020, held as a virtual event, in September 2020. The 10 full papers presented were selected from 31 submissions. The papers deal with all aspects on membrane computing and related areas.
Описание: This book constitutes extended, revised and selected papers from the 22nd International Conference on Enterprise Information Systems, ICEIS 2020, held online during May 5-7, 2020.The 41 papers presented in this volume were carefully reviewed and selected for inclusion in this book from a total of 255 submissions.
Описание: This two-volume set (CCIS 1393 and CCIS 1394) constitutes selected and revised papers of the 4th International Conference on Advanced Informatics for Computing Research, ICAICR 2020, held in Gurugram, India, in December 2020.
Описание: This two-volume set (CCIS 1393 and CCIS 1394) constitutes selected and revised papers of the 4th International Conference on Advanced Informatics for Computing Research, ICAICR 2020, held in Gurugram, India, in December 2020.
Описание: This book constitutes the thoroughly refereed proceedings of the Third Ibero-American Congress, ICSC-CITIES 2020, held in Costa Rica, in November 2020. The 21 full papers presented were carefully reviewed and selected from 99 submissions. The papers are organized on topical sections on Energy Efficiency and Sustainability;
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
