ES Mapping 6.3

ES Mapping 6.2

ES Mapping 6.1

ES Evaluation 5.3

ES Evaluation 5.2

ES Evaluation 5.1b

ES Optimierung 9

ES Evaluation 5.1a

ES Embedded OS 4.2

ES Embedded OS 4.1

ES Hardware 3.4

ES Hardware 3.3

ES Hardware 3.2

ES Hardware 3.1

ES MOC 2.7

ES MOC 2.6b

ES MOC 2.6a

ES MOC 2.5

ES MOC 2.4

ES MOC 2.3

ES MOC 2.2

ES MOC 2.1

ES Intro 1.2

ES Intro 1.1

ES Organisation

SWT2020 4.2.3 Refactoring-Beispiel

SWT2020 4.2.2 Bad Smells

SWT2020 4.2.1 Refactoring

SWT2020 4.1.4 Reverse-Reengineering

SWT2020 4.1.3 Staged Model

SWT2020 4.1.2 TechnicalDebt

SWT2020 4.1 Geschäftskritische SW und Änderungen

SWT2020 3.6.2 Reviewkriterien

SWT2020 3.6.1 Reviews

SWT2020 3.5.5 OO Testen

SWT2020 3.5.4 Zustands- und UseCase-basiertes Testen

SWT2020 3.5.3 Grenzwerte Entscheidungstabellen

SWT2020 3.5.2 Äquivalenzklassen

SWT2020 3.5 Tests 1

SWT2020 3.4 Analytische Maßnahmen

SWT2020 3.3 Qualitätsmanagement-Maßnahmen Überblick

SWT2020 3.2 Fehlerfortpflanzung

SWT2020 3.1.2 Prozess-Produktqualität

SWT2020 3.1.1 Qualitätsmerkmale ISO

SWT2020 2.5 Sequenzdiagramm

SWT2020 2.4 Kommunikationsdiagramm

SWT2020 2.3 Zerlegungskriterien II SOA

SWT2020 2.3 Zerlegungskriterien 1

SWT2020 2.1 Entwurf - Ziele, 2.2 Entwurfsmethoden

SWT2020 1.6 Zustandsdiagrmm

SWT2020 1.5 Klassendiagramm

SWT2020 1.4 Problembereichsmodell

SWT2020 1.3.4 UML-Aktivitätsdiagramm

SWT2020 1.3.3 Änderungsmanagement

SWT2020 1.3.2 UML Stereotype

SWR 1.3.1 UML-Pakete

SWT2020 1.2 UseCase-Modellierung mit UML

SWT2020 1.1.2 Anforderungsbeschreibung

SWT2020 1.1 Frühe Phasen im Vorgehensmodell

SWT2020 0 Organisatorisches

SE2-2020-11-9-HandsOn-Ergaenzung

SE2-2020 11.7 HandsOn2

SE2-2020 12. Refactoring

SE2-2020 11.5 Werttypen in OO Sprachen

SE2-2020 11.4 Gleichheit von Objekten

SE2-2020 11.3 Werte und Objektorientierung

SE2-2020 11.6 HandsOn 1

SE2-2020 11.2 Wert versus Objekt

SE2-2020 11.1 Fachliche Werte

SE2-2020 10.7 HandsOn 2

SE2-2020 10.7 HandsOn 1

SE2-2020 10.4 Bezeichner

SE2-2020 10.3 SOLID-Prinzipien

SE2-2020 10.2 Zuständigkeiten

SE2-2020 10.1 Kopplung, Kohäsion, LoDemeter

SE2-2020 9.7 HandsOn 2

SE2-2020 9.6 HandsOn 1

SE2-2020 9.5 Layoutmanager

SE2-2020 9.4 Lambdas,Events

SE2-2020 9.3 Listener

SE2-2020 9.2 Container

SE2-2020 9.1 Swing

SE2-2020 7.4 Entwurfsmuster

SE2-2020 7.3 Entwurf

SE2-2020 7.2 Modelle Struktur Verhalten

SE2-2020 7.1 Problemraum-Lösungsraum

SE2-2020 6.5 HandsOn 2

SE2-2020 6.4 HandsOn1

SE2-2020 6.3 Beobachtermuster

SE2-2020 6.2 Entwurfsregeln

SE2-2020 6.1 Fachliche Gegenstände

SE2-2020 5.8 HandsOn 2

SE2-2020 5.7 HandsOn1

SE2-2020 5.6 Fehler, Exceptions

SE2-2020 5.5 Modularität - Java Module

SE2-2020 5.4 Zugriffsquiz

SE2-2020 5.3 Zugriffsschutz

SE2-2020 5.2 Modularität: Pakete

SE2-2020 5.1 Modularität: Klassen

SE2-2020 4.8 HandsOn2

SE2-2020 4.7 HandsOn 1

SE2-2020 4.6 Vererbung und Konstruktoren

SE2-2020 4.5 Schablonen- und Einschubmethode

SE2-2020 4.3 Abstrakte Klassen und Methoden

SE2-2020 4.3 Redefinieren

SE2-2020 4.2 Besonderheiten Java

SE2 2020 4.1 Implementationsvererbung - Ziele

SE2-2020 3.7 HandsOn Teil2 Implementationsvererbung Redefinieren Vertragsmodell

SE2-2020-3-6 HandsOn Typvererbung Polymorphie

SE2-2020 3-5 Polymorphie und Vererbung

SE2-2020 3-4 Vererbung und Typhierarchien

SE2-2020 3-3 Polymorphie und Subtyping

SE2-2020 3.2 Dynamisches Binden

SE2-2020 3.1 Vererbung

SE2-2020 2.7 HandsOn Teil2

SE2-2020 2.6 HandsOn Teil 1

SE2-2020 2.5 Testen

SE2-2020 2.4 Reviews

SE2-2020 2.3 Vertragsmodell in Java

SE2-2020 2.2 Vertragsmodell

SE2-2020 2.1 Fehler und Korrektheit

SE2-2020 1. HandsOn2: UML

SE2-2020 1. HandsOn1: Eclipse

SE2-2020 1. Ziele - Modelle

SE2-2020 1. Ziele - Komplexität

SE2 2020 - Willkommen und Organisatorisches

From Quantum Dynamics to Quantum Networks

Ubiquitous Health: Wearable Computing Systems that Increase Quality of Life and Transform Health Care

Privacy and/or Trust?

Künstliche Intelligenz zwischen Science und Fiction

Technological development and application of Deep Learning in Biomedicine

Blind multi-microphone noise reduction and dereverberation algorithms for speech communication applications

Deep Machines That Know When They Do not Know

Opportunistic Networks - Challenges and Opportunities

Known Operator Learning? A new Paradigm for Machine Learning in Signal Processing & Physics

Empirical Studies into Modelling in Software Development in the Age of Big Data and AI

The innovations, industry problems, and research challenges open source has given us

Exploring Server-side Blocking of Regions

Microarchitectural Attacks on modern CPUs

Language dynamics in social media

Imitation learning, zero-shot learning and automated fact checking

An Integrative, Event-Predictive Perspective on Cognition: Behavioral Evidence and Artificial Neural Network Models

Wem gehören die Daten? Zugangs- und Verfügungsmodelle in der Datenökonomie

What is Embodiment, and How Does It Affect the Way We Function?

Networking the IoT with RIOT

Analyzing Human Behavior in Video Sequences

Jointly Representing Images and Text: Dependency Graphs, Word Senses, and Multimodal Embeddings

Machine Learning and Knowledge Extraction

Adaptive Language Technologies

Visually Browsing Millions of Images using Image Graphs

Making Semantic Technology Intelligent

Cognitive Computer Vision for Mobile Systems

Graph-Mining zur Schwachstellensuche

Embodied Affective Decision Making in Robots

The Challenges of Affect Detection

Developmental robotics - From babies to Robots

Fooling your Senses for (Super-) Natural User Interfaces

Social media for developers: How tools shape the way we work

Machine Learning of Motor Skills for Robotics

Die Hamburg Bit-Bots: Aufbruch ins Unbekannte

Logic for Design Science Research Theory Accumulation

SWRE2020 7. Tools

SWRE2020 6.4 Einbindung in Prozessmodelle

SWRE2020 6.3 Teststrategien

SWRE2020-Migrationsstrategien

SWRE2020 5.2 Wrapping-Beispiel

SWRE2020 6.1 Bezug Projektmanagement

SWRE2020 5.2 Wrapping

SWRE2020 5.1 Traceability

SWRE2020 4.4.6 Seams

SWRE2020 4.4.5 Fake-Mock-Objekte

SWRE2020 4.4.4 Charakterisierungstests

SWRE2020 4.4.3 Ummanteln

SWRE2020 4.4.1 Kleine Tests

SWRE2020 4.4.1 Herausforderungen

SWRE2020 4.3 Refactoring II

SWRE2020 4.3 Refactoring I

SWRE2020 4.2 DatenReengineering

SWRE2020 4.1 Modularisierung und Restrukturierung

SWRE2020 3.4.4 Program Slicing

SWRE2020 3.4.3 Code-Clones

SWRE2020 3.4.2 Compiler-Techniken

SWRE2020 3.4.1 Bad Smells

SWRE2020 3.3.3 Architektur-Rekonstruktion

SWRE2020 3.3.2 Programmverstehen

SWRE2020 3.3 Analyse auf EntwurfsArchitekturebene

SWRE2020 3.2.3-2 Visualisierung Dynamisch

SWRE2020 3.2.2 Abdeckungsanalyse

SWRE2020 3.2.3-1 Visualisierung Statisch

SWRE2020 3.2.1 Metriken

SWRE2020 3.1 Ziele Analyse und Assessment

SWRE2020 2.3 Bewertung von Legacy-Systemen

SWRE2020 2.2 Strukturen von Legacy-Systemen

SWRE2020 2.1 Legacy-Systeme und Änderungen

SWRE2020 Willkommen & Organisation

SWRE2020 1.5 Reengineering

SWRE2020 1.4 Wartbarkeit

SWRE2020 1.3 Software-Wartung und Software-Evolution

SWRE2020 1.2 Änderungen und langfristige Nutzbarkeit

SWRE2020 1.1 Geschäftskritische Systeme

Thema 3: Werkzeug diagrams.net

Thema 3: Werkzeug Adobe XD

Thema 3: Werkzeug Figma

Thema 2: Zustandsdiagramme erstellen

Thema 2: Aktivitätsdiagramme erstellen

Thema 1: Use-Case-Diagramme und -Beschreibungen erstellen

Ablauf der Übungen

HDL Übersicht

VHDL Einführung 2

VHDL Einführung 1

Three Arguments for “Responsible Users”. AI Ethics for Ordinary People

Beyond Ethics in Data Mining. For a Political Discussion of a Political Issue

The Value of Data in Healthcare: Beyond Nudging

Data Justice - The Case for a Social Justice Approach to Data Governance

Market Discipline and the Algorithmic Rule of Law

Corporate Surveillance of Everyday Life. How Companies Use Personal Data against People

Ethics and Artificial Intelligence

Sitzung 28 - Betriebssysteme

Sitzung 27 - Betriebsysteme

Sitzung 26 - Betriebssysteme

Sitzung 25 - Rechnerarchitektur II, Betriebssysteme

Sitzung 24 - Rechnerarchitektur II (Parallelität, Speicherhierarchie)

Sitzung 23 - Rechnerarchitektur II

Sitzung 22 - Assembler-Programmierung

Sitzung 21 - Assembler Programmierung

Sitzung 20 - Instruction Set Architecture, Assembler

Sitzung 19 - Instruction Set Architecture

Sitzung 18 - Rechnerarchitektur I

Sitzung 17 - Schaltwerke, Rechnerarchitektur I

Sitzung 16 - Schaltwerke - Schaltwerksentwurf: Ampel

Sitzung 15 - Schaltwerke (asynchrone und synchrone Schaltungen)

Sitzung 14 - Schaltnetze (Impulsdiagramme, Hazards..)

Sitzung 13 - Schaltnetze und HADES

Sitzung 12 - Schaltfunktionen (KV-Diagramme, Normalformen, ROBDD)

Sitzung 11 - Codierung, Schaltfunktionen

Sitzung 10 - Codierung (Fehlerkorrigierende Codes)

Sitzung 9 - Codierung (Fano, Huffmann)

Sitzung 8 - Logische Operationen - Codierung

Sitzung 7 - Zeichen und Text - Logische Operationen

Sitzung 6 - Arithmetik

Sitzung 5 - Ziffern und Zahlen

Eröffnung

Discreet Computing

Conversation: The oldest new interface

Augmented Reality: The next 20 years

13- statistical machine translation part 2 and finishing up other topics

12 - statistical machine translation

10 - dense vector representations part 3 and Graph-based methods for NLP

09 -dense vector representations part 2

08 - statistical parsing part 2 and dense vector representations

07 - statistical parsing

06 - POS Tagging, Syntax Processing

05 - Hidden Markov Models part 2 and Sequence Tagging

04 - Language Models part 3 and Hidden Markov Models

03 - Language Models part 2

02 - Search Trees and Language Models

01 - Chomsky Hierarchy of formal languages and Finite State Morphology

Funktionale Programmierung

Vorbereitung Programmierdiktat

Rückblick SE1

Chronik Teil 4: Antworten, Optionen, Innovationen

Chronik Teil 2: Von der SAP-Welt zu den Bausteinen der digitalen Transformation

Chronik Teil 1: Von F.W. Taylor und Henry Ford zur SAP-Welt

26 - Klausurhinweise und Constraint Satisfaction in der Sprachverarbeitung

25 - Planning with relational actions

24 - Reasoning about Individuals and Relations Teil 2

23 - Korrektur zum Whack-the-Mole Beispiel und Reasoning about Individuals and Relations

22 - Rational vs Human Behavior

21 - Decisions Networks, Policies und Properties of Preferences

20 - Planning Teil 2 und Decisions under Uncertainty

19 - Dynamic Bayesian Networks und Planning

18 - Bayesian Networks: Whack-the-Mole Example

17 - Multimodal Human-Computer Interaction

16 - Hidden Markov Models Teil 2 und Sensor Data Fusion

15 - Hidden Markov Models

14 - Belief Networks Teil 2

13 - Belief Networks

12 - Reasoning under Uncertainty

11 - Reasoning und Causal Networks

10 - Propositions and Inference Teil 2

09 - Propositions and Inference

08 - Constraint Satisfaction Problems Teil 2

07 - Constraint Satisfaction Problems

06 - Isolated Word Recognition, Summary Search und scheduling activities

05 - Iterative Deepening, Dynamic Programming und String-to-String Mapping

04 - heuristische Suche Teil 2, cycle checking und multiple path pruning

03 - künstliche Intelligenz und heuristische Suche

11 - Computational Approaches to Romanian Loan Words

10 - Sprachtechnologie in der barrierefreien Kommunikation

9 - Clinical Texts Mining Methods Based on Semantic Attributes

8 - A Functional Computational Approach to Human Text Comprehension

7 - Extending the Knowledge Graph for the Task of Sense Disambiguation

6 - Multimodal Dialogue with Autonomous Systems

5 - The automatic generation of dialogue utterances, translations and reports

4 - Computational linguistics, language technology and research infrastructures

3 - What we have learned from corpus annotation

2 - A grammar checker for Czech

1 - Einführung und spatial cognitation in historical texts and maps

Analysis 10.07.2017 Mathias Schacht

Analysis 06.07.2017 Mathias Schacht

Analysis 03.07.2017 Mathias Schacht

Analysis 29.06.2017 Mathias Schacht

Analysis 22.06.2017 Mathias Schacht

Analysis 19.06.2017 Mathias Schacht

Analysis 15.06.2017 Mathias Schacht

Analysis 12.06.2017 Mathias Schacht

Analysis - Informatik 2. Semester 01.06.2017

Analysis - Informatik 2. Semester 29.05.2017

Analysis - Informatik 2. Semester 18.05.2017

Diskrete Mathematik - Informatik 2. Semester 15.05.2017

Diskrete Mathematik - Informatik 2. Semester 11.05.2017

Diskrete Mathematik - Informatik 2. Semester 08.05.2017

Diskrete Mathematik - Informatik 2. Semester 04.05.2017

Diskrete Mathematik - Informatik 2. Semester 27.04.2017

Diskrete Mathematik - Informatik 2. Semester 24.04.2017

Diskrete Mathematik - Informatik 2. Semester 20.04.2017

Diskrete Mathematik - Informatik 2. Semester 13.04.2017

Diskrete Mathematik - Informatik 2. Semester 10.04.2017

Diskrete Mathematik - Informatik 2. Semester 06.04.2017

Diskrete Mathematik - Informatik 2. Semester 03.04.2017

3 - Folgen der Digitalen Transformation sowie Verankerung der digitalen Transformation in der Hochschullehre

2 - Bausteine, Muster und Folgen der Digitalen Transformation

1 - Bausteine der digitalen Transformation

28 - Speicherhierarchie Teil 2

27 - Parallelarchitekturen und Speicherhierarchie

26 - Pipelining und Parallelarchitekturen

25 - Dynamische Speicherverwaltung

24 - Assembler Programmierung Teil 3

23 - Assembler Programmierung Teil 2

22 - Assembler Progammierung

21 - Warum Assembler?

20 - Instruction Set Architecture Teil 2

19 - Instruction Set Architecture Teil 2 - Befehlsformate

18 - Rechnerarchitektur Teil 3 und Instruction Set Architecture

17 - Rechnerachitektur Teil 2

16 - Schaltwerke Teil 2 sowie Rechnerarchitektur

15 - Schaltwerke

14 - Schaltnetze Teil 2

13 - Schaltnetze

12 - Schaltfunktionen und HADES Editior

11 - Codierung - Hamming Code

10 - Fehlererkennende Codes

9 - Codierung - Symbolhäufigkeiten

8 - Logische Operationen und Codierung

7 - Zeichen und Text

5 - Gleitkommazahlen

4 - Ziffern und Zahlen

3 - Moores Law

2 - Digitalrechner

1 - Einführung

Diskrete Mathematik - Informatik 1. Semester 23.12.2016

Diskrete Mathematik - Informatik 1. Semester 03.02.2017

Diskrete Mathematik - Informatik 1. Semester 02.02.2017

Diskrete Mathematik - Informatik 1. Semester 27.01.2017

Diskrete Mathematik - Informatik 1. Semester 20.01.2017

Diskrete Mathematik - Informatik 1. Semester 13.01.2017

Diskrete Mathematik - Informatik 1. Semester 12.01.2017

Diskrete Mathematik - Informatik 1. Semester 22.12.2016

Diskrete Mathematik - Informatik 1. Semester 16.12.2016

Diskrete Mathematik - Informatik 1. Semester 15.12.2016

Diskrete Mathematik - Informatik 1. Semester 09.12.2016

Diskrete Mathematik - Informatik 1. Semester 08.12.2016

Diskrete Mathematik - Informatik 1. Semester 02.12.2016

Diskrete Mathematik - Informatik 1. Semester 01.12.2016

Diskrete Mathematik - Informatik 1. Semester 25.11.2016

Diskrete Mathematik - Informatik

Diskrete Mathematik - Informatik 1. Semester 17.11.2016

Binärbäume

Natürliche Zahlen

Listen

Nicht-rekursive Datentypen

Theoreme zu Gleichheit, Lambda-Ausdrücke, Suchen

Prädikatenlogik mit Gleichheit in Coq

Prädikatenlogische Regeln mit Gleichheit

Aussagenlogik in Coq Teil 2 und Formalisierung durch Prädikatenlogik

Aussagenlogik in Coq Teil 1

Aussagenlogische Regeln Teil 2 und Kurzeinführung in Coq

Aussagenlogische Regeln Teil 1

Mathematisches Argumentieren

Bayesian Learning in Online Services

14 - Klausurvorbereitung

13 - Nachholprogramm equals

12 - Refactoring

11 - Fachwerte

10 - Objektorientierter Entwurf

9 - Programmierung von GUIs

8 - Entwurfsmuster

7 - Entwurfsregeln

6 - Strukturierung interaktiver Anwendungssysteme

5 - Fehlerbehandlung

4 - Vererbung

3 - Polymorphie und Vererbung

2 - Formale Korrektheit, Abstrakte Datentypen und Vertragsmodell

Softwareentwicklung II - Eröffnungsveranstaltung

26 - Zusammenfassung

25 - NP-Vollständigkeit Teil 2

24 - NP-Vollständigkeit

23 - P un NP

22 - Zeit- und Platzkomplexität

21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution

20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution

19 - Prädikatenlogische Normalformen

18 - Prädikatenlogik Syntax & Semantik Teil 2

17 - Prädikatenlogik Syntax & Semantik

16 - Resolution

15 - Normalformen und Hornformeln

14 - Folgerbarkeit, Äquivalenzen und Normalformen

13 - Aussagenlogik Syntax & Semantik

12 - Aufzählbarkeit und (Un-)Entscheidbarkeit Teil 2 und Wiederholung der ersten 12 Vorlesungen

11 - Aufzählbarkeit und (Un-)Entscheidbarkeit

10 - Turing Maschinen Teil 2

9 - Turing Maschinen

8 - Eigensch. & Grenzen kontexfreier Sprachen

7 - Kontextfreie Sprachen

6 - Abschlusseigenschaften & Grenzen regulärer Sprachen

5 - Abschlusseigenschaften

4 - DFAs und NFAs Teil 2

3 - DFAs und NFAs

2 - Endl. Automaten und reguläre Sprachen

1 - Endliche Automaten

14 - Zusammenfassung

13 - Programmieren mit Zuständen, GPS

12 - Prolog in Racket, Metaprogrammierung, stromorientierte Programmierung

11 - Relationale Programmierung

10 - ereignisorientierte Simulationssysteme, objektorientierte Verarbeitungsmodelle

9 - Objekte und generische Funktionen

8 - Pattern Matching, Eliza, GPS

7 - Backtracking

6 - Funktionen höherer Ordnung, modularer Entwurf, funktionale Abschlüsse und Graphische Bedienoberflächen

5 - Rekursion und Induktion

14 - Zusammenfassung

13 - Sammlungen implementieren II: Mengen

12 - Dynamische Datenstrukturen

11 - Arrays

10 - Objektsammlungen

9 - Klassen, Typen, Interfaces

8 - Rekursion

7 - Strukturierte Programmierung

6 - Das Typkonzept imperativer und objektorientierter Programmiersprachen

5 - Elementare Typen

4 - Prozedur/Methode

3 - Klassendefinitionen / Exemplarerzeugungen

2 - Karel the robot

1 - Einführung

13 - Wiederholung

12 - Zusammenfassung

11 - Flüsse

10 - Minimale Spannbäume und kürzeste Pfade (Fortsetzung)

9 - Minimale Spannbäume und kürzeste Pfade

8 - Graphen

7 - Dynamische Mengen, das Suchproblem & Binäre Suchbäume

6 - Komplexitätstheorie: P, NP und NPC

5 - Sortieren - (k?) eine untere Schranke

4 - Neue Datenstrukturen, besseres (?) Sortieren

3 - Divide & Conquer

2 - Korrektheit von Algorithmen und Laufzeitanalyse rekursiver Algorithmen (mittels Rekurrenzgleichungen)

1 - Einführung

10 - Ideen und Empfehlungen des Deutschen Autismusinstituts des Bundesverbandes autismus Deutschland e.V. für ein autismusgerechtes Studium

6 - Vertreter von IT-Unternehmen: Das Projekt „Autism at Work“

5 - Was ist Autismus?

4 - Lebensphasen im Kontext des Autismusspektrums – Übergang von der Schule zum Studium

2 - Menschen aus dem Autismusspektrum berichten - erfolgreich auf dem ersten Arbeitsmarkt

Day 3 - Research, Development and Field Test of Robotic Observation Systems for Sctive Volcanic Areas in Japan (Keynote)

Day 3 - Optimization for Robust Motion Planning and Control (Keynote)

Day 3 - Reconstructed Brain Models for Virtual Bodies and Robots (Keynote)

Day 3 - Supercomputing the Loop of Biomechanics and Neuroscience (Plenary Session)

Day 3 - Award Ceremony

Day 3 - From Mimicricy to Mastery: Creating Machines That Augment Human Skill (Plenary Session)

Day 2 - Robot Systems and Technologies for Natural Disaster Response and Infrastructure Maintenance in Japan (Keynote)

Day 2 - Robot Ethics in the Era of Self-Driving Automobiles (Keynote)

Day 2 - Micro/Nano Robotics Enabled Technology for Nano Device Assembly and Drug Discovery (Keynote)

Day 2 - Robotic Governance: Paving the Way for Generation ’R’ (Plenary Session)

Day 2 - From Geometry to Startups and to... Incubators (Plenary Session)

Day 1 - Opening

Day 1 - Robots, Politics, and Ethics: How Autonomous Driving Transforms Our Way of Thinking About Machines

Day 1 - Enter Deep Learning (Keynote)

Day 1 - What We Learned from Darpa Robotics Challenge (Keynote)

Day 1 - The New Robotics Age: The Challenge of Physical Tasks (Plenary Session)

Day 1 - Government Forum Part 2

Day 1 - Government Forum Part 1

Day 1 - Practice makes Perfect? The Role of Place Dependent Expertise in Mobile Robotics (Plenary Session)

14 - Lehreevaluation

13 - Refactoring

12 - Werte und Objekte in Programmiersprachen

11 - Klassenentwurf

10 - Programmierung von Graphical User Interfaces (GUI)

9 - Entwurfsmuster (Fortsetzung)

8 - Entwurfmuster

7 - Reguläre Ausdrücke

6 - Entwurfsregeln

5 -Fehlerbehandlung mit Exceptions / Namensräume und Modularisierung

4 - Motivation: Wiederverwendung

3 - Motivation: Vererbung

2.1 - Motivation des Vertragsmodells

1 - Eröffnungsveranstaltung

23 - Zusammenfassung

22 - Äquivalente Normalformen und Prädikatenlogische Resolution

21 - Prädikatenlogische Normalform

20 - Prädikatenlogik, Syntax und Semantik

19 - Resolution

18 - Ableitungen und Resolution

17 - Ableitungen

16 - Normalformen und Hornformeln

15 - Folgerbarkeit, Äquivalenzen und Normalformen

14 - Aussagenlogik / Syntax & Semantik

13 - NP-Vollständigkeit

12 - Zeit- und Platzkomplexität

11 - Aufzählbarkeit und (Un-) Entscheidbarkeit (Teil 2) und Wiederholung

10 - Aufzählbarkeit und (Un-) Entscheidbarkeit

9 - Turing-Maschinen (Teil 2)

8 - Turing-Maschinen

7 - Eigenschaften kontextfreier Sprachen

6 - Kontextfreie Sprachen

5. - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma (Teil 2)

4 - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma

3 - Mehr zu regulären Sprachen

2 - Endliche Automaten und reguläre Sprachen

1 - Grundlagen

B.Sc. MCI (Mensch-Computer-Interaktion)

IT im Beruf - Lehramt Informatik

IT im Beruf - Software-Architekt

Interview Studierende B.Sc. Mensch-Computer-Interaktion

Experteninterview B.Sc. Informatik

Experteninterview - B.Sc. Computing in Science

Experteninterview Lehramt Informatik

Experteninterview - B.Sc. Software-System-Entwicklung

Interview Studierende - B.Sc. Computing in Science

Interview Studierende - M.Sc. Bio-Informatik

Experteninterview Studienfächer der Informatik

Projekt Helikopter

Projekt Roboter

Projekt Sprachgesteuertes Spiel

Projekt StuReSy

Interview Studierende B.Sc. Mensch-Computer-Interaktion

Interview Studierende - B.Sc. Computing in Science

29 - Fragestunde (Teil 2)

28.2 - Fragestunde (Teil 1)

28.1 - Klausurvorbereitung

27 - SMP: Symmetric Multiproccessing

26 - Motivation

25 - Pipelining

24 - Array

23 - Stack

22 - Assembler

21 - Adressierungsarten

20 - Byte-Order

19 - Busse

18 - Rechnerarchitektur

17 - Beschreibung von Schaltwerken

16 - Mealy-Modell und Moore-Modell/ Flipflops

15 - Multiplizierer

14 - Schaltnetze

13 - Grafische Minimierungsverfahren

12 - Schaltfuntionen

11 - Strukturbeschreibung

10 - Informationsbegriff

9 - Codierung von Texten

8 - Rechenregeln: Ring/Algebra

7 - ISO 8859 Familie

6 - Addition und Subtraktion

5 - Gleitkommaformat

4 - Ziffern und Zahlen

3 - Moore's Law

2 - Digitalrechner

1 - Einführung

14 - Fallstudien

13 - Metaprogrammierung und Programmierstile

12 - Relationale Programmierung

11 - Ereignisorientierte Simulation

9 - Backtracking

8 - Funktionale Abschlüsse

7 - Der Entwurf von Funktionen

6 - Rekursion und Induktion

4- Datenabstraktion in Racket

3 - Mehrdeutigkeit von Zahlen (Teil 1)

3 - Mehrdeutigkeit von Zahlen (Teil 2)

2 - Die Arbeitsumgebung

1 - Einführung

14 - Mehr zu Sammlungen

13 - Bäume und das Hash-Verfahren als Realisierung für Mengen

12 - Testen/Listen

11 - Array

10 - Objektsammlungen

9 - Klassen, Typen und Interfaces

8 - Rekursion

7 - Strukturierte Programmierung

6 - Werttypen/ Referenztypen

5 - Zuweisung

4 - Imperative Grundkonzepte

3 - Karel the Robot - Lektion 2 1/2

2 - Robot - Lektion II

1 - Grundlagen objektorientierter Programmierung: Einführung

26 - Parallele Algorithmen

25 - Parallele Maschinen

24- Fairness/Parallele Maschinen

23 - Geschützte Rekursion

22 - Parallele Komposition/Rekursion

21 - Prozessalgebra

20 - Prozessalgebra und Bisimulation

19 - Bankiersproblem

18 - Bankiersproblem/ Renew

17 - Höhere Petrinetze

16 - CPN / Workflow

15 - Systemverifikation durch Petrinetze

14 - Zustandsraumexplosion

13 - Analyse endlicher Erreichbarkeitsgraphen

12 - Entscheidbarkeitsproblem

11 - Kantenkonstante Netze (KKN)

10 - Verfeinerung/Vergröberung

9 - Partial order semantics

8 - Synchrone Produkte (Wdh.)/ Partial order semantics

7 - Computational Tree Logic (CTL)

6 - Temporale Logik

5 - Kripkestrukturen von Programmen

4 - Synchrone Produkte

3 - Büchi-Automaten

2 - Model-Checking

1 - Modellierung und Analyse von Informatiksystemen

14 - Funktionalen Stack komplettieren; Lehreevaluation

13 - Formale Korrektheit, Abstrakte Datentypen

12 - Refactoring

11 - Wert und Objekt

10 - Klassenentwurf

9b - Vorstellung von Livecode

9a - Programmierung von GUIs

8 - Entwurfsmuster

7 - Strukturierung interaktiver Anwendungssysteme

6 - Objektorientierte Modellierung - fachlich und technisch

5 - Fehlerbehandlung mit Exceptions

4 - Implementationsvererbung

3 - Polymorphie und Vererbung

2 - Testing

1 - Einführung: Abstraktion und Modelle

12 - NP-Vollständigkeit (2)

11 - NP-Vollständigkeit

10 - Zeit- und Platzkomplexität

9 - Entscheidbarkeit und Aufzählbarkeit

8 - Turing-Maschinen (2)

7 - Turing-Maschinen

6 - Eigenschaften kontextfreier Sprachen

5 - Kellerautomaten und Pumping Lemma

4 - Über reguläre Sprachen hinaus

3 - Mehr zu regulären Sprachen

2 - Endliche Automaten und reguläre Sprachen

1 - Endliche Automaten

[KBS-SoSe14] Angriffe auf kryptografische Systeme

[KBS] Lightning Talks 2

[KBS] OpenAccess und Web-Publishing für Studierende

[KBS] CryptoCampagne 2011

[KBS] Lightning Talks WiSe 2011/12

[KBS] Ernährung und Kochen für Erstsemester

[KBS] Python im Wunderland - the beauty of code

[KBS] Social Payment: Flattr and Bitcoin

[KBS] Source Control

[KBS] CryptoCampagne 2010

[KBS] Lightning Talks 2010

[KBS] IPv6

[KBS] Was ist eigentlich LaTeX?

[KBS] Ubuntu-Installationsparty

[KBS] Workshop Rechnerbenutzung

[KBS] Leben in und mit der Uni

Getting Things Done: Selbstorganisation

14 - Programmieren mit Zuständen

13 - Memoization, CLOS Anwendungen

11 - Metaprogrammierung ( nur Sprecher, keine Folien)

12 - Relationale Programmierung

10 - Musterabgleich; Objekte und generische Funktionen

9 - Der Suchraum

8 - Callback functions

7 - Funktionen höherer Ordnung

6 - Rekursion und Induktion

5 - Semantik und Korrektheit

4 - Rekursive Konstruktion und Selektion

3 - Zeichen und Symbole

2 - Funktionale Abstraktion

1- Einführung

14 - Differenzlisten

13 - Funktionen höherer Ordnung

11 - Prädikate höherer Ordnung, Funktionale Programmierung ( Nur Sprecher, keine Folien)

12 - Funktionen

10 - Extra- und Metalogische Prädikate; Prädikate höherer Ordnung

9 - Sortieren

7 - Verkettete Listen

6 - Rekursive Datenstrukturen und verkettete Listen

5 - Rekursive Datenstrukturen

4 - Rekursive Datenstrukturen

3 - Deduktive Datenbanken

2 - Relationale Datenbanken

1- Einführung

27 - Beispiele ausdrucksstarker Planung

25 - Challenges of building ontologies

23 - Individuals and Relations

21 - Markov Decision Process

19 - Decision Networking

17 - Hidden Markov Models

15 - The Bayesian Network

13 - Possible World Semantics

11 - Complete knowledge assumption (Nur Sprecher, keine Folien)

9 - Human's view of semantics

7 - Searching (Artificial Intelligence)

5 - Search Strategies (Artificial Intelligence)

3 - Searching (Artificial Intelligence)

1 - Intellectual tasks (Artificial Intelligence)

27 - Berechnung kleinster Kreise

26 - Voronoi-Diagramme

25 - Bestimmung dichtester Punkte; Geometrische Datenstrukturen

24 - Simplexalgorithmus

23 - Das Scan-line-Prinzip; Berechnung Kovexer Hüllen

21 - Lineare Gleichungssyteme und ihre Programmierung

20 - Matrixmultiplikation

19 - Treaps; Matrizen

18 - Fibonacci-Heaps

17 - Heaps

16 - Splay Trees

15 - Maximales Matching in gewichteten Graphen

14 - Die Ungarische Methode

13 - Matching-Algorithmen

12 - Push-Relabel-Algorithmen

11 - Der Dinic Algorithmus

10 - Algorithmen in Flussnetzwerken

9 - Floyd Warshall & Johnson Algorithmus, Maximale Flüsse

8 - Breitensuche, Dijkstras Algorithmus

7 - Tiefensuche, Breitensuche

6 - Bi- und Tri-Zusammenhangskomponenten, Planarität, DAGs, SCCs

05 - Tiefensuche

04 - Dynamische Arrays; Graphen im Überblick; Strukturanalyse von Graphen

3 - Amortisierte Analyse

2 - Rekursive Algorithmen; Probabilistische Analyse

1 - Einführung