<--- Back to Details
First PageDocument Content
European Space Agency / Infrared telescopes / Japanese space program / Herschel Space Observatory / European Space Research and Technology Centre / Planck / SPICA / Japan Aerospace Exploration Agency / Spaceflight / Space telescopes / Space
Date: 2013-10-29 09:25:24
European Space Agency
Infrared telescopes
Japanese space program
Herschel Space Observatory
European Space Research and Technology Centre
Planck
SPICA
Japan Aerospace Exploration Agency
Spaceflight
Space telescopes
Space

Add to Reading List

Source URL: herschel.esac.esa.int

Download Document from Source Website

File Size: 692,77 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