Professor Steffen Lehmann, PhD AA Dipl 27 March 2010 “Future-Proofing Cities”

Source URL: ic.daad.de

• Steffen Lehmann
• Sustainable urban planning
• Future proof
• Martin Faulstich
• Green urbanism
• Earthscan
• Future
• Time
• Design

Linked Data Stefan Gradmann | Steffen Hennicke | Marlies Olensky | Das Semantic Web und

Source URL: edoc.hu-berlin.de

CRYSTALS AND CABS Newsletter of the Capital Mineral Club Concord, New Hampshire President - Steffen Hermanns, 7133 Oak Hill Road, Loudon, NH 03307, PhoneEmail: Vice President - Mike C

Source URL: www.capitalmineralclub.org

• East Coast of the United States
• Eastern United States
• Civil disobedience
• Keene
• New Hampshire
• Libertarianism in the United States
• New Hampshire
• United States

Steffen DIEFENBACH/Gernot Michael MÜLLER (Hgg.), Gallien in der Spätantike und im Frühmittelalter. Kulturgeschichte einer Region. Millennium Studien zu Kultur und Geschichte des ersten Jahrtausends n. Chr. Bd. 43. Ber

Source URL: gfa.gbv.de

American Economic Review 101 (December 2011): 3427–3439 http://www.aeaweb.org/articles.php?doi=aerStakes Matter in Ultimatum Games† By Steffen Andersen, Seda Ertaç, Uri Gneezy, Moshe Hoffman, and

Source URL: s3.amazonaws.com

• Game theory
• Ultimatum game
• Horse racing
• Social rejection

PROGRAM FOR THE SEMINAR ON “THE STABLE PARAMETRIZED h-COBORDISM THEOREM” (AFTER WALDHAUSEN-JAHREN-ROGNES) TIBOR MACKO, STEFFEN SAGAVE, AND WOLFGANG STEIMLE Introduction

Source URL: www.math.uni-bonn.de

• Topology
• Mathematics
• Algebra
• Surgery theory
• Homotopy theory
• Algebraic topology
• Geometric topology
• Differential topology
• Algebraic K-theory
• H-cobordism
• Piecewise linear manifold
• Cobordism

GLA: A Generic Analytics Tool for e-Learning Daniel Schön, Steffen Sikora, Stephan Kopf, Wolfgang Effelsberg Department of Computer Science IV University of Mannheim Seminar Building A5, Mannheim

Source URL: ceur-ws.org

• Education
• Educational technology
• Learning
• Formal sciences
• Learning analytics
• Analytics
• Educational data mining
• Virtual learning environment
• Learning management system
• Data mining

J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka ·

Source URL: people.mpi-inf.mpg.de

• Logic
• Mathematical logic
• Automated theorem proving
• Mathematics
• Mathematical proofs
• Proof assistants
• Logical truth
• Proof theory
• Isabelle
• First-order logic
• Automated reasoning
• Theorem

Inhalt Editorial .............................................................................................................................................................. 4 Orientierung Herbert Kolb, Kai Steffen

Source URL: www.konfirmandenarbeit-ekhn.de

IIASA experience in analyzing global forest datasets Dmitry Schepaschenko, Myroslava Lesiv, Aline Moisnier, Steffen Fritz

Source URL: www.gofcgold.wur.nl

• Geo-Wiki
• Wikis
• Ecosystems
• Ecology
• Moderate-resolution imaging spectroradiometer
• Land cover
• Biomass
• Forest
• Vegetation