Hybrid Intelligent Engineering Systems
Hybrid Intelligent Engineering Systems

Author: Lakhmi C Jain

Publisher: World Scientific

Published: 1997-03-18

Total Pages: 195

ISBN-13: 9814498084

DOWNLOAD EBOOK

This book on hybrid intelligent engineering systems is unique, in the sense that it presents the integration of expert systems, neural networks, fuzzy systems, genetic algorithms, and chaos engineering. It shows that these new techniques enhance the capabilities of one another. A number of hybrid systems for solving engineering problems are presented.

Massively Parallel, Optical, and Neural Computing in the United States
Massively Parallel, Optical, and Neural Computing in the United States

Author: Gilbert Kalb

Publisher: IOS Press

Published: 1992

Total Pages: 220

ISBN-13: 9789051990973

DOWNLOAD EBOOK

A survey of products and research projects in the field of highly parallel, optical and neural computers in the USA. It covers operating systems, language projects and market analysis, as well as optical computing devices and optical connections of electronic parts.

Scientific and Technical Aerospace Reports
Scientific and Technical Aerospace Reports

Author:

Publisher:

Published: 1968

Total Pages: 882

ISBN-13:

DOWNLOAD EBOOK

Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.

Runtime Verification
Runtime Verification

Author: Koushik Sen

Publisher: Springer

Published: 2012-05-12

Total Pages: 470

ISBN-13: 3642298605

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.