Seminar Graphen in der Informatik: Algorithmen und Modellierung. Organisatorisches & Tipps zum Halten eines Vortrags
|
|
- Volker Waltz
- vor 7 Jahren
- Abrufe
Transkript
1 Seminar Graphen in der Informatik: Algorithmen und Modellierung Organisatorisches & Tipps zum Halten eines Vortrags Prof. Dr. Barbara König, Dr. Sander Bruggink, Christoph Blume, Jan Stückrath, Henning Kerstan, Sebastian Küpper 13. März 2013 König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 1
2 Graphen in der Informatik Graphen dienen der Darstellung und Modellierung Rechnernetze, Internet Straßennetze Nachbarschaftsbeziehungen endliche Automaten, Transitionssysteme semantische Beziehungen König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 2
3 Graphen in der Informatik Wir beschäftigen uns in diesem Seminar mit: Graphentheorie: Welche Typen von Graphen gibt es? Welche Strukturen treten in Graphen auf? Welche bekannten Sätze über Graphen gibt es? (z.b. Vierfarbentheorem) Graphalgorithmen: Wie kann man Graphen am besten algorithmisch verarbeiten? Welche Verfahren gibt es, um Graphen zu untersuchen? (z.b. Chinese Postman Problem, Max Flow) Graph Drawing: Wie lassen sich Graphen am besten visualisieren? Welche Algorithmen gibt es, um Graphen zu zeichnen? Graphtransformation: Wie kann man Graphen mit Hilfe von Regeln transformieren? Wie funktionieren Graphgrammatiken? Wie kann man nebenläufige Systeme mit Hilfe von Graphtransformationsregeln modellieren? König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 3
4 Seminar Seminartreffen Das Seminar beginnt am 22. April 2013 und findet dann jeweils montags in Raum LK 052 statt! Teilnahme an dem Seminar besteht aus drei Teilen: der schriftliche Ausarbeitung, dem Vortrag selbst und der Teilnahme an den Diskussionen nach den Vortägen. König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 4
5 Literatur (Englischsprachige) Literatur zum Thema wird von den jeweiligen Betreuern zur Verfügung gestellt. Ansonsten: Eigene Literaturrecherche Bibliothek Verfolgen von Referenzen Internet Literaturverzeichnis in der Ausarbeitung nicht vergessen! König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 5
6 Ausarbeitung Formale Kriterien ca Seiten Deutsch oder Englisch Ausarbeitung Folien Muss am Vortragstermin ausgeteilt werden Als Datei (PDF, kein Word) an den jeweiligen Betreuer schicken König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 6
7 Ausarbeitung Formale Kriterien ca Seiten Deutsch oder Englisch Ausarbeitung Folien Muss am Vortragstermin ausgeteilt werden Als Datei (PDF, kein Word) an den jeweiligen Betreuer schicken Hinweise für die Ausarbeitung Zusammenfassung des Themas in eigenen Worten Weniger wichtige Details weglassen Am besten erst nach dem Vortrag austeilen Wir empfehlen L A TEX zur Erstellung der Ausarbeitung König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 6
8 Vortrag Vortrag Reine Vortragszeit: ca. 45 Minuten Mit Zwischenfragen: maximal 1 Stunde Sprache: Deutsch oder Englisch Voraussetzung: Jeder Vortrag muss mindestens ein interaktives Element enthalten (Vorführung eines Algorithmus,..., usw.) König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 7
9 Vortrag Vortrag Reine Vortragszeit: ca. 45 Minuten Mit Zwischenfragen: maximal 1 Stunde Sprache: Deutsch oder Englisch Voraussetzung: Jeder Vortrag muss mindestens ein interaktives Element enthalten (Vorführung eines Algorithmus,..., usw.) Diskussion: ca. 15 Minuten Wir bitten um rege Teilnahme! König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 7
10 Benotung Die Note setzt sich aus vier Teilen zusammen: 1 Erarbeitung und Verständnis des Themas 2 Aufbau und Halten des Vortrags 3 Ausarbeitung 4 Anwesenheit bei und aktive Beteiligung an den Vorträgen der anderen König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 8
11 Themenliste mit Betreuern Kürzeste Wege und Spannbäume in Graphen [13, 17] Betreut durch: Sander Bruggink Max-Flow/Min-Cut [20] Betreut durch: Henning Kerstan Small Worlds: Modelle für soziale Netzwerke und das Internet [14, 15, 16] Betreut durch: Henning Kerstan Das Problem des chinesischen Postboten [11] Betreut durch: Barbara König Planare Graphen und Graphminoren [1, 18] Betreut durch: Jan Stückrath Der Vier-Farben-Satz [19] Betreut durch: Sebastian Küpper Algorithmen zum Zeichnen von Graphen [5] Betreut durch: Sander Bruggink König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 9
12 Themenliste mit Betreuern Binary Decision Diagrams [7, 8] Betreut durch: Christoph Blume Pfad- und Baumweite: Beschreibung, Berechnung und Anwendung [3, 4] Betreut durch: Christoph Blume Routing basierend auf Baumzerlegungen und Small Worlds [12] Betreut durch: Barbara König Graphtransformation durch Kantenersetzung [10] Betreut durch: Sebastian Küpper Algebraischer Ansatz zur Graphersetzung [9] Betreut durch: Jan Stückrath Erkennbare Graphsprachen [6, 2] Betreut durch: Christoph Blume König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 9
13 Zeitplan Termine 4 Wochen 3 Wochen 2 Wochen 1 Wochen erstes Treffen mit dem Betreuer und Beschaffung der Literatur Vorlage eines groben Konzepts bzw. Gliederung Vorlage eines Entwurfs der Ausarbeitung Vorlage eines Entwurfs der Vortragsfolien Man darf sich natürlich auch außerhalb der Fristen bei den Betreuern melden! König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 10
14 Kontakt Kontaktdaten Barbara König (barbara Sander Bruggink Christoph Blume Jan Stückrath Henning Kerstan Sebastian Küpper Weitere Kontaktinformationen finden sich auf unserer Webseite Web-Seite des Seminars: König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 11
15
16 Warum halte ich einen Vortrag? König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 12
17 Warum halte ich einen Vortrag? Antwort 1: Um die Zuhörer zu beeindrucken! Taktik: Viele Fremdwörter Schnelles Tempo Wenig hilfreiche Erklärungen Wenige Beispiele Voraussetzen von erheblichen Vorkenntnissen König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 13
18 Warum halte ich einen Vortrag? Antwort 2: Um den Zuhörern eine Idee zu vermitteln Vortragende(r) Zuhörer(in) König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 14
19 Zielsetzung Daher: Stoff so aufbereiten (und evtl. einschränken), dass er gut vermittelbar ist Vortrag gut strukturieren Zentrale Ideen hervorheben Das Publikum nicht überschätzen Redundanz Geeignete graphische Darstellungen finden Gute Beispiele suchen König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 15
20 Umgang mit dem Publikum Zuhörer ansehen, Blickkontakt aufnehmen Aktivierung der Zuhörer durch Fragen, kleine Aufgaben, etc. Und ein Appell ans Publikum: Stellen Sie Fragen, wenn Sie etwas nicht verstanden haben und wenn Sie etwas interessiert! König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 16
21 Medien Zur Verfügung stehen: Beamer (Overhead-Projektor) Tafel Folien: mit großer Schrift, Bildern, Farbe, etc. nicht zu viel auf eine Folie quetschen nicht zu viele Folien vorbereiten Überblicksfolien (Inhaltsverzeichnis, etc.) erstellen Richtwert: ca. 25 Folien für 45 Minuten Randbemerkung: Diese Folien wurden mit latex-beamer erstellt. König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 17
22 Medien Medienwechsel: auch die Tafel nutzen, beispielsweise um schwierige Sachverhalte zu erklären Vorsicht: Aufmerksamkeit der Zuhörer richtet sich gerne auf die Projektionsfläche, vorbei am Sprecher. Daher... König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 18
23
24 Üben des Vortrags Vortrag vorher üben, evtl. vor Probepublikum Zeit messen (Dauer: ca. 45 Minuten) Vortrag nicht auswendiglernen! Schlussworte ausdenken Kurze Zusammenfassung des Vortrags Abschließende Bewertung Danke. Gibt es Fragen? Nur keine Panik! Ein bisschen Lampenfieber gehört aber dazu. König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 19
25 Allein der Vortrag macht des Redners Glück. Johann Wolfgang von Goethe, aus Faust König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 20
26 Dan Bienstock and Michael A. Langston. Algorithmic Implications of the Graph Minor Theorem. University of Tennessee, Computer Science Department, Christoph Blume, H.J. Sander Bruggink, Dominik Engelke, and Barbara König. Efficient symbolic implementation of graph automata with applications to invariant checking. In Proceedings of ICGT 2012, Hans L. Bodlaender and Arie M. C. A. Koster. Combinatorial optimization on graphs of bounded treewidth. The Computer Journal, 51(3): , Hans L. Bodlaender and Arie M. C. A. Koster. Treewidth computations I. Upper bounds. Information and Computation, 208(3): , König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 21
27 Ulrik Brandes. Drawing on physical analogies. Drawing Graphs, pages 71 86, H. J. Sander Bruggink and Barbara König. On the recognizability of arrow and graph languages. In Proceedings of ICGT 08. Springer, Randal E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 100(8): , Randal E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys (CSUR), 24(3): , König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 22
28 Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael Löwe. Algebraic approaches to graph transformation, part I: Basic concepts and double pushout approach. Handbook of graph grammars and computing by graph transformation, 1: , Frank Drewes, Annegret Habel, and Hans-Jörg Kreowski. Hyperedge replacement graph grammars. Handbook of Graph Grammars and Computing by Graph Transformation, 1:95 162, Horst A. Eiselt, Michel Gendreau, and Gilbert Laporte. Arc routing problems, Part I: The chinese postman problem. Operations Research, 43(2): , König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 23
29 Pierre Fraigniaud. A new perspective on the small-world phenomenon: Greedy routing in tree-decomposed graphs. In Proceedings of the 13th Annual European Symposium on Algorithms (ESA), pages , Peter E. Hart, Nils J. Nilsson, and Bertram Raphael. A formal basis for the heuristic determination of minimum cost paths. Systems Science and Cybernetics, IEEE Transactions on, 4(2): , Jon M. Kleinberg. Navigation in a small world. Nature, 406(6798): , König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 24
30 Jon M. Kleinberg. The small-world phenomenon and decentralized search. SIAM News, 37(3):1 2, Jon M. Kleinberg. Complex networks and decentralized search algorithms. In Proceedings of the International Congress of Mathematicians, pages , Joseph B. Kruskal. On the shortest spanning subtree of a graph and the traveling salesman problem. Proceedings of the American Mathematical Society, 7(1):48 50, König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 25
31 László Lovász. Graph minor theory. Bulletin of the American Mathematical Society, 43(1):75 86, Neil Robertson, Daniel P. Sanders, Paul Seymour, and Robin Thomas. A new proof of the four-colour theorem. Electronic Research Announcements of the American Mathematical Society, 2(1):17 25, Vince Vatter. Graphs, flows, and the ford-fulkerson algorithm, König, Bruggink, Blume, Stückrath, Kerstan, Küpper Seminar Graphen in der Informatik 26
32
Seminar Quantitative Modelle in der Informatik (MAI-Seminar & BAI-Seminar) Organisatorisches & Tipps zum Halten eines Vortrags
Seminar Quantitative Modelle in der Informatik (MAI-Seminar & BAI-Seminar) Organisatorisches & Tipps zum Halten eines Vortrags Barbara König, Sander Bruggink, Henning Kerstan, Sebastian Küpper, Dennis
MehrSeminar Spiele in der Informatik. Organisatorisches & Tipps zum Halten eines Vortrags
Seminar Spiele in der Informatik (Informatik der Systeme & BAI/MAI-Seminar) Organisatorisches & Tipps zum Halten eines Vortrags Prof. Dr. Barbara König, Dr. Sander Bruggink, Christoph Blume, Mathias Hülsbuch,
MehrSeminar Kryptographische Protokolle Tipps zum Halten eines Vortrags. Barbara König.. p.1/15
Seminar Kryptographische Protokolle Tipps zum Halten eines Vortrags Barbara König. p.1/15 Warum halte ich einen Vortrag? Antwort 1: Um die Zuhörer zu beeindrucken Taktik: Viele Fremdwörter Schnelles Tempo
MehrSeminar Spiele in der Informatik (BAI-Seminar & BAI-Seminar) Organisatorisches & Tipps zum Halten eines Vortrags
Seminar Spiele in der Informatik (BAI-Seminar & BAI-Seminar) Organisatorisches & Tipps zum Halten eines Vortrags Barbara König, Harsh Beohar, Benjamin Cabrera, Richard Eggert, Christina Mika-Michalski,
MehrSeminar Spiele in der Informatik. Organisatorisches & Tipps zum Halten eines Vortrags
Seminar Spiele in der Informatik Organisatorisches & Tipps zum Halten eines Vortrags Prof. Dr. Barbara König, Dr. Sander Bruggink, Christoph Blume, Jan Stückrath, Henning Kerstan, Sebastian Küpper 8. April
MehrSeminararbeitstechniken. Proseminar Algorithmen der Verkehrssimulation WS 05/06 Michael Moltenbrey, Dirk Pflüger
Seminararbeitstechniken Proseminar Algorithmen der Verkehrssimulation WS 05/06 Michael Moltenbrey, Dirk Pflüger Gliederung Organisatorisches Wie bearbeite ich ein Thema? Wie baue ich einen Vortrag auf?
MehrVorlesung Modellierung nebenläufiger Systeme Sommersemester 2014 Universität Duisburg-Essen
Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2014 Universität Duisburg-Essen Barbara König Übungsleitung: Sebastian Küpper Barbara König Vorlesung Modellierung nebenläufiger Systeme 1 Das
MehrSeminar: Transformationen - Wintersemester 2005/ Julian Graul 1/36
Seminar: Transformationen - Wintersemester 2005/2006 - Julian Graul 1/36 GRAFtransformation?? http://www.jrj-socrates.com/cartoon%20pages/scooby_doo.htm 2/36 Gliederung Entwicklung/Überblick Königsberger
MehrPioniere der Informatik
Pioniere der Informatik Seminar im Wintersemester 2009/10 Martin Lange Institut für Informatik, LMU München 20. Oktober 2009 Pioniere der Informatik, M. Lange, IFI/LMU: Organisatorisches 1 Termine Seminar
MehrWas gehört zu einer erfolgreichen Seminarteilnahme?
Was gehört zu einer erfolgreichen Seminarteilnahme? Dorothea Wagner Universität Karlsruhe Thema meines Vortrags 1 Wie man einen Seminarvortrag hält. Wie man eine Seminarausarbeitung vorbereitet. Teil I)
MehrPatrick Scharpfenecker May 23, Proseminar Algorithmen Organisatorisches & Themen
Patrick Scharpfenecker May 23, 2015 Proseminar Algorithmen Organisatorisches & Themen Page 2 Proseminar Algorithmen Organisatorisches & Themen Scharpfenecker May 23, 2015 Allgemeines Was ist ein Seminar?
MehrTipps zum Halten von Vorträgen. Sinn und Zweck von Seminaren. Was zeichnet einen guten Vortrag aus?
Tipps zum Halten von Vorträgen Stefan Thater FR4.7 Allgemeine Linguistik (Computerlinguistik) Universität des Saarlandes 2012-10-23 Sinn und Zweck von Seminaren In Seminaren soll das wissenschaftliche
MehrSeminar Visualisierung von Graphen
Seminar Visualisierung von Graphen Vortrag, Ausarbeitung, Feedback Wintersemester 2015/2016 28. Oktober 2015 Fabian Lipp basierend auf einem Vortrag von Dorothea Wagner Vorbereitung des Vortrags Den bzw.
MehrTelepräsenz und virtuelle Realität
Seminar Telepräsenz und virtuelle Realität Was kommt nach Second Life? WS 2007/2008 Fakultät für Informatik Institut für Technische Informatik Lehrstuhl für Intelligente Sensor-Aktor-Systeme (ISAS) Dipl.-Ing.
MehrGeometrische Algorithmen für Anwendungen in der Geovisualisierug
Geometrische Algorithmen für Anwendungen in der Geovisualisierug Institut für Theoretische Informatik Lehrstuhl für Algorithmik Prof. Dorothea Wagner Institut für Algebra und Geometrie Arbeitsgruppe Diskrete
MehrHinweise zum Seminarvortrag und Korreferat
Hinweise zum Seminarvortrag und Korreferat Prof. Dr. Silke Übelmesser Lehrstuhl für Allgemeine Volkswirtschaft und Finanzwissenschaft FSU Jena WS 2013/14 Gliederung 1 Allgemeines 2 Vorbereitung 3 Der Vortrag
MehrDarstellungstheoretische Ansätze in der schnellen Matrixmultiplikation
Darstellungstheoretische Ansätze in der schnellen Matrixmultiplikation Teil I: Einführung und aktueller Überblick IVO HEDTKE Arbeitsgruppe Datenstrukturen und effiziente Algorithmen (Prof. Dr. M. MÜLLER-HANNEMANN)
MehrVortragstechnik. Prof. Dr. Thomas Ludwig. Ruprecht-Karls-Universität Heidelberg Institut für Informatik Abteilung für parallele und verteilte Systeme
Vortragstechnik Prof. Dr. Thomas Ludwig Ruprecht-Karls-Universität Heidelberg Institut für Informatik Abteilung für parallele und verteilte Systeme Email : t.ludwig@computer.org Die Folien dieses Vortrags
MehrDas Problem des minimalen Steiner-Baumes
Das Problem des minimalen Steiner-Baumes Ein polynomieller Approximationsalgorithmus Benedikt Wagner 4.05.208 INSTITUT FU R THEORETISCHE INFORMATIK, LEHRSTUHL ALGORITHMIK KIT Die Forschungsuniversita t
MehrVortragstechnik und wissenschaftliches Paperschreiben
Vortragstechnik und wissenschaftliches Paperschreiben Lehrstuhl für Rechnerarchitektur und Parallele Systeme (RAPS) Fakultät für Informatik Technische Universität München Dai Yang, M. Sc. Garching b. München,
MehrNeueste Trends im Hochleistungsrechnen
Proseminar Neueste Trends im Hochleistungsrechnen Julian Kunkel, Michael Kuhn, Philipp Neumann Arbeitsbereich Wissenschaftliches Rechnen Fachbereich Informatik Fakultät für Mathematik, Informatik und Naturwissenschaften
MehrSeminar im Wintersemester 2009/10 Controlling in der Energiebranche
Seminar im Wintersemester 2009/10 Controlling in der Energiebranche Lehrstuhl für BWL Controlling Prof. Dr. Gunther Friedl Technische Universität München Email: gunther.friedl@wi.tu-muenchen.de In Kooperation
MehrProf. Dr. Thomas Ludwig
Vortragstechnik Prof. Dr. Thomas Ludwig Ruprecht-Karls-Universität Heidelberg Institut für Informatik Abteilung für parallele und verteilte Systeme Email : t.ludwig@computer.org Gliederung Einarbeitung,
MehrUntersuchung von Beschleunigungsverfahren für den Dijkstra-Algorithmus im Zusammenhang mit multimodalem Routing
Untersuchung von Beschleunigungsverfahren für den Dijkstra-Algorithmus im Zusammenhang mit multimodalem David Georg Reichelt davidgeorg_reichelt@yahoo.de 22. September 2012 25.09.2012 David Georg Reichelt,
MehrSeminar Algorithmische Geometrie
Seminar Algorithmische Geometrie LEHRSTUHL FÜR ALGORITHMIK I INSTITUT FÜR THEORETISCHE INFORMATIK FAKULTÄT FÜR INFORMATIK Bastian Katz Marcus Krug Martin Nöllenburg Ignaz Rutter KIT Universität des Landes
MehrSeminar Algorithmische Spieltheorie WS 2007/08. Martin Sauerhoff
Seminar Algorithmische Spieltheorie WS 2007/08 Martin Sauerhoff Worum geht es? Internet/WWW: Interaktion zwischen Parteien ( Spielern ), die private, egoistische Interessen verfolgen; Erreichen von globalen
Mehr1 Pfade in azyklischen Graphen
Praktikum Algorithmen-Entwurf (Teil 5) 17.11.2008 1 1 Pfade in azyklischen Graphen Sei wieder ein gerichteter Graph mit Kantengewichten gegeben, der diesmal aber keine Kreise enthält, also azyklisch ist.
MehrSeminar Algorithmen für planare Graphen
Seminar Algorithmen für planare Graphen Reinhard Bauer, Marcus Krug, Ignaz Rutter, Dorothea Wagner Universität Karlsruhe (TH) Institut für Theoretische Informatik Lehrstuhl Algorithmik I 24. Oktober 2008
MehrRecent Advances in Business Computing and Operations Research (RAIBCOR)
Recent Advances in Business Computing and Operations Research (RAIBCOR) Prof. Dr. Stefan Bock 31.10.2008 / 07.11.2008 Bergische Universität Wuppertal Wirtschaftsinformatik und Operations Research Agenda
MehrTheory vs. Engineering. Algorithm Engineering Organisatorisches, Ablauf, Themen. Der Projektteil. Algorithm Engineering
Theory vs. Engineering Algorithm Engineering, Ablauf, Themen Frank Heitmann heitmann@informatik.uni-hamburg.de Algorithmik Programmieren im Kleinen In der Algorithmentheorie eher theoretische Ergebnisse.
MehrSeminar Timed Automata
Einführungsveranstaltung Thomas Noll Henrik Bohnenkamp Software Modeling and Verification Group 17. Juli 2008 Zielsetzung Einführung Termine Themen Inhalt des Seminars Methoden zur Gewährleistung der Korrektheit
MehrSeminar Business Intelligence
Seminar Business Intelligence Ausgewählte Themen aus dem Bereich Data Science Prof. Dr. Peter Becker Fachbereich Informatik Hochschule Bonn-Rhein-Sieg Wintersemester 2018/19 Peter Becker (H-BRS) Seminar
MehrTrends in Mobilen und Verteilten Systemen
Seminar Trends in Mobilen und Verteilten Systemen Veranstalter: Prof. Dr. Linnhoff-Popien Durchführung: Sebastian Feld Seminar Trends in Mobilen und Verteilten Systemen Folie 1 Termine Termine Mo, 27.04.15,
MehrFachbibliothek NAWI. Zeitschriften & Reihen Abteilung Mathematik Stand: 3/2017. Titel Signatur Bestand
Fachbibliothek NAWI Zeitschriften & Reihen Abteilung Mathematik Stand: 3/2017 Titel Signatur Bestand Abhandlungen aus dem Mathematischen Seminar der Universitaet Hamburg ZI 16.401 1.1922-70.2000 L:1.1922
MehrKernveranstaltungen der Wirtschaftsinformatik. Prof. Dr. Stefan Voß. Universität Hamburg Institut für Wirtschaftsinformatik
Kernveranstaltungen der Wirtschaftsinformatik Prof. Dr. Stefan Voß Universität Hamburg Institut für Wirtschaftsinformatik Kernveranstaltungen der Wirtschaftsinformatik - Seminar Prof. Dr. Stefan Voß Universität
MehrVertiefte Themen in Mobilen und Verteilten Systemen
Seminar Vertiefte Themen in Mobilen und Verteilten Systemen Veranstalter: Prof. Dr. Linnhoff-Popien Durchführung: Marie Kiermeier, Sebastian Feld Seminar Trends in Mobilen und Verteilten Systemen Folie
MehrDeductive Software Verification The KeY Book Haupt- und Proseminar in SoSe 2017
Deductive Software Verification The KeY Book Haupt- und Proseminar in SoSe 2017 Bernhard Beckert 02.05.17 INSTITUT FÜR THEORETISCHE INFORMATIK, KIT KIT âăş Die ForschungsuniversitÃd t in der Helmholtz-Gemeinschaft
MehrSeminar Algorithmentechnik
Seminar Algorithmentechnik Institut für Theoretische Informatik Lehrstuhl für Algorithmik I Prof. Dorothea Wagner Karlsruhe Seminar Institut Algorithmentechnik für Technologie (KIT) Fakultät für Informatik
MehrHilfestellung für Präsentationen und Referate in Seminaren
Hilfestellung für Präsentationen und Referate in Seminaren (Text von Emer O Sullivan und Dietmar Rösler) Die folgenden Fragen und kurzen Anregungen sollen Ihnen helfen, sich und den anderen SeminarteilnehmerInnen
MehrAutomatisches Layout von Graphen
Fakultät Informatik» Institut für Angewandte Informatik» Professur für Technische Informationssysteme Automatisches Layout von Graphen Mabel Joselin Brun Chaperon Dresden, 10.06.2011 Inhalt Vortragsübersicht:
MehrVorbesprechung für das Bachelorseminar Information Theoretic Data Mining
Vorbesprechung für das Bachelorseminar Information Theoretic Data Mining Prof. Dr. Christian Böhm Dominik Mautz Dr. Bianca Wackersreuther Allgemeines Termine: Di, 25.04.2017, 12.00-14.00 Uhr in Raum C
MehrVorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12
Vorlesung Modellierung Modellierungsmethoden der Informatik Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Dr. Sander Bruggink Barbara König Modellierung 1 Das heutige Programm Organisatorisches
MehrRelative Lokalisierung in Sensornetzen
Relative Lokalisierung in Sensornetzen Raphael Schmid Seminar Lokalisierung bei Prof. F. Mattern, SS06 Betreuung: Christian Frank Inhalt des Vortrages Einführung und Motivation Übersicht über relative
MehrTipps zum Halten von Vorträgen
Tipps zum Halten von Vorträgen Stefan Thater FR4.7 Allgemeine Linguistik (Computerlinguistik) Universität des Saarlandes 2011-10-31 Sinn und Zweck von Seminaren In Seminaren soll das wissenschaftliche
MehrSeminar Eingebettete Systeme Energieaspekte der Informationstechnologie Wintersemester 2012/13
12 Seminar Eingebettete Systeme Energieaspekte der Informationstechnologie Wintersemester 2012/13 Peter Marwedel Informatik 12 TU Dortmund Ziel des Seminars Ziel des Seminars: exemplarisches Erarbeiten
MehrBeschleunigung von Bild-Segmentierungs- Algorithmen mit FPGAs
Fakultät Informatik, Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur Algorithmen mit FPGAs Vortrag von Jan Frenzel Dresden, Gliederung Was ist Bildsegmentierung?
MehrPräsentationstechnik
Lehrstuhl für Informatik III RWTH Aachen Seminar im Hauptstudium Wintersemester 03/04 Entwicklungsprozesse Management, Werkzeuge, Integration Präsentationstechnik Prof. Dr.-Ing. Manfred Nagl Priv.-Doz.
MehrHyperlink Induced Topic Search- HITS. Ying Ren Universität Heidelberg, Seminar Infomation Retrieval
Hyperlink Induced Topic Search- HITS Hyperlink-basiertes Ranking Ying Ren 25.01.2010 Universität Heidelberg, Seminar Infomation Retrieval Grundgedanken zum Link-basierten Rankingverfahren
MehrAlgorithmische Methoden zur Netzwerkanalyse
Algorithmische Methoden zur Netzwerkanalyse Juniorprof. Dr. Henning Meyerhenke Institut für Theoretische Informatik 1 KIT Henning Universität desmeyerhenke, Landes Baden-Württemberg Institutund für Theoretische
MehrDas Seminar Handlungsplanen Eine Einführung
Das Seminar Handlungsplanen Eine Einführung Prof. Bibel, WS 2000/2001 24. Oktober 2000 Organisatorisches 1 Ziel des Seminars der Seminarvortrag weitere Leistungen technische Hilfsmittel Anwesenheit Verteilung
MehrEinführung in Wissenschaftliches Arbeiten
Einführung in Wissenschaftliches Arbeiten Einleitung und Recherche Thomas Beckers, Sebastian Dungs, Norbert Fuhr, Matthias Jordan, Sascha Kriewel, Marc Lechtenfeld, Vu Tran Sommersemester 2013 Einführung
MehrHalten von Vorträgen
Halten von Vorträgen Propädeutikum im Sommersemester 2017 Institut für Statistik, LMU 21.04.2017 (LMU) Propädeutikum 21.04.2017 1 / 14 Übersicht 1 Aufbau eines Vortrags 2 Erstellen des eigenen Vortrags
MehrVorbesprechung. Proseminar Bioinformatik. Sommersemester Februar 2015
Vorbesprechung Proseminar Bioinformatik Sommersemester 2015 5. Februar 2015 0 Zeitplan Proseminar Vorbesprechung (heute) Einführungsveranstaltung (13.04.) 11 Vorträge (ab 20.04.) Abschlussveranstaltung
MehrVorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12. Lernplattform Moodle. Wer sind wir?
Vorlesung Modellierung Modellierungsmethoden der Informatik Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Dr. Sander Bruggink Das heutige Programm Organisatorisches Vorstellung Ablauf der Vorlesung
MehrZeitschriftenliste der Fachbibliothek für Geodäsie und Mathematik
Zeitschriftenliste der Fachbibliothek für Geodäsie und Mathematik Abteilung Mathematik Stand: März 2013 Abhandlungen aus dem Mathematischen Seminar der Universitaet Hamburg Signatur Bestand ZI 16.401 1.1922-70.2000
MehrFormale Grundlagen der Fehlertoleranz in verteilten Systemen
1/27 Formale Grundlagen der Fehlertoleranz in verteilten Systemen Felix Gärtner TU Darmstadt felix@informatik.tu-darmstadt.de 2/27 Bezug zur formalen Softwareentwicklung formale SE Definitionsphase Aufsplittung
MehrVorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen. Wintersemester 2013/14
Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: und effiziente Algorithmen Wintersemester 2013/14 Prof. Barbara König Übungsleitung: Henning Kerstan & Sebastian Küpper Barbara
MehrKommunikationsnetze Informationen zum Seminar. Bernhard Wiegel, Institut OMI, 20. April 2010
Kommunikationsnetze Informationen zum Seminar Bernhard Wiegel, Institut OMI, 20. April 2010 2 Inhalt Allgemeiner Ablauf / Organisation Zeitplan Themen 3 Ablauf des Seminars Ziel des Seminars Tiefgreifendes
MehrSeminar Programmierung und Reaktive Systeme
Seminar Programmierung und Reaktive Systeme Qualitätssicherung Softwareintensiver Eingebetteter Systeme Betreuer: Sascha Lity, Hauke Baller in Kooperation mit dem Institut für Softwaretechnik und Fahrzeuginformatik
MehrKonventionen. Anfertigung wissenschaftlicher Papiere. Michaela Meier - Christopher Pietsch. Richtlinien Ausarbeitung (5.
Anfertigung r Papiere Richtlinien Ausarbeitung (5. September 2016) Michaela Meier - Christopher Pietsch Agenda 1 2 3 1 / 12 Richtlinien Ausarbeitung (5. September 2016) Teil 1 2 / 12 Richtlinien Ausarbeitung
MehrRecent Advances in Business Computing and Operations Research (RAIBCOR)
Recent Advances in Business Computing and Operations Research (RAIBCOR) Prof. Dr. Stefan Bock Wirtschaftsinformatik und Operations Research Schumpeter School of Business and Economics 21. Oktober 2011
MehrVertiefte Themen in Mobilen und Verteilten Systemen
Seminar Vertiefte Themen in Mobilen und Verteilten Systemen Veranstalter: Prof. Dr. Linnhoff-Popien Durchführung: Marie Kiermeier, Sebastian Feld Seminar Vertiefte Themen in Mobilen und Verteilten Systemen
MehrRundreiseproblem und Stabilität von Approximationsalg.
Das Rundreiseproblem und Stabilität von Approximationsalgorithmen Friedrich Alexander Universität Erlangen-Nürnberg Seminar Perlen der theoretischen Informatik, 2008-01-19 http://verplant.org/uni/perlen/
MehrSeminar zur Praxisphase Bachelorstudiengänge Informatik. Seminar Benotung Vortrag Folien Bericht
Seminar zur Praxisphase Bachelorstudiengänge Informatik Seminar Benotung Vortrag Folien Bericht 1 1 Prof. Prof. Dr. Dr. Jens Jens Liebehenschel Liebehenschel Seminar Seminar zur zur Praxisphase Praxisphase
MehrEinführung in die Rechnernetze Informationen zum Seminar. Bernhard Wiegel, Institut OMI, 15. April 2008
Einführung in die Rechnernetze Informationen zum Seminar Bernhard Wiegel, Institut OMI, 15. April 2008 1 2 Inhalt Allgemeiner Ablauf / Organisation Zeitplan Themen 2 3 Ablauf des Seminars Ziel des Seminars
MehrDynamische Programmierung. Problemlösungsstrategie der Informatik
als Problemlösungsstrategie der Informatik und ihre Anwedung in der Diskreten Mathematik und Graphentheorie Fabian Cordt Enisa Metovic Wissenschaftliche Arbeiten und Präsentationen, WS 2010/2011 Gliederung
MehrVoronoi Diagramme und deren Nutzen im 3D- Druck HAMBURG,
Voronoi Diagramme und deren Nutzen im 3D- Druck ROBIN SCHENDERLEIN HAMBURG, 01.06.2016 Übersicht Motivation Historie Definition Algorithmus Datenstruktur Anwendungsfälle Quellen Motivation Postamts Problem
MehrVisualisierung von Graphen
Visualisierung von Graphen Kreuzungen in Graphzeichnungen Wintersemester 2015/2016 Einführungsveranstaltung am 14. Oktober 2015 Fabian Lipp (E14) Alexander Wolff (E29) Agenda 1. Thema und Konzept 2. Ablauf
MehrNACHHILFE MIT ERFOLG
Referate Referate Tipps für Schüler NACHHILFE MIT ERFOLG 31 Oktober 2015 Verfasst von: André Zeise Referate Referate Tipps für Schüler Hier möchte ich euch ein paar Tipps zum Thema Referate geben. Viele
MehrWS 2015/16 Diskrete Strukturen Organisatorisches
WS 2015/16 Diskrete Strukturen Organisatorisches 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
MehrGute Vorträge halten. Seminar Intelligente Systeme. Prof. Dr. Pauli Dipl.-Inf. Bürger Dipl.-Inform. Herwig Dipl.-Inform. Hoefinghof Dipl.-Inform.
Gute Vorträge halten Seminar Prof. Dr. Pauli Dipl.-Inf. Bürger Dipl.-Inform. Herwig Dipl.-Inform. Hoefinghof Dipl.-Inform. Korn 1 Motivation 2 Nur talentierte Studenten können gute Vorträge halten? 3 Fleißige
MehrProseminar Die P = N P-Vermutung
Proseminar Die P = N P-Vermutung Lehrstuhl Algorithmik I 13.4.2011 INSTITUT FÜR THEORETISCHE INFORMATIK P N P N PC? 0 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der
MehrVorlesung Modellierung Wintersemester 2014/15. Organisatorisches (Folien teilw. von Prof. B. König) Wer sind wir? Wer sind wir? Das heutige Programm
Vorlesung Modellierung Wintersemester 2014/15 Organisatorisches (Folien teilw. von Prof. B. König) Prof. Norbert Fuhr Übungsleitung: Thomas Beckers Das heutige Programm Organisatorisches Vorstellung Ablauf
MehrVorlesung Modellierung Wintersemester 2014/15. Organisatorisches (Folien teilw. von Prof. B. König)
Vorlesung Modellierung Wintersemester 2014/15 Organisatorisches (Folien teilw. von Prof. B. König) Prof. Norbert Fuhr Übungsleitung: Thomas Beckers 1 / 23 Das heutige Programm Organisatorisches Vorstellung
MehrPraktikum Routenplanung Vorbesprechung, Wintersemester 2013/2014 Moritz Baum, Julian Dibbelt, Ben Strasser 21. Oktober 2013
Praktikum Routenplanung Vorbesprechung, Wintersemester 013/014 Moritz Baum, Julian Dibbelt, Ben Strasser 1. Oktober 013 INSTITUT FÜR THEORETISCHE INFORMATIK ALGORITHMIK PROF. DR. DOROTHEA WAGNER KIT Universität
MehrChinese Postman Problem Hamiltonsche Graphen und das Traveling Salesman Problem Max-Flow-Min-Cut...151
Inhaltsverzeichnis 1 Kernkonzepte der linearen Optimierung... 1 1.1 Einführung... 1 1.2 Grundlegende Definitionen... 8 1.3 Grafische Lösung... 10 1.4 Standardform und grundlegende analytische Konzepte...
MehrHauptseminar Cloud Computing. Institute of Architecture of Application Systems (IAAS) Dr. Uwe Breitenbücher Prof. Dr. Dr. h.c.
Hauptseminar Cloud Computing Institute of Architecture of Application Systems (IAAS) Dr. Uwe Breitenbücher Prof. Dr. Dr. h.c. Frank Leymann Richtlinien und Hinweise für das Seminar 2 Agenda Lernziele Rahmenbedingungen
MehrSecure Software Engineering/ Sicherheit und Softwaretechnik
1/ 15 Secure Software Engineering/ Sicherheit und Softwaretechnik Sommermester 2017 RGSE - Research Group for Software Engineering 18.04.2017 Agenda 2/ 15 1 Hintergründe zum Seminar 2 Organisatorisches
MehrSeminar Query Processing in Moving Objects Databases
Seminar Query Processing in Moving Objects Databases Markus Bestehorn Klemens Böhm KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu
MehrJava und Grid Computing
Seminar im WS03/04 Java und Grid Computing Prof. S. Gorlatch Dipl.-Inf. Jan Dünnweber jan.duennweber@math.uni-muenster.de Einsteinstr. 62, Raum 303, Tel. 83-32747 Dipl.-Inf. Jens Müller jens.mueller@math.uni-muenster.de
MehrRecent Advances in Business Computing and Operations Research (RAIBCOR)
Recent Advances in Business Computing and Operations Research (RAIBCOR) Prof. Dr. Stefan Bock Wirtschaftsinformatik und Operations Research Schumpeter School of Business and Economics 25. Oktober 2013
MehrInhaltsverzeichnis. Eigenschaften. Eigenschaften. 1 outerplanare Graphen. 2 k-outerplanare Graphen. Outerplanarity. Julie Meißner & Sebastian Sondern
Vortrag zur Vorlesung Graphalgorithmen WS09 & Beispiele 0. November 009 / Inhaltsverzeichnis & Beispiele & Beispiele / - outerplanar (G=(V,E) outerplanar) G planar und & Beispiele / - outerplanar (G=(V,E)
MehrProseminar String Matching
Proseminar Textsuche Proseminar String Matching PD Dr. habil. Hanjo Täubig Lehrstuhl für Theoretische Informatik (Prof. Dr. Susanne Albers) Institut für Informatik Technische Universität München Wintersemester
MehrVortragsfoolien / Präsentation
Vortragsfoolien / Präsentation Vortragsfolien sollen den Vortragenden bei seiner Arbeit unterstützen und das Verständnis der Zuhörer erle-ichtern Farbige Hintergrundmuster und Hervorhebungen lockern die
MehrWissenschaftliches Arbeiten
Wissenschaftliches Arbeiten Sommersemester 2017 Steffi Nagel Lehrstuhl für Volkswirtschaftslehre, insb. Makroökonomie, Prof. Dr. Klaus Wälde Ziel der Veranstaltung Ziel des Seminars ist der Erwerb der
MehrWas gehört zu einer erfolgreichen Seminarteilnahme?
Was gehört zu einer erfolgreichen Seminarteilnahme? Dorothea Wagner Universität Karlsruhe Seminar über Netzwerkanalyse 6. November, 2003 Thema meines Vortrags 1 Wie man einen Seminarvortrag präsentiert.
MehrComputerspiele. Seminar WS 2007/08 Prof. Dr. R. Westermann & Andere. computer graphics & visualization. computer graphics & visualization
Computerspiele Seminar WS 2007/08 Prof. Dr. R. Westermann & Andere Motivation - Sinn und Zweck eines Seminars Einführung (Training) in das wissenschaftliche Arbeiten - Strukturierte Informationssuche -
MehrVorlesung Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2015
Vorlesung Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2015 Prof. Barbara König Übungsleitung: Jan Stückrath Barbara König Automaten und Formale Sprachen 1 Das heutige Programm:
MehrPräsentation BDDs Binary Decision Diagrams
Präsentation Binary Decision Diagrams Günther Eder Andreas Weichhart 28.01.2011 1 / 19 Überblick 1/2 Überblick Boolean Expressions Nachteil KNF/DNF Shannon Expansion INF 1. 2. Boolean Expressions 3. Nachteil
MehrComputergestützte Gruppenarbeit
Computergestützte Gruppenarbeit 3. Gruppenprozesse Dr. Jürgen Vogel European Media Laboratory (EML) Heidelberg SS 2005 0 CSCW SS 2005 Jürgen Vogel Inhalt der Vorlesung 1. Einführung 2. Grundlagen von CSCW
MehrSeminar Parametrisierte Algorithmen für N P-schwere Probleme
Seminar Parametrisierte Algorithmen für N P-schwere Probleme Reinhard Bauer, Marcus Krug, Ignaz Rutter Institut für Theoretische Informatik 24. April 2009 1/ 22 Klassische Komplexitätstheorie P vs. N P-schwer
MehrKernveranstaltungen der Wirtschaftsinformatik. Universität Hamburg Institut für Wirtschaftsinformatik
Kernveranstaltungen der Wirtschaftsinformatik Prof. Dr. Stefan Voß Universität Hamburg Institut für Wirtschaftsinformatik Kernveranstaltungen der Wirtschaftsinformatik - Prof. Dr. Stefan Voß Universität
MehrSequenzanalyse-Praktikum
Sequenzanalyse-Praktikum Veranstalter: Jens Stoye, Daniel Dörr, Tizian Schulz http://wiki.techfak.uni-bielefeld.de/gi/teaching/2017winter/sequaprak praktikum-seqan@cebitec.uni-bielefeld.de Inhalte und
MehrForschungsseminar WS 11/12: Visionäre Technologien und Apps
Forschungsseminar WS 11/12: Visionäre Technologien und Apps D. Grüntjens, G. Lochmann, Prof. Dr. S. Müller Institut für Computervisualistik Universität Koblenz Inhaltsverzeichnis Organisatorisches Wichtige
MehrDynamisches Routing in der Logistik
Informatik, Angewandte Informatik, Technische Informationssysteme Dynamisches Routing in der Logistik Tobias Dimmel Dresden, 24.05.2012 Agenda 1. Begriffe 2. Traveling Salesman Problem 3. Ameisenalgorithmus
MehrRichtlinien und Hinweise für. Seminararbeiten
Richtlinien und Hinweise für Seminararbeiten Lehrstuhl für VWL (Wirtschaftspolitik, insbes. Industrieökonomik) Ökonomie der Informationsgesellschaft Prof. Dr. Peter Welzel Gliederung Die folgenden Richtlinien
Mehr