Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis

As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim
...

Fundamental Models in Financial Theory
Fundamental Models in Financial Theory

This book provides an innovative, integrated, and methodical approach to understanding complex financial models, integrating topics usually presented separately into a comprehensive whole. The book brings together financial models and high-level mathematics, reviewing the mathematical background necessary for understanding these models...

The AI Business: The Commercial Uses of Artificial Intelligence
The AI Business: The Commercial Uses of Artificial Intelligence

What is the bottom line on Artificial Intelligence? The AI Business offers a comprehensive summary of the commercial picture, present and future, for Artificial Intelligence in the computer industry, medicine, the oil industry, and electronic design. AI's brightest and best - financiers, researchers, and users - analyze current...

Visual Insights: A Practical Guide to Making Sense of Data (The MIT Press)
Visual Insights: A Practical Guide to Making Sense of Data (The MIT Press)

A guide to the basics of information visualization that teaches nonprogrammers how to use advanced data mining and visualization techniques to design insightful visualizations.

In the age of Big Data, the tools of information visualization offer us a macroscope to help us make sense of the avalanche of data...

Distributed Algorithms: An Intuitive Approach (The MIT Press)
Distributed Algorithms: An Intuitive Approach (The MIT Press)

A comprehensive guide to distributed algorithms that emphasizes examples and exercises rather than mathematical argumentation.

This book offers students and researchers a guide to distributed algorithms that emphasizes examples and exercises rather than the intricacies of mathematical models. It avoids mathematical...

Bayesian Brain: Probabilistic Approaches to Neural Coding (Computational Neuroscience)
Bayesian Brain: Probabilistic Approaches to Neural Coding (Computational Neuroscience)

A Bayesian approach can contribute to an understanding of the brain on multiple levels, by giving normative predictions about how an ideal sensory system should combine prior knowledge and observation, by providing mechanistic interpretation of the dynamic functioning of the brain circuit, and by suggesting optimal ways of deciphering...

Machine Translation (MIT Press Essential Knowledge series)
Machine Translation (MIT Press Essential Knowledge series)

A concise, nontechnical overview of the development of machine translation, including the different approaches, evaluation issues, and major players in the industry. About the Author Thierry Poibeau is Director of

Research at the Centre National de la Recherche Scientifique in Paris, Head of the LATTICE (Langues, Textes,...

Software Abstractions : Logic, Language, and Analysis
Software Abstractions : Logic, Language, and Analysis
Software is built on abstractions. Pick the right ones, and programming
will flow naturally from design; modules will have small and simple interfaces;
and new functionality will more likely fit in without extensive
reorganization. Pick the wrong ones, and programming will be a series
of nasty surprises: interfaces will become
...
Workflow Management: Models, Methods, and Systems (Cooperative Information Systems)
Workflow Management: Models, Methods, and Systems (Cooperative Information Systems)
This book offers a comprehensive introduction to workflow management, the management of business processes with information technology. By defining, analyzing, and redesigning an organization's resources and operations, workflow management systems ensure that the right information reaches the right person or computer application at the right time....
Service-Oriented Computing (Cooperative Information Systems)
Service-Oriented Computing (Cooperative Information Systems)
Service-Oriented Computing (SOC) promises a world of cooperating services loosely connected, creating dynamic business processes and agile applications that span organizations and platforms. As a computing paradigm, it utilizes services as fundamental elements to support rapid, low-cost development of distributed applications in heterogeneous...
Principles of Model Checking
Principles of Model Checking
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...
Learning Machine Translation (Neural Information Processing)
Learning Machine Translation (Neural Information Processing)
The Internet gives us access to a wealth of information in languages we don't understand. The investigation of automated or semi-automated approaches to translation has become a thriving research field with enormous commercial potential. This volume investigates how machine learning techniques can improve statistical machine translation, currently...
Result Page: 20 19 18 17 16 15 14 13 12 11 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy