Beitrags-Archiv für die Kategory 'Veranstaltung'

Masterthesis_Landeplattform

Mittwoch, 9. November 2016 11:53

UAV Touch Down/Take Off Sensor
Masterthesis/Research

Topic:
Precision take-off and landing for Unmanned Aerial Vehicle(UAV) is essential for autonomous recharging. The UAV will utilize GPS, UWB and a camera for approaching the recharging pad and precision landing. However, for the last few centimeters the vision based state estimation might bare some risks due to the proximity of the camera to the scene. Therefore, a sensor estimating the distance and lateral displacement of the UAV to the recharging pads hould minimize this risk.

MasterThesis_Landeplattform

Project Contact & Advisor: Stephan Mühlbacher-Karrer (stephan.muehlbacher-karrer@aau.at)
Institute of
Smart System Technologies
Sensors and Actuators
www.aau.at/sat
Share

Thema: Diplomarbeit, Institut, IST, Jobs, Veranstaltung | Kommentare (0) | Autor:

Einladung zum Gastvortrag von Dipl.-Ing. Dr. Roswitha Rissner

Dienstag, 8. November 2016 16:21

Einladung zum Gastvortrag im Rahmen des DK-Seminars von

Dipl.-Ing. Dr. Roswitha Rissner

(TU Graz)

zu dem Thema

Integer-valued polynomials on a square matrix

 

Dipl.-Ing. Dr. Roswitha Rissner an der TeWi

Ort: I.2.01

Zeit: Mittwoch, 23.11.2016, 11:00 Uhr s. t.

Abstract:

siehe Beilage GV_Rissner_23112016

Share

Thema: Institut, MATH, Veranstaltung | Kommentare (0) | Autor:

Festakt 30 Jahre Informatik und Ehrenpromotion Prof. Gottlob

Donnerstag, 13. Oktober 2016 7:43

Wir laden Sie herzlich zu den folgenden Veranstaltungen ein:

Festakt 30 Jahre Informatik

Freitag, 11. November 2016, 13.30 Uhr S.T.

PROGRAMM

Begrüßung

o. Univ.-Prof. Dr. Gerhard Friedrich

Vortrag zur Geschichte der Informatik an der AAU

o. Univ.-Prof. Dr. Dr. h.c. Heinrich C. Mayr

Auf dem Podium diskutieren

AbsolventInnen der AAU

Stakeholder der AAU

 

Verleihung des Ehrendoktorats (Doctor Honoris Causa)

an o. Univ.-Prof. Dr. Georg Gottlob

Freitag, 11. November 2016, 15.30 Uhr S.T.

PROGRAMM

Begrüßung

Univ.-Prof. Dr. Oliver Vitouch

Laudatio

o. Univ.-Prof. Dr. Gerhard Friedrich

Promotionsakt

Ansprache des Ehrendoktors

o. Univ.-Prof. Dr. Georg Gottlob

 

Wo: Lakeside Science & Technology Park

Veranstaltungssaal „Leibniz Lovelace“, Erdgeschoss B11

Eine pdf-Version der Einladung finden Sie hier: Festakt 30 Jahre Informatik_Ehrenpromotion

Share

Thema: Institut, Veranstaltung | Kommentare (0) | Autor:

Der nächste große Schritt für die Künstliche Intelligenz

Donnerstag, 21. April 2016 9:20

Heuristik für Industrie 4.0

artikel_siemens_geleise

 

Mit dem Projekt „Heuristic Intelligence“ – HINT werden buchstäblich neue Weichen gestellt. Mit der von der FFG geförderten Forschungskooperation der Angewandten Informatik unter Projektleiter Univ.-Prof. Gerhard Friedrich, des Instituts für Psychologie, der TU-Wien/Oxford, Siemens und Infineon werden neue Maßstäbe für die Industrie 4.0 gelegt.

Ausführliche Informationen über das Projekt finden Sie unter: HINT – Heuristik für Industrie 4.0

 

Share

Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor:

Gastvortrag: Dr. Carmine Dodaro (University of Calabria)

Dienstag, 12. April 2016 12:54

(Der Vortrag wird live aus der TU-Graz übertragen)

Titel:         „Efficient Solving Techniques for Answer Set Programming“

Zeit:           Dienstag, 19. April 2016, 14:00-16:00 Uhr

Ort:            Raum E 1.42, Südtrakt, Ebene 1

 

Abstract:

Answer Set Programming (ASP) is a well-established declarative programming paradigm. The high expressivity of ASP, combined with the growing number of industrial applications, made the implementation of efficient ASP solvers a challenging and crucial research topic. Efficient ASP solvers are required to address several reasoning tasks that go beyond the mere computation of answer sets. Among them are cautious reasoning, for modeling query entailment, and optimum answer set computation, for supporting numerical optimization. This talk reports on the techniques employed by the most efficient ASP solvers, and details the algorithms and the design choices for addressing several reasoning tasks in ASP.

CV: see http://www.cdodaro.eu

Die Folien zum Gastvortrag finden Sie hier: slides

Share

Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor:

Vortrag: Radu Mateescu, INRIA, Grenoble

Mittwoch, 2. März 2016 12:01

(Der Vortrag wird live aus der TU-Graz übertragen)

Titel:         „On-the-Fly Verification for Extended Action-Based Temporal Logics“

Zeit:           Donnerstag, 3. März 2016, 11:00-12:30 Uhr

Ort:            Raum E 1.42, Südtrakt, Ebene 1

 

Abstract:

For analyzing the dynamic behaviour of concurrent value-passing systems, classical temporal logics must be extended with data-handling primitives. Since the early days of formal verification, many such extensions were proposed, both in the linear/branching time and the state/action based settings. We present here MCL (Model Checking Language), an extension of the alternation-free modal mu-calculus with data-handling features, generalized regular expressions over transition sequences, and fairness operators. MCL was designed to allow a versatile and succinct formulation of temporal properties interpreted on labeled transition systems (LTSs) containing data values. We illustrate the usage of MCL by means of classical examples of properties (safety, liveness, fairness). We also describe the implementation of MCL provided by the EVALUATOR 4.0 model checker of the CADP verification toolbox, which evaluates an MCL formula on-the-fly on an LTS and also produces full diagnostics (witnesses and counterexamples), i.e., subgraphs of the LTS illustrating the truth value of the formula. We discuss the expressiveness and evaluation complexity of MCL, and we outline directions of ongoing work.

CV: see http://convecs.inria.fr/people/Radu.Mateescu/

 

Share

Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor:

Auslands-Praktikumsstelle für Informatik-Studierende

Freitag, 26. Februar 2016 15:12

Bei Volkswagen Financial Services Deutschland ist folgende Praktikantenstelle ausgeschrieben:

Praktikant (m/w) (ggf. mit Abschlussarbeit) für den
Bereich Business Intelligence Solutions

Details: siehe Ausschreibungstext

Bei Interesse bitte eine kurze email an Stefan Rass (Institut für Angewandte Informatik)

Share

Thema: Veranstaltung | Kommentare (0) | Autor:

Sommer im Zeichen der Technik: Bewerbungsstart für die IT-Ferialpraktika 2016

Dienstag, 16. Februar 2016 10:46

Ferialpraktikum an der Fakultät für Technische Wissenschaften der Alpen-Adria-Universität Klagenfurt, da kann der Sommer kommen!

Schülerinnen und Schüler unterschiedlichster Schultypen können Technik hautnah erleben und aktiv mitgestalten. Mit 14 Projekten und insgesamt 46 Praktikumsplätzen ist das Angebot der IT-Ferialpraktika 2016 so groß wie nie.

ball

Foto: Wolfgang Hoi

Die Bewerbung ist auf unserer Website http://ferialpraktikum.aau.at/  bis einschließlich 29. Februar 2016 möglich. […]

Share

Thema: Jobs, Medienpräsenz, Schulen, Veranstaltung | Kommentare (0) | Autor:

Lecture Series on “Artificial Vision”

Donnerstag, 11. Februar 2016 11:39

Artificial Vision @ NES May2016

The lecture series will introduce the pipeline and the modules to develop advanced artificial vision based systems. From the early stages of image creation to the most advanced techniques for image and video interpretation the course will propose the state of the art algorithms for detecting objects and understanding their activities. A sufficient amount of hours will be reserved to laboratory activities allowing to implement some algorithms.

Keywords: Computer Vision  |  Image Processing  |  Object Detection & Recognition  |  Video Surveillance  |  Machine Learning  |  Video Networks

 

Registration and detailled Outline available in  “ZEUS”, course code 700.470.

The lecture is held by Prof. Gian Luca Foresti, Prof. Christian Micheloni and Dr. Claudio Piciarelli from University of Udine/IT.

Share

Thema: Institut, NES, Studium, Veranstaltung | Kommentare (0) | Autor:

Einladung zum Gastvortrag von PD Dr. Thorsten Hüls

Donnerstag, 4. Februar 2016 11:35

Einladung zum Gastvortrag von

PD Dr. Thorsten Hüls

(Universität Bielefeld, Deutschland)

zu dem Thema

A contour algorithm for computing stable fiber bundles of nonautonomous, noninvertible maps

PD Dr. Thorsten Hüls an der TeWi

 

Ort: Raum I.2.01

Zeit: Mittwoch, 17.02.2016, 10:00 Uhr c. t.

Abstract:

Stable fiber bundles are the nonautonomous analog of stable manifolds and these objects provide valuable information on the underlying dynamics. We propose an algorithm for their approximation that is based on computing zero contours of a particular operator. The resulting program applies to a wide class of models, including noninvertible and nonautonomous discrete time systems. Precise error estimates are provided and fiber bundles are computed for several examples. Finally, we apply the contour algorithm to (non)autonomous ODEs. For the famous three-dimensional Lorenz system, we calculate several approximations of the two-dimensional Lorenz manifold.

Share

Thema: Institut, MATH, Veranstaltung | Kommentare (0) | Autor: