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

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

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

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

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