Tags
Language
Tags

Reversible Computation

Posted By: AvaxGenius
Reversible Computation

Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings by Claudio Antares Mezzina
English | PDF | 2022 | 245 Pages | ISBN : 3031090047 | 8.1 MB

This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.

Detection of Intrusions and Malware, and Vulnerability Assessment

Posted By: AvaxGenius
Detection of Intrusions and Malware, and Vulnerability Assessment

Detection of Intrusions and Malware, and Vulnerability Assessment: 19th International Conference, DIMVA 2022, Cagliari, Italy, June 29 –July 1, 2022, Proceedings by Lorenzo Cavallaro
English | PDF | 2022 | 229 Pages | ISBN : 3031094832 | 12.6 MB

This book constitutes the proceedings of the 19th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2022, held in Cagliari, Italy, in June – July 2021.
The 10 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 39 submissions.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Posted By: AvaxGenius
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings by Jiřina Vejnarová
English | EPUB | 2021 | 694 Pages | ISBN : 3030867714 | 58.9 MB

This book constitutes the refereed proceedings of the 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2021, held in Prague, Czech Republic, in September 2021.
The 48 full papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections about argumentation and analogical reasoning, Bayesian networks and graphical models, belief functions, imprecise probability, inconsistency handling and preferences, possibility theory and fuzzy approaches, and probability logic.

Computer Science – CACIC 2021

Posted By: AvaxGenius
Computer Science – CACIC 2021

Computer Science – CACIC 2021: 27th Argentine Congress, CACIC 2021, Salta, Argentina, October 4–8, 2021, Revised Selected Papers by Patricia Pesado
English | EPUB | 2022 | 321 Pages | ISBN : 3031059026 | 35.1 MB

This book constitutes revised selected papers from the 27th Argentine Congress on Computer Science, CACIC 2021, held in Salta, Argentina in October 2021. Due to the COVID-19 pandemic the conference was held in a virtual mode.

Accelerator Programming Using Directives

Posted By: AvaxGenius
Accelerator Programming Using Directives

Accelerator Programming Using Directives: 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings by Sridutt Bhalachandra
English | EPUB | 2022 | 157 Pages | ISBN : 3030977587 | 20.1 MB

This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.
WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel computing systems. The 7 papers presented in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections named: Directive Alternatives; Directive Extensions; and Directive Case Studies.

Intelligent Computer Mathematics

Posted By: AvaxGenius
Intelligent Computer Mathematics

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings by Fairouz Kamareddine
English | EPUB | 2021 | 263 Pages | ISBN : 3030810968 | 12.8 MB

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.
The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

Computer Science – CACIC 2020

Posted By: AvaxGenius
Computer Science – CACIC 2020

Computer Science – CACIC 2020: 26th Argentine Congress, CACIC 2020, San Justo, Buenos Aires, Argentina, October 5–9, 2020, Revised Selected Papers by Patricia Pesado
English | EPUB | 2022 | 361 Pages | ISBN : 3030758354 | 28.8 MB

This book constitutes revised selected papers from the 26th Argentine Congress on Computer Science, CACIC 2020, held in San Justo, Buenos Aires, Argentina in October 2020. Due to the COVID-19 pandemic the conference was held in a virtual mode.

Genetic Programming

Posted By: AvaxGenius
Genetic Programming

Genetic Programming: 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings by Eric Medvet
English | EPUB | 2022 | 317 Pages | ISBN : 3031020553 | 32.8 MB

This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, EuroGP 2022, held as part of Evo*2021, as Virtual Event, in April 2022, co-located with the Evo*2022 events, EvoCOP, EvoMUSART, and EvoApplications. The 12 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 35 submissions. The wide range of topics in this volume reflects the current state of research in the field. The collection of papers cover topics including developing new operators for variants of GP algorithms, as well as exploring GP applications to the optimization of machine learning methods and the evolution of complex combinational logic circuits.

Search-Based Software Engineering

Posted By: AvaxGenius
Search-Based Software Engineering

Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings by Una-May O'Reilly
English | EPUB | 2021 | 176 Pages | ISBN : 3030881059 | 12.8 MB

This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021.

NASA Formal Methods

Posted By: AvaxGenius
NASA Formal Methods

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings by Aaron Dutle
English | PDF | 2021 | 416 Pages | ISBN : 3030763838 | 20.6 MB

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.
The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. 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.

Computer Science – CACIC 2021

Posted By: AvaxGenius
Computer Science – CACIC 2021

Computer Science – CACIC 2021: 27th Argentine Congress, CACIC 2021, Salta, Argentina, October 4–8, 2021, Revised Selected Papers by Patricia Pesado
English | PDF | 2022 | 321 Pages | ISBN : 3031059026 | 27.1 MB

This book constitutes revised selected papers from the 27th Argentine Congress on Computer Science, CACIC 2021, held in Salta, Argentina in October 2021. Due to the COVID-19 pandemic the conference was held in a virtual mode.

Accelerator Programming Using Directives

Posted By: AvaxGenius
Accelerator Programming Using Directives

Accelerator Programming Using Directives: 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings by Sridutt Bhalachandra
English | PDF | 2022 | 157 Pages | ISBN : 3030977587 | 7.9 MB

This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.

Computer Safety, Reliability, and Security

Posted By: AvaxGenius
Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security: 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings by Ibrahim Habli
English | EPUB | 2021 | 283 Pages | ISBN : 3030839028 | 28.7 MB

This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021.

Computer Science – CACIC 2020

Posted By: AvaxGenius
Computer Science – CACIC 2020

Computer Science – CACIC 2020: 26th Argentine Congress, CACIC 2020, San Justo, Buenos Aires, Argentina, October 5–9, 2020, Revised Selected Papers by Patricia Pesado
English | PDF | 2022 | 361 Pages | ISBN : 3030758354 | 27.3 MB

This book constitutes revised selected papers from the 26th Argentine Congress on Computer Science, CACIC 2020, held in San Justo, Buenos Aires, Argentina in October 2020. Due to the COVID-19 pandemic the conference was held in a virtual mode.

Genetic Programming

Posted By: AvaxGenius
Genetic Programming

Genetic Programming: 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings by Eric Medvet
English | PDF | 2022 | 317 Pages | ISBN : 3031020553 | 15.6 MB

This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, EuroGP 2022, held as part of Evo*2021, as Virtual Event, in April 2022, co-located with the Evo*2022 events, EvoCOP, EvoMUSART, and EvoApplications. The 12 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 35 submissions. The wide range of topics in this volume reflects the current state of research in the field. The collection of papers cover topics including developing new operators for variants of GP algorithms, as well as exploring GP applications to the optimization of machine learning methods and the evolution of complex combinational logic circuits.