Cog


Book Description

Five robots. One unforgettable journey. Their programming will never be the same. Wall-E meets The Wild Robot in this middle grade instant classic about five robots on a mission to rescue their inventor from the corporation that controls them all. Cog looks like a normal twelve-year-old boy. But his name is short for “cognitive development,” and he was built to learn. But after an accident leaves him damaged, Cog wakes up in an unknown lab—and Gina, the scientist who created and cared for him, is nowhere to be found. Surrounded by scientists who want to study him and remove his brain, Cog recruits four robot accomplices for a mission to find her. Cog, ADA, Proto, Trashbot, and Car’s journey will likely involve much cognitive development in the form of mistakes, but Cog is willing to risk everything to find his way back to Gina. In this charming stand-alone adventure, Greg van Eekhout breathes life and wisdom into an unforgettable character and crafts a story sure to earn its place among beloved classics like Katherine Applegate’s The One and Only Ivan.




Cogs and Monsters


Book Description

How economics needs to change to keep pace with the twenty-first century and the digital economy Digital technology, big data, big tech, machine learning, and AI are revolutionizing both the tools of economics and the phenomena it seeks to measure, understand, and shape. In Cogs and Monsters, Diane Coyle explores the enormous problems—but also opportunities—facing economics today and examines what it must do to help policymakers solve the world’s crises, from pandemic recovery and inequality to slow growth and the climate emergency. Mainstream economics, Coyle says, still assumes people are “cogs”—self-interested, calculating, independent agents interacting in defined contexts. But the digital economy is much more characterized by “monsters”—untethered, snowballing, and socially influenced unknowns. What is worse, by treating people as cogs, economics is creating its own monsters, leaving itself without the tools to understand the new problems it faces. In response, Coyle asks whether economic individualism is still valid in the digital economy, whether we need to measure growth and progress in new ways, and whether economics can ever be objective, since it influences what it analyzes. Just as important, the discipline needs to correct its striking lack of diversity and inclusion if it is to be able to offer new solutions to new problems. Filled with original insights, Cogs and Monsters offers a road map for how economics can adapt to the rewiring of society, including by digital technologies, and realize its potential to play a hugely positive role in the twenty-first century.




Hollow Fields and the Perfect Cog


Book Description

With the menace of Miss Weaver's reign of terror supposedly behind them, the students of Hollow Fields can look forward to a more peaceful curriculum run by her ethically-minded successor, Principal Bleak. But there's one problem-rebuilding the school after Miss Weaver's reign has left Hollow Fields broke! If the school can't scrape together the cash to pay its staff or maintain its grounds, the Board of Unprincipled Mad Science Education will have it shut down and use the student body for scientific experiments. Not wanting to be separated from her new friends, Lucy stumbles upon a chance for Principal Bleak to save Hollow Fields. All they have to do is win the inter-school mad science competition and along with it, a hefty cash prize. But just what kind of things go on at a mad science fair?!




America's Alternative Religions


Book Description

This is a source of reliable information on the most important new and alternative religions covering history, theology, impact on the culture, and current status. It includes a chapter on the Branch Davidians.




Workflows for e-Science


Book Description

This is a timely book presenting an overview of the current state-of-the-art within established projects, presenting many different aspects of workflow from users to tool builders. It provides an overview of active research, from a number of different perspectives. It includes theoretical aspects of workflow and deals with workflow for e-Science as opposed to e-Commerce. The topics covered will be of interest to a wide range of practitioners.




Advances in Intelligent, Flexible, and Lean Management and Engineering


Book Description

In organizations today, knowledge on how to manage in a green environment is of a particular emphasis and is an important discussion topic amongst academics, researchers, and managers. Undertakings such as sustainability, not only in an environmental perspective but also in an organizational perspective; recycling; re-use; low costs; waste reduction; and high productivity are only some, among many others, that require a break in traditional management paradigms. Present organizations need to be managed with different models where innovation and change are key words as they drive the organization to success. At this level, green management appears as a new way to manage and understand organizations, making them more strategic and competitive in the markets where they are and where they will be in the future. Advances in Intelligent, Flexible, and Lean Management and Engineering introduces the newest models, theories, and tools along with the practices, policies, and strategies for management and engineering. This book reflects on the experiences and thoughts about the state-of-the-art research in the green management and engineering fields, as well as the future direction of this scope of research. It covers important topics such as green transformational leadership, artificial intelligence, production models, sustainable factories, and more. This book is an essential resource tool for engineers, executives, managers, economists, practitioners, researchers, academicians, and students looking for information on the advances in management and engineering for businesses.




Cogs, Cargoes and Commerce


Book Description

Using a wide range of new or previously ignored sources, the authors of this volume challenge a number of long-established patterns of thought in medieval historiography. Focusing attention firmly on the basic commodities of everyday life, rather than on objects of more or less conspicuous consumption, the articles shed light on new and important aspects of the expansion of trade in northern Europe between 1150 and 1400. Eight of the articles deal with trade, transport and volumes of one or more of the most important bulk commodities of the period, and the ninth is dedicated to the development of the most important means of transport, the cargo ship."




Trial Designs and Outcomes in Dementia Therapeutic Research


Book Description

Given the increased attention of clinicians, researchers, and the pharmaceutical industry to the management and treatment of dementia not only in the elderly but also in increasingly younger populations, the demands for effective evidence-based pharmaceutical control of dementia and quantitative assessment of outcomes have increased. From the first steps in the early 1960s to the controversial landmark paper of Summers and colleagues to the most recent trials, it is clear both that much progress has been made and that much remains to be done. This book is written to take stock of what is now usefully known and to speculate on directions for the future.







The Logic of Software. A Tasting Menu of Formal Methods


Book Description

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.