Learn IT - Books tags thesis

A VLSI Architecture for Concurrent Data Structures (The Springer International Series in Engineering and Computer Science)

Springer, 2011

Concurrent data structures simplify the development of concurrent programs by encapsulating commonly used mechanisms for synchronization and commu nication into data structures. This thesis develops a notation for describing concurrent data structures, presents examples of concurrent data structures, and describes an architecture to support...

How to Think About Algorithms

Cambridge University Press, 2008

There are many algorithm texts that provide lots of well-polished code and proofs of correctness. This book is not one of them. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. By looking at both the big picture and easy step-by-step methods for developing...

Environment Learning for Indoor Mobile Robots: A Stochastic State Estimation Approach to Simultaneous Localization and Map Building

Springer, 2006

This monograph covers theoretical aspects of simultaneous localization and map building for mobile robots, such as estimation stability, nonlinear models for the propagation of uncertainties, temporal landmark compatibility, as well as issues pertaining the coupling of control and SLAM. One of the most relevant topics covered in this monograph is...

Semantic Web for Business: Cases and Applications

Information Science Publishing, 2008

"This title provides real-life cases illustrating the benefits of Semantic Web technologies as applied to e-business and e-commerce scenarios." --Book News Inc. (February 2009)

The Semantic Web has been around for some years with recent advances in mature technologies and applications. Lately, its development has been...

First Steps in Random Walks: From Tools to Applications

Oxford University Press, 2011

The name "random walk" for a problem of a displacement of a point in a sequence of independent random steps was coined by Karl Pearson in 1905 in a question posed to readers of "Nature". The same year, a similar problem was formulated by Albert Einstein in one of his Annus Mirabilis works. Even earlier such a problem was...

Towards a Compact Thin-Disk-Based Femtosecond XUV Source (Springer Theses)

Springer, 2013

This thesis provides unique information on the Kerr-lens mode-locking (KLM) technique applied to a thin-disk laser. It describes in detail cavity geometry, the qualitative approach to KLM, and self-starting behavior in the regime of both negative and positive dispersion. Comprehensive comparative analysis of KLM and semiconductor saturable...

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)

Springer, 1982

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

Verification Techniques for System-Level Design (Systems on Silicon)

Morgan Kaufmann, 2007

A must-read in formal and semi-formal verification!

This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the...

Computability Theory: An Introduction to Recursion Theory

Academic Press, 2010

The study of the class of computable partial functions (i.e., recursive partial functions) stands at the intersection of three fields: mathematics, theoretical computer science, and philosophy.

Mathematically, computability theory originates from the concept of an algorithm. It leads to a classification of functions according...

Development and Performance Evaluation of an Adaptive MAC Protocol for MC-CDMA Wireless LANs with QoS Support

Mainz, 2006

Amobile adhoc network, is a system of autonomous mobile terminals connected by wireless links. Being independent of any infrastructure, these networks have the ability to be deployed easily, fast and cost efficient. The objective of this thesis is to exploit the advantages of the application of Code Division Multiple Access (CDMA) in the lower...

The Role of Labour Mobility and Informal Networks for Knowledge Transfer

Springer, 2004

The purpose of this volume is to analyze the microfoundations of knowledge spillovers. The microeconomic analysis of spillovers leads to the insight that the spillover and flow of knowledge is not at all automatic. Instead, this volume suggests that a filter exists between knowledge and its economic application. The focus of this volume is on...

Kundalini Yoga

Divine Life Society, 2005

Kundalini is the coiled up,dormant,cosmic power that underlies all organic and inorganic matter within us and any thesis that deals with it can avoid becoming too abstract,only with great difficulty.But within the pages of the book,the theory that undelies this cosmic power has been analysed to it's thinnest filaments,and practical methods have...

Result Page: 13 12 11 10 9 8 7 6 5 4 3 2