Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound...
Guided Waves in Structures for SHM: The Time - domain Spectral Element Method
Guided Waves in Structures for SHM: The Time - domain Spectral Element Method

Understanding and analysing the complex phenomena related to elastic wave propagation has been the subject of intense research for many years and has enabled application in numerous fields of technology, including structural health monitoring (SHM). In the course of the rapid advancement of diagnostic methods utilising elastic wave...

Temporal Logic for Real-Time Systems (Advanced Software Development Series)
Temporal Logic for Real-Time Systems (Advanced Software Development Series)

This monograph presents a framework for modelling, specifying and verifying systems composed of real-time discrete event processes. A discrete event system consists of the plant (the object to be controlled) and a controller. For example, the plant might consist of machines, robots and conveyors on the factory floor. The objective of...

Microwave De-embedding: From Theory to Applications
Microwave De-embedding: From Theory to Applications

This groundbreaking book is the first to give an introduction to microwave de-embedding, showing how it is the cornerstone for waveform engineering. The authors of each chapter clearly explain the theoretical concepts, providing a foundation that supports linear and non-linear measurements, modelling and circuit design. Recent developments...

Probabilistic Modelling in Bioinformatics and Medical Informatics
Probabilistic Modelling in Bioinformatics and Medical Informatics

Probabilistic Modelling in Bioinformatics and Medical Informatics has been written for researchers and students in statistics, machine learning, and the biological sciences. The first part of this book provides a self-contained introduction to the methodology of Bayesian networks. The following parts demonstrate how these...

Intelligent Video Event Analysis and Understanding (Studies in Computational Intelligence)
Intelligent Video Event Analysis and Understanding (Studies in Computational Intelligence)

With the vast development of Internet capacity and speed, as well as wide adoptation of media technologies in people’s daily life, a large amount of videos have been surging, and need to be efficiently processed or organized based on interest. The human visual perception system could, without difficulty, interpret and recognize...

Computational Methods for Modeling of Nonlinear Systems, Volume 118 (Mathematics in Science and Engineering)
Computational Methods for Modeling of Nonlinear Systems, Volume 118 (Mathematics in Science and Engineering)

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system...

Electromagnetic Fields in Mechatronics, Electrical And Electronic Engineering: Proceedings of Isef'05
Electromagnetic Fields in Mechatronics, Electrical And Electronic Engineering: Proceedings of Isef'05
This book contains the papers presented at the International Symposium on Electromagnetic Fields in Mechatronics, Electrical and Electronic Engineering ISEF’05 which was held in Baiona, Spain on September 15–17, 2005. ISEF conferences have been organized since 1985 as a common initiative of Polish and European...
Applying UML: Advanced Applications
Applying UML: Advanced Applications
So why did we write "yet another" book on the UML? Does the world need it and what, if anything, makes it distinctive? The real answer is that the only way to answer those questions is to read the end result. Here, however, are some of our answers.

In an attempt to end the "object oriented Tower of Babel", the Unified
...
Computational Intelligence in Expensive Optimization Problems (Adaptation, Learning, and Optimization)
Computational Intelligence in Expensive Optimization Problems (Adaptation, Learning, and Optimization)

In modern science and engineering, laboratory experiments are replaced by high fidelity and computationally expensive simulations. Using such simulations reduces costs and shortens development times but introduces new challenges to design optimization process. Examples of such challenges include limited computational resource for simulation...

Java Methods for Financial Engineering: Applications in Finance and Investment
Java Methods for Financial Engineering: Applications in Finance and Investment
In order to build a successful, Java-based application it is important to have a clear understanding of the principles underlying the various financial models. Those models guide the application designer in choosing the most appropriate Java data structures and implementation strategy. This book describes the principles of model building in...
Computational Intelligence in Control
Computational Intelligence in Control

The problem of controlling uncertain dynamic systems, which are subject to external disturbances, uncertainty and sheer complexity is of considerable interest in computer science, Operations Research and Business domains. The application of intelligent systems has been found useful in problems when the process is either difficult to model or...

unlimited object storage image
Result Page: 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy