Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science)
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science)
Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of...
A Compendium of Partial Differential Equation Models: Method of Lines Analysis with Matlab
A Compendium of Partial Differential Equation Models: Method of Lines Analysis with Matlab
A Compendium of Partial Differential Equation Models presents numerical methods and associated computer codes in Matlab for the solution of a spectrum of models expressed as partial differential equations (PDEs), one of the mostly widely used forms of mathematics in science and engineering. The authors focus on the method of lines (MOL), a...
Simulating Ecol Evolution Systems C
Simulating Ecol Evolution Systems C
Computer simulations are a powerful tool for understanding ecological and evolutionary systems. Simulating Ecological and Evolutionary Systems in C models a diverse range of biological processes and systems, including competition, foraging, predation, mating systems, and life-history optimization, by simulating large collections of interacting...
Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)
Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)
This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database? The author has produced a formal method of specifying the...
Computational Geometry in C Second Edition (Cambridge Tracts in Theoretical Computer Science (Paperback))
Computational Geometry in C Second Edition (Cambridge Tracts in Theoretical Computer Science (Paperback))
This is the newly revised and expanded edition of the popular introduction to the design and implementation of geometry algorithms arising in areas such as computer graphics, robotics, and engineering design. The second edition contains material on several new topics, such as randomized algorithms for polygon triangulation, planar point...
Data Analysis Using Regression and Multilevel/Hierarchical Models
Data Analysis Using Regression and Multilevel/Hierarchical Models

Data Analysis Using Regression and Multilevel/Hierarchical Models is a comprehensive manual for the applied researcher who wants to perform data analysis using linear and nonlinear regression and multilevel models. The book introduces a wide variety of models, whilst at the same time instructing the reader in how to fit these models using...

From Semantics to Computer Science: Essays in Honour of Gilles Kahn
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed...
Plato and the Divided Self
Plato and the Divided Self

Plato's account of the tripartite soul is a memorable feature of dialogues like the Republic, Phaedrus and Timaeus: it is one of his most famous and influential yet least understood theories. It presents human nature as both essentially multiple and diverse - and yet somehow also one - divided into a fully human 'rational' part, a...

Scaling up Machine Learning: Parallel and Distributed Approaches
Scaling up Machine Learning: Parallel and Distributed Approaches

This book presents an integrated collection of representative approaches for scaling up machine learning and data mining methods on parallel and distributed computing platforms. Demand for parallelizing learning algorithms is highly task-specific: in some settings it is driven by the enormous dataset sizes, in others by model complexity or by...

A First Course in Statistical Programming with R
A First Course in Statistical Programming with R

This text began as notes for a course in statistical computing for second year actuarial and statistical students at the University of Western Ontario. Both authors are interested in statistical computing, both as support for our other research and for its own sake. However, we have found that our students were not learning the right sort of...

Multidimensional Stochastic Processes as Rough Paths: Theory and Applications
Multidimensional Stochastic Processes as Rough Paths: Theory and Applications

Rough path analysis provides a fresh perspective on Ito's important theory of stochastic differential equations. Key theorems of modern stochastic analysis (existence and limit theorems for stochastic flows, Freidlin-Wentzell theory, the Stroock-Varadhan support description) can be obtained with dramatic simplifications. Classical...

Agile Testing: How to Succeed in an Extreme Testing Environment
Agile Testing: How to Succeed in an Extreme Testing Environment

It is fascinating to see that so many members of our global software development and implementation community are at last agreeing violently on the principles behind agile. It is gratifying to see developers and testers working side-by-side aiming for the same goals and supporting each other. If you didn’t know what agile was but could...

Result Page: 57 56 55 54 53 52 51 50 49 48 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy