Sequential decision problems, dependently typed solutions Nicola Botta1 , Cezar Ionescu1 , and Edwin Brady2 1 Potsdam Institute for Climate Impact Research, Telegrafenberg A31, 14473

Source URL: ceur-ws.org

• Systems theory
• Software engineering
• Dynamic programming
• Control theory
• Procedural programming languages
• Bellman equation
• Function
• ALGOL 68
• Monad
• Mathematical optimization
• Mathematics
• Equations

Organisation/ Ansprechpartner Dipl.-Met. Franz Ossing Deutsches GeoForschungsZentrum GFZ, Public Relations, Telegrafenberg, 14473 Potsdam Tel[removed], Fax[removed],

Source URL: www.dmg-ev.de

GPS Ground Station Data for CHAMP Radio Occultation Measurements J. Wickert, R. Galas, R. König, Ch. Reigber GeoForschungsZentrum Potsdam (GFZ) Telegrafenberg, 14473 Potsdam Division Kinematics & Dynamics of the Earth C

Source URL: igscb.jpl.nasa.gov

• Geodesy
• Satellite navigation systems
• CHAMP
• Spaceflight
• Command and control
• Nuclear command and control
• Radio occultation
• Global Positioning System
• Data assimilation
• Technology
• Military science
• Navigation

Ein Wissenschaftsspaziergang über den Telegrafenberg Potsdam Alfred-Wegener-Institut für Polar- und Meeresforschung,

Source URL: media.gfz-potsdam.de

(new leadership of Division-V from July[removed]Division V: Chair: Dr. Monika Korte GeoForschungsZentrum Potsdam Telegrafenberg

Source URL: www.bgs.ac.uk

• SANSA Space Science
• Institute of Geophysics
• Research
• Space
• Earth
• Navi Mumbai
• Kalamboli
• Cooperative Institute for Research in Environmental Sciences

Exkursion 203 Dienstag, [removed]Das Deutsche GeoForschungsZentrum GFZ in Potsdam aktuelle Forschung und ein Wissenschaftsspaziergang über den Telegrafenberg

Source URL: www.intergeo.de