美國
The Painted Man 豆瓣
作者: Peter V. Brett 2009 - 4
The stunning debut fantasy novel from author Peter V. Brett. The Painted Man, book one of the Demon trilogy, is a captivating and thrilling fantasy adventure, pulling the reader into a world of demons, darkness and heroes. Voted one of the top ten fantasy novels of 2008 by amazon.co.uk. Sometimes there is very good reason to be afraid of the dark! Arlen lives with his parents on their small farmstead, half a day's ride from the isolated hamlet of Tibbet's Brook. As dusk falls each evening, a mist rises from the ground promising death to any foolish enough to brave the coming darkness. For hungry demons materialize from the vapours to feed, and as the shadows lengthen, all of humanity is forced to take shelter behind magical wards and pray that their protection holds until the dawn. But when Arlen's world is shattered by the demon plague, he realizes that it is fear, rather than the monsters, which truly cripples humanity. Only by conquering their own terror can they ever hope to defeat the demons. Now Arlen must risk leaving the safety of his wards to discover a different path, and offer humanity a last, fleeting chance of survival.
Bobos In Paradise 豆瓣
作者: David Brooks Simon & Schuster 2001 - 3
It used to be pretty easy to distinguish between the bourgeois world of capitalism and the bohemian counterculture. The bourgeois worked for corporations, wore grey, and went to church. The bohemians were the artists and intellectuals. Bohemians championed the values of the radical 1960's; bourgeois were the enterprising yuppies of the 1980's. Now the 'bo's' are all mixed up and it is impossible to tell an expresso sipping artist from a cappuccino-gulping banker. In attitudes toward sex, morality, leisure time and work, it is hard to separate the renegade from the company man. The new establishment has combined the countercultural sixties and the achieving eighties into one social ethos. These Bobos define our age. Their hybrid culture is the atmosphere we breathe, their status codes govern social life and their moral codes govern ethics and influence our politics. Our hybrid Bobo culture is going to be dominating society for a long time to come. Read all about it in this serious and witty essay on how we live now.
Atlantic Crossings 豆瓣
作者: Daniel T. Rodgers Belknap Press 2000 - 5
"The most belated of nations", Theodore Roosevelt called his country during the workmen's compensation fight in 1907. Earlier reformers, progressives of his day, and later New Dealers lamented the nation's resistance to models abroad for correctives to the backwardness of American social politics. This text is an account of the vibrant international network that they constructed - so often obscured by notions of American exceptionalism - and of its profound impact on the USA from the 1870s through to 1945. On a narrative canvas that sweeps across Europe and the United States, Daniel Rodgers retells the story of the classic era efforts to repair the damages of unbridled capitalism. He reveals the forgotten international roots of such innovations as city planning, rural co-operatives, modernist architecture for public housing, and social insurance, among other reforms. From small beginnings to reconstructions of the new great cities and rural life, and to the wide-ranging mechanics of social security for working people, Rodgers finds the interconnections, adaptations, exchanges, and even rivalries in the Atlantic region's social planning. He uncovers the immense diffusion of talent, ideas, and action that were breathtaking in their range and impact.
Kalman Filtering 豆瓣
作者: Mohinder S. Grewal / Angus P. Andrews Wiley-Interscience 2001 - 1
". . . an authentic magnum opus worth much more than its weight in gold!"-IEEE Transactions on Automatic Control, from a review of the First Edition
"The best book I've seen on the subject of Kalman filtering . . . Reading other books on Kalman filters and not this one could make you a very dangerous Kalman filter engineer."-Amazon.com, from a review of the First Edition
In this practical introduction to Kalman filtering theory and applications, authors Grewal and Andrews draw upon their decades of experience to offer an in-depth examination of the subtleties, common problems, and limitations of estimation theory as it applies to real-world situations. They provide many illustrative examples drawn from an array of application areas including GPS-aided INS, the modeling of gyros and accelerometers, inertial navigation, and freeway traffic control. In addition, they share many hard-won lessons about, and original methods for, designing, implementing, validating, and improving Kalman filters, including techniques for:
* Representing the problem in a mathematical model
* Analyzing estimator performance as a function of model parameters
* Implementing the mechanization equations in numerically stable algorithms
* Assessing computational requirements
* Testing the validity of results
* Monitoring filter performance in operation
As the best way to understand and master a technology is to observe it in action, Kalman Filtering: Theory and Practice Using MATLAB(r), Second Edition includes companion software in MATLAB(r), providing users with an opportunity to experience first hand the filter's workings and its limitations.
This updated and revised edition of Grewal and Andrews's classic guide is an indispensable working resource for engineers and computer scientists involved in the design of aerospace and aeronautical systems, global positioning and radar tracking systems, power systems, and biomedical instrumentation.
An Instructor's Manual presenting detailed solutions to all the problems in the book is available from the Wiley editorial department.
Hackers and Painters 豆瓣 谷歌图书 Goodreads
8.8 (12 个评分) 作者: 保罗·格雷厄姆 O'Reilly Media 2004 - 5
"In most fields the great work is done early on. The paintings made between 1430 and 1500 are still unsurpassed. Shakespeare appeared just as professional theater was being born, and pushed the medium so far that every playwright since has had to live in his shadow. Albrecht Durer did the same thing with engraving, and Jane Austen with the novel.
Algorithms 豆瓣 Goodreads
作者: Robert Sedgewick / Kevin Wayne Addison-Wesley Professional 2011 - 3
Essential Information about Algorithms and Data Structures A Classic Reference The latest version of Sedgewick,s best-selling series, reflecting an indispensable body of knowledge developed over the past several decades. Broad Coverage Full treatment of data structures and algorithms for sorting, searching, graph processing, and string processing, including fifty algorithms every programmer should know. See
The American Future 豆瓣
作者: Simon Schama Ecco 2009 - 6
Acclaimed historian and award-winning author Simon Schama offers an essential historical perspective on the crucial 2008 presidential election and its importance for reclaiming America's original ideal. It's not business as usual. Cultural hostilities more irreconcilable than any since the Civil War have divided America in two. In November 2008, the American people elected a new president, feeling more anxious about the future of the nation than at any time since Watergate. Our omnipotent military, the cornucopia of material comforts available, the security of our borders, and the global economy can no longer be taken for granted. In The American Future , historian Simon Schama takes a long look at the multiple crises besetting the United States and asks how these problems look in the mirror of time. In four crucial debates—on wars, religion, race and immigration, and the relationship between natural resources and prosperity—Schama looks back to see more clearly into the future. Full of lost insights, The American Future showcases Schama's acclaimed gift for storytelling, ensuring these voices will be heard again.
An Introduction to MultiAgent Systems 豆瓣
作者: Michael Wooldridge Wiley 2009 - 6
The eagerly anticipated updated resource on one of the most important areas of research and development: multi-agent systems Multi-agent systems allow many intelligent agents to interact with each other, and this field of study has advanced at a rapid pace since the publication of the first edition of this book, which was nearly a decade ago. With this exciting new edition, the coverage of multi-agents is completely updated to include several areas that have come to prominence in the last several years, including auctions, computational social choice, and markov decision processes. In turn, a variety of topics that were initially considered critical have dwindled in importance, so the coverage of that subject matter is decreased with this new edition. The result of this redefined balance of coverage is a timely and essential resource on a popular topic. Introduces you to the concept of agents and multi-agent systems and the main applications for which they are appropriate Discusses the main issues surrounding the design of intelligent agents and a multi-agent society Delves into a number of typical applications for agent technology Addresses deductive reasoning agents, practical reasoning agents, reactive and hybrid agents, and more Reviews multi-agent decision making, communication and cooperation, and intelligent autonomous agents By the end of the book, you will have a firm grasp on how agents are distinct from other software paradigms and understand the characteristics of applications that lend themselves to agent-oriented software.
The Art of Prolog, Second Edition 豆瓣
作者: Ehud Sterling Leon; Shapiro The MIT Press 1994
This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course.Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement -- a systematic way of constructing Prolog programs developed by Leon Sterling.All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.
Debt 豆瓣
作者: David Graeber Melville House 2012 - 11
Now in paperback: David Graeber’s “fresh ... fascinating ... thought-provoking ... and exceedingly timely” ( Financial Times ) history of debt

Here anthropologist David Graeber presents a stunning reversal of conventional wisdom: he shows that before there was money, there was debt. For more than 5,000 years, since the beginnings of the first agrarian empires, humans have used elaborate credit systems to buy and sell goods—that is, long before the invention of coins or cash. It is in this era, Graeber argues, that we also first encounter a society divided into debtors and creditors.

Graeber shows that arguments about debt and debt forgiveness have been at the center of political debates from Italy to China, as well as sparking innumerable insurrections. He also brilliantly demonstrates that the language of the ancient works of law and religion (words like “guilt,” “sin,” and “redemption”) derive in large part from ancient debates about debt, and shape even our most basic ideas of right and wrong. We are still fighting these battles today without knowing it.
Algebra of Probable Inference 豆瓣
作者: Cox, Richard T. Johns Hopkins Univ Pr 2001 - 11
In Algebra of Probable Inference, Richard T. Cox develops and demonstrates that probability theory is the only theory of inductive inference that abides by logical consistency. Cox does so through a functional derivation of probability theory as the unique extension of Boolean Algebra thereby establishing, for the first time, the legitimacy of probability theory as formalized by Laplace in the 18th century. Perhaps the most significant consequence of Cox's work is that probability represents a subjective degree of plausible belief relative to a particular system but is a theory that applies universally and objectively across any system making inferences based on an incomplete state of knowledge. Cox goes well beyond this amazing conceptual advancement, however, and begins to formulate a theory of logical questions through his consideration of systems of assertions -- a theory that he more fully developed some years later. Although Cox's contributions to probability are acknowledged and have recently gained worldwide recognition, the significance of his work regarding logical questions is virtually unknown. The contributions of Richard Cox to logic and inductive reasoning may eventually be seen to be the most significant since Aristotle.
Three Views of Logic: Mathematics, Philosophy, and Computer Science 豆瓣
Three Views of Logic: Mathematics, Philosophy, and Computer Science
作者: Donald W. Loveland / Richard E. Hodel Princeton University Press 2014 - 1
This book is based on an interdisciplinary course on logic offered to upper-level undergraduates at Duke University over a period of more than ten years. Why an interdisciplinary course on logic? Although logic has been a discipline of study in philosophy since ancient times, in recent decades it has played an important role in other disciplines as well. For example, logic is at the core of two programming languages, is used in program verification, has enriched philosophy (and computer science) with non-classical logics that can deal constructively with contradictions, and has shaken the foundations of mathematics with insight into non-computable functions and non-provability. Several of these ideas are treated in this book.
This book addresses select topics drawn from three different areas of logic: proof theory, computability theory, and philosophical logic. A common thread throughout is the application of logic to computers and computation.
Part 1 on Proof Theory introduces a deductive system (resolution logic) that comes from an area of research known as automated deduc- tion.
Part 2 on Computability Theory explores the limits of computation using an abstract model of computers called register machines.
Part 3 on Philosophical Logic presents a certain non-classical logic (relevance logic) and a semantics for it that is useful for automated reasoning systems that must deal with the possibility of inconsistent information.
The three areas from which the special topics are drawn — proof theory, computability theory, and philosophical logic — exhibit the different roles that logic plays in three different disciplines: computer science, mathematics, and philosophy. The three parts of the book were written by a computer scientist, a mathematician, and a philosopher, respectively, and each part was reviewed by the other two authors for accessibility to students in their fields. The three parts of the book are roughly of equal length. The second part, on computability theory, is largely independent of the first, but the third part, on philosophical logic, is best presented after the first two parts.
The Mathematical Theory of Communication 豆瓣
作者: Claude E Shannon / Warren Weaver University of Illinois Press 1998 - 9
Scientific knowledge grows at a phenomenal pace-but few books have had as lasting an impact or played as important a role in our modern world as "The Mathematical Theory of Communication", published originally as a paper on communication theory in the "Bell System Technical Journal" more than fifty years ago. Republished in book form shortly thereafter, it has since gone through four hardcover and sixteen paperback printings. It is a revolutionary work, astounding in its foresight and contemporaneity. The University of Illinois Press is pleased and honored to issue this commemorative reprinting of a classic.