Probing strongly correlated quantum systems with single-atom resolution

Immersing single atomic impurities into quantum gases

Exploring interatomic Coulombic decay by free electron lasers

Ultracold few-body processes in atomic waveguides

New Avenues to explore ultra-fast dynamics at free-electron lasers

Dipolar Bose-Einstein condensates with weak disorder

Photoionization and fragmentation of small molecules by XUV light; Non-adiabatic pathways to Coulomb explosion

Electronic and structural dynamics using intense, tunable, short-pulse x-rays

Multiple ionization under strong XUV to x-ray radiation

Thermodynamics and quantum dynamics of ion Coulomb crystals

An atomic Mott insulator with strong attractive interactions

Optimal control of quantum correlations in few- to many-body systems

Trapping and interfacing cold neutral atoms using optical nanofibers

The R-matrix approach with time dependence for atoms in short light fields

Accessing correlated electron motion on the attosecond timescale

Deterministic few-fermion systems

The Bose-Hubbard model with tunable, three-body onsite interactions

Universal physics of three, four or five identical bosons

Kontextmodellierung

Ein Hamburger Stadtlandschaftselement: Der Flakbunker auf dem Heiligengeistfeld

Ein Hamburger Stadtlandschaftselement: Die Airbus-Werkserweiterung in Finkenwerder

Ein Hamburger Stadtlandschaftselement: "Spielbundenplatz 5-13"

Ein Hamburger Stadtlandschaftselement: Der Park Fiction

Ein Hamburger Stadtlandschaftselement: Das Millerntor-Stadion

Ein Hamburger Stadtlandschaftselement: Das Hotel Vier Jahreszeiten

Ein Hamburger Stadtlandschaftselement: Die Esso-Häuser

Ein Hamburger Stadtlandschaftselement: Der Schanzenturm

Ein Hamburger Stadtlandschaftselement: Der Park Fiction

Der Park Fiction als Stadtlandschaftselement

Ein Hamburger Stadtlandschaftselement: Das Bergedorfer Schloss

14 - Graphen

13 - Stacks, Queues, Sortieren

12 - Binäre Suchbäume, Hashing

11 - Von Sammlungen zu dynamischen Datenstrukturen

10 - Arrays

9 - Objektsammlungen

8 - Interfaces, systematisches Testen

7 - Rekursion, Strings und Reguläre Ausdrücke

6 - Strukturierte Programmierung

5 - Referenztypen

4- Zuweisungen, elementare Typen

3 - Prozedur, Syntax

2 - Grundlagen objektorientierter Programmierung

1 - Organisatorisches

27 - KKN, CPN, Datenbankmanager, Renew

26 - Parallele Algorithmen, Paralleles Suchen und Mischen

25 - Parallele Maschinen

24 - Workflow, Bankiersproblem

23 - Workflow, KKN

22 - Die Vorlesung konnte aufgrund technischer Problemen nicht aufgezeichnet werden.

21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 2

21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 1

20 - Fairness, partial order semantics

19 - Verzweigungs-Bisimulation

18 - Rekursion

17 - Parallele Komposition

16 - "Verträglichkeit" der Bisimulation mit BPA

15 - Prozessalgebra

14 - S-Inv-Vektor vs. S-Inv-Gleichung, Fairness

13 - Zustandsraumexplosion

12 - Algorithmus: Lebendigkeits-Invarianz

11 - Unabhängigkeit von Beschränkheit, Lebendigkeit und Reversibilität

10 - P/T Netze

9 - Petrinetze

8 - Komplexität: CTL-Model-Checking, Petrinetze, Entwicklung

7 - Model Checking

6 - CTL- Formeln, Fairness

5 - Temporale Logik, LTL - Formeln

4 - Kodierung von Kripkestrukturen, Mutual Exclusion, Temporale Logik

3 - Äquivalenz von Systemen

2 - Büchi Automaten

1 - Organisatorisches

Anatomie, Physiologie, Pathologie 1

14 - Abschluss

13 - Testen von objektorientierten

12 - Refactoring

11 - Klassenentwurf

09 - Entwurfsmuster

08 - Programmierung von Graphical User Interfaces

07 - Strukturierung interaktiver Anwendungssysteme

06 - Objektorientierte Modellierung

05 - Fehlerbehandlung / Modularisierung

04 - Implementationsvererbung

03 - Polymorphie und Vererbung

02 - Formale Korrektheit

01- Softwareentwicklung II - Einleitung

27 - µ-rekursive Funktionen

26 - Berechenbarkeitsdefinitionen

24 - Komplexitätklassen

23 - Turingmaschinen und kontextsensitive Grammatiken III

22 - Turingmaschinen und kontextsensitive Grammatiken II

21 - Turingmaschinen und kontextsensitive Grammatiken

20 - Typ-0 Grammatik nach Chomsky

19 - Deterministischer Kellerautomat, andere Chomsky Grammatiken

18 - Prädikatenlogik V

17 - Prädikatenlogik IV

16 - Prädikatenlogik III

15 - Prädikatenlogik II

14 - Prädikatenlogik

13 - Aussagenlogik - Resolution

12 - Aussagenlogik - Hornformeln

11 - Aussagenlogik: Beweisbarkeit

10 - Aussagenlogik: Normalformen, Folgerung

09 - Aussagenlogik, Äquivalenz, Normalformen

08 - Ausagenlogik, Semantik

07 - Aussagenlogik, Syntax

06 - Pumping, Abschlusseigenschaften, Entscheidbarkeit und Kellerautomaten

05 Normalformen kontextfreier Grammatiken

04 - Automaten IV

03 - Automaten III

02 - Automaten II

01 - Einführung, Automaten

Auf dem Weg zu offenen, modularen Dienstleistungssystemen: Lösungsansätze und Herausforderungen für das Service Engineering

The Future of the Web: Opportunities & Challenges

Forschungsdemonstration "Robotik"

Projektdokumentation "Greenfoot"

Projektdokumentation "fussballspielende Roboter"

Projektdokumentation "POV-Ray"

Projektdokumentation "Robotik"

Projektdokumentation "Computersehen"

Abschlusspräsentation Projekt "Fussballspielende Roboter"

Abschlusspräsentation Projekt "Robotik"

Abschlusspräsentation Projekt "3D-Grafik und -Animation mit POV-Ray"

Abschlusspräsentation Projekt "Computersehen"

Abschlusspräsentation Projekt "Greenfoor - Greeps"

Vorstellung des Deutschen Klimarechenzentrums

Das Informatikstudium aus Sicht der Studierenden

Gespräche mit Berufstätigen

Informatik und Gesellschaft (Teil II)

Informatik und Gesellschaft (Teil I)

Vorstellung Projekt "3D-Grafik und Animation mit POV-Ray"

Vorstellung Projekt "fußballspielende Roboter"

Vorstellung Projekt "Bau und Programmierung von Robotern"

Vorstellung Projekt "Greenfoot - Greeps"

Vorstellung Projekt "Computersehen"

Begrüßung zum Schnupperstudium 2010