Hardware

This book constitutes the refereed proceedings of the 10th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2022, held in Maribor, Slovenia, in November 2022 …

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book wer …

This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022.The 9 full papers presented i …

This book constitutes selected papers presented at the First International Scientific and Practical Conference on Information Technologies and Intelligent Decision Making Systems, ITIDMS 2021, held a …

This book constitutes the proceedings of the Second International Conference on Optimization, Learning Algorithms and Applications, OL2A 2022, held in Braganca, Portugal, in October 2022.The 53 full …

Edge AI is transforming the way computers interact with the real world, allowing Io T devices to make decisions using the 99% of sensor data that was previously discarded due to cost, bandwidth, or p …

This book constitutes the refereed proceedings of the 12th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production …

This book constitutes the proceedings of the 15th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2021, held in Winterthur, Switzerland, in September 2022. The 14 full papers …

This book constitutes refereed proceedings of the First International Conference on Smart Technologies, Systems and Applications, held in Quito, Ecuador, in December 2019. The 27 full papers and 3 sh …

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israe …