Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
The SPIN Model Checker: Primer and Reference Manual
The SPIN Model Checker: Primer and Reference Manual
SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects
in concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteen
years ago. The tool has been applied to everything from the verification of complex call processing
...
The Geography of Networks and R&D Collaborations (Advances in Spatial Science)
The Geography of Networks and R&D Collaborations (Advances in Spatial Science)

The geography of networks and R&D collaborations, in particular the spatial dimension of interactions between organisations performing joint R&D, have attracted a burst of attention in the last decade, both in the scientific study of the networks and in the policy sector. The volume is intended to bring together a selection of...

Wireless Communication Technologies: New Multimedia Systems
Wireless Communication Technologies: New Multimedia Systems
Wireless Communication Technologies: New Multimedia Systems is based on a selection of the best papers presented at the recent International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC '99). All of the papers have been extended into full chapters, critiqued, and edited into a unified and structured book. Contributions to...
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
This volume consists of the proceedings of the Sixth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed...
Managing Multimedia Semantics
Managing Multimedia Semantics
Managing multimedia semantics is a complex task because content creators and archivists describe and interpret semantics associated with the multimedia content in several ways, depending on the context and use of the information. Disciplines such as computer vision and pattern recognition, multimedia database management and modeling, and film...
Statistical Methods for Environmental Epidemiology with R: A Case Study in Air Pollution and Health (Use R!)
Statistical Methods for Environmental Epidemiology with R: A Case Study in Air Pollution and Health (Use R!)
As an area of statistical application, environmental epidemiology and more speci cally, the estimation of health risk associated with the exposure to - vironmental agents, has led to the development of several statistical methods and software that can then be applied to other scienti c areas. The stat- tical analyses aimed at addressing...
Transact-SQL Cookbook (O'Reilly Windows)
Transact-SQL Cookbook (O'Reilly Windows)
This cookbook contains a wealth of solutions to problems that SQL programmers face all the time. Recipes inside range from how to perform simple tasks, like importing external data, to ways of handling issues that are more complicated, like set algebra. Each recipe includes a discussion that explains the logic and concepts underlying the...
Learning Classifier Systems: 11th International Workshop, IWLCS 2008
Learning Classifier Systems: 11th International Workshop, IWLCS 2008

Learning Classifier Systems (LCS) constitute a fascinating concept at the intersection of machine learning and evolutionary computation. LCS’s genetic search, generally in combination with reinforcement learning techniques, can be applied to both temporal and spatial problem-solving and promotes powerful search in a wide variety of...

Expert SQL Server 2005 Development
Expert SQL Server 2005 Development
While building on the skills you already have, Expert SQL Server 2005 Development will help you become an even better developer by focusing on best practices and demonstrating how to design high-performance, maintainable database applications.

This book starts by reintroducing the database as a integral part of the software development...

Scientific Data Mining: A Practical Perspective
Scientific Data Mining: A Practical Perspective

Technological advances are enabling scientists to collect vast amounts of data in fields such as medicine, remote sensing, astronomy, and high-energy physics. These data arise not only from experiments and observations, but also from computer simulations of complex phenomena. They are often complex, with both spatial and temporal components. As...

Wideband Beamforming: Concepts and Techniques (Wireless Communications and Mobile Computing)
Wideband Beamforming: Concepts and Techniques (Wireless Communications and Mobile Computing)

This book provides an excellent reference for all professionals working in the area of array signal processing and its applications in wireless communications.

Wideband beamforming has advanced with the increasing bandwidth in wireless communications and the development of ultra wideband (UWB) technology.

In this...

Supervised Sequence Labelling with Recurrent Neural Networks
Supervised Sequence Labelling with Recurrent Neural Networks

Supervised sequence labelling is a vital area of machine learning, encompassing tasks such as speech, handwriting and gesture recognition, protein secondary structure prediction and part-of-speech tagging. Recurrent neural networks are powerful sequence learning tools—robust to input noise and distortion, able to exploit long-range...

unlimited object storage image
Result Page: 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy