Learn IT - Books tags verification

MySQL Troubleshooting: What To Do When Queries Don't Work

O'Reilly, 2012

I have worked since May 2006 as a principal technical support engineer in the Bugs Verification Group of the MySQL Support Group for MySQL AB, then Sun, and finally Oracle. During my daily job, I often see users who are stuck with a problem and have no idea what to do next. Well-verified methods exist to find the cause of the problem...

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands

Springer, 2010

This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27–29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010)...

Recent Advances in Parallel Virtual Machine and Message Passing Interface

Springer, 2007

Thirteen years after the publication of the first MPI (message passing interface) specification and 17 years after the first published paper on PVM(parallel virtual machine), MPI and PVM have emerged as standard programming environments and continue to be the development environment of choice for a large variety of...

Boosting-Based Face Detection and Adaptation (Synthesis Lectures on Computer Vision)

Morgan and Claypool Publishers, 2010

With the rapid increase of computational powers and availability of modern sensing, analysis and rendering equipment and technologies, computers are becoming more and more intelligent. Many research projects and commercial products have demonstrated the capability for a computer to interact with human in a natural way by looking at...

Fundamentals of Speaker Recognition

Springer, 2011

When I was being interviewed at the handwriting recognition group of IBM T.J. Watson Research Center in December of 1990, one of the interviewers asked me why, being a mechanical engineer, I was applying for a position in that group. Well, he was an electrical engineer and somehow was under the impression that handwriting...

Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs

Springer, 2012

As VLSI technology scales into nanometer regime, chip design engineering faces several challenges. One profound change in the chip design business is that engineers cannot realize the design precisely into the silicon chips. Chip performance, manufacture yield, and lifetime thereby cannot be determined accurately at the design...

Fatigue of Structures and Materials

Springer, 2009

Fatigue of structures and materials covers a wide scope of different topics. The purpose of the present book is to explain these topics, to indicate how they can be analyzed, and how this can contribute to the designing of fatigue resistant structures and to prevent structural fatigue problems in service.

This book is...

A Primer on Scientific Programming with Python (Texts in Computational Science and Engineering)

Springer, 2012

The aim of this book is to teach computer programming using examples from mathematics and the natural sciences. We have chosen to use the Python programming language because it combines remarkable expressive power with very clean, simple, and compact syntax. Python is easy to learn and very well suited for an introduction to...

Language and Automata Theory and Applications: 5th International Conference

Springer, 2012

These proceedings contain the papers that were presented at the 5th International Conference on Language and Automata Theory and Applications (LATA 2011), held in Tarragona, Spain, during May 26–31, 2011.

The scope of LATA is rather broad, including: algebraic language theory; algorithms for semi-structured...

Visual Object Recognition (Synthesis Lectures on Artificial Intelligence and Machine Learning)

Morgan and Claypool Publishers, 2011

This lecture summarizes the material in a tutorial we gave at AAAI2008 [Grauman and Leibe, 2008]1. Our goal is to overview the types of methods that figure most prominently in object recognition research today, in order to give a survey of the concepts, algorithms, and representations that one might use to build a...

Design of High-Performance Microprocessor Circuits

John Wiley & Sons, 2000

This book covers the design of next generation microprocessors in deep submicron CMOS technologies. The chapters in Design of High Performance Microprocessor Circuits were written by some of the world's leading technologists, designers, and researchers. All levels of system abstraction are covered, but the emphasis rests squarely...

Air Pollution Modeling and its Application XV (v. 15)

Springer, 2002

This volume contains the papers and poster abstracts presented at the 25th NATO/CCMS International Technical Meeting on Air Pollution Modelling and Its Application held in Louvain-la-Neuve, Belgium, during 15-19 October 2001. This ITM was jointly organized by the University of Aveiro, Portugal (Pilot country) and by the Catholic University of...

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