"1531-3468."The economic importance of innovative activity brings with it an active debate on the effect of public policy on the innovation process. This annual series, sponsored by the National Bureau of Economic Research, brings the work of leading academic researchers to the broader policy community, presenting papers that demonstrate the role that economic theory and empirical analysis can …
"A Bradford book."OCLC-licensed vendor bibliographic record.
Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment …
"MIT Press."An exploration of the techniques for analyzing the behavior of one- and two-dimensional iterative networks formed of discrete, or logical elements, showing that most questions about the behavior of iterative systems are recursively undecidable.Title from vendor webpage (IEEE Xplore; viewed on Feb. 14, 2013).An exploration of the techniques for analyzing the behavior of one- and two-…
The past two decades have seen a gradual but noticeable change in the economic organization of innovative activity. Most firms used to integrate research and development with activities such as production, marketing, and distribution. Today firms are forming joint ventures, research and development alliances, licensing deals, and a variety of other outsourcing arrangements with universities, te…
"The MIT Sloan School of Management: 50th anniversary."The MIT Sloan School of Management perspective on future management challenges.The MIT Sloan School of Management, as conceived by the legendary General Motors chairman Alfred P. Sloan, was founded in 1952 to draw on the scientific and technical resources of MIT and approach the problems of management with the rigorous research practices fo…
Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Godel. A Logical Journey is a continuation of Wang's Reflections on Kurt Godel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Godel's views on a wide range of issues, from Platonism and the na…
"Today's computers must perform with increasing reliability, which in turn depends on the problem of determining whether a circuit has been manufactured properly or behaves correctly. However, the greater circuit density of VLSI circuits and systems has made testing more difficult and costly. This book notes that one solution is to develop faster and more efficient algorithms to generate test p…
Conference proceedings presenting the state-of-the-art in Logic Programming.OCLC-licensed vendor bibliographic record.
"This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped ac…