Classic Authors Classic Books E-mail: ; Subject line: Rights and Permissions 2015

Source URL: www.transactionpub.com

• Academia
• Thorstein Veblen
• Aaron Wildavsky
• Paperback
• Oscar Handlin
• Face

Playing Games Across the Superintelligence Divide Aaron Isaksen∗ ∗ Julian Togelius∗

Source URL: julian.togelius.com

• Philosophy of artificial intelligence
• Time
• Futurology
• Future
• Academia
• Artificial intelligence
• Singularitarianism
• Computational neuroscience
• Superintelligence: Paths
• Dangers
• Strategies
• Superintelligence
• Intelligence explosion
• Artificial general intelligence

Type Preservation as a Confluence Problem∗ Aaron Stump, Garrin Kimmell, and Ruba El Haj Omar Computer Science The University of Iowa Computer Science

Source URL: www.kestrel.edu

Interference in Cellular Networks: The Minimum Membership Set Cover Problem Fabian Kuhn1 , Pascal von Rickenbach1 , Roger Wattenhofer1 , Emo Welzl2 , and Aaron Zollinger1 , , watt

Source URL: disco.ethz.ch

• Set cover problem
• Randomized rounding
• Pi
• Probability distributions

Supplementary Information Cooperative nutrient accumulation sustains growth of mammalian cells Sungmin Son1,3*, Mark M. Stevens1,2*, Hui Xiao Chao1, Carson Thoreen2,6, Aaron M. Hosios1,2, Lawrence D. Schweitzer2,6, Yaoc

Source URL: manalis-lab.mit.edu

Modifying MCTS for Human-like General Video Game Playing Ahmed Khalifa, Aaron Isaksen, Julian Togelius, Andy Nealen New York University, Tandon School of Engineering , , julian@togeli

Source URL: julian.togelius.com

• Artificial intelligence
• Game artificial intelligence
• Game theory
• General game playing
• Action selection
• Monte Carlo tree search
• Turing test
• Game

Anal. Chem. 2003, 75, Flow Injection Analysis in a Microfluidic Format Andrew M. Leach, Aaron R. Wheeler, and Richard N. Zare* Department of Chemistry, Stanford University, Stanford, California

Source URL: microfluidics.utoronto.ca

Is that your final answer? The effects of neutral queries on children’s choices Aaron Gonzalez1 , Patrick Shafto2 , Elizabeth Bonawitz1 , & Alison Gopnik1 1 Department 2

Source URL: ccdlab.rutgers.edu

• Behavioural sciences
• Causality
• Conditionals
• Philosophy of science
• Ignorance
• Inference
• Psychology
• Bias

Fast and Flexible Proof Checking for SMT Duckki Oe, Andrew Reynolds, and Aaron Stump Computer Science, The University of Iowa, USA Abstract. Fast and flexible proof checking can be implemented for SMT using the Edinburgh

Source URL: lara.epfl.ch

From Declarative to Computational Proof Checking for LRA Andrew Reynolds1 , Liana Hadarean2 , Cesare Tinelli1 , Yeting Ge2 , Aaron Stump1 , and Clark Barrett2 1

Source URL: lara.epfl.ch