Vorträge

Informationsveranstaltung für Workshops und Lehrveranstaltungen am 4. Oktober, 14:00 (c.t.), HST02

Die Auswahl an Vorträgen wird während des Semesters laufend erweitert.

• Mapping of Timing Definition Language (TDL) components to distributed platforms

  Inhalt:
  Dissertationsverteidigung
  Vorsitzender und Hauptbetreuer: Univ.-Prof.Dr. Wolfgang Pree DiskutantInnen: Univ.-Prof.Dr. Christoph Kirsch & Ao.Univ.-Prof.Dr. Helge Hagenauer
  
  Vortragender: Dipl.-Ing. Johannes Georg Pletzer
  
  Zeit & Datum:
  Mo. 1. Oktober 2012, 15:30 Uhr
  SR T06, FB Computerwissenschaften

  
  

• Modeling, Simulating, and Compiling with Timing Semantics

  Inhalt:
  In Cyber-Physical Systems (CPS) the notion of time is inherent; the dynamics of a physical system (the plant) evolve in real-time and the cyber part (the embedded systems and networks) interacts with the plant using sensors and actuators. In CPS, timing is a correctness property, not only a quality (performance) factor, making design and implementation considerably different compared to other computer systems. An important design problem is how such systems can be modeled and simulated (virtually prototyped) and then automatically realized by compiling models/programs of the cyber part to a target platform. The key challenges lie in expressive extensible modeling capabilities and semantically correct translation, both concerning functional and timing semantics. In this talk, I will discuss two ongoing projects that are addressing these challenges: Modelyze, a host language for embedding different modeling formalisms, and the Precision Timed Infrastructure, an infrastructure where an intermediate language, a compiler, and an ARM-based microprocessor are extended with instructions and semantics for handling real-time.
  
  Vortragender: David Broman Ph.D., University of California at Berkeley
  
  David Broman is currently a visiting scholar at UC Berkeley, USA, working in the Ptolemy group at the Electrical Engineering & Computer Science department. He is an assistant professor at Linköping University in Sweden, where he also received his PhD in computer science in 2010. David's research interests include programming and modeling language theory, compiler technology, software engineering, and mathematical modeling and simulation of cyber-physical systems. He has worked five years within the software security industry, co-founded the EOOLT workshop series, and is member of the Modelica Association and the Modelica language design group.
  
  Zeit & Datum:
  Di. 2. Oktober 16:00 Uhr
  T03, Jakob-Haringer-Straße 2

  
  

• Evolution - der Schlüssel zu intelligenten Computern?

  Vortragender: Prof. Helmut Mayer
  
  mehr Information: Folder Blickpunkte
  
  Zeit & Datum & Ort:
  Mi. 10. Okt. 2012 19:00
  Blauer Hörsaal, NAWI, Hellbrunnerstr. 34
  
  

• Measuring users' experiences - or, the memory of them?

  Inhalt:
  Users' experiences are increasingly becoming central to design activity. Designers and engineers strive for experiential design goals such as enhancing feelings of connectedness across family members, and consequently use experiential metrics in the evaluation of products and services. But can we measure experience in a valid and reliable manner? Research in Psychology suggests that experiences can only be measured at the time of their occurrence. Once they have ended, experiential information does not exist; it can only be reconstructed from contextual cues found in episodic memory. In this talk I will highlight the relation between memory and experience and its implications for the evaluation of products and services, in particular mobile and pervasive ones. I will describe techniques aimed for measuring experiences in a valid and reliable way such as the Experience Sampling Method (ESM) and the Day Reconstruction Method (DRM). I will take the view that memories of experiences are sometimes more interesting and relevant that the actual experiences, and I will illustrate a new methodological approach I call technology assisted reconstruction as explicated through my PhD work on the measurement of user experience over time and iScale, a tool that uses sketching to assist users in reconstructing their experiences with a product and thus uses human memory as a source of longitudinal HCI data, as well as more recent work on using visual and location data to support reconstruction processes.
  
  Vortragender: Evangelos Karapanos
  
  Evangelos Karapanos is Assistant Professor at Madeira Interactive Technologies Institute where he also acts as the academic director of the Carnegie Mellon | Portugal Professional Masters of Human-Computer Interaction. He holds a PhD (cum laude) from Eindhoven University of Technology on methods and tools for user experience evaluation. His research focuses on the design and evaluation of pervasive computing systems with a focus on the experiential and social consequences of their adoption. His work has been published at venues such as ACM CHI, IwC, IJHCS. He has been a visiting researcher at Philips Research, Philips Consumer Lifestyle and the Human-Computer Interaction Institute at Carnegie Mellon University.

  
  
  
  Zeit & Datum & Ort:
  Mo. 29. Oktober 2012, 17:00 Uhr
  Großes Kolleg, ICT&S Center, Sigmund Haffner Gasse 18
  
  

• A Modeling Approach for Test Automation Systems its Language, Semantics, and Implementation.

  Inhalt:
  Dissertationsverteidigung
  Vorsitzender und Hauptbetreuer: Univ.-Prof.Dr. Wolfgang Pree
  DiskutantInnen: Prof.Dr. Colin Atkinson, Ao.Univ.-Prof.Dr. Helge Hagenauer
  
  Vortragender: Dipl.-Ing. Gerd Stefan Dauenhauer
  
  Zeit & Datum:
  Fr. 16 November 2012, 11:30 Uhr
  SR T06, FB Computerwissenschaften

  
  

• Multi-Level Modeling with Melanie

  Inhalt:
  Multi-level modeling based on deep instantiation has attracted growing interest over the last few years as a potentially better way of creating and organizing models, but the "jury is still out" on whether it delivers the benefits that its proponents claim. One of the main reasons why the debate has taken so long to resolve is that there has never been a mature tool for graphical, multi-level modeling that could be compared to traditional OMG and EMF based modeling tools.
  This talk introduces a new tool, Melanie, that aims to rectify this situation. Melanie is an EMF-based tool for multi-level that provides a fully featured graphical editor along with a rich set of model checking and reasoning services. In this talk, Colin Atkinson will first introduce the Pan-level Model (abstract syntax) and Level-agnostic Modeling Language (concrete syntax) that underpin Melanie and then demonstrate how a number of classic modeling problems and examples can be modeled using the tool. By the end of the presentation, attendees will have a much clearer picture of the pros and cons of multi-level modeling and the benefits the Melanie tool has to offer.
  
  Vortragender: Colin Atkinson, Chair of Software Engineering, University of Mannheim
  
  Since April 2003, Colin Atkinson has been the leader of the Software Engineering Group at the University of Mannheim. Before that he held a joint position as a professor at the University of Kaiserslautern and project leader at the affiliated Fraunhofer Institute for Experimental Software Engineering. From 1991 until 1997 he was an Assistant Professor of Software Engineering at the University of Houston - Clear Lake. His research interests are focused on the use of model-driven and component based approaches in the development of dependable computing systems. He received a Ph.D. and M.Sc. in computer science from Imperial College, London, in 1990 and 1985 respectively, and received his B.Sc. in Mathematical Physics from the University of Nottingham 1983.
  
  Zeit & Datum:
  Fr. 16 November 2012, 13:30 Uhr
  SR T04, FB Computerwissenschaften

  
  

• Social Robotics - From grounding experiments to applications

  Inhalt:
  The advances in robotic technology led to an increasing number of social robotic platforms introduced into everyday situations and therapeutic settings. In order to enable these robotic platforms to interact in a convincing way with their human users it becomes more and more important to equip them with social interaction abilities like natural head and eye gaze behavior to facilitate conversation, and imitation abilities to for example support social therapy. In this talk examples from empirical research on social interaction phenomena in the context of human robot interaction will be given and illustrated with descriptions of different existing social robots.
  
  Vortragender: Dr. Hagen Lehmann, University of Hertfordshire
  
  Hagen Lehmann is currently working as a research fellow in the Adaptive Systems Research Group at the University of Hertfordshire, where he is involved in the AC-COMPANY project. In the past he worked in the iTalk project on natural language aquisition in robots and the AURORA project on robot therapy for children with Autism. He has a PhD in Computer Science from the University of Bath and a Diplom in Psychology from the Technische Universitaet Dresden. He worked as comparitive developmental Psychologist at the Max-Planck-Institute for evolutionary Anthropology in Leipzig. His research focuses on Human-Robot-Interaction, assistive robotic technology and the evolution of social cognition.
  
  Zeit & Datum:
  Mo. 26. November 2012, 17:30 Uhr
  Room: Big Coll, ICT&S Center
  
  

• Der Computer als kognitives Werkzeug - Über die Gestaltung von komplexen Problemlösungsprozessen

  Inhalt:
  Computer waren ursprünglich nur Geräte, die schwierige Rechenprozesse rascher erledigten als Menschen. Schon in den frühen 1960er Jahren hatten allerdings Computerpioniere wie etwa Doug Engelbart die Vorstellung vom Computer als Gerät zur Erweiterung der menschlichen Intelligenz ("augmenting the human intellect"). Diese Vorstellung ist durch die Entwicklung in den letzten 50 Jahren bestätigt worden. Computer können heute sowohl durch analytische Tools (wie etwa Data Mining) oder Visualisierungen menschliche kognitive Leistungen unterstützen. Darüber hinaus fällt in modernen IT-Systemen eine große Masse an Daten an (z.B. in der Medizin, der Biologie, der Finanzwelt), die von Menschen nicht mehr umstandslos verarbeitet werden kann. Daher ist es notwendig, durch geeignete Tools wichtige Trends oder Cluster sichtbar zu machen, die in den Rohdaten oft untergehen. Menschen und Computer interagieren hier eng miteinander. Viele dieser Systeme sind darauf ausgelegt, explorative Denkprozesse beim Menschen zu unterstützen. Das Design solcher Systeme muss daher so gestaltet sein, dass eine nahtlose Zusammenarbeit zwischen Mensch und Computer möglich ist. Interaktionen spielen eine große Rolle, und zwar Interaktionen, die über das klassische Anklicken von Links oder Buttons hinaus gehen. Diese Interaktionen widerspiegeln menschliche Denkprozesse und müssen diese unterstützen. Daher ist es notwendig, die Natur dieser Denkprozesse genau zu analysieren. Diese Entwicklung erfordert es, dass wir uns Gedanken über das adäquate Design vom Computer als kognitivem Werkzeug machen.
  
  Vortragender: Prof. Dr. Margit Pohl, TU Wien, Inst. f. Gestaltungs- und Wirkungsforschung
  
  Zeit & Datum:
  Fr. 30. November 2012, 14:00 Uhr
  HS T01, FB Computerwissenschaften
  
  

• Advanced Segmentation and Comparators for Iris Biometric Surveillance.

  Inhalt:
  Dissertationsverteidigung
  Vorsitzender und Hauptbetreuer: Univ.-Prof.Dr. Andreas Uhl
  DiskutantInnen: Ao.Univ.-Prof.Dr. Helge Hagenauer, Ao.Univ.-Prof.Dr. Helmut Mayer
  
  Vortragender: Dipl.-Ing. Peter Wild, Bakk.techn.
  
  Zeit & Datum & Ort:
  Di. 4 Dezember 2012, 11:00 Uhr
  HS T03, FB Computerwissenschaften

  
  

• WLAN Sicherheit

  Inhalt:
  Der Vortrag beginnt mit einer generellen Einführung in die Konzepte von 802.11 WLANS um die Funktionsweise dieser zu verstehen. Dabei sind generelle Konzepte wie etwa Frequenzen und Kanäle ebenso wichtig, wie ein fundiertes Wissen über die Formate einzelner Frames. Anschließend werden Sicherheitsmechanismen wie WEP und WPA/WPA2 vorgestellt und auf mögliche Gefahren, insbesondere bei der Verwendung von WEP hingewiesen. Abschließend werden potentielle Angriffe anhand von Beispielen erläutert.
  
  Kurze Übersicht:

  • WLAN Grundlagen:
    • Terminologie: BSS, Distribution System, ESS ...
    • Frequencies
    • Channels
    • Management-, Control-, Data-Frames
    • Frame Types, Frame Formats
  • WLAN Sicherheit:
    • WEP
    • WPA / WPA2
  • Mögliche Angriffe
  
  
  Vortragender: Georg Penn
  
  Zeit & Datum & Ort:
  Do. 20 Dezember 2012, 14:00 Uhr (c.t.), SR T05, FB Computerwissenschaften
  
  
  

• 3D Film/TV - Research and Challenges

  Inhalt:
  In this talk we address the topic of 3D scene reconstruction from stereo views in the context of 3D film/TV applications. After an introduction into the principles of stereo vision, we present some selected research topics that arise when processing original film material for high-quality viewing on different types of 3D displays. In particular, we show some recent research results in the field of stereo analysis and demonstrate their application for glass-free 3D viewing. Furthermore, we address the development and evaluation of image matting techniques for high-precision object segmentation.
  
  Vortragender: Mag. Dipl.-Ing. Dr. techn. Margrit Gelautz
  
  Zeit & Datum & Ort:
  Do. 17. Jänner 2013, 16:00 Uhr
  HS T01, FB Computerwissenschaften
  
  Anmeldeinformation:
  

  
  

"you can make IT" AT FB Computerwissenschaften, Universität Salzburg