This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submi…
Advances in artificial intelligence, software and systems engineering: proceedings of the AHFE 2021 Virtual Conferences …
by Karwowski, Waldemar, Ahram, Tareq Z., International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences, Online), Kalra, Jay, International Conference on Human Factors in Artificial Intelligence and Social Computing, Online)
fromLecture notes in networks and systems
This book addresses emerging issues concerning the integration of artificial intelligence systems in our daily lives. It focuses on the cognitive, visual, social and analytical aspects of computing and intelligent technologies, and highlights ways to improve the acceptance, effe…
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed …
The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021. The event was organized in a hybrid mode due to th…
The ten-volume set LNCS 12949 -12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13-16, 2021. The event was organized in a hybrid mode due to the C…
This book contains papers accepted for IP & C 2015, the International Conference on Image Processing and Communications, held at UTP University of Science and Technology, Bydgoszcz, Poland, September 9-11, 2015. This conference was the eighth edition in the IP & C series of annu…
This book contains papers accepted for IP & C 2015, the International Conference on Image Processing and Communications, held at UTP University of Science and Technology, Bydgoszcz, Poland, September 9-11, 2015. This conference was the eighth edition in the IP & C series of annu…
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers …
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers …
This volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, held in Innopolis, Russia, in June 2021. The 13 presented full papers were thoroughly reviewed and selected from 37 submissions. The papers p…
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48…