(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...
(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...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 05-Aug-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662529478)
The book is based on the PhD thesis "e;Descriptive Set Theoretic Methods in Automata Theory,"e; awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected...Loe edasi...
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social ch...Loe edasi...
(Ilmumisaeg: 03-Jun-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319406480)
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from...Loe edasi...
Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, Alessandro Di Nuovo, Mario Pavone, El-Ghazali Talbi
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 01-Jun-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319396361)
This book constitutes the refereed proceedings of the 10th International Workshop on Hybrid Metaheuristics, HM 2016, held in Plymouth, UK, in June 2016.The 15 revised full papers presented were carefully reviewed and selected from 43 submissions. The...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 15-Jul-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319216904)
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers prese...Loe edasi...
(Ilmumisaeg: 13-Jul-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319216683)
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers prese...Loe edasi...
Many complex aeronautical design problems can be formulated with efficient multi-objective evolutionary optimization methods and game strategies.This book describes the role of advanced innovative evolution tools in the solution, or the set of soluti...Loe edasi...
(Ilmumisaeg: 26-Jun-2014, PDF+DRM, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461492603)
This textbook is a thorough, accessible introduction to digital Fourier analysis for undergraduate students in the sciences. Beginning with the principles of sine/cosine decomposition, the reader walks through the principles of discrete Fourier analy...Loe edasi...
(Ilmumisaeg: 26-Jun-2014, PDF+DRM, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781493911271)
This textbook is a thorough, accessible introduction to advanced digital Fourier analysis for advanced students. Assuming knowledge of the Fast Fourier Transform, this book covers advanced topics including the Hilbert transform, cepstrum analysis and...Loe edasi...
(Ilmumisaeg: 06-Dec-2012, PDF+DRM, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461222668)
The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this purpose. But it was not until the appearance of Freges 1879 Begriffsschrift-"e;not only the direc...Loe edasi...
(Ilmumisaeg: 21-Dec-2007, PDF+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814500142)
The Monte Carlo method is inherently parallel and the extensive and rapid development in parallel computers, computational clusters and grids has resulted in renewed and increasing interest in this method. At the same time there has been an expansion...Loe edasi...
(Ilmumisaeg: 22-Nov-1999, PDF+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814518161)
Evolutionary computation is the study of computational systems which use ideas and get inspiration from natural evolution and adaptation. This book is devoted to the theory and application of evolutionary computation. It is a self-contained volume wh...Loe edasi...
