Beitrags-Archiv für die Kategory 'Studium'

13 Exzellenzstipendien zu je 10.000 Euro!

Montag, 18. Mai 2015 10:06

Schon zum fünften Mal prämieren Industriellenvereinigung (seit dem Vorjahr auch die Bundesorganisation) und Wirtschaftskammer Kärnten 13 herausragende Studierende, junge Wissenschaftlerinnen und Wissenschaftler mit Auslandsstipendien an den besten Unis dieser Welt. Oxford, Harvard, ETH Zürich – alles, was Rang und Namen hat, war bisher auf der Liste der Zieldestinationen der im Rahmen der Stipendienaktion unterstützten Hochbegabten.

13 Auslandsstipendien sind zu vergeben

13 Auslandsstipendien sind zu vergeben

BachelorabsolventInnen aller österreichischen Universitäten und können sich bis zum 31. Mai für die Stipendien bewerben. Bevorzugt werden AbsolventInnen eines MINT-Studienganges (Mathematik, Informatik, Wirtschaftsinformatik, Chemie, Physik, Astronomie, Erdwissenschaften und Meteorologie).

Die genauen Kriterien für die Vergabe des Stipendiums sind unter diesem Link nachzulesen.

 

Share

Thema: Preis/Auszeichnung, Studium | Kommentare (0) | Autor:

Gastvortrag Dr. Mario Alviano: „Optimization Problems in Answer Set Programming“

Dienstag, 5. Mai 2015 8:57

plakat kostya gastvortrag 2015Abstract:

The goal of the lecture is to present the latest achievements in Answer Set Programming (ASP). In particular, the focus of the lecture is on algorithms  for solving optimization problems in ASP, that is, problems encoded by ASP programs with weak constraints. As usual in ASP, solutions of a problem instance are represented by its stable models, or answer sets. If the input program also comprises weak constraints, each of its stable model is associated with a cost determined by the unsatisfied weak constraints. Hence, weak constraints define a cost function, so that stable models of smaller cost are preferred.

The lecture overviews several algorithms for computing the most preferred, or optimal, stable models, and provides some details on core-guided algorithms, which proved to be effective on industrial instances of MaxSAT, the optimization variant of the satisfiability problem for propositional formulas. These algorithms work by iteratively checking satisfiability of a formula that is relaxed at each step by using the information provided by unsatisfiable cores, i.e., sets of weak constraints that cannot be jointly satisfied by any stable model of the input program.

The lecture is of the interest for both students visiting Logic Programming course as well as researchers of technical faculty working on declarative solving of hard problems.

Biography:

Dr. Mario Alviano received his master degree from University of Calabria in 2007 and his PhD in 2010 from the same university. Both works were distinguished by awards: the master thesis won the “Italian best thesis in Artificial Intelligence” a prize awarded by AI*IA, the Italian Association for Artificial Intelligence and PhD thesis was one among three dissertations awarded with a honorable mention by the European Coordinating Committee for Artificial Intelligence (ECCAI). Since 2011 he worked as a post doc and then as Assistant Professor at the Department of Mathematics and Computer Science, University of Calabria. The research interests of Dr. Alviano are spread throughout the field of knowledge representation and reasoning with the main focus on theoretical background and applications of answer set programming.


  • Friday, May 29, 2015
  • 10:00 – 12:00
  • Room E 1.42

The slides to the lecture you can find here: slides alviano

Share

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

Announcement: Course of Allan Hanbury Ph.D. at Alpen-Adria-Universität Klagenfurt

Montag, 2. März 2015 14:01

Course Title:

Information Search & Interaction

623.412 Selected Topics in Interactive Systems

April 16 – 17 / May 11 – 13 / June 8

Allan Hanbury Ph.D.

Allan Hanbury Ph.D.

Allan Hanbury Ph.D.
Institute of Software Technology and Interactive Systems
Vienna University of Technology

Further information

Share

Thema: Institut, ISYS, Studium | Kommentare (0) | Autor:

Softwarepraktikum/Bakkalaureatsarbeit: Private Information Retrieval

Montag, 26. Januar 2015 18:52

Private Information Retrieval (PIR) Verfahren sind Protokolle, welche die Abfrage einer Datenbank ermöglichen, wobei die konkret abgefragten Datensätze selbst der DB verborgen bleiben. Ein PIR erreicht somit Vertraulichkeit einer Datenabfrage nicht nur auf dem Übertragungskanal (dies wäre durch einfache Verschlüsselung leicht zu realisieren), sondern auch gegenüber der Datenquelle selbst.

Es existieren eine Reihe geeigneter kryptographischer Protokolle, welche derartige Abfragen durchführen lassen. Ziel des Softwarepraktikums ist es, eines dieser Verfahren zu implementieren und praktisch zu evaluieren.

Der zu entwickelnde Prototyp dient dabei als Unterstützung der laufenden Forschungen am Institut für Angewandte Informatik und als Ausgangspunkt für weiterführende Betrachtungen, im Rahmen derer auch Master- oder Diplomarbeiten erstellt werden können.

pir

[…]

Share

Thema: AINF, Institut, PR_AINF, PR_System Security, Praktikum, Studierendenprojekt, Studium, Veranstaltung | Kommentare (0) | Autor:

Softwarepraktikum/Bakkalaureatsarbeit: Verschlüsselte Lookup-Tabellen

Montag, 26. Januar 2015 18:46

Allgemein dient Verschlüsselung der Geheimhaltung von Information und verhindern damit u.a. effektiv die Verarbeitung von verschlüsselten Daten. Insbesondere Public-Key Verschlüsselungsverfahren erlauben jedoch häufig die Ausführung einer einzelnen Operation (etwa Multiplikation, XOR, etc.) auf einem verschlüsselten Klartext.

Solche sogenannten (gruppen-)homomorphen Verschlüsselungsverfahren werden durch die jüngst gefundenen voll-homomorphen Verschlüsselungsverfahren im Hinblick auf mehrere erlaubte Operationen verallgemeinert.

Ziel des Softwarepraktikums ist die Umsetzung eines experimentellen Prototyps, welcher auf Basis einer herkömmlichen einfachen homomorphen Verschlüsselung (etwa RSA oder ElGamal) die Berechnung beliebiger einstelliger Funktionen (mit kleinen Wertebereichen) auf verschlüsselten Klartexten erlaubt. Dies erfordert keine komplexe neue Verschlüsselungstechnik, sondern ist bereits mit einfacher Verschlüsselung (off-the-shelf) Verfahren realisierbar.

Konkret soll eine Funktion hierbei als Lookup-Tabelle ausgeführt werden, wobei die Verschlüsselung zur Verschleierung des Wertes dient, welcher in der Lookup-Tabelle gesucht werden soll.

tabelle

[…]

Share

Thema: AINF, Institut, PR_AINF, PR_System Security, Praktikum, Studierendenprojekt, Studium | Kommentare (0) | Autor:

Hinweis auf spannende Lehrveranstaltung im Bereich ‚Model Driven Information Systems Engineering‘

Mittwoch, 21. Januar 2015 13:22

Die Lehrveranstaltung “Advanced Information Systems Engineering” von Prof. Dr. Oscar Pastor (Technische Universität Valencia) wir in der Woche vom 26.-30. Jänner 2015 und damit noch in diesem Semester angeboten.

Im Einzelnen werden dabei folgende Gegenstände behandelt:

  • Fundamentals of model-driven information systems engineering
  • Classes and Relationships, Attributes and Services, Preconditions and Integrity Constraints, Functional Model, Transactions and Agents, Model Validation
  • Communication Analysis based techniques for modeling requirements
  • Transformation of such a Requirements Model into an Executable Conceptual Schema
  • A practical perspective: the OO-method approach and the Integranova experience
  • Lab exercises of model-driven development

Die Lehrveranstaltung wird in englischer Sprache abgehalten. Sie ist für Studierende der Informatik, des Informationsmanagement, der Informationstechnologie sowie des Doktoratsstudiums der Technischen Wissenschaften interessant und anrechenbar. Daher noch rasch anmelden !

Prof. Pastor ist einer der international führenden Experten auf dem Gebiet des Model-Driven Software Engineering und ein exzellenter Vortragender.

Large

Share

Thema: AINF, Institut, Studium | Kommentare (0) | Autor:

Herzliche Gratulation an Markus Aschinger zum PhD in Oxford!

Dienstag, 8. Juli 2014 13:06

Der aus St. Paul im Lavanttal stammende ehemalige Student und Mitarbeiter des Institutes für Angewandte Informatik Markus Aschinger absolvierte sein Informatikstudium an der Alpen-Adria Universität, um anschließend am St. Anne’s College der Universität Oxford zu studieren und dort sein Doktoratsstudium zu beginnen. Anfang Juli konnte er sein Studium bei Professor Georg Gottlob erfolgreich abschließen. Aschingers bevorzugte Forschungsgebiete sind Produktkonfiguration und Constraint-Satisfaction-Probleme.

In seiner Doktorarbeit “ LoCo – A Logic for Configuration Problems“ beschäftigt er sich mit spezifischen Problemen der Produktkonfiguration.

Dekan Professor Gerhard Friedrich gratuliert herzlich zu dieser außerordentlichen Leistung!

Einen Abstract der Doktorarbeit finden Sie hier.

Share

Thema: AINF, Hall of Fame, Institut, Studium | Kommentare (0) | Autor:

Master- and Bachelortheses or Research-Projekt

Mittwoch, 25. Juni 2014 13:54

The Institute of Smart Systemtechnology offers a Master- and Bachelortheses or Research-Project.

Details you find here: BakkMasterThesisKobuki _2014

Share

Thema: DA_AM, DA_IST, Diplomarbeit, Studium | Kommentare (0) | Autor:

Joint Master Thesis with SenseFly (Lausanne)

Mittwoch, 28. Mai 2014 13:19

As part of our SINUS research project (http://uav.aau.at), NES is offering a joint master thesis with SenseFly (http://www.sensefly.com) – a leading drone company located in Lausanne, Switzerland. Interested students are requested to contact Prof. Bernhard Rinner.

Project Description

senseFly Ltd, a spinoff of the Swiss Federal Institute of Technology (EPFL) in Lausanne, develops and commercialises mini-drones for civilian applications in the domain of 2D and 3D mapping. The maps generated with these drones are used for such applications as construction, mining logistics, forestry, conservation, crop monitoring or humanitarian aid. As part of its extensive research and development program, senseFly is looking for motivated engineers and programmers to develop, design, test and even release to market new hardware and software modules for our mini-drones. As an intern or master’s student, you will be integrated directly with our dynamic team of engineers and researchers working on new products on the cutting edge of aerial robotics. Projects have a duration of 6 months and can be tailored based on the competencies of the applicant.

The proposed thesis project involves the development of smart flight planning algorithms for swarms of fixed-wing eBee drones (https://www.sensefly.com/drones/ebee.html). Current planning algorithms split an area of interest into one or several flight plans based on an estimate of the time required to complete the flight. The goal of this project is to expand this algorithm to include dynamic re-planning during flight based on several factors, including remaining battery level, area covered, wind estimation, the number of drones in the air, etc. Algorithms will first be prototyped using a simulator and then tested in the air using several drones. If successful, the algorithms will be integrated into a future release of our flight planning software.

Interested students should have knowledge in programming (C++, experience with Qt a plus), mathematical modelling and communication protocols. Experience with drones is a plus. Please send your application including a current CV and your student records (Studienerfolgsnachweis) to bernhard.rinner@aau.at.

Share

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

Joint master thesis with SenseFly (Lausanne)

Dienstag, 8. April 2014 7:40

As part of our SINUS research project (http://uav.aau.at), NES is offering a joint master thesis with SenseFly (http://www.sensfly.com) – a leading drone company located in Lausanne, Switzerland. Interested students are requested to contact Prof. Bernhard Rinner.

Project Description

senseFly Ltd, a spinoff of the Swiss Federal Institute of Technology (EPFL) in Lausanne, develops and commercialises mini-drones for civilian applications in the domain of 2D and 3D mapping. The maps generated with these drones are used for such applications as construction, mining logistics, forestry, conservation, crop monitoring or humanitarian aid. As part of its extensive research and development program, senseFly is looking for motivated engineers and programmers to develop, design, test and even release to market new hardware and software modules for our mini-drones. As an intern or master’s student, you will be integrated directly with our dynamic team of engineers and researchers working on new products on the cutting edge of aerial robotics. Projects have a duration of 6 months and can be tailored based on the competencies of the applicant.

The proposed thesis project involves the development of smart flight planning algorithms for swarms of fixed-wing eBee drones (https://www.sensefly.com/drones/ebee.html). Current planning algorithms split an area of interest into one or several flight plans based on an estimate of the time required to complete the flight. The goal of this project is to expand this algorithm to include dynamic re-planning during flight based on several factors, including remaining battery level, area covered, wind estimation, the number of drones in the air, etc. Algorithms will first be prototyped using a simulator and then tested in the air using several drones. If successful, the algorithms will be integrated into a future release of our flight planning software.

Interested students should have knowledge in programming (C++, experience with Qt a plus), mathematical modelling and communication protocols. Experience with drones is a plus. Please send your application including a current CV and your student records (Studienerfolgsnachweis) to bernhard.rinner@aau.at.

Share

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