Search for Topics All Reviews
	Browse All Reviews > General Term: Theory     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 10339 Reviews with General Term: Theory Date Reviewed   Variants of evolutionary algorithms for real-world applications Chiong R., Weise T., Michalewicz Z.,  Springer Publishing Company, Incorporated, Berlin, Germany, 2012. 480 pp. Type: Book (978-3-642234-23-1) According to many, evolutionary algorithms (EAs) were first conceived of in Lawrence Fogel’s doctoral thesis, which led to evolutionary programming as a means of achieving “artificial intelligence through simulated evolution”... Jun 18 2013   Approximation algorithms for a minimization variant of the order-preserving submatrices and for biclustering problems Hochbaum D., Levin A.  ACM Transactions on Algorithms 9(2): 1-12, 2013. Type: Article This well-written paper proposes two approximation algorithms for the MinOPSM problem, which is the complement of the order-preserving submatrix (OPSM) problem by Ben-Dor et al. [1]. The authors provide a 5-approximation algorithm for MinOPSM ,... Jun 17 2013   Concurrent programming: algorithms, principles, and foundations Raynal M.,  Springer Publishing Company, Incorporated, Berlin, Germany, 2013. 538 pp. Type: Book (978-3-642320-26-2) A very comprehensive treatment of both fundamentals and recent results in concurrent programming is presented in this book. The practical importance of this topic has increased recently due to emerging concurrent computer architectures including... Jun 13 2013   Consensus and synchronization in complex networks Kocarev L.,  Springer Publishing Company, Incorporated, Berlin, Germany, 2013. 284 pp. Type: Book (978-3-642333-58-3) This book contains ten papers that discuss different aspects of consensus and synchronization problems in complex networks. Even though the papers are called chapters, they are only loosely connected and do not rely on one another. The first four ... Jun 12 2013   Programming with higher-order logic Miller D., Nadathur G.,  Cambridge University Press, New York, NY, 2012. 320 pp. Type: Book (978-0-521879-40-8) As an experienced user of higher-order logic in the context of theorem proving and verification, I was intrigued and excited by the title of this book, which combines this powerful framework with the practical idea of “programming.”... Jun 10 2013   Object tracking in the presence of occlusions using multiple cameras: A sensor network approach Ercan A., Gamal A., Guibas L.  ACM Transactions on Sensor Networks 9(2): 1-36, 2013. Type: Article The nontrivial problem of automating surveillance through a camera sensor-based wireless network, which may involve multiple static and moving occluders, is addressed in this paper.... May 31 2013   Investment strategies optimization based on a SAX-GA methodology Canelas A., Neves R., Horta N.,  Springer Publishing Company, Incorporated, 2012. 93 pp. Type: Book (978-3-642331-09-1) “History repeats itself.” This old saying leads forecasters to analyze past movements to predict the future. If investors can successfully apply this to financial markets, they ought to get rich quickly. However, financial theories... May 30 2013   Deciding polynomial-transcendental problems McCallum S., Weispfenning V.  Journal of Symbolic Computation 47(1): 16-31, 2012. Type: Article The theory of quantifier elimination over real closed fields goes back to Tarski [1], though practical methods had to wait for Collins in 1975 [2]. Given a formula Q1x1, ,... May 14 2013   Integrating theoretical and empirical computer science in a data structures course Coffey J.  SIGCSE 2013 (Proceeding of the 44th ACM Technical Symposium on Computer Science Education, Denver, CO,  Mar 6-9, 2013) 23-28, 2013. Type: Proceedings There is nothing surprising or original about proposing to make discrete mathematics “relevant” to students of computer science. Nor is it controversial to have weekly two-hour labs, or to assign programming projects where students... May 13 2013   Matrix analysis (2nd ed.) Horn R., Johnson C.,  Cambridge University Press, New York, NY, 2013. 664 pp. Type: Book (978-0-521548-23-6) There are few computational algorithms in this book; the authors are interested in what matrices represent.... May 13 2013       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2013 ThinkLoud, Inc. Terms of Use | Privacy Policy