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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
Sērija : Theoretical Computer Science and General Issues
(Izdošanas datums: 05-Aug-2016, PDF+DRM, Izdevniecība: 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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
(Izdošanas datums: 26-Jun-2014, PDF+DRM, Izdevniecība: 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...Lasīt vairāk
(Izdošanas datums: 26-Jun-2014, PDF+DRM, Izdevniecība: 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...Lasīt vairāk
(Izdošanas datums: 06-Dec-2012, PDF+DRM, Izdevniecība: 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...Lasīt vairāk
(Izdošanas datums: 21-Dec-2007, PDF+DRM, Izdevniecība: 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...Lasīt vairāk
(Izdošanas datums: 22-Nov-1999, PDF+DRM, Izdevniecība: 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...Lasīt vairāk
