Subcategories

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Posted By: AvaxGenius
Leveraging Applications of Formal Methods, Verification and Validation: Applications

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III by Tiziana Margaria
English | PDF | 2020 | 498 Pages | ISBN : 3030614662 | 28 MB

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.

Cloud Computing, Big Data & Emerging Topics

Posted By: AvaxGenius
Cloud Computing, Big Data & Emerging Topics

Cloud Computing, Big Data & Emerging Topics: 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings by Enzo Rucci
English | PDF | 2020 | 173 Pages | ISBN : 3030612171 | 15.8 MB

This book constitutes the revised selected papers of the 8th International Conference on Cloud Computing, Big Data & Emerging Topics, JCC-BD&ET 2020, held in La Plata, Argentina*, in September 2020.

Artificial Intelligence and Soft Computing

Posted By: AvaxGenius
Artificial Intelligence and Soft Computing

Artificial Intelligence and Soft Computing: 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I by Leszek Rutkowski
English | PDF | 2020 | 741 Pages | ISBN : 303061400X | 86.4 MB

The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2020, held in Zakopane, Poland*, in October 2020.

High Performance Computing

Posted By: AvaxGenius
High Performance Computing

High Performance Computing: ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers by Heike Jagode
English | PDF | 2020 | 388 Pages | ISBN : 3030598500 | 44.75 MB

This book constitutes the refereed post-conference proceedings of 10 workshops held at the 35th International ISC High Performance 2020 Conference, in Frankfurt, Germany, in June 2020:

Artificial Neural Networks and Machine Learning – ICANN 2020

Posted By: AvaxGenius
Artificial Neural Networks and Machine Learning – ICANN 2020

Artificial Neural Networks and Machine Learning – ICANN 2020: 29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15–18, 2020, Proceedings, Part I by Igor Farkaš
English | PDF | 2020 | 901 Pages | ISBN : 3030616088 | 91.4 MB

The proceedings set LNCS 12396 and 12397 constitute the proceedings of the 29th International Conference on Artificial Neural Networks, ICANN 2020, held in Bratislava, Slovakia, in September 2020.*

Web and Big Data

Posted By: AvaxGenius
Web and Big Data

Web and Big Data: 4th International Joint Conference, APWeb-WAIM 2020, Tianjin, China, September 18-20, 2020, Proceedings, Part I by Xin Wang
English | PDF | 2020 | 844 Pages | ISBN : 3030602583 | 53.55 MB

This two-volume set, LNCS 11317 and 12318, constitutes the thoroughly refereed proceedings of the 4th International Joint Conference, APWeb-WAIM 2020, held in Tianjin, China, in September 2020. Due to the COVID-19 pandemic the conference was organizedas a fully online conference.

Trends and Applications in Knowledge Discovery and Data Mining

Posted By: AvaxGenius
Trends and Applications in Knowledge Discovery and Data Mining

Trends and Applications in Knowledge Discovery and Data Mining: PAKDD 2020 Workshops, DSFN, GII, BDM, LDRC and LBD, Singapore, May 11–14, 2020, Revised Selected Papers by Wei Lu
English | PDF | 2020 | 195 Pages | ISBN : 3030604691 | 17.33 MB

This book constitutes the thoroughly refereed post-workshop proceedings of the workshops that were held in conjunction with the 24th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2020, in Singapore, Singapore, in May 2020.

Cooperative Design, Visualization, and Engineering

Posted By: AvaxGenius
Cooperative Design, Visualization, and Engineering

Cooperative Design, Visualization, and Engineering: 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings by Yuhua Luo
English | PDF | 2020 | 395 Pages | ISBN : 3030608158 | 55.1 MB

This book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2020, held in Bangkok, Thailand, in October 2020.*

Embedded Computer Systems: Architectures, Modeling, and Simulation

Posted By: AvaxGenius
Embedded Computer Systems: Architectures, Modeling, and Simulation

Embedded Computer Systems: Architectures, Modeling, and Simulation: 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings by Alex Orailoglu
English | PDF | 2020 | 383 Pages | ISBN : 3030609383 | 29.94 MB

This book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2020, held in Samos, Greece, in July 2020.*

Intelligent Systems

Posted By: AvaxGenius
Intelligent Systems

Intelligent Systems: 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part II by Ricardo Cerri
English | PDF | 2020 | 697 Pages | ISBN : 3030613798 | 63.84 MB

The two-volume set LNAI 12319 and 12320 constitutes the proceedings of the 9th Brazilian Conference on Intelligent Systems, BRACIS 2020, held in Rio Grande, Brazil, in October 2020.

Ad-Hoc, Mobile, and Wireless Networks

Posted By: AvaxGenius
Ad-Hoc, Mobile, and Wireless Networks

Ad-Hoc, Mobile, and Wireless Networks: 19th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2020, Bari, Italy, October 19–21, 2020, Proceedings by Luigi Alfredo Grieco
English | PDF | 2020 | 320 Pages | ISBN : 3030617459 | 27.6 MB

This book constitutes the refereed proceedings of the 19th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ADHOC-NOW 2020, held in Bari, Italy, in October 2020.*

HCI International 2020 - Late Breaking Papers: Multimodality and Intelligence

Posted By: AvaxGenius
HCI International 2020 - Late Breaking Papers: Multimodality and Intelligence

HCI International 2020 - Late Breaking Papers: Multimodality and Intelligence: 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings by Constantine Stephanidis
English | PDF | 2020 | 552 Pages | ISBN : 3030601161 | 102.9 MB

This book constitutes late breaking papers from the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020. The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.

Visual Privacy Management: Design and Applications of a Privacy-Enabling Platform

Posted By: AvaxGenius
Visual Privacy Management: Design and Applications of a Privacy-Enabling Platform

Visual Privacy Management: Design and Applications of a Privacy-Enabling Platform by Mattia Salnitri
English | PDF,EPUB | 2020 | 161 Pages | ISBN : 3030599434 | 34 MB

Privacy is a burden for most organizations, the more complex and wider an organization is, the harder to manage and enforce privacy is.

Social Informatics

Posted By: AvaxGenius
Social Informatics

Social Informatics: 12th International Conference, SocInfo 2020, Pisa, Italy, October 6–9, 2020, Proceedings by Samin Aref
English | PDF | 2020 | 479 Pages | ISBN : 303060974X | 38.66 MB

This volume constitutes the proceedings of the 12th International Conference on Social Informatics, SocInfo 2020, held in Pisa, Italy, in October 2020.

Information and Software Technologies

Posted By: AvaxGenius
Information and Software Technologies

Information and Software Technologies: 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15–17, 2020, Proceedings by Audrius Lopata
English | PDF | 2020 | 392 Pages | ISBN : 3030595056 | 46.8 MB

This book constitutes the refereed proceedings of the 26th International Conference on Information and Software Technologies, ICIST 2020, held in Kaunas, Lithuania, in October 2020.