Best Papers 2016

Posted by

In 2016 the following best paper awards were granted:

2016 PhD DIUF for “Entity-Centric Knowledge Discovery for Idiosyncratic Domains“, by Roman Prokofyev
2016 PhD INF for “Uncertain Reasoning in Justification Logic”, by Ioannis Kokkinis
2016 Master DIUF for “Dynamic Tailored Intervention System”, by Fabio Sodani
2016 Master INF for “Improving live debugging of concurrent threads”, by Max Leske
2016 BachelorDIUF for “Interactive dance visualisation – a collaboration between art and technology”, by Valentine Bernasconi
2016 Bachler INF for “Universal Large Scale Sensor Network”, by Jakob Schaerer and Severin Zumbrunn


More information:

  • In her Bachelor thesis, Valentine Bernasconi has elaborated an interactive dance visualization that is projected on a transparent mesh fabric between dancers and spectators, thus creating an augmented reality environment. Her innovative work was part of an interdisciplinary collaboration with dancers from the HKB Biel and engineers from the HEIA-FR. Valentine Bernasconi has investigated the rise of digital media in performing arts from an art history point of view and contributed with her visualization, both, technically and artistically, to the resulting dance performance “Nautilus”. She also co-authored a scientific publication for an international conference, where she demonstrated the interactive environment.
  • Fabio Sodani: Le projet européen Pegaso est vaste (17 partenaires) et a pour but d’aider les adolescents à vivre plus sainement à l’aide d’applications mobiles. Le candidat s’est concentré sur des algorithmes pour proposer des messages aux ados basés sur leur contexte de vie. Pour ce faire le candidat a travaillé avec l’Espagne pour la partie raisonnement, avec l’Italie pour le design et avec la HEIA-FR pour le développement. Il s’agit d’un effort très conséquent et qui aura un impact sur la suite du projet dans son ensemble.
  • Roman Prokofyev: Despite the increasing popularity of Big Data tools to efficiently manage structured data, textual content is still the most dominant form used to represent scientific knowledge. Dr. Prokofyev worked on groundbreaking, scalable methods for extracting, structuring and organizing knowledge from text. Specifically, he made important contributions in entity recognition, disambiguation, linking, and co-reference resolution in idiosyncratic domains with an emphasis on scientific literature.
  • Die beiden Bachelor-Studenten Jakob Schaerer und Severin Zumbrunn haben eine Hardware für einen Sensorknoten entwickelt, welche erlaubt über grössere Distanzen (mehrere 100 m, ggf. über 1 km) zwischen Sensorknoten zu kommunizieren. Im Rahmen Ihrer gemeinsam erstellten Bachelor-Arbeit haben Sie einen Protokollstack zur energieeffizienten Kommunikation entworfen und in Software implementiert. Jakob Schaerer hat dabei ein MAC-Protokoll entwickelt, welches auf dem Prinzip von Low Power Listening beruht. Severin Zumbrunn implementierte einen Routing-Mechanismus, welcher auf den beiden Internet-RFCs (RFC: Request for Comments) RPL (Routing Protocol for Low-Power and Lossy Networks) und Trickle beruht. Die beiden Teile wurden integriert und auf der – ausserhalb der Bachelorarbeit entwickelten – Sensor-Hardware implementiert sowie getestet. Die Arbeit resultierte in einem Artikel, welcher bei einer internationalen Konferenz eingereicht wurde.
  • In his Masters thesis, entitled “Improving live debugging of concurrent threads”, Max Leske develops a novel approach to link a thread of an interrupted software program to the “parent” thread that created it. Although the basic idea, which is to connect the stack of the child thread to that of its parent, is deceptively simple, there are a host of difficult technical issues to make this work well in practice. Max has developed an advanced prototype in Smalltalk, explored in detail performance issues, and presented his work at an International Workshop on Smalltalk Technology. A journal paper is in preparation.
  • Ioannis Kokkinis gelang es in seiner Doktorarbeit zwei klassische Theorien, Wahrscheinlichkeitslogik und Justification Logik, miteinander zu verknüpfen. Damit hat er den Grundstein gelegt um unsicheres Schliessen mit Rechtfertigungen präzise zu modellieren. Dies ermöglicht eine Vielzahl neuer Anwendungen in verschiedensten Gebieten wie z.B. Informatik (künstliche Intelligenz), Ökonomie oder Philosophie.