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

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 2: Zustandsdiagramme erstellen

Thema 2: Aktivitätsdiagramme erstellen

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

Ablauf der Übungen

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

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

HDL Übersicht

VHDL Einführung 2

VHDL Einführung 1

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

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

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