Implementation and Application of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings, Maneth Sebastian

Автор: Buchs Didier, Carmona Josep
Название: Application and Theory of Petri Nets and Concurrency: 42nd International Conference, Petri Nets 2021, Virtual Event, June 23-25, 2021, Proceedings
ISBN: 3030769828 ISBN-13(EAN): 9783030769826
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions.

Автор: Chamberlain Bradford L., Varbanescu Ana-Lucia, Ltaief Hatem
Название: High Performance Computing: 36th International Conference, Isc High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings
ISBN: 3030787125 ISBN-13(EAN): 9783030787127
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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;

Автор: Thomson Robert, Hussain Muhammad Nihal, Dancy Christopher
Название: Social, Cultural, and Behavioral Modeling: 14th International Conference, Sbp-Brims 2021, Virtual Event, July 6-9, 2021, Proceedings
ISBN: 3030803864 ISBN-13(EAN): 9783030803865
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula
Название: Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II
ISBN: 3030786412 ISBN-13(EAN): 9783030786410
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula
Название: Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III
ISBN: 3030786447 ISBN-13(EAN): 9783030786441
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Silva Alexandra, Leino K. Rustan M.
Название: Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
ISBN: 3030816842 ISBN-13(EAN): 9783030816841
Издательство: Springer
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Silva Alexandra, Leino K. Rustan M.
Название: Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
ISBN: 3030816877 ISBN-13(EAN): 9783030816872
Издательство: Springer
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Karlapalem Kamal, Cheng Hong, Ramakrishnan Naren
Название: Advances in Knowledge Discovery and Data Mining: 25th Pacific-Asia Conference, Pakdd 2021, Virtual Event, May 11-14, 2021, Proceedings, Part II
ISBN: 3030757641 ISBN-13(EAN): 9783030757649
Издательство: Springer
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 3-volume set LNAI 12712-12714 constitutes the proceedings of the 25th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2021, which was held during May 11-14, 2021.The 157 papers included in the proceedings were carefully reviewed and selected from a total of 628 submissions.

Автор: Calamoneri Tiziana, Corт Federico
Название: Algorithms and Complexity: 12th International Conference, Ciac 2021, Virtual Event, May 10-12, 2021, Proceedings
ISBN: 3030752410 ISBN-13(EAN): 9783030752415
Издательство: Springer
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 12th International Conference on Algorithms and Complexity, CIAC 2019, held as a virtual event, in May 2021. The 28 full papers presented together with one invited lecture and 2 two abstracts of invited lectures were carefully reviewed and selected from 78 submissions.

Автор: Chomphuwiset Phatthanaphong, Kim Junmo, Pawara Pornntiwa
Название: Multi-Disciplinary Trends in Artificial Intelligence: 14th International Conference, Miwai 2021, Virtual Event, July 2-3, 2021, Proceedings
ISBN: 3030802523 ISBN-13(EAN): 9783030802523
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Karlapalem Kamal, Cheng Hong, Ramakrishnan Naren
Название: Advances in Knowledge Discovery and Data Mining: 25th Pacific-Asia Conference, Pakdd 2021, Virtual Event, May 11-14, 2021, Proceedings, Part I
ISBN: 3030757617 ISBN-13(EAN): 9783030757618
Издательство: Springer
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 3-volume set LNAI 12712-12714 constitutes the proceedings of the 25th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2021, which was held during May 11-14, 2021.The 157 papers included in the proceedings were carefully reviewed and selected from a total of 628 submissions.

Автор: Karlapalem Kamal, Cheng Hong, Ramakrishnan Naren
Название: Advances in Knowledge Discovery and Data Mining: 25th Pacific-Asia Conference, Pakdd 2021, Virtual Event, May 11-14, 2021, Proceedings, Part III
ISBN: 3030757676 ISBN-13(EAN): 9783030757670
Издательство: Springer
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 3-volume set LNAI 12712-12714 constitutes the proceedings of the 25th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2021, which was held during May 11-14, 2021.The 157 papers included in the proceedings were carefully reviewed and selected from a total of 628 submissions.