Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 2.1 >
edited by Alexander Schulz-Rosengarten
on 2017/06/29 15:33
To version < 10.1 >
edited by Alexander Schulz-Rosengarten
on 2017/06/29 19:00
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,32 +1,21 @@
1 1  (((
2 2  (% class="bodytext" style="text-align: left;" %)
3 -Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der Layoutalgorithmen intensiv und selbständig wissenschaftlich auseinanderzusetzen. Das Thema ist in einem mündlichen Vortrag und einer schriftlichen Ausarbeitung zusammenzufassen. Ein weiterer Sinn dieses Seminars ist es, das Arbeiten in strukturierten zeitlichen Abläufen zu üben, wie es z.B. für Workshops/Tagungen üblich ist. Beide Aspekte sind erfahrungsgemäß eine gute Vorbereitung auf die Anfertigung einer Abschlussarbeit.(% style="color: rgb(34,34,34);" %) Es sind auch diverse Abschlussarbeitsthemen (Bachelor oder Master) auf diesem Themengebiet zu vergeben, bei Interesse sprechen Sie uns bitte an.
3 +(% style="color: rgb(34,34,34);" %)Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der Echtzeitsysteme und eingebetteten Systeme intensiv und selbständig wissenschaftlich auseinanderzusetzen. Das Thema ist in einem mündlichen Vortrag und einer schriftlichen Ausarbeitung zusammenzufassen. Ein weiterer Sinn dieses Seminars ist es, das Arbeiten in strukturierten zeitlichen Abläufen zu praktizieren, wie es z.B. für Workshops/Tagungen üblich ist. Beide Aspekte sind erfahrungsgemäß eine gute Vorbereitung auf die Anfertigung einer Abschlussarbeit.
4 4  
5 +
5 5  (% class="bodytext" style="text-align: left;" %)
6 6  Dieses Seminar wird in zwei Varianten angeboten, als Bachelor-Modul und als Master-Modul. Im Vergleich zum Bachelorseminar erwartet das Masterseminar eine größere Einbeziehung von verwandten Arbeiten, und dementsprechend eine umfangreichere Ausarbeitung und Präsentation (siehe unten).
7 7  
8 -(% class="bodytext" style="text-align: left;" %)
9 -== Beispiele ==
9 +(% style="text-align: left;" %)
10 +== Voraussetzungen ==
10 10  
11 -{{section}}
12 -{{column width="49%"}}
13 -[[image:attach:image2016-7-7 15:43:25.png]]
12 +Das Seminar baut auf Inhalten aus der Vorlesung "Synchrone Sprachen" auf. Seminarteilnehmern, welche diese Vorlesung noch nicht gehört haben, wird als Einstieg folgendes Überblickspapier empfohlen, zumindest hiervon die Abschnitte I und II:
14 14  
15 -[[image:attach:image2016-7-7 15:43:29.png]]
16 -{{/column}}
14 +Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," //Proceedings of the IEEE// , vol.91, no.1, pp.64,83, Jan 2003 ([[pdf>>url:http://www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchronous.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]).
17 17  
18 -{{column width="49%"}}
19 -[[image:attach:image2016-7-7 15:43:38.png]][[image:attach:image2016-7-7 15:43:34.png]]
20 -
21 -[[image:attach:image2016-7-7 15:43:41.png]]
22 -{{/column}}
23 -{{/section}}
24 -
25 25  (% style="text-align: left;" %)
26 -== Voraussetzungen ==
27 27  
28 -(% style="text-align: left;" %)
29 -Wir empfehlen den Besuch der Blockveranstaltung **[[Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten>>url:http://univis.uni-kiel.de/form?__s=2&dsc=anew/lecture_view&lvs=techn/infor/inform/websci/winfwi&anonymous=1&dir=techn/infor/inform/websci&ref=lecture&sem=2016s&__e=986||shape="rect" class="internal-link None"]]** von Frau Peters.
18 +Wir empfehlen zudem den Besuch der Blockveranstaltung **[[Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten>>url:http://univis.uni-kiel.de/form?__s=2&dsc=anew/lecture_view&lvs=techn/infor/inform/websci/winfwi&anonymous=1&dir=techn/infor/inform/websci&ref=lecture&sem=2017w&__e=346||shape="rect"]]** von Frau Peters.
30 30  
31 31  (% style="text-align: left;" %)
32 32  == Dozenten ==
... ... @@ -33,107 +33,95 @@
33 33  
34 34  (% class="bodytext" style="text-align: left;" %)
35 35  Reinhard von Hanxleden (rvh@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])(% class="Apple-converted-space" %) (%%)
36 -Ulf Rüegg (uru@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])
37 -Nis Börge Wechselberg (nbw@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])
25 +Alexander Schulz-Rosengarten (als@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])
38 38  
39 39  (% style="text-align: left;" %)
40 40  == Themen ==
41 41  
42 42  (% class="bodytext" style="text-align: left;" %)
43 -Zur Verfügung stehen die folgenden Paper verschiedenen Themenbereichen. Die Paper werden first-come-first-serve vergeben. Ist ein Paper schon an jemanden vergeben vermerken wir das hier. Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
31 +Zur Verfügung stehen die folgenden Paper. Sie sind grob in Master- und Bachelor-Themen eingeteilt, anhand von Umfang, Komplexität und benötigtem Vorwissen. Dies soll aber nicht davon abhalten bei überwältigendem Interesse auch als Bachelor ein Master-Thema zu bearbeiten.
44 44  
45 45  (% class="bodytext" style="text-align: left;" %)
46 -Master-Studenten meiden bitte den Themenbereich// Traditional Methods//.
34 +**Die aktuelle Auswahl ist nur vorläufig!** Sie soll einen Einblick in die späteren Themen bieten und wird noch bis zur Vergabe der Seminarplätze erweitert.
47 47  
48 48  (% class="bodytext" style="text-align: left;" %)
49 -=== Traditional Methods [uru] ===
37 +Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
38 +)))
50 50  
51 -(% style="margin-left: 32.0px;" %)
52 -**[vergeben]** Reingold, E. M., & Tilford, J. S. (1981). [[**Tidier Drawings of Trees**>>url:http://reingold.co/tidier-drawings.pdf||shape="rect"]]. //IEEE Transactions on Software Engineering//, 7(2), 223–228.
40 +=== Bachelor Empfehlung ===
53 53  
54 -(% style="margin-left: 32.0px;" %)
55 -**[vergeben]** Sugiyama, K., Tagawa, S., & Toda, M. (1981). [[**Methods for Visual Understanding of Hierarchical System Structures**>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4308636||shape="rect"]]. //IEEE Transactions on Systems, Man and Cybernetics//, 11(2), 109–125.
42 +(% class="bodytext" style="margin-left: 30.0px;" %)
43 +Bourke, T.; Pouzet, M., [[Zélus: a synchronous language with ODEs>>url:http://dl.acm.org/citation.cfm?id=2461348||shape="rect"]], Proceedings of the 16th international conference on Hybrid systems: computation and control, pp. 113-118, 2013. //
44 +Dieses Paper ist etwas weniger umfangreich, dafür ist voraussichtlich deutlich mehr Arbeitsaufwand für das Hintergrundverständnis erforderlich, insbesondere für Studierende ohne Vorkenntnisse auf dem Gebiet Synchrone Sprachen.//
56 56  
57 -(% style="margin-left: 32.0px;" %)
58 -**[vergeben]** Tamassia, R., Battista, G. Di, & Batini, C. (1988). [[**Automatic Graph Drawing and Readability of Diagrams**>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=87055||shape="rect"]]. //IEEE Transactions on Systems, Man and Cybernetics//, 18(1), 61–79.
46 +(% class="bodytext" style="margin-left: 30.0px;" %)
47 +//
48 +//
59 59  
60 -(% style="margin-left: 32.0px;" %)
61 -**[vergeben]** Fruchterman, T., & Reingold, E. (1991). [[**Graph drawing by force directed placement**>>url:http://www.mathe2.uni-bayreuth.de/axel/papers/reingold:graph_drawing_by_force_directed_placement.pdf||shape="rect"]]. //Software: Practice and Experience//, 21(11), 1129–1164.
50 +(% class="bodytext" style="margin-left: 30.0px;" %)
51 +Nadeem, M.; Biglari-Abhari, M.; Salcic, Z., "GALS-JOP: A Java Embedded Processor for GALS Reactive Programs", IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC), 2011, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6119095||shape="rect" class="external-link"]].
62 62  
63 -(% class="bodytext" style="text-align: left;" %)
64 -=== Planarization [uru] ===
53 +(% class="bodytext" style="margin-left: 30.0px;" %)
54 +Sun, W.-T.; Salcic, Z.; Malik, A., "LibGALS: a library for GALS systems design and modeling", Proceedings of the 15th Asia South Pacific Design Automation Conference (ASP-DAC)2010:107-112. [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=05419912||shape="rect" class="external-link"]].
65 65  
66 -(% style="margin-left: 32.0px;" %)
67 -**[vergeben]** Jayakumar, R., Thulasiraman, K., & Swamy, M. N. S. (1989). [[**O(n^2) Algorithms for Graph Planarization**>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=21845||shape="rect"]]. //IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems//, 8(3), 257–267.
56 +(% class="bodytext" style="margin-left: 30.0px;" %)
57 +Magara, A.; Salvaneschi, G., "Ways to react: comparing reactive languages and complex event processing", 1st Workshop on Reactivity, Events and Modularity (REM'13). 2013. [[PDF hier>>url:http://soft.vub.ac.be/REM13/papers/rem20130_submission_5.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
68 68  
69 -(% style="margin-left: 32.0px;" %)
70 -**[vergeben]** Klau, G. W., & Mutzel, P. (1999). [[**Combining graph labeling and compaction**>>url:http://link.springer.com/chapter/10.1007%2F3-540-46648-7_3||shape="rect"]].// (% class="title" %)In Proceedings of Graph Drawing, 7th International Symposium, GD'99, Stirín Castle, Czech Republic, September 1999 (pp. //(%%)27-37).
59 +(% class="bodytext" style="margin-left: 30.0px;" %)
60 +Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., "Coordinating multiple administration loops using discrete control" (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect" class="external-link"]].
71 71  
72 -(% style="margin-left: 32.0px;" %)
73 -**[vergeben]** Eiglsperger, M., & Kaufmann, M. (2002). **[[Fast Compaction for orthogonal drawings with vertices of prescribed size>>url:http://link.springer.com/content/pdf/10.1007%2F3-540-45848-4_11.pdf||shape="rect"]].** //In Proceedings of (% class="title" %)Graph Drawing, 9th International Symposium, GD'01, Vienna, Austria, September 23-26, 2001(%%) (pp. 124-138).//
62 +(% class="bodytext" style="margin-left: 30.0px;" %)
63 +Gesell, M.; Schneider, K., "Modular verification of synchronous programs", Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect" class="external-link"]].
74 74  
75 -(% style="margin-left: 32.0px;" %)
76 -Gutwenger, C., Mutzel, P., & Weiskircher, R. (2005).[[** Inserting an edge into a planar graph**>>url:http://download.springer.com/static/pdf/25/art%253A10.1007%252Fs00453-004-1128-8.pdf?originUrl=http%3A%2F%2Flink.springer.com%2Farticle%2F10.1007%2Fs00453-004-1128-8&token2=exp=1471869281~~acl=%2Fstatic%2Fpdf%2F25%2Fart%25253A10.1007%25252Fs00453-004-1128-8.pdf%3ForiginUrl%3Dhttp%253A%252F%252Flink.springer.com%252Farticle%252F10.1007%252Fs00453-004-1128-8*~~hmac=94bcfa7f1867b87010d4313ed262f84301edb782ded31e576fc13d2260514284||shape="rect"]]. //Algorithmica//, 41(4), 289–308.
65 +(% class="bodytext" style="margin-left: 30.0px;" %)
66 +Shaver, C.; Lee, E.A., "The coroutine model of computation", Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. [[PDF hier>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]. Die Bearbeitung dieses Themas sollte sich auch mit ev. aktuellen Weiterentwicklungen beschäftigen, siehe z.B. den Vortrag von Chris Shaver beim Synchronworkshop 2013: [[Slides>>url:http://www.dagstuhl.de/mat/Files/13/13471/13471.ShaverChris.Slides.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]] und die [[Homepage>>url:http://www.eecs.berkeley.edu/%7Eshaver/index.html?page=research||shape="rect" class="MIME-text MIME--html external-link"]] des Autors.
77 77  
78 -(% class="bodytext" style="text-align: left;" %)
79 -=== Label Placement [nbw/cds] ===
68 +(% class="bodytext" style="margin-left: 30.0px;" %)
69 +Attar, P.; Boussinot, F.; Mandel, L.; Susini, J.-F., "Proposal for a Dynamic Synchronous Language", INRIA, Research Proposal, 2011. [[PDF hier>>url:http://hal.archives-ouvertes.fr/docs/00/59/04/20/PDF/dsl.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
80 80  
81 -(% style="margin-left: 32.0px;" %)
82 -**[vergeben, cds]** Edmondson, S., Christensen, J., Marks, J., & Shieber, S. (1996).**[[ A general cartographic labeling algorithm>>url:https://dash.harvard.edu/bitstream/handle/1/2051370/GeneralCartographic.pdf||shape="rect"]]**. //Cartographica,// 33(4), 13–23.//
83 -//
71 +(% class="bodytext" style="margin-left: 30.0px;" %)
72 +Gamatié, A.; Gonnord, L., "Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems", Conference on Languages, Compilers and Tools for Embedded Systems (ACM SIGPLAN/SIGBED), LCTES 2011:71-80. [[PDF hier>>url:http://laure.gonnord.org/pro/papers/signal_boolnum_lctes2011.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
84 84  
85 -(% style="margin-left: 32.0px;" %)
86 -**[vergeben, nbw]** Wolff, A., Knipping, L., van Kreveld, M. J., Strijk, T., & Agarwal, P. K. (2002). [[**A simple and efficient algorithm for high-quality line labeling**>>url:http://dspace.library.uu.nl/bitstream/handle/1874/2561/2001-44.pdf?sequence=1||shape="rect"]].
74 +(% class="bodytext" style="margin-left: 30.0px;" %)
75 +Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., "Constructive Polychronous Systems", Logical Foundations of Computer Science. vol. 7734, 2013. [[PDF hier>>url:http://hal.inria.fr/hal-00763371/||shape="rect" class="external-link"]].
87 87  
88 -(% style="margin-left: 32.0px;" %)
89 -**[vergeben, cds]** Dogrusoz, U., Kakoulis, K. G., Madden, B., & Tollis, I. G. (2007).** [[On labeling in graph visualization>>url:http://yoksis.bilkent.edu.tr/doi_getpdf/articles/10.1016-j.ins.2007.01.019.pdf||shape="rect"]]**. //Information Sciences//, 177(12), 2459–2472.//
77 +(% class="bodytext" style="margin-left: 30.0px;" %)
78 +Brandt, J.; Schneider, K.; "Passive code in synchronous programs", ACM Transactions on Embedded Computing Systems (TECS), Special Section, vol. 13 issue 2s, Jan2014, article No. 67. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2555770||shape="rect" class="external-link"]].
79 +
80 +(% class="bodytext" style="margin-left: 30.0px;" %)
90 90  //
82 +//
91 91  
92 -=== Edge Label User Studies [nbw] ===
84 +=== Master Empfehlung ===
93 93  
94 -(% style="margin-left: 32.0px;" %)
95 -**[vergeben]** Holten, D., & Van Wijk, J. J. (2009). [[**A user study on visualizing directed edges in graphs**>>url:https://www.win.tue.nl/vis1/home/dholten/papers/directed_edges_chi.pdf||shape="rect"]]. //In Proceedings of the 27th International Conference on Human Factors in Computing Systems (CHI), Boston, MA, USA, April 4-9, 2009 (pp. 2299–2308).//
86 +(% style="margin-left: 30.0px;" %)
87 +Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. [[Runtime enforcement of reactive systems using synchronous enforcers>>url:https://arxiv.org/pdf/1612.05030.pdf||shape="rect"]]. In //CoRR//, vol. abs/1612.05030, 2016.
96 96  
97 -(% style="margin-left: 32.0px;" %)
98 -**[vergeben]** Holten, D., Isenberg, P., Van Wijk, J. J., & Fekete, J. D. (2011). [[**An extended evaluation of the readability of tapered, animated, and textured directed-edge representations in node-link graphs**>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5742390||shape="rect"]].// In Proceedings of the //2011 (% class="title" %)//IEEE Pacific Visualization Symposium, PacificVis 2011, Hong Kong, China, March //(% class="title title" %)//1-4//(% class="title" %)//, 2011//(%%)// (pp. 195–202).//
89 +(% style="margin-left: 30.0px;" %)
90 +Yip, E.; Kuo, M.; Roop. P. S., Broman, D., [[Relaxing the Synchronous Approach for Mixed-Criticality Systems>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6925993||shape="rect"]], Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014.
99 99  
100 -(% style="margin-left: 32.0px;" %)
101 -**[vergeben]** Xu, K., Rooney, C., Passmore, P., Ham, D. H., & Nguyen, P. H. (2012). [[**A user study on curved edges in graph visualization**>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6327250||shape="rect"]]. //IEEE Transactions on Visualization and Computer Graphic//, 18(12), 2449–2456.
102 -
103 -=== Human Computer Interaction [nbw] ===
104 -
105 -(% style="margin-left: 32.0px;" %)
106 -**[vergeben]** Taylor, M., & Rodgers, P. (2005). [[**Applying graphical design techniques to graph visualisation**>>url:http://core.ac.uk/download/pdf/10623936.pdf||shape="rect"]]. //In Proceedings of the //9(% class="title" %)th International Conference on Information Visualisation, IV 2005, 6-8 July 2005, London, UK (pp //651–656).//
107 -
108 -(% style="margin-left: 32.0px;" %)
109 -**[vergeben]** Lutz, R., Rausch, D., Beck, F., & Diehl, S. (2014). [[**Get your directories right: From hierarchy visualization to hierarchy manipulation**>>url:http://www.st.uni-trier.de/~~diehl/pubs/vlhcc2014.pdf||shape="rect"]]. //In Proceedings of the //2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)(% class="title" %)//, Melbourne, VIC, Australia, July 28 - August 1, 2014//(%%)// (pp. 25–32).//
110 -
111 -(% style="margin-left: 32.0px;" %)
112 -**[vergeben]** Sato, Y., Masuda, S., Someya, Y., Tsujii, T., & Watanabe, S. (2015). [[**An fMRI analysis of the efficacy of Euler diagrams in logical reasoning**>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7357209||shape="rect"]]. In //Proceedings of 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), (% class="title" %)Atlanta, GA, USA, October 18-22, 2015(%%) (pp. 143–151).//
113 -
114 -(% style="margin-left: 32.0px;" %)
115 -\\
116 -
117 117  == Termine ==
118 118  
94 +**Vorläufige Terminplanung**
95 +
119 119  (% class="wrapped" %)
120 120  |=(((
121 -Date
98 +Datum
122 122  )))|=(((
123 -Topic
100 +Meilenstein
124 124  )))
125 125  |(((
126 -Do, 27.10.
103 +Fr, 27.10.
127 127  )))|(((
128 -Ende der Frist für die Themenauswahl (per Mail an Nis und Ulf)
105 +Ende der Frist für die Themenauswahl (per Email)
129 129  )))
130 130  |(((
131 -Do, 27.10., 13:30 Uhr
108 +Fr, 27.10., 13:30 Uhr
132 132  )))|(((
133 133  Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115
134 134  )))
135 135  |(((
136 -Do, 17.11., 8:00 Uhr
113 +Fr, 17.11., 8:00 Uhr
137 137  )))|(((
138 138  Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie)
139 139  )))
... ... @@ -146,7 +146,7 @@
146 146  )))
147 147  |(% colspan="1" %)(% colspan="1" %)
148 148  (((
149 -Do, 15.12., 8:00 Uhr
126 +Fr, 15.12., 8:00 Uhr
150 150  )))|(% colspan="1" %)(% colspan="1" %)
151 151  (((
152 152  Abgabe der Erstversion der vollständigen Ausarbeitung
... ... @@ -160,7 +160,7 @@
160 160  )))
161 161  |(% colspan="1" %)(% colspan="1" %)
162 162  (((
163 -Mo, 09.01., 8:00 Uhr
140 +Di, 09.01., 8:00 Uhr
164 164  )))|(% colspan="1" %)(% colspan="1" %)
165 165  (((
166 166  Abgabe der Review-Version der Ausarbeitung
... ... @@ -175,7 +175,7 @@
175 175  )))
176 176  |(% colspan="1" %)(% colspan="1" %)
177 177  (((
178 -Mo, 16.01., 8:00 Uhr
155 +Di, 16.01., 8:00 Uhr
179 179  )))|(% colspan="1" %)(% colspan="1" %)
180 180  (((
181 181  Abgabe der Reviews**
... ... @@ -186,11 +186,11 @@
186 186  tba
187 187  )))|(% colspan="1" %)(% colspan="1" %)
188 188  (((
189 -Vortrag zur Gestaltung einer guten Präsentation (starring:cds)
166 +evtl. Vortrag zur Gestaltung einer guten Präsentation
190 190  )))
191 191  |(% colspan="1" %)(% colspan="1" %)
192 192  (((
193 -Mo, 23.01., 8:00 Uhr
170 +Di, 23.01., 8:00 Uhr
194 194  )))|(% colspan="1" %)(% colspan="1" %)
195 195  (((
196 196  Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten)
... ... @@ -205,7 +205,7 @@
205 205  )))
206 206  |(% colspan="1" %)(% colspan="1" %)
207 207  (((
208 -Do, 02.02., 8:00 Uhr
185 +Do, 01.02., 8:00 Uhr
209 209  )))|(% colspan="1" %)(% colspan="1" %)
210 210  (((
211 211  Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien)**
... ... @@ -213,7 +213,7 @@
213 213  )))
214 214  |(% colspan="1" %)(% colspan="1" %)
215 215  (((
216 -Fr, 03.02.
193 +Fr, 02.02.
217 217  )))|(% colspan="1" %)(% colspan="1" %)
218 218  (((
219 219  Ganztägiges Blockseminar mit Vorträgen
... ... @@ -223,141 +223,9 @@
223 223  
224 224  Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines eintägigen Blockseminars stattfinden. Die Teilnahme am gesamten Seminartag ist Pflicht.
225 225  
203 +**Programm folgt.
226 226  **
227 -**
228 228  
229 -(% class="wrapped" %)
230 -|=(((
231 -Zeit
232 -)))|=(((
233 -Glorreicher Tagesordnungspunkt
234 -)))
235 -|(((
236 -07:00
237 -)))|(((
238 -Treffen an der Uni (für diejenigen, die zusammen von der Uni aus losfahren)
239 -)))
240 -|(((
241 -07:08
242 -)))|(((
243 -Abfahrt von der Uni (für diejenigen, die zusammen von der Uni aus losfahren)
244 -)))
245 -|(((
246 -08:25
247 -)))|(((
248 -Begrüßung in Falckenstein
249 -)))
250 -|(((
251 -08:30
252 -)))|(((
253 -**Automatic Graph Drawing and Readability of Diagrams**
254 -)))
255 -|(((
256 -08:55
257 -)))|(((
258 -**Tidier Drawings of Trees**
259 -)))
260 -|(((
261 -09:20
262 -)))|(((
263 -**Graph drawing by force directed placement**
264 -)))
265 -|(((
266 -09:45
267 -)))|(((
268 -Käffchen
269 -)))
270 -|(((
271 -10:00
272 -)))|(((
273 -**O(n^2) Algorithms for Graph Planarization**
274 -)))
275 -|(((
276 -10:25
277 -)))|(((
278 -**Fast Compaction for orthogonal drawings with vertices of prescribed size**
279 -)))
280 -|(((
281 -10:50
282 -)))|(((
283 -**Combining graph labeling and compaction**
284 -)))
285 -|(((
286 -11:15
287 -)))|(((
288 -Käffchen
289 -)))
290 -|(((
291 -11:30
292 -)))|(((
293 -**A general cartographic labeling algorithm**
294 -)))
295 -|(((
296 -12:05
297 -)))|(((
298 -**A simple and efficient algorithm for high-quality line labeling**
299 -)))
300 -|(((
301 -12:30
302 -)))|(((
303 -**On labeling in graph visualization**
304 -)))
305 -|(((
306 -13:05
307 -)))|(((
308 -Mittag und Lustwandeln über den Strand
309 -)))
310 -|(((
311 -14:45
312 -)))|(((
313 -**A user study on curved edges in graph visualization**
314 -)))
315 -|(((
316 -15:10
317 -)))|(((
318 -**A user study on visualizing directed edges in graphs**
319 -)))
320 -|(((
321 -15:45
322 -)))|(((
323 -**An extended evaluation of the readability of tapered, animated, and textured directed-edge representations in node-link graphs**
324 -)))
325 -|(((
326 -16:20
327 -)))|(((
328 -Käffchen
329 -)))
330 -|(% colspan="1" %)(% colspan="1" %)
331 -(((
332 -16:35
333 -)))|(% colspan="1" %)(% colspan="1" %)
334 -(((
335 -**Applying graphical design techniques to graph visualisation**
336 -)))
337 -|(% colspan="1" %)(% colspan="1" %)
338 -(((
339 -17:00
340 -)))|(% colspan="1" %)(% colspan="1" %)
341 -(((
342 -**Get your directories right: From hierarchy visualization to hierarchy manipulation**
343 -)))
344 -|(% colspan="1" %)(% colspan="1" %)
345 -(((
346 -17:25
347 -)))|(% colspan="1" %)(% colspan="1" %)
348 -(((
349 -**An fMRI analysis of the efficacy of Euler diagrams in logical reasoning**
350 -)))
351 -|(% colspan="1" %)(% colspan="1" %)
352 -(((
353 -18:00
354 -)))|(% colspan="1" %)(% colspan="1" %)
355 -(((
356 -Ende
357 -)))
358 -
359 -
360 -
361 361  == Ausarbeitung, Vortrag, Review ==
362 362  
363 363  Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
... ... @@ -383,11 +383,11 @@
383 383  
384 384  Die Namen für die Dateien, die im Git abzulegen sind, sollen wie folgt (gleichartig) aufgebaut sein. **Bitte halten Sie sich** **von Anfang an an diese Namenskonventionen.** Das vermeidet unnötige Sucherei, bewahrt uns vor späteren Schwierigkeiten mit automatischen Skripten und macht umständliches Umbenennen überflüssig.
385 385  
386 -* Ausarbeitung: //<login>/sem16ws-<login>.[tex/pdf]//
387 -* Vortragsfolien: //<login>/sem16ws-<login>-talk.[tex/pdf]//
388 -* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem16ss-<login>-handout.[tex/pdf]//
389 -* Review (generelle Anmerkungen): <login review-Empfänger>/sem16ss-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
390 -* Review (annotiertes PDF): <login review-Empfänger>/sem16ws-<login review-Empfänger>-review-<login Reviewer>.[pdf] (Beispiel also: Ulf (uru) reviewt die Ausarbeitung von Nis (nbw) und checkt das Review-PDF mit dem Namen sem16ss-nbw-review-uru.pdf im Ordner uru des Seminarrepositorys ein.
231 +* Ausarbeitung: //<login>/sem17ws-<login>.[tex/pdf]//
232 +* Vortragsfolien: //<login>/sem17ws-<login>-talk.[tex/pdf]//
233 +* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem17ss-<login>-handout.[tex/pdf]//
234 +* Review (generelle Anmerkungen): <login review-Empfänger>/sem17ss-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
235 +* Review (annotiertes PDF): <login review-Empfänger>/sem17ws-<login review-Empfänger>-review-<login Reviewer>.[pdf] (Beispiel also: Alexander (als) reviewt die Ausarbeitung von Steven (ssm) und checkt das Review-PDF mit dem Namen sem16ss-ssm-review-als.pdf im Ordner ssm des Seminarrepositorys ein.
391 391  
392 392  Anmerkung: Die Handoutfolien unterscheiden sich von den Vortragsfolien dadurch, dass die Handoutfolien keine Animationen für die Präsentation am Beamer enthalten. Beim Arbeiten mit der latex-beamer Klasse können Handoutfolien durch das Hinzufügen eines optionalen Argumentes bei der Deklaration der Dokumentenklasse generiert werden ("\documentclass[trans]{beamer}").
393 393  
... ... @@ -399,7 +399,7 @@
399 399  
400 400  * Reichlich Dokumentation zum //Git// Source Code Management System findet man unter [[http:~~/~~/www.git-scm.com/>>url:http://www.git-scm.com/||shape="rect" class="external-link"]].
401 401  * Für den Zugriff auf das Repository müssen wir Sie in unserem [[ Bitbucket>>url:https://git.rtsys.informatik.uni-kiel.de||shape="rect" class="None internal-link None"]]  dafür freischalten. Das sollten wir anhand der Teilnehmerliste prima tun können. Falls Sie keinen Zugriff auf das Repository bekommen, schreiben Sie uns eine E-Mail.
402 -* Git-Repository auschecken: git clone  [[ssh:~~/~~/git@git.rtsys.informatik.uni-kiel.de:7999/sem/16ws-layout.git>>url:ssh://git@git.rtsys.informatik.uni-kiel.de:7999/sem/16ws-layout.git||shape="rect"]]\\
247 +* Git-Repository auschecken: git clone  [[ssh:~~/~~/git@git.rtsys.informatik.uni-kiel.de:7999/sem/17ws-synch.git>>url:ssh://git@git.rtsys.informatik.uni-kiel.de:7999/sem/17ws-synch.git||shape="rect"]]\\
403 403  ** Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach den oben beschriebenen Namenskonventionen.
404 404  * [[ACM Style>>url:http://www.acm.org/sigs/pubs/proceed/template.html||shape="rect" class="external-link"]] in [[deutscher>>url:https://www.informatik.uni-kiel.de/fileadmin/arbeitsgruppen/realtime_embedded/teaching/ws0910/s-conc/acm_proc_article-sp-german.cls||shape="rect"]] oder [[englischer>>url:https://www.informatik.uni-kiel.de/fileadmin/arbeitsgruppen/realtime_embedded/teaching/ws0910/s-conc/acm_proc_article-sp.cls||shape="rect"]] Version. Im Git Repository befinden sich im Unterverzeichnis //init/ //eine Reihe von Dateien, welche Sie als Vorlage nehmen können (siehe //README.txt//).
405 405  * Wir benutzen [[pdflatex>>url:http://de.wikipedia.org/wiki/PdfLaTeX||shape="rect" class="external-link"]] (erstellt PDF Dateien) und nicht direkt latex (erstellt DVI Dateien)
... ... @@ -420,7 +420,6 @@
420 420  ** Kostenloser Download nur aus Rechnern im Uninetz möglich
421 421  * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
422 422  * Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html||shape="rect"]]
423 -)))
424 424  
425 425  (% style="display: none;" %)
426 426  (((
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -28672309
1 +28672324
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672309/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672324/WS17/18 (Synchrone Sprachen)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage