You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
During the past decade there has been an explosion in computation and information technology. With it have come vast amounts of data in a variety of fields such as medicine, biology, finance, and marketing. The challenge of understanding these data has led to the development of new tools in the field of statistics, and spawned new areas such as data mining, machine learning, and bioinformatics. Many of these tools have common underpinnings but are often expressed with different terminology. This book describes the important ideas in these areas in a common conceptual framework. While the approach is statistical, the emphasis is on concepts rather than mathematics. Many examples are given, wi...
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in th...
Personal narratives of Christians, Gypsies, deaf people, homosexuals, and Blacks who suffered at the hands of the Nazis before and during World War II.
This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide audience of mathematicians, computer scientists, and mathematically oriented philosophers.
Probability theory; Statistical inference; Some tests based on the binomial distribution; Contingency tables; Some methods based on ranks; Statistics of the koolmogorov-smirnov type.
Over a millennium ago, Erna, a seismically active yet beautiful world was settled by colonists from far-distant Earth. But the seemingly habitable planet was fraught with perils no one could have foretold, and the colonists found themselves caught in a desperate battle for survival against the fae, a terrifying natural force with the power to prey upon the human mind itself, drawing forth images from a person's worst nightmare or most treasured dreams and indiscriminately giving them life. Twelve centuries after fate first stranded the colonists on Erna, mankind has achieved an uneasy stalemate, and human sorcerers manipulate the fae for their own profit, little realising that demonic forces which feed upon such efforts are rapidly gaining in strength. Now, as the hordes of the dark fae multiply, four people - Priest, Adept, Apprentice and Sorcerer - are about to be drawn inexorably together for a mission which will force them to confront an evil beyond their imagining, in a conflict which will put not only their own lives but the very fate of humankind in jeopardy ...
An American sailor courts a young Japanese woman and each tries, in secret, to learn the other's way of eating. Full color illustrations throughout.
A novel feature of the book is its integrated approach to algebraic surface theory and the study of vector bundle theory on both curves and surfaces. While the two subjects remain separate through the first few chapters, they become much more tightly interconnected as the book progresses. Thus vector bundles over curves are studied to understand ruled surfaces, and then reappear in the proof of Bogomolov's inequality for stable bundles, which is itself applied to study canonical embeddings of surfaces via Reider's method. Similarly, ruled and elliptic surfaces are discussed in detail, before the geometry of vector bundles over such surfaces is analysed. Many of the results on vector bundles appear for the first time in book form, backed by many examples, both of surfaces and vector bundles, and over 100 exercises forming an integral part of the text. Aimed at graduates with a thorough first-year course in algebraic geometry, as well as more advanced students and researchers in the areas of algebraic geometry, gauge theory, or 4-manifold topology, many of the results on vector bundles will also be of interest to physicists studying string theory.