Informatik

Post-Quantum Cryptography

Die Vorlesung „Post-Quantum Cryptography“ beschäftigt sich mit der Sicherheit heutiger kryptographischer Systeme unter Berücksichtigung der Fähigkeiten von Quantencomputern. Dabei werden neben den Fähigkeiten und Grenzen von Quantencomputern verschiedene kryptographische Verfahren aus den Bereichen Hash-, Gitter- und Code-basierte Kryptographie, als auch dem Feld der multivariaten Kryptographie vorgestellt. Weitere Lernziele sind inbesondere die Kenntnis über Techniken der […]

Post-Quantum Cryptography Read More »

Einführung in Net Centric Systems

Vertiefte, umfassende, vernetzte, alle relevanten Aspekte umfassende Schwerpunktkompetenz (Theorie und Praxis) in einem grundlegenden Aspekt der modernen Informatik: * Überblickswissen über relevante Gebiete und wesentliche Fragestellungen des Net-Centric Computing (NCC), * Reproduzierbares Verständnis ausgewählter, zentraler Algorithmen, Protokolle und Verfahren (z.B. DCT-basierte Kompression), * Anwendbares Methodenwissen zu weit verbreiteten Bestandteilen des „Engineering“ von NCC-Systemen. NCC wird

Einführung in Net Centric Systems Read More »

Introduction Computer Science I

The lecture presents important basic principles of computer science, including concepts of programming languages, elementary algorithms, types of abstract data, simple data structures (stacks, lists, trees), recursion, and algorithm efficiency analysis. Students will be encouraged to think in formal systems and to accept the necessity of abstraction and the importance of appropriate model formations in

Introduction Computer Science I Read More »

Effiziente Graphenalgorithmen

Auf Basis analytischer Sachverhalte entwickeln wir algorithmische Ideen für Verfahren auf Graphen. Daraus entstehen zunächst generische Verfahren, welche formal bezüglich ihrer Korrektheit und Laufzeit analysiert werden. Im Anschluss daran werden in jedem Kapitel Techniken zur Verbesserung und Beschleunigung vorgestellt. Abgerundet wird der Stoffplan durch zahlreiche Modellierungs- und Anwendungsbeispiele und der (optionalen) Implementierung eines Benchmarks verschiedener

Effiziente Graphenalgorithmen Read More »

Optimierungsalgorithmen

Auf Basis analytischer Sachverhalte entwickeln wir algorithmische Ideen für Verfahren auf Graphen. Daraus entstehen zunächst generische Verfahren, welche formal bezüglich ihrer Korrektheit und Laufzeit analysiert werden. Im Anschluss daran werden in jedem Kapitel Techniken zur Verbesserung und Beschleunigung vorgestellt. Abgerundet wird der Stoffplan durch zahlreiche Modellierungs- und Anwendungsbeispiele und der (optionalen) Implementierung eines Benchmarks verschiedener

Optimierungsalgorithmen Read More »

Lehrfilme im Rahmen des Mentorensystems der Informatik (Version 1)

Lehrfilme im Rahmen des Mentorensystems der Informatik (Version 1) Das Lernmaterial “Lehrfilme im Rahmen des Mentorensystems der Informatik (Version 1) 56” von Dipl.-Psych. Sabine General unterliegt folgender Creative Commons Lizenz: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International license. Lehrende: Dipl.-Psych. Sabine General

Lehrfilme im Rahmen des Mentorensystems der Informatik (Version 1) Read More »

Effiziente Graphenalgorithmen

Auf Basis analytischer Sachverhalte entwickeln wir algorithmische Ideen für Verfahren auf Graphen. Daraus entstehen zunächst generische Verfahren, welche formal bezüglich ihrer Korrektheit und Laufzeit analysiert werden. Im Anschluß daran werden in jedem Kapitel Techniken zur Verbesserung und Beschleunigung vorgestellt. Abgerundet wird der Stoffplan durch zahlreiche Modellierungs- und Anwendungsbeispiele und der (optionalen) Implementierung eines Benchmarks verschiedener

Effiziente Graphenalgorithmen Read More »

Neue Sicherheitskultur für die Industrie 4.0

In der Ringvorlesung “Neue Sicherheitskultur für die Industrie 4.0” geben Experten und Expertinnen aus den Fachrichtungen Maschinenbau, Informatik, Recht, Politik und Wirtschaft einen Einblick in das zur Zeit heiß diskutierte Thema Industrie 4.0. Bei dem Zukunftsprojekt Industrie 4.0 geht es um nicht weniger als eine “vierte industrielle Revolution”, konkret aber um eine verstärkte Informatisierung der

Neue Sicherheitskultur für die Industrie 4.0 Read More »

Algorithmische Modellierung

Algorithmische Optimierungssprachen wie OPL und EclipseModellierung innerhalb eines restriktiven Modellierungsrahmens (zum Beispiel lineare Optimierung oder ganzzahlige lineare Optimierung)Modellierung als kombinatorische Optimierungsprobleme (z.B. Netzwerkflussprobleme, Färbungsprobleme, Wegeprobleme)Komplexe Fallbeispiele aus der Praxis. Zum Beispiel: Modellierung der Fahrplanauskunft im BahnverkehrModellierung der Steuerung von Fertigungsroboterndeterministisches und stochastisches Scheduling Lizenzen Das Lernmaterial “Algorithmische Modellierung 124” von Prof. Dr. Karsten Weihe unterliegt

Algorithmische Modellierung Read More »

Nach oben scrollen