All Archived News and Events

Am 1. Oktober tritt Prof. Geraldine Fitzpatrick ihre Stelle als Universitätsprofessorin für Gestaltungs- und Wirkungsforschung an der Fakultät für Informatik an. Sie wird die Forschungsgruppe Human Computer Interaction (HCI) leiten.

The Vienna University of Technology intends to appoint a Professor for Discrete Reasoning Methods at the Faculty of Informatics for a 5 year term.

A new doctoral college “Computational Perception” will start in October 2009. The college is funded by TU Vienna and has a duration of three years. Scienific Coordinator is Margrit Gelautz at the Institute of Software Technology and Interactive Systems.

Announcement of an open position at the Faculty of Informatics, Vienna University of Technology

The Faculty of Informatics starts with an international PhD School of Informatics in October 2009.

Die größte und wichtigste internationale wissenschaftlichen Vereinigung auf dem Gebiet der Informatik, die Association for Computing Machinery (ACM), hat Georg Gottlob zu ihrem Fellow ernannt.

Announcement of an open position at the Faculty of Informatics, Vienna University of Technology

Announcement of an open position at the Faculty of Informatics, Vienna University of Technology

M. Jazayeri zum IEEE Fellow gewählt.

International Master Program

Chronic obstructive pulmonary disease (COPD) and asthma are epidemiologically significant diseases of respiratory passages. Both are characterized by airflow limitation and a variable degree of inflammation. Because of its low proton density the lung is probably the most difficult organ to be studied by magnetic resonance imaging (MRI).

Software is critical to the working of our modern society. Software is pervasive, it works, it is invisible, it just seems to run things well and stay out of the way. This is not by accident. Over time, software engineers have developed techniques for creating functioning software that is efficient and dependable.

Model Driven Engineering (MDE) is increasingly gaining acceptance in the development of software systems as a mean to leverage abstraction and render business logic resilient to technological changes.

Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same (extensionally) as the Turing-computable numeric functions.

Guest Speaker: Prof. Fausto Giunchiglia, Professor of Computer Science, University of Trento

State-of-the-art image analysis systems often feature limited robustness under varying environment conditions. A significant improvement in this research area can only be achieved based on better understanding of how humans interpret digital images and by modeling this behavior.

In this talk a theory for the synthesis of geometric concepts is presented. The theory is focused on a constructive process that synthesizes a function in the geometric domain representing a geometric concept.

25 international students join for the 2009 summer school of the IPCity project.

Predicting physical properties, such as execution time or power, is central to the design of reliable embedded systems.

Application of ontology-based semantics to the modelling and transformation between business-oriented notations for processes and organisations and executable processes taking advantage of semantic extensions to service-oriented architecture.

The primary focus of the talk will be on the characterization of facial deformation through strain patterns computed from the motion observed in facial expression videos and its application in image analysis tasks such as person identification and expression segmentation.

A recent line of research concerns the integration of ant colony optimization and constraint programming. Hereby, constraint programming is used for eliminating parts of the search tree during the solution construction of ant colony optimization.

The web is more and more social. But currently each social networks is an Island to itself.

Triple Graph Grammars (TGGs) are a bidirectional model transformation formalism, where a single specification generates a language of related graph tuples (pairs of models) together with an intermediate correspondence graph (traceability link database).

Model Driven Development (MDD) and Model Driven Architecture (MDA) are still hot topics of the software engineering community.

Human conversational partners usually try to interpret the speaker's or listener's affective cues and respond to them accordingly. Recently, the modelling and simulation of such behaviours has been recognized as an essential factor for successful man-machine communication.

There is an increasing number of applications that require accurate aligning of one image with another taken from different viewpoints, by different imaging devices, and/or at different times.

The combination of real-time visualization and image analysis with adapted imaging and display optics enable a large variety of new applications for projector-camera systems.

Volumetric data sets as acquired by medical scanners contain a multitude of information. In order to allow the domain expert to visually extract relevant information, meaningful visual representations are necessary.

The three classic Futamura projections stand as a cornerstone in the development of partial evaluation. The observation by Futamura [1983], that compiler generators produced by his third projection are self-generating, and the insight by Klimov and Romanenko [1987], that Futamura¹s abstraction scheme can be continued beyond the three projections, are systematically investigated, and several new applications for compiler generators are proposed.

Modeling the appearance of physical materials is an essential component in the computer generation of synthetic photorealistic imagery. Recent progress in material appearance modeling will be surveyed, with an emphasis on modeling aged and weathered materials and on perceptual experiments.

Interfaces play a central role in the modular design of systems. Good interface languages are based on two principles. First, an interface should expose enough information about a module so to make it possible to predict if two or more modules work together properly, by looking only at their interfaces.

Thomas Setzer is currently heading the IT Service Operations Management (ITSOM) research group at the Chair of Internet-based Information Systems (IBIS), TU München.

A security vulnerability is a software bug that can be exploited by an external attacker. Security vulnerabilities expose a major threat for operating systems and programs that are executed with higher privileges, as an attacker can gain total control over a computer system by exploiting vulnerabilities.

The symposium will give you an overview of future developments in Visual Computing by top-level invited experts.

A rapidly growing computer graphics community has contributed to dramatic increase in complexity with respect to geometry as well as physical phenomena.

In order to establish a theoretical foundation for database transformations, a universal computation model as an umbrella for queries and updates is needed.

We introduce a modular framework for abstract argumentation where the argumentation context, that is information about preferences among arguments, values, validity, reasoning mode (skeptical vs. credulous) and even the chosen semantics can be explicitly represented.

In this talk I will consider computational problems that (A) can be solved in polynomial time for graphs of bounded treewidth and (B) where the order of the polynomial time bound is expected to depend on the treewidth of the instance.

Despite company fears of reputation risk, and under-reporting by organisations, the problems posed by employee computer crime are increasingly being acknowledged.

Our objective is to analyze and understand the physiology and patho-physiology of normal nasal breathing.

While hackers and viruses fuel the IS security concerns for organisations, the problems posed by employee computer crime should not be underestimated.

Static program analyses have to over-approximate the run-time behavior of programs to follow the requirement of safety. This sacrifices significant optimization potential.

The talk will be about the physiology of plants and how to implement branching, tropisms, hormons and their control in simplifyfied simulations.

If-then rules, which are arguably the most common form of knowledge representation in Artificial Intelligence, are ambiguous.

We present a method for generating loop invariants and bound assertion for a subfamily of imperative loops operating on numbers, called the P-solvable loops. The method uses symbolic summation, Groebner basis computation, and quantifier elimination.

Public Lecture in Business Informatics 2008/09

Numerical flow visualization is gaining importance because of the continuing trend from experiments toward computational fluid dynamics.

In this talk recent research work on how to support hypothesis generation in climate research through interactive visual exploration is presented.

A framework and experiences from studies of collaboration and project outcomes in global software teams.

Virtual machines (VMs) for high-level programming languages, such as the Java VM, enable the distribution of programs in an architecture-neutral format. Such VMs are typically implemented using an interpreter or a just-in-time compiler. A very long-running question in the design of VMs is whether a stack architecture or register architecture can be implemented more efficiently with an interpreter.

Challenges and some achieved results in business value driven management of business processes implemented with service-oriented architectures.

This talk introduces Digital Bayon Project, conducted by The University of Tokyo team, with the cooperation of the Japanese Government team for Safeguarding Angkor, to scan the Bayon temple and obtain 3D digital data of the temple.

Grid computing along with cloud computing, one of the latest buzzwords in the ICT industry, is enabling the creation of Cyberinfrastructure for e-Science and e-Business applications. Despite a number of advances in Grid computing, utility-oriented resource management and application scheduling in such environments continues to be a challenging and complex undertaking.

Die 16. Summer School on Image Processing findet 2008 an der Fakultät für Informatik der TU Wien statt und wird von der Pattern Recognition and Image Processing Group (PRIP) am Institut für Rechnergestützte Automation organisiert.

World Conference on Educational Multimedia, Hypermedia & Telecommunications

Design of an Optimized Middleware

The recent rise in phishing and identity theft attacks have made it widely acknowledged that Internet requires strong authentication mechanisms.

A Worldwide Observatory of Malicious Behaviors and Attack Threats

The goal of computerized image generation is to convey information to the user or viewer, whether for artistic reflection, scientific discovery, or decision making. The history of art, design, illustration, and perception form a rich basis for developing interactive computerized visual environments for discovery, engineering, and analytical decision making.

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zum Vortrag ein.

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zum Vortrag ein.

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zum Vortrag ein.

Mobile autonomous robots can perform complex tasks in unstructured and dynamic environments....

Adaptation in Mobile Learning

Fine-Grain Concurrency

The 5th Workshop on Java Technologies for Real-Time and Embedded Systems

The 8th International Conference on Music Information Retrieval, ISMIR 2007, will be held at the Vienna University of Technology, from September 23rd to September 27th, 2007.

Information is a fundamental human need. The field of information retrieval has helped address this need since the 1960s, with a range of models and systems.

A general framework for representing belief change is presented, based on notions of minimal change.

This talk introduces coalitional games and then focuses on the characterization of the complexity of the core in such games.

Web services interact through messages to ensure a robust and coupled interaction.But what happens when components need to interact in more sophisticated ways than just sending a message?

The 12th International Conference on Computer Analysis of Images and Patterns

Computer Vision for Cultural Heritage 2007

The construction of correct software has been an important goal since the commencements of computer science and has not lost importance ever since.

SPARQL is the upcoming query language for the Semantic Web, at the moment short before getting the standards recommendation from W3C.

In 1977, there were no hardcore players of video games: Every video game had to be created with the assumption that players had no understanding of video games, genres, and controllers. Thirty years later, video games are primarily designed for players with extensive knowledge of video game conventions. This is how video games gained a specialized audience, but lost the general public.

Information permeates every corner of our lives and shapes our universe. Understanding and harnessing information holds the potential for significant advances.

Discrete Analytical Geometry: Basis and Applications

INFORMATIK-KOLLOQUIUM