<--- Back to Details
First PageDocument Content
Max Planck Society / Conflict of laws / Max Planck / Hein Kötz / Verica Trstenjak / Science and technology in Germany / Germany / Physics
Date: 2014-06-05 12:58:10
Max Planck Society
Conflict of laws
Max Planck
Hein Kötz
Verica Trstenjak
Science and technology in Germany
Germany
Physics

Add to Reading List

Source URL: www.mpipriv.de

Download Document from Source Website

File Size: 25,78 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