<--- Back to Details
First PageDocument Content
Consciousness / Mental calculators / Philosophers of mathematics / Philosophers of science / Max Planck / Mathematics / John von Neumann / Emmy Noether / Edmund Husserl / Science / Cognitive science / Mind
Date: 2014-10-15 11:36:07
Consciousness
Mental calculators
Philosophers of mathematics
Philosophers of science
Max Planck
Mathematics
John von Neumann
Emmy Noether
Edmund Husserl
Science
Cognitive science
Mind

IAS The Institute Letter SummerInstitute for Advanced Study

Add to Reading List

Source URL: www.ias.edu

Download Document from Source Website

File Size: 1,01 MB

Share Document on Facebook

Similar Documents

Human behavior / Psychology / Behavior / Normative ethics / Interpersonal relationships / Cognition / Experimental psychology / Motivation / Reciprocity / Social networking service / Social proof / Persuasion

How to Ask for a Favor: A Case Study on the Success of Altruistic Requests Tim Althoff∗ , Cristian Danescu-Niculescu-Mizil† , Dan Jurafsky∗ ∗ Stanford University, † Max Planck Institute SWS

DocID: 1xVws - View Document

Psychology / Behavioural sciences / Behavior / Human behavior / Normative ethics / Interpersonal relationships / Community building / Positive psychology / Reciprocity / Gratitude / Social psychology

A Case Study on the Success of Altruistic Requests Tim Althoff, Cristian Danescu-Niculescu-Mizil, Dan Jurafsky Stanford University & Max Planck Institute SWS What makes a request successful?

DocID: 1xV9E - View Document

Metaphysics / Data types / Search algorithms / Mathematics / Model checking / Tree / Information science / Abstraction / B-tree / Breadth-first search / Reachability / FO

Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS)

DocID: 1xUG5 - View Document

Theoretical computer science / Logic in computer science / Formal methods / Automated reasoning / Constraint programming / Automated theorem proving / Satisfiability modulo theories / Solver / Answer set programming / Satz / Model checking / Algorithm selection

Do Portfolio Solvers Harm? Christoph Weidenbach Max Planck Insitute for Informatics Saarland Informatics CampusSaarbr¨ ucken, Germany

DocID: 1xUko - View Document

PDF Document

DocID: 1xxLF - View Document