irtg.uni-kl.de
Computer Graphics and HCI Group
http://www.irtg.uni-kl.de/members
Prof Dr. Hans Hagen. Prof Dr. Jan Aurich. Prof Dr. Magali Billen. Prof em. Anthony Brazel. Juniorprof. Dr. Christoph Garth. Prof Dr. Subhrajit Guhathakurta. Prof Dr. Bernd Hamann. Prof Dr. Chuck Hansen. Prof Dr. Chris Johnson. Prof Dr. Kenneth Joy. Prof Dr. Louise Kellogg. Prof Dr. Mike Kirby. Prof Dr. Ellen Kuhl. Prof Dr. Peter Liggesmeyer. Prof Dr. Paul Müller. Prof Dr. Soe Myint. Prof Dr. Robert Pahle. Prof Dr. David Pijawka. Prof Dr. Theo Schmitt. Prof Dr. Gerhard Steinebach. Dr-Ing. Inga Scheler.
irtg.uni-kl.de
Computer Graphics and HCI Group
http://www.irtg.uni-kl.de/projects
Nazli Yonca Aydin: Decision Support System for the Visualization of Long Term Transition and Transformation of the Urban Water Systems. Raghed Tarawneh: Visual Support of Safety Analysis Aspects in Embedded Systems. Anne Berres: Deformations Preserving Total Curvature. Sven Linden: The LIR Domain Decomposition System applied to Cartesian Grids. Cornelius Müller: Large Scale Flow Visualization and Analysis. Daniel Engel: Feature-Based Visualization of Multivariate Data. Harald Obermaier: Multi-Field Visua...
irtg.uni-kl.de
Computer Graphics and HCI Group
http://www.irtg.uni-kl.de/education
With this International Research Training Group we are training highly talented graduates to become future leading scientists. Therefore, in their future working environment, besides a PhD degree, much more skills are necessary. Additional courses and talks. IRTG students cooperate with well-known researchers such as Chuck Hansen (University of Utah), Ron Goldman (Rice University), Subhrajit Guhathakurta (Georgia Tech) etc. Interaction with partners from different cultures. Work in interdisciplinary teams.
irtg.uni-kl.de
Computer Graphics and HCI Group
http://www.irtg.uni-kl.de/publications
E Deines, G. H. Weber, Ch. Garth, B. Van Straalen, S. Borovikov, D. F. Martin, and K. I. Joy. On the Computation of Integral Curves in Adaptive Mesh Refinement Vector Fields, In Scientific Visualization: Advanced Concepts, Dagstuhl Follow-Ups, Schloss Dagstuhl- Leibniz Center for Informatics. Johannes Köhler, Tobias Nöll, Gerd Reis, Didier Stricker. Robust Outlier Removal from Point Clouds Acquired with Structured Light, EG 2012 - Short Papers. S Gramsch, A. Schmeißer, and R. Wegener. PerSoN-Vis: Visuali...
concurrency.cs.uni-kl.de
Concurrency Theory Group - University of Kaiserslautern
http://concurrency.cs.uni-kl.de/publications.html
Department of Computer Science. A complete list of publications can be found here. Roland Meyer will speak at the D-CON workshop. EATCS Distinguished Dissertation Award. The thesis “Monoids as Storage Mechanisms” (by Georg Zetzsche) received the EATCS Distinguished Dissertation Award. Roland Meyer will speak at the MEMICS workshop. Our project ArchiV: Architecture-aware Verification. Complexity of Regular Abstractions of One-Counter Languages. First-Order Logic with Reachability for Infinite-State Systems.
concurrency.informatik.uni-kl.de
Concurrency Theory Group - University of Kaiserslautern
http://concurrency.informatik.uni-kl.de/gkweacon.html
Department of Computer Science. Research Training Group Weak Consistency (weacon). The research training group. Investigates (weak) consistency notions for systems with replicated data. A particular focus is on system construction, providing methods that aid the programmer in building large scale systems on top of weakly consistent infrastructure. Our contributions range from design of novel data types to synchronization inference algorithms and consistency-aware proof systems. Fridays 11.00, MPI-SWS.
inf-schule.de
Informatik » Einstiege in die Programmierung
http://www.inf-schule.de/programmierung
Algorithmisches Problemlösen mit Kara. Kara und ihre/seine Welt. Erkundung - Steuerung von Kara. Erkundung - Kara trifft Entscheidungen. Erkundung - Kara führt Aktionen wiederholt aus. Erkundung - Ein schwierigeres Problem lösen. Exkurs - Bausteine von Algorithmen. Exkurs - Algorithmisches Problemlösen. Exkurs - Fehler in Algorithmen und Programmen. Erkundung - Logische Operatoren. Fachkonzept - Logische Operatoren. Erkundung - Kara lernt neue Befehle. Erkundung - Kara lernt zählen. Go Home als Brettspiel.
inf-schule.de
Informatik » Informationsdarstellung im Internet
http://www.inf-schule.de/information/informationsdarstellunginternet
Fachkonzept - World Wide Web. Einstieg - Blick hinter die Kulissen. Gerüst aus Kopf und Körper. Einstieg - Fehler im Quelltext. Einstieg - Experimente mit einem Validierer. Einstieg - Layout gestalten. Fachkonzept - Trennung Strukturierung/Formatierung. Einstieg - Webseiten anders wahrnehmen. Fachkonzept - Rechtliche Bestimmungen. Einstieg - Spuren im Internet. Exkurs - Persönliche Daten im Internet. Raquo; Information und ihre Darstellung. Raquo; Informationsdarstellung im Internet. Worum geht es hier?