Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 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 2 3 4 5 6

Applied Reconfigurable Computing. Architectures, Tools, and Applications

Posted By: AvaxGenius
Applied Reconfigurable Computing. Architectures, Tools, and Applications

Applied Reconfigurable Computing. Architectures, Tools, and Applications: 19th International Symposium, ARC 2023, Cottbus, Germany, September 27–29, 2023, Proceedings by Francesca Palumbo, Georgios Keramidas, Nikolaos Voros, Pedro C. Diniz
English | PDF (True) | 2023 | 380 Pages | ISBN : 3031429206 | 33.1 MB

This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023.The 18 full papers presented in this volume were reviewed and selected from numerous submissions. The proceedings also contain 4 short PhD papers. The contributions were organized in topical sections as follows: Design methods and tools; applications; architectures; special session: near and in-memory computing; and PhD forum papers.

Logic, Language, Information, and Computation

Posted By: AvaxGenius
Logic, Language, Information, and Computation

Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings by Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz
English | PDF (True) | 2023 | 419 Pages | ISBN : 3031397835 | 7.3 MB

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023.The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.

Artificial General Intelligence

Posted By: AvaxGenius
Artificial General Intelligence

Artificial General Intelligence: 15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings by Ben Goertzel, Matt Iklé, Alexey Potapov, Denis Ponomaryov
English | EPUB | 2023 | 486 Pages | ISBN : 3031199065 | 40.6 MB

This book constitutes the refereed proceedings of the 15th International Conference on Artificial General Intelligence, AGI 2022, held as a hybrid event in Seattle, WA, USA, in August 2022.
The 31 full papers presented in this book were carefully reviewed and selected from 61 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems biology, goal generation, and learning systems, and so much more. Additionally, this volume contains 13 posters.

MultiMedia Modeling

Posted By: AvaxGenius
MultiMedia Modeling

MultiMedia Modeling: 29th International Conference, MMM 2023, Bergen, Norway, January 9–12, 2023, Proceedings, Part I by Duc-Tien Dang-Nguyen, Cathal Gurrin, Martha Larson, Alan F. Smeaton, Stevan Rudinac, Minh-Son Dao, Christoph Trattner, Phoebe Chen
English | PDF | 2023 | 719 Pages | ISBN : 3031270762 | 98 MB

The two-volume set LNCS 13833 and LNCS 13834 constitutes the proceedings of the 29th International Conference on MultiMedia Modeling, MMM 2023, which took place in Bergen, Norway, during January 9-12, 2023.

Mathematics of Program Construction

Posted By: AvaxGenius
Mathematics of Program Construction

Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings by Ekaterina Komendantskaya
English | EPUB | 2022 | 269 Pages | ISBN : 3031169115 | 42 MB

This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022.

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

Posted By: AvaxGenius
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops: DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings by Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch
English | PDF | 2022 | 360 Pages | ISBN : 3031148614 | 13.7 MB

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.
The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions.

Diagrammatic Representation and Inference

Posted By: AvaxGenius
Diagrammatic Representation and Inference

Diagrammatic Representation and Inference: 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings by Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana
English | PDF | 2022 | 386 Pages | ISBN : 3031151453 | 37.7 MB

This book constitutes the refereed proceedings of the 13th International Conference on the Theory and Application of Diagrams, Diagrams 2022, held in Rome, Italy, in September 2022.
The 11 full papers and 19 short papers presented together with 5 posters were carefully reviewed and selected from 58 submissions.

Advanced Virtual Environments and Education

Posted By: AvaxGenius
Advanced Virtual Environments and Education

Advanced Virtual Environments and Education: Third International Workshop, WAVE 2021, Fortaleza, Brazil, March 21–24, 2021, Revised Selected Papers by Tiago T. Primo, Alex S. Gomes, Fernando Moreira, César Collazos
English | PDF | 2022 | 155 Pages | ISBN : 3031070178 | 10.6 MB

This volume revised versions of the selected papers presented during the Third International Workshop on Advanced Virtual Environments and Education, WAVE 2021, held in Fortaleza, Brazil, in March 2021.
The 7 full papers and 4 short papers presented were thoroughly reviewed and selected from the 27 submissions. The papers are organized in the following topical sections: ​learning scenarios and grouping methods; applications and scenarios, phigital, CS education and assessment; human computer interfaces for education, study cases for accessibility and wellbeing.

Logic Programming and Nonmonotonic Reasoning

Posted By: AvaxGenius
Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings by Georg Gottlob, Daniela Inclezan, Marco Maratea
English | EPUB(True) | 2022 | 536 Pages | ISBN : 3031157060 | 44.6 MB

This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022.
The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; Applications.

Logic Programming and Nonmonotonic Reasoning

Posted By: AvaxGenius
Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings by Georg Gottlob, Daniela Inclezan, Marco Maratea
English | PDF | 2022 | 536 Pages | ISBN : 3031157060 | 12.8 MB

This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022.
The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; Applications.

Logic, Language, Information, and Computation

Posted By: AvaxGenius
Logic, Language, Information, and Computation

Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz
English | PDF,EPUB | 2022 | 441 Pages | ISBN : 3031152972 | 51.7 MB

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions. The conference aims fostering interdisciplinary research in pure and applied logic.

Frontiers of Algorithmics

Posted By: AvaxGenius
Frontiers of Algorithmics

Frontiers of Algorithmics: International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings by Jing Chen, Minming Li, Guochuan Zhang
English | EPUB | 2022 | 108 Pages | ISBN : 3030970981 | 6.5 MB

This book constitutes the proceedings of the 15th International Workshop on Frontiers in Algorithmics, FAW 2021, held in conjunction with second International Joint Conference on Theoretical Computer Science (IJTCS 2021), as IJTCS-FAW 2021, in Beijing, China, in August 2021.

Software Technologies

Posted By: AvaxGenius
Software Technologies

Software Technologies: 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill
English | PDF | 2021 | 274 Pages | ISBN : 3030830063 | 22.6 MB

The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others.

Machines, Computations, and Universality

Posted By: AvaxGenius
Machines, Computations, and Universality

Machines, Computations, and Universality: 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings by Jérôme Durand-Lose, György Vaszil
English | PDF | 2022 | 203 Pages | ISBN : 3031135016 | 4.4 MB

This book constitutes the refereed proceedings of the 9th International Conference on Machines, Computations, and Universality, MCU 2022, held in Debrecen, Hungary, in August/September 2022.
The 10 revised full papers presented were carefully reviewed and selected from 18 submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing).

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 | EPUB | 2022 | 229 Pages | ISBN : 3031094832 | 18.4 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.