A family inherits a dilapidated dairy in the Eel River bottoms and has plans to refurbish it back into the famous dairy it once was over half a century ago. With lots of work to do, it leaves the oldest daughter with very little time to answer her growing curiosity about the surrounding estuary. In between school and the never-ending list of chores, she satisfies her desire to explore with the gift of a kayak. Learning about the surrounding river and estuary wilderness only piques her desire to explore. While on an afternoon paddle with a friend, a startling discovery in the soft mud of the estuary leads them to believe that her little wilderness isn't as uninhabited as she thought. Her search for the answer leads her down the path of discovery. Determined to find an understanding, no matter what it takes, she embarks on a journey that will change her determination and outlook forever.

The remarkable memoir of a man who abandoned the safe world of academia for the Alaskan wilderness and adventure. "Down In Bristol Bay" catapults the reader into this last frontier and onto a sea of storms and dangers and into madcap bars and drinking parties. It chronicles misadventures and follies, occasionally of burlesque proportions, on land as well as at sea. 8-page photo insert.

Taming the Family Zoo" is filled with stories and practical help for adjusting parenting styles to fit each childs unique personality. (Practical Life)

In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer. HR uses various pieces of mathematical software, including automated theorem provers, model generators and databases, to build a theory from the bare minimum of information - the axioms of a domain. The main application of this work has been mathematical discovery, and HR has had many successes. In particular, it has invented 20 new types of number of sufficient interest to be accepted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed by many (human) mathematicians.