Beitrags-Archiv für die Kategory 'Veranstaltung'

Einladung zum Vortrag von Prof. Helmut Prodinger

Dienstag, 6. Dezember 2016 16:02

Einladung zum Gastvortrag im Rahmen des DK-Seminars des Karl Popper Kollegs von

Prof. Helmut Prodinger

(Stellenbosch University, South Africa)

zu dem Thema

Rice’s Method and Combinatorial Identities

 

Prof. Helmut Prodinger an der TeWi

Ort: I.2.01

Zeit: Mittwoch, 14.12.2016, 10:00 Uhr s. t.

Abstract:

The method in question belongs to the analytic toolkit of the Analysis of Algorithms. It is based on replacing a certain alternating sum by a contour integral which is evaluated asymptotically via residues. It can also be used to proved exact formulas (identities), in which case the framework of contour integrals can be replaced by elementary partial fraction decomposition.

Share

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

Open Lab Night_13. Dez. 2016

Mittwoch, 30. November 2016 11:40

OLN_13. Dez. 2016 _Invitation

We invite you to the Open Lab Night_13. Dez. 2016, 4pm!!

Institute for Smart System-Technologies

Lakeside Science and Technology Park B04.a, 1st floor.

 

 

Share

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

Einladung zum Gastvortrag von Prof. Dr. Christian Clason

Montag, 14. November 2016 12:07

Einladung zum Gastvortrag im Rahmen des DK-Seminars von

Prof. Dr. Christian Clason

(Universität Duisburg-Essen)

zu dem Thema

Discrete regularization of parameter identification problems

 

Prof. Dr. Christian Clason an der TeWi

Ort: I.2.01

Zeit: Mittwoch, 16.11.2016, 10:00 Uhr s. t.

Abstract:

We consider linear and nonlinear parameter identification problems, where the unknown distributed parameter is known to take on values only from a discrete given set. This property can be promoted with the aid of a convex penalty. A regularized semismooth Newton method allows the numerical solution of the corresponding Tikhonov functional.
Numerical examples illustrate the effectiveness of the proposed approach.

Share

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

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: