Tags
Language
Tags
May 2024
Su Mo Tu We Th Fr Sa
28 29 30 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31 1

Quantitative Evaluation of Systems

Posted By: AvaxGenius
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings by Alessandro Abate
English | EPUB (True) | 2021 | 469 Pages | ISBN : 3030851710 | 47.9 MB

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.

Quantitative Evaluation of Systems

Posted By: AvaxGenius
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings by Erika Ábrahám, Marco Paolieri
English | PDF,EPUB | 2022 | 406 Pages | ISBN : 3031163354 | 47.4 MB

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.
The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.

Quantitative Evaluation of Systems

Posted By: AvaxGenius
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings by Alessandro Abate
English | PDF | 2021 | 469 Pages | ISBN : 3030851710 | 24.4 MB

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.

Active Inference

Posted By: AvaxGenius
Active Inference

Active Inference: First International Workshop, IWAI 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14, 2020, Proceedings by Tim Verbelen
English | PDF | 2020 | 205 Pages | ISBN : 3030649180 | 21.3 MB

This book constitutes the refereed proceedings of the First International Workshop on Active Inference, IWAI 2020, co-located with ECML/PKDD 2020, held in Ghent, Belgium, in September 2020.