Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...

More documents

Recommendations

Info

Faculty Life 3
Page 1 and 2: Annual Report 2010 Computer Science
Page 3 and 4: Contents Preface ..................
Page 5: Preface It is a long standing tradi
Page 10 and 11: In a way, the lunch break also mark
Page 13 and 14: Open Day - 23. ‘Tag der Informati
Page 15 and 16: His talk was followed by a presenta
Page 17: InfoCup 2010 by The InfoCup is the
Page 20 and 21: Informatics School Laboratory- Extr
Page 22 and 23: Software Engineering Research Camp
Page 24 and 25: TACO Day 2010 The international wor
Page 27 and 28: Contents and curriculum of the Comp
Page 29 and 30: Contents and curriculum of the Comp
Page 31 and 32: Contents and curriculum of the Prin
Page 33 and 34: Secondary School Teachers’ Curric
Page 35 and 36: Media Informatics Master Programme
Page 37 and 38: Courses Taught in 2010 Undergraduat
Page 39 and 40: Massively Distributed Systems 2) Si
Page 41 and 42: Technology) Bitsch Link, Kunz, Thi
Page 43 and 44: Statistical Methods in Natural Lang
Page 45 and 46: Seminar Current Research Topics in
Page 47 and 48: Computer Science Colloquium - Talks
Page 49 and 50: Diploma and Master Theses Diploma t
Page 51 and 52: VORNAME NACHNAME TITEL Reisekette f
Page 53 and 54: VORNAME NACHNAME Gabriel Martinez M
Page 55 and 56: VORNAME NACHNAME CCTS-Based Canonic
Page 57 and 58:
Stats No. of enrolled students in s
Page 59:
Research 55
Page 62 and 63:
• Guests Petra Berenbrink (Simon
Page 64 and 65:
Research Projects Considerate Equil
Page 66 and 67:
Designing and analyzing communicati
Page 68 and 69:
to be the total latency incurred by
Page 70 and 71:
Graph Theory with Applications to C
Page 72 and 73:
• Co-Organizer of the SWAT Satell
Page 74 and 75:
Thomas Kesselheim: Distributed Cont
Page 76 and 77:
Theoretical Computer Science Staff
Page 78 and 79:
Research Projects Intuitive Algorit
Page 80 and 81:
or even constant time, and it might
Page 82 and 83:
Talks and Publications Talks Somnat
Page 84 and 85:
Software Modeling and Verification
Page 86 and 87:
Overview The year twenty-ten has be
Page 88 and 89:
Research Projects Formal Models of
Page 90 and 91:
Two central issues in this context
Page 92 and 93:
Extending and Improving Formal Meth
Page 94 and 95:
For this purpose, we evaluated GMAC
Page 96 and 97:
Our approach is based on successful
Page 98 and 99:
(CAD). We already succeeded in crea
Page 100 and 101:
Other Activities J.-P. Katoen • M
Page 102 and 103:
Talks and Publications Talks Erika
Page 104 and 105:
Ulrich Loup. Podcast Production as
Page 106 and 107:
Falko Dulat, Joost-Pieter Katoen, a
Page 108 and 109:
Programming Languages and Verificat
Page 110 and 111:
Research Projects AProVE: Automated
Page 112 and 113:
Termination Analysis for Imperative
Page 114 and 115:
Other Activities J. Giesl: • Co-o
Page 116 and 117:
C. Otto: • Participant of the TeR
Page 118 and 119:
C. Fuhs: Lazy Abstraction for Size-
Page 120 and 121:
J. Giesl, M. Raffelsieper, P. Schne
Page 122 and 123:
Software Engineering Staff • Facu
Page 124 and 125:
Overview In our second academic yea
Page 126 and 127:
Research Projects Algorithmic Synth
Page 128 and 129:
eHome Systems I. Armac, M. Nagl, D.
Page 130 and 131:
Figure 1: The Energie Navigator fra
Page 132 and 133:
In order to use Function Nets to fu
Page 134 and 135:
So far we conducted several guided
Page 136 and 137:
Development of Domain Specific Lang
Page 138 and 139:
SystemModel vType vObject TypeOf Ch
Page 140 and 141:
Software Product Lines C. Berger, H
Page 142 and 143:
Other Activities Software Engineeri
Page 144 and 145:
modeling techniques and processes t
Page 146 and 147:
• David-Kopf-Preis 2010, Member o
Page 148 and 149:
Talks and Publications Talks Armaç
Page 150 and 151:
Publications Aktas, I., King, T., M
Page 152 and 153:
Mengi, C., Babur, Ö., Rendel, H.,
Page 154 and 155:
Overview Our research focuses on th
Page 156 and 157:
processes and are a major driver fo
Page 158 and 159:
monitored continuously in order to
Page 160 and 161:
Other Activities • Member of the
Page 162 and 163:
V. Hoffmann, H. Lichter, A. Nyßen:
Page 164 and 165:
Dipl.-Inform. Hanno Wirtz Dipl.-Inf
Page 166 and 167:
The research activities of the new
Page 168 and 169:
the range and bandwidth of radio-tr
Page 170 and 171:
Management. The project is co-funde
Page 172 and 173:
accuracy and availability of common
Page 174 and 175:
However, if errors occur, the appli
Page 176 and 177:
performance on the wireless link la
Page 178 and 179:
commonly used TCP/IP protocol stack
Page 180 and 181:
ADAPT: Enabling Legacy Applications
Page 182 and 183:
• ‘Advances in IT Standards & S
Page 184 and 185:
Jakobs, K. (2010): ICT Standardisat
Page 186 and 187:
Weingärtner, E.; Ritter, M.; Sasna
Page 188 and 189:
Overview The Mobile Network Perform
Page 190 and 191:
wireless channel and the physical l
Page 192 and 193:
We are very proud that the group wa
Page 194 and 195:
Dominik Schmitz Christoph Terwelp (
Page 196 and 197:
Research Projects Research projects
Page 198 and 199:
http://dbis.rwth-aachen.de/cms/even
Page 200 and 201:
CAIRO - context aware intermodal ro
Page 202 and 203:
B-IT Research School Project: Conte
Page 204 and 205:
extends established TEL Roadmapping
Page 206 and 207:
Kovachev presented research on mult
Page 208 and 209:
Research Area Model Management M. J
Page 210 and 211:
Life Science Informatics ExPrimage
Page 212 and 213:
GALA as well in the DFG project CON
Page 214 and 215:
and Knowledge Technologies (I-KNOW
Page 216 and 217:
M. Jarke: ERCIM Strategy Redesign.
Page 218 and 219:
D. Renzel: Virtual Campfire: Collab
Page 220 and 221:
Wolfgang Prinz, Maria Antonia Marti
Page 222 and 223:
Dejan Kovachev, Dominik Renzel, Ral
Page 224 and 225:
Dominik Schmitz, Hans W. Nissen, Ma
Page 226 and 227:
Overview A major focus of our group
Page 228 and 229:
intelligence and robotics. The comm
Page 230 and 231:
With the support of Festo Didactic
Page 232 and 233:
combining a GOLOG system with a PDD
Page 234 and 235:
Logic-based Learning Agents Daniel
Page 236 and 237:
framework, by restricting the types
Page 238 and 239:
• From September 2010 to July 201
Page 240 and 241:
Human Language Technology and Patte
Page 242 and 243:
Overview The ‘Lehrstuhl für Info
Page 244 and 245:
• The phrase-based translation sy
Page 246 and 247:
English, French, German, Italian, S
Page 248 and 249:
Handwriting Recognition The RWTH-OC
Page 250 and 251:
multimedia documents annotated with
Page 252 and 253:
Publications T. Deselaers, G. Heigo
Page 254 and 255:
F. Valente, M. M. Doss, C. Plahl, S
Page 256 and 257:
Overview The research area of the g
Page 258 and 259:
Research Projects Infinite Games an
Page 260 and 261:
second-order quantifiers are path q
Page 262 and 263:
Other Activities W. Thomas • Chai
Page 264 and 265:
Talks and Publications Talks W. Fri
Page 266 and 267:
[5] K. Chatterjee, F. Horn, and C.
Page 268 and 269:
Mathematical Foundations of Compute
Page 270 and 271:
modern applications (like geographi
Page 272 and 273:
Talks and Publications Talks D. Fis
Page 274 and 275:
B. Puchala and R. Rabinovich. Parit
Page 276 and 277:
• Artist in Residence M.F.A. Matt
Page 278 and 279:
We have recently started to look mo
Page 280 and 281:
Mixed-Integer Quadrangulation David
Page 282 and 283:
Exact and Robust Intersection Opera
Page 284 and 285:
Animation Transfer Jan Möbius, Lei
Page 286 and 287:
Automatic Registration of Oblique A
Page 288 and 289:
Image Synthesis for Branching Struc
Page 290 and 291:
Efficient Rasterization for Outdoor
Page 292 and 293:
Interactive Display of Multimedia D
Page 294 and 295:
Multi-Person Tracking with Sparse D
Page 296 and 297:
Real-Time Multi-Person Tracking fro
Page 298 and 299:
Automatic Mining of Landmark Buildi
Page 300 and 301:
• Martin Habbecke / Dominik Sibbi
Page 302 and 303:
Talks and Publications Invited Talk
Page 304 and 305:
T. Weyand, J. Hosang, B. Leibe, An
Page 306 and 307:
Overview Research at Computer Scien
Page 308 and 309:
energy consumption for data transmi
Page 310 and 311:
data such that objects within group
Page 312 and 313:
characteristic measures. However, a
Page 314 and 315:
Figure 8: Simultaneous mining of de
Page 316 and 317:
Figure 11: Color&location signature
Page 318 and 319:
Fast Access to Spatial-Temporal Dat
Page 320 and 321:
Collaborations with academic partne
Page 322 and 323:
Publications Müller E., Günnemann
Page 324 and 325:
Beecks C., Uysal M., Seidl T.: Effi
Page 326 and 327:
• Student Researchers and Teachin
Page 328 and 329:
Prof. Ulrik Schroeder was Program C
Page 330 and 331:
Research Projects L²P - eLearning
Page 332 and 333:
focuses on the research question: H
Page 334 and 335:
successful sponsor acquisition, at
Page 336 and 337:
Other Activities Ulrik Schroeder
Page 338 and 339:
Publications Erika Abraham, Philipp
Page 340 and 341:
Overview The Media Computing Group
Page 342 and 343:
Research Projects The Aachen Media
Page 344 and 345:
In 2010, we developed a pattern lan
Page 346 and 347:
Personal Orchestra Reloaded Jan Bor
Page 348 and 349:
Developing and Evaluating Touchscre
Page 350 and 351:
Code Graffiti: Communication by ske
Page 352 and 353:
MudPad Yvonne Jansen, Jan Borchers
Page 354 and 355:
Friedenstisch At the Friedenstisch,
Page 356 and 357:
Other Activities Fab Lab Aachen On
Page 358 and 359:
354
Page 360 and 361:
Malte Weiss, Simon Voelker, Christi
Page 362 and 363:
Embedded Software Laboratory Staff
Page 364 and 365:
Overview The Chair “Informatik 11
Page 366 and 367:
DFG project “Verification of Prog
Page 368 and 369:
establish the system as such, to cr
Page 370 and 371:
NEMO) takes place using the OPNET w
Page 372 and 373:
FAT-Project: Safety & Reliability o
Page 374 and 375:
Model-based Development of Embedded
Page 376 and 377:
In 2010, a complete test harness fo
Page 378 and 379:
The aim of the competition is to gi
Page 380 and 381:
Other Activities Stefan Kowalewski
Page 382 and 383:
Gückel, D.; Brauer, J. & Kowalewsk
Page 384 and 385:
Institute for Scientific Computing
Page 386 and 387:
• Computational Differentiation,
Page 388 and 389:
computing partial derivatives for N
Page 390 and 391:
and hydrogeological problems in two
Page 392 and 393:
Other Activities Our institute take
Page 394 and 395:
Talks and Publications Talks K. Fuc
Page 396 and 397:
Supinski, editors, Beyond Loop Leve
Page 398 and 399:
Software and Tools for Computationa
Page 400 and 401:
Research Projects AC-SAMMM U. Nauma
Page 402 and 403:
a number of differentiation modes (
Page 404 and 405:
Adjoint MPI M. Schanen, U. Naumann
Page 406 and 407:
The tape recording for subsequent t
Page 408 and 409:
Talks and Publications Talks M. Bec
Page 410 and 411:
Virtual Reality Group Staff • Fac
Page 412 and 413:
Overview The Virtual Reality Group
Page 414 and 415:
Research Projects Rhinomodell - Mod
Page 416 and 417:
Figure: Collaborative Analysis of a
Page 418 and 419:
Such algorithms will specifically b
Page 420 and 421:
Figure: Exploration of the noise ca
Page 422 and 423:
Other Activities As part of the Cen
Page 424 and 425:
T. Knott, S. Ullrich, O. Grottke, T
Page 426 and 427:
IT-Security Staff • Faculty: Prof
Page 428 and 429:
Other Activities Committees and Org
Page 430 and 431:
Sergej Firsov: Comparing rule-based
Page 432 and 433:
Overview The Mobile Network Perform
Page 434 and 435:
wireless channel and the physical l
Page 436 and 437:
We are very proud that the group wa
Page 438 and 439:
Overview Anchored at the German Res
Page 440 and 441:
Aachen Institute for Advanced Study
Page 442 and 443:
Scalable Data Exchange Interface fo
Page 444 and 445:
M. Geimer, M. Gerndt, T. Hilbrich,
Page 446 and 447:
Z. Szebenyi, T. Gamblin, M. Schulz,
Page 448 and 449:
MPI replay. Procedia Computer Scien
Page 450 and 451:
Advanced Studies in Computational E
Page 452 and 453:
Research Cloud Computing The cloud
Page 454 and 455:
Talks and Publications Talks Matrix
Page 456 and 457:
452
Page 458 and 459:
454
Page 460 and 461:
Reachability over Word Rewriting Sy
Page 462 and 463:
For protecting eHome services again
Page 464 and 465:
Timestamp synchronization of concur
Page 466 and 467:
Automating Acceptance Tests for Sen
Page 468 and 469:
Context-Aware Service Provisioning
Page 470 and 471:
System Model-Based Definition of Ob
Page 472 and 473:
Interactive Feature Analysis in Vir
Page 474 and 475:
MontiCore: Agile development of dom
Page 476 and 477:
Adaptive Service Discovery in Wirel
Page 478 and 479:
The Separated User Interface in Amb
Page 480 and 481:
Statistical Methods in Natural Lang
Page 482 and 483:
Evaluators: Prof. Dr. Hermann Ney P
Page 484 and 485:
Combining Natural Language Processi
Page 486 and 487:
Combinatorial Optimization and Reco
Page 488 and 489:
Efficient Knowledge Discovery in Su
Page 490 and 491:
infinite set of selfish agents can
Page 492 and 493:
Software support for adaptive eHome
Page 494 and 495:
Metric-based evaluation of software
Page 496 and 497:
existence and the complexity of equ
Page 498 and 499:
Stochastic Multiplayer Games: Theor
Page 500 and 501:
Navigation in Time-Varying Scientif
Page 502 and 503:
Management of dynamic business proc
Page 504 and 505:
Sequence Segmentation for Statistic
Page 506 and 507:
502
Page 508 and 509:
Overview Since 1985 the System Admi
Page 510 and 511:
Computer Science Library RWTH Aache
Page 512 and 513:
from Seffenter Weg to Ahornstrasse
Page 514 and 515:
Fachschaft Mathematik, Physik, Info
Page 516 and 517:
512
Page 518 and 519:
514
Page 520 and 521:
conflicting targets like data-rate,
Page 522 and 523:
UMIC Open Day 2010 The UMIC cluster
Page 524 and 525:
Aachen Institute for Advanced Study
Page 526 and 527:
German Research School for Simulati
Page 528 and 529:
Universitiesd of Cambridge and Oxfo
Page 530 and 531:
• Algorithmic for agent-based, pr
Page 532 and 533:
GK‐Workshop in SuperC: Prof
Page 534 and 535:
• Lucia Cloth, a former RWTH stud
Page 536 and 537:
University. For high-level Ph.D. wo
Page 538 and 539:
• Prof. Dr.-Ing. Stefan Kowalewsk
Page 540 and 541:
Winter Semester 2009/2010 Supercomp
Page 542 and 543:
This broad interdisciplinary charac
Page 544 and 545:
expressiveness, on the other hand h
Page 546 and 547:
REGINA e.V. - Competence Network In
Page 548 and 549:
• Coaching by experienced manager
Page 550 and 551:
within organizations. Companies cou
Page 552 and 553:
Foundation of Synavision GmbH The e
Page 554:
Computer Science Technical Reports
show all

Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...

Create successful ePaper yourself

Delete template?

Save as template?