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