May 23, 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 Fast asymmetric thread synchronization: ACM Transactions on Architecture & Code Optimization The critical section problem involves code that accesses shared resources in a parallel computing environment. Managing such access is a... more Multiprocessors (C.1.2) | May 22 13 Federated management of the future Internet: status and challenges: Int. Journal of Network Management This survey paper is intended for researchers interested in various future Internet platforms. The authors address the... more Internet (C.2.1...) | May 22 13 Why interactive learning environments can have it all: resolving design conflicts between competing goals: CHI 13 As the educational world grapples with online design and delivery issues, there will inevitably be discord between the various stakeholders. Competing goals represent the major area of conflict and... more Computer Uses in Education (K.3.1) | May 22 13 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... 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 Digital_humanities The authors of this book construct a metalogue--“a dialogue that assumes the form of that which it discusses”--about the emerging field of digital humanities. The term “refers to new modes of scholarship and institutional units for collaborative... more Arts & Humanities (J.5) | May 22 13 Believable bots: can computers play like people? Despite the funny title, this is not a book about artificial intelligence (AI) in games. Instead, it is about believability in games. With this is mind, the first question that must be addressed is what a believable bot is. The term “believable” seems more... more Games (I.2.1...) | May 22 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 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 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 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, it is not suitable as an introduction... more Security & Protection (K.6.5) | May 9 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