Search Results - (((((((kant OR manthe) OR kind) OR mantis) OR cantor) OR anne) OR halted) OR ranting) algorithms.

Three Views of Logic : Mathematics, Philosophy, and Computer Science. by Loveland, Donald W.

Table of Contents: “…Computability Theory; 4 Overview of Computability; 4.1 Decision Problems and Algorithms; 4.2 Three Informal Concepts; 5 A Machine Model of Computability; 5.1 Register Machines and RM-Computable Functions; 5.2 Operations with RM-Computable Functions; Church-Turing Thesis; LRM-Computable Functions; 5.3 RM-Decidable and RM-Semi-Decidable Relations; the Halting Problem; 5.4 Unsolvability of Hilbert's Decision Problem and Thue's Word Problem; 6 A Mathematical Model of Computability.…”
Full text (MFA users only)

Digital wealth : an automatic way to invest successfully by Moore, Simon, 1978-

Table of Contents: “…Chapter 9 The Advantages of Exchange-Traded FundsThe Benefits of ETFs; In-Kind Transfers; The Risks of ETFs; Securities Lending Policies; Notes; Chapter 10 The Triumph of Low-Cost Investing: How Paying Less Gets You More; Fooled by Randomness; A Triumph of Marketing over Results; Notes; Chapter 11 Learning from Nobel Prize Winners; Milton Friedman, 1976; James Tobin, 1981; Harry Markowitz, 1990; William Sharpe, 1990; Daniel Kahnemann, 2002; Eugene Fama and Robert Shiller, 2013; Chapter 12 The Costs of Being Active; The Cost of Closet Indexing; The Other Costs of Active Management; Notes.…”
Full text (MFA users only)

Signalized Flows : Optimizing Traffic Signals and Guideposts and Related Network Flow Problems. by Strehler, Martin

Full text (MFA users only)

Better living through economics

Table of Contents: “…Introduction / John J Siegfried -- Overview: Highlights of the benefits of basic science in economics / Charles R Plott -- Comment / Daniel S Hamermesh -- Comment / Daniel Newlon -- 1: Evolution of emissions trading / Thomas H Tietenberg -- Comment / Wallace E Oates -- 2: Better living through improved price indexes / Michael J Boskin -- Comment / Jerry Hausman -- 3: Economics and the earned income tax credit / Robert A Moffitt -- Comment / V Joseph Hotz -- 4: Trade liberalization and growth in developing countries / Anne O Krueger -- Comment / Douglas A Irwin -- 5: Role of economics in the welfare-to-work reforms of the 1990s / Rebecca M Blank -- Comment / Nancy Folbre -- 6: Better living through monetary economics / John B Taylor -- Comment Laurence H Meyer -- 7: Greatest auction in history / R Preston McAfee, John McMillan, Simon Wilkie -- Comment / Jeremy Bulow -- 8: Air-transportation deregulation / Elizabeth E Bailey -- Comment / Nancy L Rose -- 9: Deferred-acceptance algorithms: history, theory, practice / Alvin E Roth -- Comment / Peter Cramton -- 9: Economics, economists, and antitrust: a tale of growing influence / Lawrence J White -- Comment / Kenneth G Elzinga -- 11: Economics and the all-volunteer military force / Beth J Asch, James C Miller III, John T Warner -- Comment / Walter Y Oi -- 12: Public policy and saving for retirement: the autosave features of the Pension Protection Act of 2006 / John Beshears [and others] -- Comment / Robert J Shiller -- Contributors -- Index.…”
Full text (MFA users only)

Frontiers of energy, materials and information engineering : selected, peer reviewed papers from the 2014 International Conference on Frontiers of Energy, Materials and Information...

Full text (MFA users only)

The Oxford guide to library research by Mann, Thomas, 1948-

Full text (MFA users only)

Integral equations, boundary value problems and related problems : dedicated to Professor Chien-Ke Lu on the occasion of his 90th birthday : Yinchuan, Ningxia, China, 19-23 August...

Table of Contents: “…Some properties of a kind of singular integral operator for K-monogenic function in Clifford analysis / L.P. …”
Full text (MFA users only)

Wireless sensor systems for extreme environments : space, underwater, underground and industrial

Full text (MFA users only)

Information assurance : dependability and security in networked systems

Table of Contents: “…Spafford -- Static Decision-making Systems -- Dynamic Decision-making Systems -- Intrusion Tolerance through Diverse Replicas -- Responses to Specific Kinds of Attacks -- Benchmarking Intrusion Response Systems -- Thoughts on Evolution of IRS Technology -- 14. …”
Full text (MFA users only)

Microbiological sensors for the drinking water industry

Full text (MFA users only)

The platform economy and the smart city : technology and the transformation of urban policy

Full text (MFA users only)

Regression Analysis with Python. by Massaron, Luca, Boschetti, Alberto

Full text (MFA users only)

Parallel Programming with Python. by Palach, Jan

Table of Contents: “…Advantages and disadvantages of using threadsUnderstanding different kinds of threads; Defining the states of a thread; Choosing between threading and _thread; Using threading to obtain the Fibonacci series term with multiple inputs; Crawling the Web using the concurrent.futures module; Summary; Chapter 5: Using Multiprocessing and ProcessPoolExecutor; Understanding the concept of a process; Understanding the process model; Defining the states of a process; Implementing multiprocessing communication; Using multiprocessing. …”
Full text (MFA users only)

Eat, cook, grow : mixing human-computer interactions with human-food interactions

Table of Contents: “…"You don't have to be a gardener to do urban agriculture": understanding opportunities for designing interactive technologies to support urban food production / William Odom -- Augmented agriculture, algorithms, aerospace, and alimentary architectures / Jordan Geiger -- The allure of provenance: tracing food through user-generated production information / Ann Light -- Beyond gardening: a new approach to HCI and urban agriculture / Tad Hirsch -- Hungry for data: metabolic interaction from farm to fork to phenotype / Marc Tuters and Denisa Kera -- Food futures: three provocations to challenge HCI interventions / Greg Hearn and David Lindsay Wright -- Bringing technology to the dining table / Charles Spence -- List of recipes.…”
Full text (MFA users only)

Probability, Finance and Insurance : Proceedings of a Workshop. by Lai, T. L.

Full text (MFA users only)

A cabinet of philosophical curiosities : a collection of puzzles, oddities, riddles, and dilemmas by Sorensen, Roy A.

Table of Contents: “…Infinite Two-Minute DebateIndian Debate Tournament; Winning by Losing; Minimising Selfishness; Lawrence of Arabia Collars a Leopard; A Bridge without Pillars; Advice from Shih Teng; Thales' Shady Measurement of Pyramids; The Cowpox Transmission Problem; Kant's Gloves; An Antipodal Algorithm; The Invisibility of Function Words; Necessary Waste; The Art of the Counterexample; The Philosophy of Scale Effects; Humble Exercise; Philosophy for the Eye; Synthetic A Priori Lies; Passive A Priori Deception; Crete Revisited; Less Lucky the Second Time?…”
Full text (MFA users only)

Study on the Long-Term Retention of Selected Scientific and Technical Records of the Federal Government : Working Papers

Table of Contents: “…Characteristics Distinguishing Data in Physics, Chemistry, and Materials Sciences from Data in Field ... The Nature and Kinds of Electronically Recorded Data in Physics, Chemistry, and Materials Sciences -- 3 DATA MANAGEMENT REQUIREMENTS -- Metadata, Algorithms, and References -- Classification -- Locator System -- Speed of Retrieval -- Storage Media -- Data Formats -- 4 ILLUSTRATIVE EXAMPLES OF ELECTRONIC RECORDS FROM PHYSICS, CHEMISTRY, AND MATERIALS SCIENCES -- Original Experimental Records -- Example 1: Atmospheric and Underground Nuclear Weapons Test Results…”
Full text (MFA users only)

Boundary element methods in applied mechanics : proceedings of the First Joint Japan/US Symposium on Boundary Element Methods, University of Tokyo, Tokyo, Japan, 3-6 October 1988

Table of Contents: “…BOUNDARY INTEGRAL EQUATION OF THE FIRST KIND; 4. APPROXIMATION ON THE BOUNDARY; 5. APPROXIMATION IN TIME; ACKNOWLEDGEMENTS; REFERENCES; Chapter 2. …”
Full text (MFA users only)

Debates in the digital humanities 2016

Table of Contents: “…Father Busa Female Punch Card Operatives / Melissa Terras and Julianne Nyhan -- On the Origin of "Hack" and "Yack" / Bethany Nowviskie -- Reflections on a Movement: #transformDH, Growing Up / Moya Bailey, Anne Cong-Huyen, Alexis Lothian, and Amanda Phillips.…”
Full text (MFA users only)

Terrestrial Radiation Effects in ULSI Devices and Electronic Systems. by Ibe, Eishi H.

Full text (MFA users only)