You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
AT THE MERCY OF THE WINDS tells the extraordinary stories of both journeys. Featuring up-to-the-minute drama from David's own expediton and original photographs and documents from the Swedish voyage, it is the ultimate adventure book as, alone in the skies above a frozen and harshly beautiful landscape, David battled against the elements to fulfil the drama of three Swedith explorers a century earlier, and become the first man to balloon to the North Pole.
None
For much of human history, the motive force behind war, conquest, social conflict and world exploration has been the drive to acquire gold. From the ancient world of Croesus to the wealthy dynasties of Renaissance Italy, from the earliest European explorations into Africa, America, and Asia to the gold rushes of the nineteenth century and the banking crises that lay beyond them, Pierre Vilar depicts the awesome power of avarice to structure the world in which we live. The insidious power of gold and money is the subject of this enlightening and entertaining history. The age of exploration brought an influx of treasure into Western Europe, prompting disputes between theologians and early econ...
This book constitutes the refereed proceedings of the 14th International Conference on Inductive Logic Programming, ILP 2004, held in Porto, Portugal, in September 2004. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers address all current topics in inductive logic programming, ranging from theoretical and methodological issues to advanced applications in various areas.
The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.
This volume contains the proceedings of the European Conference on Machine Learning 1994, which continues the tradition of earlier meetings and which is a major forum for the presentation of the latest and most significant results in machine learning. Machine learning is one of the most important subfields of artificial intelligence and computer science, as it is concerned with the automation of learning processes. This volume contains two invited papers, 19 regular papers, and 25 short papers carefully reviewed and selected from in total 88 submissions. The papers describe techniques, algorithms, implementations, and experiments in the area of machine learning.
This book constitutes revised papers of the Third International Workshop on approaches and Applications of Inductive Programming, AAIP 2009, held in Edinburgh, UK, in September 2009. The 7 full papers included in this volume were carefully reviewed and selected. The book also contains two invited papers.
Publisher Description
None
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.