Algorithmen in Online-Systemen

Größe: px
Ab Seite anzeigen:

Download "Algorithmen in Online-Systemen"

Transkript

1 Kurzvortrag - Lehrstuhl Algorithmik I - Prof. Dr. Wagner 1 Florian Drews, Richard Hertel: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der Helmholtz-Gemeinschaft Institut für Theoretische Informatik

2 Vorgehen Internetrecherchen wenig ergiebig Google gibt nicht viele Informationen heraus Eigenschaften des Labeling durch ausprobieren gefunden Ergebnis Vermutlich keiner der Algorithmen der Vorlesung 2 Florian Drews, Richard Hertel:

3 Labeling - Baden über Bayern 3 Florian Drews, Richard Hertel:

4 Labeling - Stutensee verschwindet beim Drehen 4 Florian Drews, Richard Hertel:

5 Labeling - Stutensee verschwindet beim Drehen 5 Florian Drews, Richard Hertel:

6 Labeling - Labels überschneiden sich 6 Florian Drews, Richard Hertel:

7 Labeling - Wiesbaden weicht nicht für Frankfurt 7 Florian Drews, Richard Hertel:

8 Labeling - Wiesbaden weicht nicht für Frankfurt 8 Florian Drews, Richard Hertel:

9 Labeling - Bodenseegrenze ungeklärt 9 Florian Drews, Richard Hertel:

10 Labeling - Label verschwinden beim Verschieben 10 Florian Drews, Richard Hertel:

11 Labeling - Label verschwinden beim Verschieben 11 Florian Drews, Richard Hertel:

12 Labeling Beobachtungen Vermutlich 9-Positionen Modell Alleinstehende Labels befinden sich leicht oben rechts Label können sich geringfügig überschneiden Bei zu großen Überschneidungen wird das längere Label ausgeblendet Falls möglich erhält das längere Label eine neue Position Das kürzere Label wird nicht beeinflusst, auch wenn der Konflikt damit aufgelöst werden könnte 12 Florian Drews, Richard Hertel:

13 Labeling Das Labeling ist insgesamt recht unruhig Manchmal springen Labels mehrfach ohne erneute Änderung des Kartenausschnitts Orte verschwinden beim Verschieben der Karte, obwohl sie noch Platz hätten Positionswechsel auch beim Zoomen Labels werden beim Zoomen manchmal ausgeblendet und an der gleichen Stelle wieder eingeblendet 13 Florian Drews, Richard Hertel:

14 OpenStreetMap Vorgehen Erster Einstieg: Internetrecherchen Wichtige Anhaltspunkte: Wiki-Seiten von OpenStreetMap Genaue und aktuelle Angaben: Quellcode Wichtige Erkenntnisse Mapnik: Renderer der Standard-Ansicht Konkretes Verhalten abhängig von Konfiguration 14 Florian Drews, Richard Hertel:

15 OpenStreetMap - Linienvereinfachung Douglas-Peuker Algorithmus Streckenzug rekursiv in Liniensegmente zerlegen Keine Beschleunigung durch "konvexe Hülle" Bestandteil der C++ Bibliothek Boost 15 Florian Drews, Richard Hertel:

16 OpenStreetMap - Linienvereinfachung Visvalingam-Whyatt Algorithmus iterativ Punkte kleinster effektiver Fläche entfernen 16 Florian Drews, Richard Hertel:

17 OpenStreetMap - Linienvereinfachung Zhao-Saalfeld Algorithmus Basiert auf ɛ-korridor 17 Florian Drews, Richard Hertel:

18 OpenStreetMap - Punkt-Labeling Eigenschaften 9 Positionen-Modell Deterministischer Algorithmus verhindert Überlappungen zwischen Beschriftungen Variante Simple Erlaubte Positionen und Schriftgrößen sind pro Labeltyp festgelegt Algorithmus probiert alle Positionen aus und reduziert dann die Schriftgröße Variante List Algorithmus probiert Liste von Positionen und Schriftgrößen aus 18 Florian Drews, Richard Hertel:

19 Zusammenfassung Ergebnis der Recherchen Onlinesysteme verwenden oft einfache Algorithmen Fehler werden in Kauf genommen Ausführungsgeschwindigkeit wichtig Flüssiges Zoomen und Drehen benötigt viele Berechnungen pro Sekunde 19 Florian Drews, Richard Hertel:

Algorithmen II Vorlesung am

Algorithmen II Vorlesung am Algorithmen II Vorlesung am 0..0 Minimale Schnitte in Graphen INSTITUT FÜR THEORETISCHE INFORMATIK PROF. DR. DOROTHEA WAGNER KIT Universität des Landes Baden-Württemberg und Algorithmen nationales Forschungszentrum

Mehr

9. Übung Algorithmen I

9. Übung Algorithmen I INSTITUT FÜR THEORETISCHE INFORMATIK 1 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft Institut für Theoretische www.kit.edu Informatik Musterlösung

Mehr

Formalisierung und Kategorisierung natürlichsprachlicher Ortsbeschreibungen

Formalisierung und Kategorisierung natürlichsprachlicher Ortsbeschreibungen Formalisierung und Kategorisierung natürlichsprachlicher Ortsbeschreibungen Daniela Richter, Stephan Winter FAKULTÄT FÜR BAUINGENIEUR-, GEO- UND UMWELTWISSENSCHAFTEN DEPARTMENT OF INFRASTRUCTURE ENGINEERING

Mehr

Universität Potsdam Institut für Informatik Lehrstuhl Maschinelles Lernen. Clusteranalyse. Tobias Scheffer Thomas Vanck

Universität Potsdam Institut für Informatik Lehrstuhl Maschinelles Lernen. Clusteranalyse. Tobias Scheffer Thomas Vanck Universität Potsdam Institut für Informatik Lehrstuhl Maschinelles Lernen Clusteranalyse Tobias Scheffer Thomas Vanck Überblick Problemstellung/Motivation Deterministischer Ansatz: K-Means Probabilistischer

Mehr

Kräftepaar und Drehmoment

Kräftepaar und Drehmoment Kräftepaar und Drehmoment Vorlesung und Übungen 1. Semester BA Architektur KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Kräftepaar

Mehr

Top. Karte 1:50000 Bayern, Maßstab 1:16303 Landesamt für Vermessung und Geoinformation Bayern, Bundesamt für Kartographie und Geodäsie 2006 Seite 1

Top. Karte 1:50000 Bayern, Maßstab 1:16303 Landesamt für Vermessung und Geoinformation Bayern, Bundesamt für Kartographie und Geodäsie 2006 Seite 1 Top. Karte 1:50000 Bayern, Maßstab 1:16303 Top. Karte 1:50000 Bayern, Maßstab 1:16322 Top. Karte 1:50000 Bayern, Maßstab 1:16303 Top. Karte 1:50000 Bayern, Maßstab 1:16303 Top. Karte 1:50000 Bayern,

Mehr

Kartographie - Statische Karten

Kartographie - Statische Karten Kartographie - Statische Karten INSTITUTE OF THEORETICAL INFORMATICS PROF. DR. DOROTHEA WAGNER KIT University of the State of Baden-Wuerttemberg and Köckert, National Sayed, Laboratory Prause of the Kartographie

Mehr

Kräfte. Vorlesung und Übungen 1. Semester BA Architektur. Institut Entwerfen und Bautechnik, Fachgebiet Bautechnologie/Tragkonstruktionen

Kräfte. Vorlesung und Übungen 1. Semester BA Architektur.  Institut Entwerfen und Bautechnik, Fachgebiet Bautechnologie/Tragkonstruktionen Kräfte Vorlesung und Übungen 1. Semester BA Architektur Institut Entwerfen und Bautechnik, / KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft

Mehr

Schnittgrößen. Vorlesung und Übungen 1. Semester BA Architektur.

Schnittgrößen. Vorlesung und Übungen 1. Semester BA Architektur. Schnittgrößen Vorlesung und Übungen 1. Semester BA Architektur KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Schnittgrößen Verlauf

Mehr

Praktikum Routenplanung Themenvorstellung & Gruppeneinteilung, Wintersemester 2015/2016 Moritz Baum, Ben Strasser, Tobias Zündorf 19.

Praktikum Routenplanung Themenvorstellung & Gruppeneinteilung, Wintersemester 2015/2016 Moritz Baum, Ben Strasser, Tobias Zündorf 19. Praktikum Routenplanung Themenvorstellung & Gruppeneinteilung, Wintersemester 2015/2016 Moritz Baum, Ben Strasser, Tobias Zündorf 19. Oktober 2015 INSTITUT FÜR THEORETISCHE INFORMATIK ALGORITHMIK PROF.

Mehr

Einstieg in die Informatik mit Java

Einstieg in die Informatik mit Java 1 / 20 Einstieg in die Informatik mit Java Rekursion Gerd Bohlender Institut für Angewandte und Numerische Mathematik Gliederung 2 / 20 1 Überblick 2 Rekursion 3 Rekursive Sortieralgorithmen 4 Backtracking

Mehr

Kombinatorische Optimierung

Kombinatorische Optimierung Juniorprof. Dr. Henning Meyerhenke 1 Henning Meyerhenke: KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Vorlesung 4 Programm des

Mehr

Schnelle und genaue Routenplanung

Schnelle und genaue Routenplanung Sanders/Schultes: Routenplanung 1 Schnelle und genaue Routenplanung Peter Sanders Dominik Schultes Institut für Theoretische Informatik Algorithmik II Universität Karlsruhe Uni für Einsteiger, 22. November

Mehr

Tutorium Rechnerorganisation

Tutorium Rechnerorganisation Woche 11 Tutorien 3 und 4 zur Vorlesung Rechnerorganisation 1 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu

Mehr

Fortgeschrittene Routenplanung. Transportnetzen. Advanced Route Planning in Transportation Networks

Fortgeschrittene Routenplanung. Transportnetzen. Advanced Route Planning in Transportation Networks Fortgeschrittene Routenplanung in Transportnetzen Advanced Route Planning in Transportation Networks Dissertationsvortrag von Dipl.-Inform. Robert Geisberger 1 KIT Robert Universität Geisberger: des Landes

Mehr

Das Voronoi Diagramm. 1. Definition. 2. Eigenschaften. 3. Größe und Speicherung. 4. Konstruktion. 5. Verwendung

Das Voronoi Diagramm. 1. Definition. 2. Eigenschaften. 3. Größe und Speicherung. 4. Konstruktion. 5. Verwendung Das Voronoi Diagramm 1. Definition 2. Eigenschaften 3. Größe und Speicherung 4. Konstruktion 5. Verwendung Das Voronoi- Diagramm Voronoi Regionen Euklidische Distanz: d(p,q) = (px-qx)^2+(py-qy)^2 Das Voronoi-Diagramm

Mehr

Tutorium Rechnerorganisation

Tutorium Rechnerorganisation Woche 3 Tutorien 3 und 4 zur Vorlesung Rechnerorganisation 1 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu

Mehr

Grundbegriffe der Informatik Tutorium 2

Grundbegriffe der Informatik Tutorium 2 Grundbegriffe der Informatik Tutorium 2 Tutorium Nr. 32 Philipp Oppermann 13. November 2013 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum

Mehr

Algorithmische Geometrie 1. Einführung

Algorithmische Geometrie 1. Einführung Algorithmische Geometrie 1. Einführung JProf. Dr. Heike Leitte Computergraphik und Visualisierung Algorithmische Geometrie Veranstaltung: 2 SWS Vorlesung: Mi, 9:15 10:45 1 SWS Übung: Do 14:00 16:00 Übungen:

Mehr

Heute. Algorithmen für Ad-hoc- und Sensornetze. Verbindungsmodelle. Ein Rückblick auf Modelle. DM konstante BIG. QUBG Quasi-Unit-Ball- UBG Unit-Ball-

Heute. Algorithmen für Ad-hoc- und Sensornetze. Verbindungsmodelle. Ein Rückblick auf Modelle. DM konstante BIG. QUBG Quasi-Unit-Ball- UBG Unit-Ball- Heute Algorithmen für Ad-hoc- und Sensornetze VL 13 Der Schluss Markus Völker 18. Juli 2012 (Version 1) Modellüberblick, Trends & Exoten Mobilität Geometrie in dichten Netzen INSTITUT FÜR THEORETISCHE

Mehr

Automaten, Spiele, und Logik

Automaten, Spiele, und Logik Automaten, Spiele, und Logik Woche 2 25. April 2014 Inhalt der heutigen Vorlesung 1. Reguläre Ausdrücke 2. der Satz von Kleene 3. Brzozowski Methode 4. grep und perl Reguläre Ausdrücke Rekursive Definition,

Mehr

Aqcuisition Processing Distribution Exploit/View

Aqcuisition Processing Distribution Exploit/View Rendering und Bereitstellung massiver Geodaten unter Verwendung von OpenWebGlobe und MapCache in der Cloud Robert Wüest, Martin Christen, Benjamin Loesch Fachhochschule Nordwestschweiz Aqcuisition Processing

Mehr

Theoretische Grundlagen der Informatik

Theoretische Grundlagen der Informatik Theoretische Grundlagen der Informatik Übung am 02.02.2012 INSTITUT FÜR THEORETISCHE 0 KIT 06.02.2012 Universität des Andrea Landes Schumm Baden-Württemberg - Theoretische und Grundlagen der Informatik

Mehr

Rekursion. Annabelle Klarl. Einführung in die Informatik Programmierung und Softwareentwicklung

Rekursion. Annabelle Klarl. Einführung in die Informatik Programmierung und Softwareentwicklung Annabelle Klarl Zentralübung zur Vorlesung Einführung in die Informatik: http://www.pst.ifi.lmu.de/lehre/wise-13-14/infoeinf WS13/14 Action required now 1. Smartphone: installiere die App "socrative student"

Mehr

Zusammenfassung Verallgemeinerungen VD Segmente/Pledge Algorithmus

Zusammenfassung Verallgemeinerungen VD Segmente/Pledge Algorithmus Zusammenfassung Verallgemeinerungen VD Segmente/Pledge Algorithmus Elmar Langetepe University of Bonn Algorithmische Geometrie VD Segmente/Pledge 29.06.11 c Elmar Langetepe SS 11 1 Voronoi Diagramm von

Mehr

Algorithmen & Programmierung. Rekursive Funktionen (1)

Algorithmen & Programmierung. Rekursive Funktionen (1) Algorithmen & Programmierung Rekursive Funktionen (1) Berechnung der Fakultät Fakultät Die Fakultät N! einer nichtnegativen ganzen Zahl N kann folgendermaßen definiert werden: d.h. zur Berechnung werden

Mehr

Lokalisierung von inneren und äußeren Grenzen in Sensornetzwerken

Lokalisierung von inneren und äußeren Grenzen in Sensornetzwerken Lokalisierung von inneren und äußeren Grenzen in Sensornetzwerken Seminararbeit: Algorithmen für Sensornetzwerke Thomas Gramer 1 Thomas Gramer: KIT Universität des Landes Baden-Württemberg und nationales

Mehr

WS 2009/10. Diskrete Strukturen

WS 2009/10. Diskrete Strukturen WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910

Mehr

Kartenausschnitt von Googlemaps integrieren

Kartenausschnitt von Googlemaps integrieren Kartenausschnitt von Googlemaps integrieren Sie können auf jeder eigenen Webseite eine Karte von Googlemaps einbinden. Gehen Sie dazu wie folgt vor: Schritt 1 Googlemaps öffnen, Kartenausschnitt wählen

Mehr

Projektidee und Geschichte Datenerfassung Datenmodell Anwendungen Schluss. Michael Käufl, Tobias Knerr 02. Dezember 2010

Projektidee und Geschichte Datenerfassung Datenmodell Anwendungen Schluss. Michael Käufl, Tobias Knerr 02. Dezember 2010 Michael Käufl, Tobias Knerr 02. Dezember 2010 Was ist OpenStreetMap? OpenStreetMap hat das Ziel, geographische Daten über Straßen, Eisenbahnen, Flüsse,... zu erfassen. Diese Daten stehen allen unter einer

Mehr

7. Triangulation von einfachen Polygonen

7. Triangulation von einfachen Polygonen 1 7. Triangulation von einfachen Polygonen 2 Ziel Bessere Laufzeit als O(n log n) durch schnelleres Berechnen der Trapezzerlegung des Polygons. 3 Idee Finde Methode, den Anfangspunkt einer Strecke in der

Mehr

Theoretische Grundlagen der Informatik

Theoretische Grundlagen der Informatik Theoretische Grundlagen der Informatik Vorlesung am 10.01.2012 INSTITUT FÜR THEORETISCHE 0 KIT 12.01.2012 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der Informatik

Mehr

Übung zur Vorlesung Grundlagen der Fahrzeugtechnik I. Übung

Übung zur Vorlesung Grundlagen der Fahrzeugtechnik I. Übung Institut für Fahrzeugsystemtechnik Lehrstuhl für Fahrzeugtechnik Leiter: Prof. Dr. rer. nat. Frank Gauterin Rintheimer Querallee 2 76131 Karlsruhe Übung zur Vorlesung Grundlagen der Fahrzeugtechnik I Übung

Mehr

Uberblick 1. Kurzeste Wege 2. Sichtbarkeitsgraphen 3. Berechnung des Sichtbarkeitsgraphen 4. Kurzeste Wege fur polygonale Roboter 1

Uberblick 1. Kurzeste Wege 2. Sichtbarkeitsgraphen 3. Berechnung des Sichtbarkeitsgraphen 4. Kurzeste Wege fur polygonale Roboter 1 Vorlesung Geometrische Algorithmen Sichtbarkeitsgraphen und kurzeste Wege Sven Schuierer Uberblick 1. Kurzeste Wege 2. Sichtbarkeitsgraphen 3. Berechnung des Sichtbarkeitsgraphen 4. Kurzeste Wege fur polygonale

Mehr

Workshop 2: Lehre in Reallaboren

Workshop 2: Lehre in Reallaboren BNE-Netzwerktreffen Workshop 2: Lehre in Reallaboren Richard Beecroft (ITAS, KSN) Kaidi Tamm (ITAS, KSN) Marius Albiez (ITAS, KSN) KIT Universität des Landes Baden-Württemberg und nationales Großforschungszentrum

Mehr

Formale Systeme. Büchi-Automaten. Prof. Dr. Bernhard Beckert WS 2009/2010 KIT INSTITUT FÜR THEORETISCHE INFORMATIK

Formale Systeme. Büchi-Automaten. Prof. Dr. Bernhard Beckert WS 2009/2010 KIT INSTITUT FÜR THEORETISCHE INFORMATIK Formale Systeme Prof. Dr. Bernhard Beckert WS 2009/2010 KIT INSTITUT FÜR THEORETISCHE INFORMATIK KIT University of the State of Baden-Württemberg and National Large-scale Research Center of the Helmholtz

Mehr

Vorkurs Informatik 2011

Vorkurs Informatik 2011 Vorkurs Informatik 2011 Randolf Rotta Lehrstuhl Theoretische Informatik Brandenburgische Technische Universität Cottbus Mittwoch 28.09.2011 Funktionen und Operatoren (Wiederholung) Funktionen die sich

Mehr

Google Kriterien für die Bewertung mobil optimierter Webseiten

Google Kriterien für die Bewertung mobil optimierter Webseiten Google Kriterien für die Bewertung mobil optimierter Webseiten Google Kriterien für die Bewertung mobil optimierter Webseiten Am 21. April hat Google damit begonnen ein neues Algorithmus Update auszurollen

Mehr

Einführung in die Programmierung

Einführung in die Programmierung : Inhalt Einführung in die Programmierung Wintersemester 2009/0 : Technik vs. Iteration Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering Fakultät für Informatik TU Dortmund 2 Definition (einfache,

Mehr

Christian Schulz und Johannes Singler

Christian Schulz und Johannes Singler Christian Schulz und Johannes Singler, Prof. Sanders 1 KIT Christian Universität des Schulz Landes Baden-Württemberg und Johannes undsingler: nationales 3. Übung Forschungszentrum Algorithmen in der Helmholtz-Gemeinschaft

Mehr

Vorhergehende Ansicht(en): Zu den vorherigen Ausschnitten zurückkehren.

Vorhergehende Ansicht(en): Zu den vorherigen Ausschnitten zurückkehren. Seite 1 von 7 Internet Stadtplan Chur - HILFETEXTE Inhalt Kurzhilfe Navigation Plantyp Suchfunktionen PDF-Ausdruck Zeichnungsebene (Red Lining Layer) Copyright / Rechtliche Hinweise Kurzhilfe Wenn Sie

Mehr

Zusammenfassung. Vorlesung und Übungen 1. Semester BA Architektur.

Zusammenfassung. Vorlesung und Übungen 1. Semester BA Architektur. Zusammenfassung Vorlesung und Übungen 1. Semester BA Architektur KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Zusammenfassung

Mehr

Digitalen Ortskarte Bayern. Bayern

Digitalen Ortskarte Bayern. Bayern Automatische Platzierung von Straßennamen am Beispiel der Digitalen Ortskarte Bayern Zahn, Bayer. Landesvermessungsamt 1 Gliederung 1. Begriff Digitale Ortskarte Bayern 2. Inhalt der Digitalen Ortskarte

Mehr

Algorithmen und Datenstrukturen (ESE) Entwurf, Analyse und Umsetzung von Algorithmen (IEMS) WS 2014 / 2015 Vorlesung 3, Donnerstag 6.

Algorithmen und Datenstrukturen (ESE) Entwurf, Analyse und Umsetzung von Algorithmen (IEMS) WS 2014 / 2015 Vorlesung 3, Donnerstag 6. Algorithmen und Datenstrukturen (ESE) Entwurf, Analyse und Umsetzung von Algorithmen (IEMS) WS 2014 / 2015 Vorlesung 3, Donnerstag 6. November 2014 (O-Notation, Theta, Omega) Junior-Prof. Dr. Olaf Ronneberger

Mehr

Hidden Champions: Angebot Wintersemester 2014/15

Hidden Champions: Angebot Wintersemester 2014/15 : Angebot Wintersemester 2014/15 Karlsruher Institut für Technologie (KIT) Relationship Management KIT Company & Career Service KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum

Mehr

DuE-Tutorien 16 und 17

DuE-Tutorien 16 und 17 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Tutorienwoche 11 am 28.01.2011 1 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in

Mehr

Präsentationen vorführen

Präsentationen vorführen 13 Präsentationen vorführen In diesem Kapitel: Bildschirmpräsentationen starten und beenden Durch die Folien navigieren Mit Stift und Anmerkungen arbeiten Die Folien sind erstellt, die Präsentation eingerichtet,

Mehr

PSE: Programmabha ngigkeitsgraphen

PSE: Programmabha ngigkeitsgraphen PSE: Programmabha ngigkeitsgraphen M. Radermacher, S. Bischof, S. Buchwald, M.Hecker IPD Snelting, ITI Wagner KIT Universita t des Landes Baden-Wu rttemberg und nationales Großforschungszentrum in der

Mehr

Polygontriangulierung

Polygontriangulierung Vorlesung Algorithmische Geometrie Polygone triangulieren INSTITUT FÜR THEORETISCHE INFORMATIK FAKULTÄT FÜR INFORMATIK Martin Nöllenburg 03.05.2012 Das Kunstgalerie-Problem Aufgabe: Installiere ein Kamerasystem

Mehr

Fortgeschrittene Netzwerk- und Graph-Algorithmen

Fortgeschrittene Netzwerk- und Graph-Algorithmen Fortgeschrittene Netzwerk- und Graph-Algorithmen Prof. Dr. Hanjo Täubig Lehrstuhl für Effiziente Algorithmen (Prof. Dr. Ernst W. Mayr) Institut für Informatik Technische Universität München Wintersemester

Mehr

Algorithmen II Vorlesung am 15.11.2012

Algorithmen II Vorlesung am 15.11.2012 Algorithmen II Vorlesung am 15.11.2012 Kreisbasen, Matroide & Algorithmen INSTITUT FÜR THEORETISCHE INFORMATIK PROF. DR. DOROTHEA WAGNER KIT Universität des Landes Baden-Württemberg und Algorithmen nationales

Mehr

Polygone - Bausteine der Computergrafik

Polygone - Bausteine der Computergrafik Polygone - Bausteine der Computergrafik Schülerseminar Florian Buchegger Johannes Kepler Universität Linz Dez 12, 2014 Wo werden Polygone verwendet? Welche wichtige Algorithmen gibt es? Outline Wo werden

Mehr

2016/05/19 12:13 1/11 Stil von Karten

2016/05/19 12:13 1/11 Stil von Karten 2016/05/19 12:13 1/11 Stil von Karten Stil von Karten Zu jeder Karte können Sie mit dem Stil-Assistenten diverse Optionen einstellen. Sie haben mehrere Möglichkeiten, den Assistenten zu starten: Im QV-Xplorer,

Mehr

Earth, Maps, Street View etc.

Earth, Maps, Street View etc. Earth, Maps, Street View etc. Treff 21.08.2013 Heinz Cronimund 21.08.2013 / Cr Computeria Wallisellen Seite 1 Earth, Maps, Street View etc. Inhalt Beschreibung Seite 3 Navigationshilfen 5 On-line Präsentation

Mehr

Maximale s t-flüsse in Planaren Graphen

Maximale s t-flüsse in Planaren Graphen Maximale s t-flüsse in Planaren Graphen Vorlesung Algorithmen für planare Graphen June 1, 2015 Ignaz Rutter INSTITUT FÜR THEORETISCHE INFORMATIK PROF. DR. DOROTHEA WAGNER KIT Universität des Landes Baden-Württemberg

Mehr

Die Bedienung von Yosemite

Die Bedienung von Yosemite Die Bedienung von Yosemite Kapitel 3 In diesem Kapitel zeigen wir Ihnen, wie Yosemite aussieht und wie Sie mit Schreibtisch, Dock und Finder produktiv arbeiten können. Außerdem lernen Sie die Menüleiste

Mehr

5. Tutorium Digitaltechnik und Entwurfsverfahren

5. Tutorium Digitaltechnik und Entwurfsverfahren 5. Tutorium Digitaltechnik und Entwurfsverfahren Tutorium Nr. 13 Alexis Tobias Bernhard Fakultät für Informatik, KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft

Mehr

Algorithmen und Datenstrukturen

Algorithmen und Datenstrukturen 1 Algorithmen und Datenstrukturen Wintersemester 2014/15 3. Vorlesung Laufzeitanalyse Prof. Dr. Alexander Wolff Lehrstuhl für Informatik I 2 Recap: Diskutieren Sie mit Ihrer NachbarIn! 1. 2. 3. Was sind

Mehr

Was bisher geschah. 1. Zerlegung in monotone Polygone 2. Triangulierung der monotonen Teilpolygone

Was bisher geschah. 1. Zerlegung in monotone Polygone 2. Triangulierung der monotonen Teilpolygone Was bisher geschah Motivation, Beispiele geometrische Objekte im R 2 : Punkt, Gerade, Halbebene, Strecke, Polygon, ebene Zerlegung in Regionen (planare Graphen) maschinelle Repräsentation geometrischer

Mehr

Berechenbarkeit und Komplexität: Rekursive Aufzählbarkeit und die Technik der Reduktion

Berechenbarkeit und Komplexität: Rekursive Aufzählbarkeit und die Technik der Reduktion Berechenbarkeit und Komplexität: Rekursive Aufzählbarkeit und die Technik der Reduktion Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen und Komplexität 26. November 2007 Semi-Entscheidbarkeit

Mehr

Projekt Systementwicklung

Projekt Systementwicklung Projekt Systementwicklung Effiziente Codierung: Laufzeitoptimierung Prof. Dr. Nikolaus Wulff Effiziente Codierung Der Wunsch effizienten Code zu schreiben entstammt mehreren Quellen: Zielplattformen mit

Mehr

Handbuch Fireboard Portal Nutzungshinweise zur zentralen Konfigurationsverwaltung www.fireboard-portal.net

Handbuch Fireboard Portal Nutzungshinweise zur zentralen Konfigurationsverwaltung www.fireboard-portal.net Handbuch Fireboard Portal Nutzungshinweise zur zentralen Konfigurationsverwaltung www.fireboard-portal.net Fireboard GmbH 22.06.2015 Inhaltsverzeichnis 1 Einleitung... 3 2 Das Fireboard-Portal... 4 2.1

Mehr

Studiengang Chemie - Bachelor

Studiengang Chemie - Bachelor Studiengang Chemie - Bachelor F-Module / Bachelorarbeit KIT Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Studienablauf Bachelor

Mehr

11. Rekursion, Komplexität von Algorithmen

11. Rekursion, Komplexität von Algorithmen 11. Rekursion, Komplexität von Algorithmen Teil 2 Java-Beispiele: Power1.java Hanoi.java K. Bothe, Institut für Informatik, HU Berlin, GdP, WS 2015/16 Version: 23. Nov. 2015 Anwendung der Rekursion Rekursiv

Mehr

Algorithmen für Routenplanung 2. Vorlesung, Sommersemester 2014 Andreas Gemsa 20. April 2014

Algorithmen für Routenplanung 2. Vorlesung, Sommersemester 2014 Andreas Gemsa 20. April 2014 Algorithmen für Routenplanung 2. Vorlesung, Sommersemester 2014 Andreas Gemsa 20. April 2014 INSTITUT FÜR THEORETISCHE INFORMATIK ALGORITHMIK PROF. DR. DOROTHEA WAGNER KIT Universität des Landes Baden-Württemberg

Mehr

Theorie und Praxis geometrischer Algorithmen

Theorie und Praxis geometrischer Algorithmen 0/36 Theorie und Praxis geometrischer Algorithmen Isolierende Intervalle: Sturmsche Ketten Rico Philipp Motivation 1/36 Was ist eine Sturmsche Kette? Wie berechnet man diese? Durch welche Eigenschaften

Mehr

Leistungsdiagnostik Auch für Freizeitsportler sinnvoll!?

Leistungsdiagnostik Auch für Freizeitsportler sinnvoll!? Dr. Sascha Härtel Leistungsdiagnostik Auch für Freizeitsportler sinnvoll!? Pressekonferenz Komitee Forschung Naturmedizin e.v. (KFN), München, 20. März 2013, Fakultät für Geistes- und Sozialwissenschaften

Mehr

Dank. Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I. Probleme über Sprachen. Teil II.

Dank. Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I. Probleme über Sprachen. Teil II. Dank Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Diese Vorlesungsmaterialien basieren ganz wesentlich auf den Folien zu den Vorlesungen

Mehr

Umwelt-BW 3.0. Systemarchitektur eines intelligenten Umweltportals. www.kit.edu. Institut für Angewandte Informatik

Umwelt-BW 3.0. Systemarchitektur eines intelligenten Umweltportals. www.kit.edu. Institut für Angewandte Informatik Umwelt-BW 3.0 Systemarchitektur eines intelligenten Umweltportals KIT Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Suche im Umweltportal

Mehr

Ableitung einer Z/R-Beziehung mittels inverser hydrologischer Modellierung

Ableitung einer Z/R-Beziehung mittels inverser hydrologischer Modellierung Forschungszentrum Karlsruhe in der Helmholtz-Gemeinschaft High-Tech-Offensive Zukunft Bayern Ableitung einer Z/R-Beziehung mittels inverser hydrologischer Modellierung 9. Workshop zur großskaligen Modellierung

Mehr

Diskrete Strukturen Kapitel 1: Einleitung

Diskrete Strukturen Kapitel 1: Einleitung WS 2015/16 Diskrete Strukturen Kapitel 1: Einleitung Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_15

Mehr

Perigon Agro/PPS Neuerungen 2013.2

Perigon Agro/PPS Neuerungen 2013.2 root-service ag Weinfelderstrasse 32 Postfach 227 CH-8575 Bürglen Telefon +41 (0)71 634 80 40 Telefax +41 (0)71 633 25 37 E-Mail: info@root.ch Perigon Agro/PPS Neuerungen 2013.2 Inhaltsverzeichnis Perigon

Mehr

Bildverarbeitung Herbstsemester. Binärbildanalyse

Bildverarbeitung Herbstsemester. Binärbildanalyse Bildverarbeitung Herbstsemester Herbstsemester 2010 2012 Binärbildanalyse 1 Inhalt Einführung Partikelfilterung und -analyse Auffinden von Regionen und Konturen Gruppenarbeit Erkennung von geometrischen

Mehr

Bachelorarbeit Entwicklung eines Konzeptes zur angemessenen Beschriftung von Informationsobjekten

Bachelorarbeit Entwicklung eines Konzeptes zur angemessenen Beschriftung von Informationsobjekten Bachelorarbeit Entwicklung eines Konzeptes zur angemessenen Beschriftung von Informationsobjekten Institut für Informatik Rostock 1 Inhaltsübersicht 1. Einleitung und Begriffsbildung 2. Bestehende geeignete

Mehr

Rekursive Algorithmen

Rekursive Algorithmen Rekursive Algorithmen In der Mathematik sind viele Funktionen rekursiv definiert. Der Begriff der Rekursion beinhaltet, dass zur Definition einer Funktion diese selbst wieder mit benutzt wird, allerdings

Mehr

Algorithmen für Routenplanung 10. Vorlesung, Sommersemester 2016 Ben Strasser 25. Mai 2016

Algorithmen für Routenplanung 10. Vorlesung, Sommersemester 2016 Ben Strasser 25. Mai 2016 Algorithmen für Routenplanung 10. Vorlesung, Sommersemester 2016 Ben Strasser 25. Mai 2016 INSTITUT FÜR THEORETISCHE INFORMATIK ALGORITHMIK PROF. DR. DOROTHEA WAGNER KIT Universität des Landes Baden-Württemberg

Mehr

Betriebliches Gesundheitsmanagement an Hochschulen in Baden-Württemberg - Eine Bestandsaufnahme -

Betriebliches Gesundheitsmanagement an Hochschulen in Baden-Württemberg - Eine Bestandsaufnahme - Betriebliches Gesundheitsmanagement an Hochschulen in Baden-Württemberg - Eine Bestandsaufnahme - Anika Hoffmann, Dr. Claudia Hildebrand, Prof. Dr. Klaus Bös Frankfurt, 16.01.2015 1 KIT Universität des

Mehr

Punktbeschriftung in Dynamischen Karten

Punktbeschriftung in Dynamischen Karten Vorlesung Algorithmische Kartografie INSTITUT FÜR THEORETISCHE INFORMATIK FAKULTÄT FÜR INFORMATIK Benjamin Niedermann Martin Nöllenburg 28.05.2015 1 Übungen Nachtrag 1) Überlegen Sie sich, wie man den

Mehr

Vorlesung Algorithmische Geometrie. Streckenschnitte. Martin Nöllenburg 19.04.2011

Vorlesung Algorithmische Geometrie. Streckenschnitte. Martin Nöllenburg 19.04.2011 Vorlesung Algorithmische Geometrie LEHRSTUHL FÜR ALGORITHMIK I INSTITUT FÜR THEORETISCHE INFORMATIK FAKULTÄT FÜR INFORMATIK Martin Nöllenburg 19.04.2011 Überlagern von Kartenebenen Beispiel: Gegeben zwei

Mehr

Stefan Schmid TU Berlin & T-Labs, Berlin, Germany. Reduktionen in der Berechenbarkeitstheorie

Stefan Schmid TU Berlin & T-Labs, Berlin, Germany. Reduktionen in der Berechenbarkeitstheorie Stefan Schmid TU Berlin & T-Labs, Berlin, Germany Reduktionen in der Berechenbarkeitstheorie Problem: Wie komme ich von hier zum Hamburger Hbf? 2 Beispiel P1 Wie komme ich von hier zum Hamburger Hbf? kann

Mehr

KOMMENTAR: HÖHENMESSUNG MIT DEM RADCOMPUTER

KOMMENTAR: HÖHENMESSUNG MIT DEM RADCOMPUTER Dieser Kommentar behandelt die Abweichungen, welche bei der Bestimmung der Anstiegsleistung durch Radcomputer auftreten. Folgende Messmethoden stehen zur Verfügung: barometrische Höhenmessung GPS-Höhenmessung

Mehr

Clusteranalyse: Gauß sche Mischmodelle

Clusteranalyse: Gauß sche Mischmodelle Universität Potsdam Institut für Informatik Lehrstuhl Maschinelles Lernen Clusteranalyse: Gauß sche Mischmodelle iels Landwehr Überblick Problemstellung/Motivation Deterministischer Ansatz: K-Means Probabilistischer

Mehr

Relationale Entwurfstheorie (Teil 2)

Relationale Entwurfstheorie (Teil 2) Web Science & Technologies University of Koblenz Landau, Germany Grundlagen der Datenbanken (Teil 2) Dr. Gerd Gröner Wintersemester 2013/14 Gliederung Funktionale Abhängigkeiten Dekomposition der Relationenschemata:

Mehr

Maximale s t-flüsse in Planaren Graphen

Maximale s t-flüsse in Planaren Graphen Maximale s t-flüsse in Planaren Graphen Vorlesung Algorithmen für planare Graphen June 18, 2012 Ignaz Rutter INSTITUT FÜR THEORETISCHE INFORMATIK PROF. DR. DOROTHEA WAGNER KIT Universität des Landes Baden-Württemberg

Mehr

Bildsegmentierung mit Level Sets

Bildsegmentierung mit Level Sets Bildsegmentierung mit Level Sets Seminar Bildsegmentierung und Computer Vision im Wintersemester 2005 Übersicht 1 Übersicht 2 Definitionen Ausbreitungsgeschwindigkeit Übersicht 3 Inter-Frame-basierte Modellierung

Mehr

Pollards Rho-Methode zur Faktorisierung

Pollards Rho-Methode zur Faktorisierung C A R L V O N O S S I E T Z K Y Pollards Rho-Methode zur Faktorisierung Abschlusspräsentation Bachelorarbeit Janosch Döcker Carl von Ossietzky Universität Oldenburg Department für Informatik Abteilung

Mehr

Energiewende und weiter?

Energiewende und weiter? Energiewende und weiter? H. Bockhorn Chancen der Energiewende, Jahrestagung des KIT-Zentrums Energie, 12.6.2012 KIT Universität des Landes Baden-Württemberg und Nationales Forschungszentrum in der Helmholtz-Gemeinschaft

Mehr

Einführung in die Informatik für Naturwissenschaftler und Ingenieure (alias Einführung in die Programmierung)

Einführung in die Informatik für Naturwissenschaftler und Ingenieure (alias Einführung in die Programmierung) Wintersemester 2007/08 Einführung in die Informatik für Naturwissenschaftler und Ingenieure (alias Einführung in die Programmierung) (Vorlesung) Prof. Dr. Günter Rudolph Fakultät für Informatik Lehrstuhl

Mehr

OpenStreetMap Mapping

OpenStreetMap Mapping Wir spielen mit offenen Karten Vortrag, 27. Juni 2008 1 Übersicht 1 2 3 4 5 6 7 2 Start 3 Definition hat es sich zum Ziel gesetzt, freie geographische Daten wie zum Beispiel Straßenkarten zu erstellen

Mehr

Algorithmen und Datenstrukturen

Algorithmen und Datenstrukturen Algorithmen und Datenstrukturen Prof. Dr. Ralf Möller Universität zu Lübeck Institut für Informationssysteme Stefan Werner (Übungen) sowie viele Tutoren Teilnehmerkreis und Voraussetzungen Studiengänge

Mehr

OpenMP am Beispiel der Matrizenmultiplikation

OpenMP am Beispiel der Matrizenmultiplikation OpenMP am Beispiel der Matrizenmultiplikation David J. Meder, Dr. Victor Pankratius IPD Tichy Lehrstuhl für Programmiersysteme KIT die Kooperation von Forschungszentrum Karlsruhe GmbH und Universität Karlsruhe

Mehr

Vorlesung 4 BETWEENNESS CENTRALITY

Vorlesung 4 BETWEENNESS CENTRALITY Vorlesung 4 BETWEENNESS CENTRALITY 101 Aufgabe! Szenario: Sie arbeiten bei einem sozialen Online-Netzwerk. Aus der Netzwerk-Struktur Ihrer Benutzer sollen Sie wichtige Eigenschaften extrahieren. [http://www.fahrschule-vatterodt.de/

Mehr

Grafikformate Ein kurzer Überblick

Grafikformate Ein kurzer Überblick Grafikformate Ein kurzer Überblick Einführung in das rechnergestützte Arbeiten Dr. Andreas Poenicke, Dr. Patrick Mack KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der

Mehr

Häufige Item-Mengen: die Schlüssel-Idee. Vorlesungsplan. Apriori Algorithmus. Methoden zur Verbessung der Effizienz von Apriori

Häufige Item-Mengen: die Schlüssel-Idee. Vorlesungsplan. Apriori Algorithmus. Methoden zur Verbessung der Effizienz von Apriori Vorlesungsplan 17.10. Einleitung 24.10. Ein- und Ausgabe 31.10. Reformationstag, Einfache Regeln 7.11. Naïve Bayes, Entscheidungsbäume 14.11. Entscheidungsregeln, Assoziationsregeln 21.11. Lineare Modelle,

Mehr

damit hätten wir nach Ende der Schleife: "a[0 n-1] enthält nur Elemente aus a[0 n-1], aber in sortierter Reihenfolge".

damit hätten wir nach Ende der Schleife: a[0 n-1] enthält nur Elemente aus a[0 n-1], aber in sortierter Reihenfolge. Korrektheit Invariante: a[0 k-1] enthält nur Elemente aus a[0 k-1], aber in sortierter Reihenfolge Terminierung: Die Schleife endet mit k=n def insertionsort(a): for k in range( 1, len(a) ): while i >

Mehr

Werkstoffe des Maschinenbaus MIT-Wahlpflichtmodul B-PM1

Werkstoffe des Maschinenbaus MIT-Wahlpflichtmodul B-PM1 Werkstoffe des Maschinenbaus MIT-Wahlpflichtmodul B-PM1 Johannes Schneider Institut für Angewandte Materialien Computational Materials Science () INSTITUT FÜR ANGEWANDTE MATERIALIEN - COMPUTATIONAL MATERIALS

Mehr

Vorbereitung der Bauteil-Abgabe mit netfabb Studio Basic

Vorbereitung der Bauteil-Abgabe mit netfabb Studio Basic TUTORIAL BAUTEIL REPARATUR Vorbereitung der Bauteil-Abgabe mit netfabb Studio Basic Stand 10/2010 netfabb Studio Basic Version 4.6.0 Vorwort Die STL-Schnittstelle (Standard Triangulation Language) oder

Mehr

Softwareentwicklungspraktikum Nebenfach

Softwareentwicklungspraktikum Nebenfach PD Dr. Ulrich Schöpp Ludwig-Maximilians-Universität München Dr. Steffen Jost Institut für Informatik Stephan Barth WS 2016/17 Softwareentwicklungspraktikum Nebenfach Blatt 3 Dieses Arbeitsblatt ist innerhalb

Mehr

Zahlensysteme. Formale Methoden der Informatik WiSe 2008/2009 Folie 1 (von 54)

Zahlensysteme. Formale Methoden der Informatik WiSe 2008/2009 Folie 1 (von 54) Zahlensysteme Formale Methoden der Informatik WiSe 28/29 Folie (von 54) Teil I: Zahlensysteme. Einführung und Zahlensysteme 2. Zahlensysteme / Algorithmik 3. Zahlendarstellung im Rechner Franz-Josef Radermacher,

Mehr

Informatik I WS 07/08 Tutorium 24

Informatik I WS 07/08 Tutorium 24 Info I Tutorium 24 Informatik I WS 07/08 Tutorium 24 31.01.08 Bastian Molkenthin E-Mail: infotut@sunshine2k.de Web: http://infotut.sunshine2k.de Organisatorisches Anmeldung Hauptklausur : allerspätestens

Mehr