<--- Back to Details
First PageDocument Content
Spaceflight / Planck / Cosmic microwave background radiation / Wilkinson Microwave Anisotropy Probe / Big Bang / Cosmic Background Explorer / Dark energy / Inflation / Observational cosmology / Physical cosmology / Physics / Astronomy
Date: 2007-06-15 08:58:57
Spaceflight
Planck
Cosmic microwave background radiation
Wilkinson Microwave Anisotropy Probe
Big Bang
Cosmic Background Explorer
Dark energy
Inflation
Observational cosmology
Physical cosmology
Physics
Astronomy

Dec06cover.qxd:12

Add to Reading List

Source URL: www.esa.int

Download Document from Source Website

File Size: 823,08 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