Описание: This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions.
Описание: Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
Описание: This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021. They present original research on the theory, design and application of algorithms and data structures.
Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.
Описание: This book constitutes the proceedings of the 14th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2021, which was held online during July 6-9, 2021.The 32 full papers presented in this volume were carefully reviewed and selected from 56 submissions.
Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.
Описание: The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
Описание: This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions.
Описание: The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
Описание: 3D Point Cloud Upsampling and Colorization using GAN.- Learning Behavioral Rules from Multi-Agent Simulations for Optimizing Hospital Processes.- An Open-World Novelty Generator for Authoring Reinforcement Learning Environment of Standardized Toolkits.- Book Cover and Content Similarity Retrieval using Computer Vision and NLP Techniques.- Fast Classification Learning with Neural Networks and Conceptors for Speech Recognition and Car Driving Maneuvers.- Feature Group Importance for Automated Essay Scoring.- Feature Extraction Efficient for Face Verification Based on Residual Network Architecture.- Acquiring Input Features from Stock Market Summaries: A NLG Perspective.- A Comparative of A New Hybrid based on Neural Networks and SARIMA Models for Time Series Forecasting.- Cartpole Problem with PDL and GP using Multi-Objective Fitness Functions Differing in A Priori Knowledge.- Learning Robot Arm Controls using Augmented Random Search in Simulated Environments.- An Analytical Evaluation of a Deep Learning Model to Detect Network Intrusion.- Application of Machine Learning Techniques to Predict Breast Cancer Survival.- Thai Handwritten Recognition on BEST2019 Datasets using Deep Learning.- Comparing of Multi-class Text Classification Methods for Automatic Ratings of Consumer Reviews.- Designing An Algorithm for Scheduling Tasks for Multiagent Systems.
Описание: This book constitutes the refereed proceedings of the 36th International Conference on High Performance Computing, ISC High Performance 2021, held virtually in June/July 2021.The 24 full papers presented were carefully reviewed and selected from 74 submissions. performance modeling, evaluation, and analysis;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
