Beitrags-Archiv für die Kategory 'Forschung'

Wanted Participants for Study!

Montag, 23. Mai 2016 13:04

Wanted

Driver State Estimation Study

 

 

Share

Thema: Forschung, Institut, IST | 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:

IEEE Student Paper Contest

Mittwoch, 25. November 2015 12:50

Dear students,

The IEEE Student Branch is organizing a student paper contest.
Deadline is December 10 (hard). To participate, please send your paper (maximum 6 pages, two-column style) to ieee_sb@aau.at

The contest is open to all students of this university, not only technical students. However, the paper topics need to be related to a technical content.

The best paper will be nominated for the IEEE Region 8 Student Paper Contest.

IEEE Region 8 Student Paper Contest is for IEEE R8 student members or graduate student members who have not yet started their PhD. Professors-mentors and other associates can not be SPC authors (but their names could be acknowledged in the FINAL versions of the papers). Each student author must be a member of an IEEE Student Branch at the time of the original submission of the paper to the Branch Contest, and a member (student or not) of the IEEE at the time of the R8 Oral Finals presentation. The work presented has to be completed before the student receives the engineering degree that entitles her/him to start preparing a doctoral thesis. The submission of the paper to the Region 8 SPC must be completed within 12 months after graduation. A doctoral thesis is not considered. Published work is excluded from the Contest.

Best wishes,

Share

Thema: Forschung, Institut, Preis/Auszeichnung, Preisausschreiben, Studierendenpublikation, Uncategorized | Kommentare (0) | Autor:

Klagenfurt meets Robots: EU Robotics Week at AAU Klagenfurt

Dienstag, 10. November 2015 18:58

The IEEE Student Branch organizes from 23 to 27 November, a networking event for all those who deal with robotics or look forward to do so.

Numerous research projects at the Alpen-Adria University, the Lakeside Science & Technology Park, in the Lakeside Labs GmbH and in the laboratories of Joanneum Research are dealing with robotics. IEEE Student Branch is now organizing a multi-day event, where different Robotics groups present their research and invite the audience to explore the fascinating development going on in their research labs. Part of the program also provides the computer science workshop at the Institute for Informatics Didactics, which is aimed at school pupils.

The workshop concludes on 27 November with a robotics competition: participants in 14 teams will build their own Lego robots and program them to solve the given task in the most efficient manner. The participants will be divided into the Junior League (under 18 years) and Senior League (over 18 years. The winners of the Junior League will eventually compete against the winners of the Senior League. The award ceremony will take place from 16:00 clock on Friday 27 of November.

If you would like to participate with your team in the Robotics Competition, please register here: http://goo.gl/forms/7FFqvuwKfN

The maximum number of teams that can participate is 14 due to technical limitations. The registration is therefore on a first come, first served basis and all teams will be informed about further details via e-mail.

Please note that only the LEGO kits will be provided and each team should bring at least one laptop on their own!

Details of the program will follow shortly.

23.11.2015
24.11.2015
25.11.2015
26.11.2015
27.11.2015
09:00-14:00
Robotics Competition: Assembling Lego Robots and problem solving for task completion
(Lakeside Park B01)
14:00-15:00
Informatik-Werkstatt for  School Kids by Institute for Informatics Didactics  (E.2.69)
15:00-16:00
 
16:00-17:00
Award and closing ceremony with snacks and drinks
(Lakeside Park B01)
18:00:18:30
Robotics @ Joanneum: Presentation
(B04, Lakeside Labs seminar Room)
Robotics @ Pervasive computing: Presentation(B04, Lakeside Labs seminar Room)
Robotics @ Control of Networked Systems: Presentation
(B04, Lakeside Labs seminar Room)
Robotics @ Mobile Systems: Presentation
(B04, Lakeside Labs seminar Room)
18:30-19:30
Robotics @ Joanneum: Open Lab
(Joanneum Research B08)
Robotics @ Pervasive Computing: Open Lab
(NES B02)
TED talks and discussion about Control of Networked Systems
(B04, Lakeside Labs seminar Room)
Robotics @ Mobile Systems: Open Lab
(NES B02)

Share

Thema: Forschung, Institut, Lakeside Labs, Uncategorized, Veranstaltung | Kommentare (0) | Autor:

Pervasive Computing is hiring!

Donnerstag, 29. Oktober 2015 15:20

We are looking for a

Research Staff member (PhD student)

for participation in a national research project on Mobile and Cooperative Camera Networks. Candidates should have a strong interest in one or more of the following topics:

  • Sensor networks and Internet of things
  • Smart cameras and embedded systems development
  • Computer vision and image processing

The compensation for this position complies with Uni-KV B1 (part time contract of 30h/week with a minimum annual gross income of € 28,000). The employment contract may be expanded to 40h/week (full time) depending on the availability of funding and the candidate’s performance. A formal requirement for this position is the successful completion of a master program in information technology, computer science, electrical engineering or a related field of studies.

Alpen-Adria-Universität Klagenfurt aims to increase the number of female employees and therefore specifically invites qualified women to apply. Your application should include a letter of interest, curriculum vitae, academic certificates and courses, list of publications and contact details of two references. Please submit your application as a single PDF file to pervasive@aau.at.

The application deadline is November 30, 2015. Please check the pdf-file for details: Call For Applications _Pervasive Computing_ Oct2015

Share

Thema: Forschung, Institut, Jobs, NES | Kommentare (0) | Autor:

Stellenausschreibung Universitätsassistentin/Universitätsassistent @ Pervasive Computing

Mittwoch, 19. August 2015 15:39

Die Alpen-Adria-Universität Klagenfurt
schreibt gem. § 107 Abs. 1 Universitätsgesetz 2002 folgende Stelle zur Besetzung aus:

Universitätsassistentin / Universitätsassistent

Wir suchen DICH!

an der Fakultät für Technische Wissenschaften, Institut für Vernetzte und Eingebettete Systeme, Forschungsgruppe Pervasive Computing, im Beschäftigungsausmaß von 100 % (Uni-KV: B1). Das monatliche Mindestentgelt für diese Verwendung beträgt € 2.662,90 brutto (14 x jährlich) und kann sich auf Basis der kollektivvertraglichen Vorschriften durch die Anrechnung tätigkeitsspezifischer Vorerfahrungen erhöhen. Beginn des auf vier Jahre befristeten Dienstverhältnisses ist zum 01.11.2015 möglich.

Details zur Stellenausschreibung: Universitaetassistentin_Universitaetsassistent Alpen-Adria Universitaet Klagenfurt_Pervasive Computing

Share

Thema: Forschung, Institut, Jobs, NES | Kommentare (0) | Autor:

Gastvortrag von Dr. Laurens Rook (TU Delft) am Freitag, 17.07.2015, 11:00 Uhr

Donnerstag, 16. Juli 2015 10:55

Einladung zum Gastvortrag von

Dr. Laurens Rook

(Delft University of Technology, Netherlands)

zu dem Thema

Current Directions in Behavioral Energy Economics

Ort: Z.1.09

Zeit: Freitag, 17.07.2015, 11:00 Uhr

Abstract: In recent years many times sustainability and renewable energy consumption have been set on the agenda. However, the pressing issue how to make people reduce their amount of energy consumed – or their switching  towards green alternatives – has received far less research attention. The academic discipline of behavioral economics has much to offer to this debate. In the presentation we will summarize prior research on the role of individual differences and various pricing and framing techniques that have proven to be helpful in making people switch to green energy. We will also address challenges and future directions in behavioral energy economics.

Guest Lecture: Current Directions in Behavioral Energy Economics

Dr. Laurens Rook – TU Delft

Laurens Rook is Assistant Professor at Delft University of Technology, the Netherlands. He received his Ph.D. from the Erasmus University Rotterdam (in 2008), and his bachelor and master’s degrees from the University of Amsterdam, the Netherlands (in 2001; MA Thesis on Mass Psychology in Fine Art and Advertising).  His research focuses on herd and imitative behavior in creative context, and is published in the Creativity Research Journal.

His second focus is on behavioral informatics. Laurens collaborates with the Learning Agents Research Group at Erasmus (LARGE). A recent paper on using social media apps to make people consume green energy  (together with University of Connecticut, USA) was awarded best poster  award (2nd prize, the 2014 Conference on Information Systems and Technology).

He lectures on Research Methodology, Statistics, and Group Dynamics, but also is a graduated professional artist (Academy of Arts Rotterdam, 1997) with collected work in the Municipal Archives of Rotterdam, the Netherlands, and the National Art Collection of Ireland.

 

Share

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

Judith Michael ist GI-Juniorfellow 2015

Donnerstag, 9. Juli 2015 12:17

Mit Kalman Graffi, Elmar Jürgens und Judith Michael wurden 2015 drei weitere Juniorfellows der Gesellschaft für Informatik ernannt. Judith Michael ist die erste Person aus Österreich, der diese Ehre zuteil wird.

Judith Michael forscht und lehrt an der Alpen-Adria-Universität Klagenfurt am Institut für Angewandte Informatik  in der Forschungsgruppe Application Engineering als Postdoc. In ihrer Forschung beschäftigt sie sich mit Assistenzsystemen für Menschen mit kognitiven Einschränkungen, die durch Wissen aus ihrem eigenen Verhalten bei Erinnerungslücken unterstützt werden können. Neben ihrer Forschung engagiert sie sich für gesellschaftspolitische Belange, dafür, mehr Frauen für die Informatik und Technik zu begeistern, in der Lehre, in der akademischen Selbstverwaltung, in der Politik und dafür, wissenschaftliche Inhalte für alle Gesellschaftsschichten verständlich zu machen.

GI-Juniorfellow  Judith Michael

GI-Juniorfellow Judith Michael

[…]

Share

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