Presents the state of the technology and points to future directions for semantic computing
Semantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate computer content to better satisfy the needs and intentions of users and create a more meaningful user experience. This...
Type Theory and Functional Programming (International Computer Science Series)
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...
Human-in-the-Loop Simulations: Methods and Practice
Both the editors of this book were exposed to human-in-the-loop simulations while
pursuing their doctoral degrees in the Center for Human-Machine Systems at
Georgia Tech. In fact, S. Narayanan served as Ling Rothrock’s teaching assistant
for the simulation course taught by Prof. Christine Mitchell. It has been over 15
Peopleware: Productive Projects and Teams (3rd Edition)
“Peopleware has long been one of my two favorite books on software engineering. Its underlying strength is its base of immense real experience, much of it quantified. Many, many varied projects have been reflected on and distilled; but what we are given is not just lifeless distillate, but vivid examples from...
Cellular Automata and Discrete Complex Systems: 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings (Lecture Notes in Computer Science)
The volume LNCS 8155 constitutes the refereed proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, held in Giessen, Germany, in September 2013. The 8 papers presented were carefully reviewed and selected from 26 submissions. The scope of the workshop spans the following areas the...
Cardiac Gene Expression: Methods and Protocols (Methods in Molecular Biology)
This book presents both cutting-edge and established methods for studying cardiac gene expression. The protocols provide a template for solid research, and cover the process through screening, analysis, characterization, and functional confirmation of novel genes or known genes with a new function. The concluding section of the book...
|Result Page: 439 438 437 436 435 434 433 432 431 430 429 428 427 426 425 424 423 422 421 |