May 22, 2013 Search
	The HOL light theory of Euclidean space A formal approach to logic and reasoning initiated by Frege in the late 19th and early 20th centuries marked a step function in the evolution of the subject. In the following decades, the foundations of modern mathematics and logic were cemented by the likes of Hilbert and Gödel. The developments in formal... more Take a Look Best Reviews    Notable Books and Articles                              ... more On the feasibility and utility of web-based educational lesson plans: DEV 12 This outstanding paper, which is well worth reading, chronicles the use of the web for education in Kenya and India. The authors begin with two basic questions about the web: What is the quality of... more Computer Uses in Education (K.3.1) | May 20 13 Secure routing in MANETs using local times: Wireless Networks This well-written paper introduces secure time-ordered routing (STOP), a new secure protocol for mobile ad hoc network (MANET) routing that makes use of relative transmission times. The authors’... more Routing Protocols (C.2.2...) | May 20 13 Local search for a multi-drop multi-container loading problem: Journal of Heuristics Container loading problems (CLP) are interesting and easy to appreciate, and span from real-world to abstract mathematical... more Prob. Solving/Control Meth./Search (I.2.8) | May 17 13 Limits of region-based dynamic binary parallelization: VEE 13 Parallel computation is everywhere, from small portable devices to laptops, desktops, and data centers. This wealth of available parallelism challenges computer scientists and developers alike to... more Parallel Architectures (C.1.4) | May 17 13 Digital forensics for enterprise rights management systems: iiWAS 12 Enterprise rights management (ERM) is concerned with managing and protecting data in an enterprise context. Digital forensics issues run into considerations of encryption and access protection. Existing... more Access Controls (D.4.6...) | May 16 13 A fluid-filled soft robot that exhibits spontaneous switching among versatile spatiotemporal oscillatory patterns inspired by the true slime mold: Artificial Life Natural systems adapt to the environment by automatically switching behaviors, a property of interest for any robotic system. This paper... more Robotics (I.2.9) | May 16 13 A new marker-less 3D Kinect-based system for facial anthropometric measurements: AMDO 12 Facial anthropometry is the science of measuring the human face by identifying and marking landmark points on the subject (face). Measurements... more Feature Representation (I.4.7...) | May 14 13 Deciding polynomial-transcendental problems: Journal of Symbolic Computation 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]... more Decision Problems (F.4.3...) | May 14 13 Integrating theoretical and empirical computer science in a data structures course: SIGCSE 13 There is nothing surprising or original about proposing to make discrete mathematics “relevant” to students of computer science. Nor is it controversial to... more Computer Science Education (K.3.2...) | May 13 13 A hybrid genetic algorithm for the bottleneck traveling salesman problem: ACM Trans. on Embedded Computing Sys. The bottleneck traveling salesman problem (BTSP) refers to the challenge of finding a Hamiltonian circuit that minimizes the largest... more Heuristic Methods (I.2.8...) | May 10 13 Social media retrieval This book presents a contemporary view of many aspects of social media retrieval, a research area in which multimedia retrieval is done with the help of social networking. The book is very well written and easy to read, with many data elements... more Information Search & Retrieval (H.3.3) | May 21 13 Privacy and security for cloud computing Cloud computing is a new phenomenon with enormous potential that is changing the way enterprises function. However, to achieve its potential, issues related to privacy, security, and trust must be satisfactorily... more Cloud Computing (C.2.4...) | May 17 13 Frontiers of intelligent autonomous systems Someday soon there will be something (besides people and pets) that moves about in, and manipulates, our environment, without our supervision or control. Such devices exist in laboratories and some are... more Applications & Expert Systems (I.2.1) | May 16 13 Handbook of iris recognition The challenge in producing an edited collection of papers is to arrive at a volume that is unified, complete, and consistent. The editors of this book have succeeded. It is an excellent summary of the state of theory, technology, and applications... more Object Recognition (I.4.8...) | May 15 13 Matrix analysis There are few computational algorithms in this book; the authors are interested in what matrices represent. For computational scientists or scientists for whom computation is an important part of their work... more Numerical Linear Algebra (G.1.3) | May 13 13 Introduction to cryptography with Maple Maple is a widely used mathematical tool for scientific computations. Since cryptography involves many complicated math operations, it is difficult to reveal its design principles using a traditional programming language, such as C or Java. In this book... more Data Encryption (E.3) | May 13 13 Reaction-diffusion automata Since their inception, cellular automata have remained a most intriguing subject of scientific research. On one hand, cellular automata represent an effective computational tool for investigating various... more Physical Sciences & Engineering (J.2) | May 10 13 Malware forensics field guide for Windows systems: digital forensics field guides This is not an academic book, nor is it a textbook. While it may be an acceptable supplement for a reader already fairly familiar with Windows, forensics, and malware... more Security & Protection (K.6.5) | May 9 13 Advances in intelligent signal processing and data mining: theory & applications Intelligent signal processing and data mining underlie numerous important applications in science and engineering. This book aims to present the most recent developments in these areas with a... more Data Mining (H.2.8...) | May 7 13 .NET test automation recipes: a problem-solution approach McCaffrey has written a comprehensive book on .NET automation recipes. I found many good techniques in this book. More than that, he offers several complementary techniques, an approach that... more Microsoft .NET (D.3.2...) | May 7 13 Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2013 ThinkLoud, Inc. Terms of Use | Privacy Policy