Beitrags-Archiv für die Kategory 'AINF'

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:

Scientific Series – Game Development

Mittwoch, 8. April 2015 15:57

Dear Students and Colleagues,

we would like to invite you to the upcoming events of the IEEE Student Branch Klagenfurt. This time we organise twin events where you can learn how to create computer games.

Interactive talks will be given by Lukas Knoch and Alexander Kopper. Bring your laptops and gain some hands-on experience by following the step-by-step tutorials included in the talks.

 

The first talk is about game development with libGDX. [Link to Facebook Event]

WHEN: 13 April, 17:00

WHERE: Hörsaal C

In order to get your laptops prepared for following the talk, please install some required software by using this GUIDE.

 

The second talk is about game development in Unity3D. [Link to Facebook Event]

WHEN: 15 April, 17:00

WHERE: Hörsaal A

Please install the free version of Unity3D before coming.

 

As usual, some snack and drinks will be provided by the Student Branch. We hope to see you all.

Don’t forget to register for the 2nd Game Jam where you can make great use of your fresh knowledge about computer games.

 

Best wishes,

IEEE Student Branch Klagenfurt
Share

Thema: AE_Events, AINF, Institut, IST, ISYS, ISYS_Events, ITEC, MATH, NES, STAT, Uncategorized, Veranstaltung | Kommentare (0) | Autor:

Semester Opening Game Night

Freitag, 13. März 2015 16:10

Dear Students and Colleagues,

the IEEE Student Branch Klagenfurt is opening the summer semester of 2015 with an exciting Game Night. Participants can play with modern game consoles such as Xbox Kinect, Playstation, and Wii, and a retro corner will also be set up with Commodore 64, Pentium I, and other historical devices. As usual, some beer and pizza will be provided. Furthermore, gamers can challenge their opponents in frame of a quiz and win some valuable prizes.

Date: 18:00 on 16th March, 2015
Location: Lakeside Labs (Lakeside Park B04b, 1st floor)

Please come and have fun with us!

For further information, please check our Facebook Event.

IEEE Student Branch Klagenfurt

Share

Thema: AE_Events, AINF, Institut, IST, ISYS, ISYS_Events, ITEC, Lakeside Labs, MATH, NES, STAT, Uncategorized, Veranstaltung | Kommentare (0) | Autor:

Pi Day – Picture Contest

Freitag, 13. März 2015 15:27

Pi Day - Picture Contest

Liebe Studentinnen, Studenten, und Kollegen,

Der IEEE Student Branch Klagenfurt veranstaltet einen Fotowettbewerb anlässlich des morgigen Pi Day!
Lade deine Fotos oder Zeichnungen in Bezug auf die mathematische Konstante Pi (π) als Kommentar zu unserer Facebook Veranstaltung hoch!

Schnell, die Einreichfrist ist schon morgen!

Frohen Pi Day!

3.1415926535897932384626433832795028841971693993751058209749445923

Dear Students and Colleagues,

The IEEE Student Branch Klagenfurt is having a picture contest in order to celebrate Pi Day tomorrow!
Upload your Photos, Drawings or Paintings related to the mathematical constant Pi (π) as a post to our Facebook event!

Be quick, the submission already ends tomorrow!

Happy Pi Day!

IEEE Student Branch Klagenfurt

Share

Thema: AE_Events, AINF, Institut, IST, ISYS, ISYS_Events, ITEC, MATH, NES, STAT, Uncategorized, Veranstaltung | 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:

EU-wide patent on Secure Section Control System has been granted to members of the system security research group at the Institute of Applied Informatics

Donnerstag, 22. Januar 2015 16:30

Section control systems are common and widely deployed mean of detecting speed limit violations. Data protection regulations demand that a driver’s privacy must be protected up to the point where a violation is provably detected. However, the detection itself already calls for data processing, which must be done encryptedly for legal compliance.

 

TeWi and Kapsch TraffiCom AG together succesful

 

To resolve this issue, Kapsch TraffiCom AG started a joint project with the members of the system security research group to devise a cryptographically enhanced section control system that detects speed limit violations while preventing leakage of private information about drivers that obey the regulations. The resulting system was submitted for EU-wide patenting, and the patent number EP 2 648 170 B1A method for detecting a speed violation of a vehicle“ was issued by the European Patent office to Alexander Abl (Kapsch TrafficCom AG), and the members of the system security research group: Stefan Rass, Peter Schartner and Prof. Patrick Horster.

Share

Thema: AINF, Forschung, Hall of Fame, Institut | 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:

(Junior) Consultant SAP Business One (m/w) – Vollzeit

Dienstag, 13. Januar 2015 13:10

Die SAPalot IT-Consulting GmbH ist ein Kärntner IT-Beratungsunternehmen, das seine Kunden seit 2005 im Bereich betriebswirtschaftlicher Standardsoftware unterstützt. Unser Schwerpunkt dabei liegt im Bereich SAP, in dem wir individuelle Lösungen erarbeiten und innovative Produkte konzipieren. Außerdem vertreibt und implementiert SAPalot SAP Business One – die führende ERP-Lösung für KMUs.

Zur Verstärkung unseres Teams suchen wir eine/n:

  • (Junior) Consultant SAP Business One (m/w) – Vollzeit
  • Ihre Aufgaben: Sie sind operativ in Kundenprojekten bei der Software-einführung in KMUs tätig.
  • Sie begleiten unsere Kunden von der Prozess-Analyse bis zur Implementierung.
  • Sie sind zentraler Ansprechpartner für unsere Kunden im Rahmen der Wartung und des Betriebs.
  • Tätigkeiten in Marketing und Vertrieb runden Ihre Aufgaben ab.

Ihr Profil:

  • Sie sind Jungabsolvent(in) einer Universität oder Fachhochschule (Wirtschaftsinformatik);
  • Sie verfügen über analytisches Denkvermögen, Flexibilität, sowie ein hohes Maß an Eigeninitiative;
  • Als „Allrounder“ sehen Sie Ihren Schwerpunkt nicht nur im technischen Bereich, sondern haben auch Interesse, betriebswirtschaftliche Zusammenhänge zu verstehen, Prozesse abzubilden und zu gestalten.
  • Sie sind kommunikationsfreudig;
  • Ihr Englisch ist verhandlungssicher in Wort und Schrift;
  • Sie zeichnen sich durch soziale Kompetenz und ausgeprägte Teamorientierung aus sowie durch Zuverlässigkeit und Sorgfalt, auch unter Belastung.

Wir bieten Ihnen einen interessanten Job in einem jungen, motivierten Team mit herausfordernden und vielseitigen Aufgabenstellungen und Weiterbildungs-möglichkeiten in den neuesten Technologiebereichen.

Aus gesetzlichen Gründen weisen wir darauf hin, dass das kollektivvertragliche Mindestgehalt dieser Position bei €2.227,00 brutto/Monat (ST1/ES) liegt. Je nach Qualifizierung ist die Möglichkeit zur Überzahlung gegeben.

Wir freuen uns  auf Ihre aussagekräftigen Bewerbungsunterlagen per E-Mail an jobs@sapalot.at

 

Share

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

GO Professional – Excursion to CTR

Montag, 17. November 2014 10:30

The IEEE Student Branch Klagenfurt is going to visit the largest non-university research centre in southern Austria. Students will get the chance to meet researchers and see their working environment, furthermore they will surely hear about job opportunities.


Registration link: http://goo.gl/forms/oUzIHU9Mmd

Share

Thema: AE_Events, AINF, Forschung, Institut, IST, ISYS, ISYS_Events, ITEC, Jobs, MATH, NES, Praktikum, STAT, Uncategorized, Veranstaltung | Kommentare (0) | Autor: