Michael Fisher

Martin Abbott

Kalle Lyytinen

The Power of Customer Misbehavior explores the importance of customer driven innovation for top line and bottom line growth. It shows how companies should not only learn to identify how their products are being misused, but also how to use this knowledge to innovate new products and services that better meet customer needs and promote viral growth. These techniques also promote long-term customer loyalty and growth even in hypercompetitive environments. This unique new book is the first to explore the idea of 'customer misuse': when customers modify features or expand the usage of products and services in ways that were never intended. Reacting appropriately to customer misuse will allow companies to enter new markets, create more loyal customers, and encourage customers to tell others about the company's products, all of which foster faster growth. These compelling concepts are presented in the form of simple actionable principles and illustrated with rich case studies from successful companies such as Twitter, Intuit, eBay and Coca-Cola, to offer the first practical guide to harnessing this new source of strategic innovation.

Drive Growth and Innovation by Learning from Your Customers

The Power of Customer Misbehavior

The Mughal Empire dominated India politically, culturally, socially, economically and environmentally, from its foundation by Babur, a Central Asian adventurer, in 1526 to the final trial and exile of the last emperor Bahadur Shah Zafar at the hands of the British in 1858. Throughout the empire's three centuries of rise, preeminence and decline, it remained a dynamic and complex entity within and against which diverse peoples and interests conflicted. The empire's significance continues to be controversial among scholars and politicians with fresh and exciting new insights, theories and interpretations being put forward in recent years. This book engages students and general readers with a clear, lively and informed narrative of the core political events, the struggles and interactions of key individuals, groups and cultures, and of the contending historiographical arguments surrounding the Mughal Empire.

A Short History of the Mughal Empire

Irena Steinfeldt

Contains excerpts from papers delivered at the international conference "The Legacy of Holocaust Survivors - the Moral and Ethical Implications for Humanity", held by Yad Vashem's International School for Holocaust Studies, in association with the Center of Organizations of Holocaust Survivors in Israel, in Jerusalem in April 2002. The excerpts are arranged in four groups: Legacy, Faith, Memory, and Antisemitism. The latter category includes one six-page extract in which Per Ahlmark stresses that non-Jews, like himself, also have a duty to resist antisemitism and that dangerous antisemites want a world without a Jewish state. The other participants were Aharon Appelfeld, Walter Zwi Bacharach, Aharon Barak, Emil Fackenheim, Israel Gutman, Moshe Halbertal, Imre Kertesz, Beate and Serge Klarsfeld, Israel Meir Lau, Limor Livnat, Michael McGarry, Michael Melchior, Sallai Meridor, Samuel Pisar, Moshe Sanbar, Avner Shalev, Israel Singer, Simone Veil, and Elie Wiesel.

Our Living Legacy

H. P. Lovecraft

Essel Pratt

Juan J. Gutierrez

There are dimensions beyond that which is known to man. They are realms as vast as space and older than time itself. In these realms are beings beyond light and shadow, beyond good and evil, and there lie harbingers of the end of the human age. The stars are right. This is the epoch of terror & devastation. It is an age which is...Within Stranger Aeons. Featuring stories and poems by: Michael Fisher, H.P. Lovecraft, Andew Bell, Mord McGhee, Juan J. Gutierrez, Owen Barrass, Kevin Candela, William Henry Tucker, Roy C. Booth, Ashley Dioses, Andrew J. Lucas, Essel Pratt, G. Zimmerman, Brian Barr, Mark Woods, Justin Hunter, Amanda M. Lyons, Dona Fox, Charie D. Lamarr

Lovecraft's Mythos in the 21st Century

Within Stranger Aeons

Dov M. Gabbay

Howard Barringer

Graham Gough

Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query ing, granularity of time, update mechanisms, active temporal data bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems.

Advances in Temporal Logic

Desmond G. Greenwood

This revised and expanded second edition of Contract Law in Hong Kong is the most comprehensive contemporary textbook on Hong Kong contract law written primarily for law students. The 16 chapters of the book cover all basic contract concepts in a reader-friendly style and make ample use of case illustrations. The book deals with all the core areas of Contract Law. The first two chapters introduce the major themes and explain the multiple sources of law in Hong Kong. The subsequent thirteen chapters cover the formation of a valid contract, its contents, "vitiating" elements, the consequences of illegality, the termination of contracts and remedies for breach of contract. The book concludes with an explanation of the doctrine of privity and proposals for reform of the operation of privity in Hong Kong. Particular attention is given to what makes Hong Kong law different from other common law jurisdictions, and to the continuing significance of English case law in Hong Kong and the theoretical and practical reasons for this. The book is intended primarily as a readable but comprehensive and authoritative text for Hong Kong law students. Practising lawyers and professionals who need to acquire knowledge on the topic, however, will also find this book useful and accessible.

Contract Law in Hong Kong

Cody, a former police detective with paranormal ability, joins his two sons in tracking down the killer of his old friend, Tommy Creager. Reprint.

The Nightmare Man

Boris Konev

Wiebe van der Hoek

Alexei Lisitsa

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.

10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings

Logics in Artificial Intelligence

Mark Woods

Kevin Candela

Jim Goforth

Edward Ahern

C. L. Williams

Brian Lane

T. D. Ricketts

Dona Fox

Roma Gray

John Herres

Jason Siesser

Something is hiding in the shadows... Everywhere you go, it follows...there is no escape... A soft hiss floats up from the darkness, and you know it draws nearer. Terror grips your heart, and your mouth goes dry. Your first instinct is to run, but at the same time you can't deny your own curiosity. What is it? What is this unknown thing that is hunting you? No longer able to stand it another second, you turn around to face it... and well... you know what curiousity did for the cat... In this book, you will find 13 stories on new, mysterious monsters. No vampires, no werewolves and no serial killers. Perhaps if you're lucky, you will learn their identity before they rip out your throat.

An Anthology

Mystery Monster 13

Jürgen Dix

Peter Novák

This book constitutes the thoroughly refereed and revised post-conference proceedings of the 10th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA X, held in Hamburg, Germany, in September 2009 - co-located with MATES 2009, the 7th German conference on Multi-Agent System Technologies. The 9 full papers, presented together with one invited paper, were carefully selected and reviewed from 18 submissions. The topics covered are formal approaches and model checking, belief-desire-intention, answer set programming and (multi-)agent systems, and coordination and deliberation.

10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems. Fisher begins with a full introduction to the subject, covering the basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to describe how this logic can be used to specify a variety of computational systems, looking at issues of linking specifications, concurrency, communication and composition ability. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability. Models temporal notions and uses them to analyze computational systems Provides a broad approach to temporal logic across many formal methods - including specification, verification and implementation Introduces and explains freely available tools based on temporal logics and shows how these can be applied Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book.

An Introduction to Practical Formal Methods Using Temporal Logic

Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor - will find the book most valuable. Computing professionals requiring state-of-the-art knowledge in the area will appreciate the volume for its leading results and its links to other relevant literature.

Josh seemed to have the perfect childhood: a loving family and an apartment-like bedroom setting for him and his sister. There was always something to do, someone to see, or a neighborhood pick-up football game. Then one year everything changed just before Christmas. "Rob, come meet Mr. Rich and his son, Josh." These words changed his life forever.

Summer of Our Innocence

Janet A. Hale

Amid a confluence of messages regarding accountability, the Common Core State Standards, teacher effectiveness, and student performance, educators everywhere are looking for ways to revitalize their curriculum design and instructional practice. Upgrade Your Curriculum: Practical Ways to Transform Units and Engage Students offers a solution: providing students with meaningful, relevant units of study developed by the educators who actually teach them. The authors, both curriculum experts, advocate a gradual approach to transforming curriculum in which teachers work collaboratively to upgrade one unit at a time. Drawing from a wealth of professional development experiences in schools across the United States and overseas, the authors * Address the foundational concepts involved in transforming curriculum. * Introduce their innovative transformational matrix—an essential visual reference that classifies upgrades according to their effect on student learning and engagement. * Outline the four phases of the collaborative transformational process: appraisal and brainstorming, commitment and communication, reactions and reflections, and revisions. * Explain how to create units of study that engage students in higher-order thinking, authentically incorporate technology and web-based tools, and align with the Common Core. * Present transformational snapshots that reflect how real practitioners across all grade levels and subject areas have upgraded curriculum and instruction and increased student ownership of learning. If we view curriculum and assessment choices as indicators of the direction in which our students are heading, most of us would agree that they're currently traveling back to the 20th century. Clearly, we need to collectively step up our curriculum. This indispensable guide offers strategic, practical knowledge that will enrich your school's curriculum mapping efforts and help you create authentic, engaging learning environments that prepare students for the future.

Michael Fisher

Books

Your next favorite book is out there