<--- Back to Details
First PageDocument Content
Fritz Haber Institute of the MPG / Max Planck Society / Max Planck / Surface science / Quantum / Science and technology in Germany / Physics / Germany
Date: 2012-04-17 07:34:04
Fritz Haber Institute of the MPG
Max Planck Society
Max Planck
Surface science
Quantum
Science and technology in Germany
Physics
Germany

Vorlesungsankündigung / Lecture announcement WS

Add to Reading List

Source URL: w0.rz-berlin.mpg.de

Download Document from Source Website

File Size: 163,23 KB

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