This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Cope...Loe edasi...
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Cope...Loe edasi...
Thinking Like a Computer is the result of a detailed 30-year study of how computers imitate life. Although they are machines, computers are designed to act like human beings. Software is specifically created to help accomplish human-like tasks and to...Loe edasi...
(Ilmumisaeg: 01-Jun-2018, PDF+DRM, Kirjastus: Nova Science Publishers Inc, ISBN-13: 9781536138047)
This book is primarily for computer scientists who research the individual and multitudes intelligence and knowledge representation. The author attempts to answer the following question: Can intelligence spontaneously emerge? The answer is yes. Expe...Loe edasi...
(Ilmumisaeg: 13-Dec-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319698984)
This book provides an interdisciplinary approach to complexity, combining ideas from areas like complex networks, cellular automata, multi-agent systems, self-organization and game theory. The first part of the book provides an extensive introduction...Loe edasi...
(Ilmumisaeg: 13-Dec-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319698984)
This book provides an interdisciplinary approach to complexity, combining ideas from areas like complex networks, cellular automata, multi-agent systems, self-organization and game theory. The first part of the book provides an extensive introduction...Loe edasi...
(Ilmumisaeg: 01-Dec-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319682464)
This book uncovers mathematical structures underlying natural intelligence and applies category theory as a modeling language for understanding human cognition, giving readers new insights into the nature of human thought. In this context, the book e...Loe edasi...
(Ilmumisaeg: 01-Dec-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319682464)
This book uncovers mathematical structures underlying natural intelligence and applies category theory as a modeling language for understanding human cognition, giving readers new insights into the nature of human thought. In this context, the book e...Loe edasi...
(Ilmumisaeg: 27-Jun-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319587325)
This book is designed to make accessible to nonspecialists the still evolving concepts of quantum mechanics and the terminology in which these are expressed. The opening chapters summarize elementary concepts of twentieth century quantum mechanics an...Loe edasi...
(Ilmumisaeg: 27-Jun-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319587325)
This book is designed to make accessible to nonspecialists the still evolving concepts of quantum mechanics and the terminology in which these are expressed. The opening chapters summarize elementary concepts of twentieth century quantum mechanics an...Loe edasi...
Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi
Sari: Lecture Notes in Artificial Intelligence
(Ilmumisaeg: 12-Jun-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319597584)
This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017.The 21 revised full and 23 short papers presented were carefully reviewed an...Loe edasi...
Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi
Sari: Lecture Notes in Artificial Intelligence
(Ilmumisaeg: 12-Jun-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319597584)
This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017.The 21 revised full and 23 short papers presented were carefully reviewed an...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 04-Jun-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319591476)
This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. The 126 revised full papers presented in this...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 04-Jun-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319591476)
This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. The 126 revised full papers presented in this...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 04-Jun-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319591537)
This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. The 126 revised full papers presented in this...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 04-Jun-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319591537)
This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. The 126 revised full papers presented in this...Loe edasi...
(Ilmumisaeg: 14-Nov-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662538876)
The two-volume set LNCS 10031 and LNCS 10032 constitutes the refereed proceedings of the 22nd International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2016, held in Hanoi, Vietnam, in December 2016. Th...Loe edasi...
(Ilmumisaeg: 14-Nov-2016, EPUB+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662538876)
The two-volume set LNCS 10031 and LNCS 10032 constitutes the refereed proceedings of the 22nd International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2016, held in Hanoi, Vietnam, in December 2016. Th...Loe edasi...
(Ilmumisaeg: 19-Oct-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319476773)
This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together wit...Loe edasi...
Raffaele Cerulli, Satoru Fujishige, A. Ridha Mahjoub
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 09-Sep-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319455877)
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Combinatorial Optimization, ISCO 2016, held in Vietri sul Mare, Italy, in May 2016. The 38 revised full papers presented in this book were...Loe edasi...
