Internal working papers DIUF

Internal working papers DIUF
La collezione Internal working papers DIUF è costituita da una serie di rapporti di ricerca pubblicati dal Dipartimento di informatica dell'Università di Friborgo (Svizzera). Questa collezione esiste dal 1958 ed è integralmente disponibile in versione elettronica dal 2015. I temi pubblicati riflettono le tematiche di ricerca informatica, ricerca operazionale e statistica.
La collezione è stata pubblicata dall'Istituto di Automazione (Institut d'Automation de l'Université de Fribourg, IAUF) dal 1958 al 1995 e dal Laboratorio d’Informatica (LIUF) dal 1986 al 1995, in seguito dall'Istituto di Informatica (IIUF) dal 1995 al 2000.

Perfeziona i miei risultati


Collection spécifique


Université de Fribourg

Valoriser les processus pour élaborer des cahiers des charges: une approche innovante

Venteicher, Francesca ; Widmer, Marino

(Internal working papers DIUF ; 18-02)

Lors de la fusion de communes, l’organisation des services du feu et leur efficacité dans la lutte contre les incendies et autres sinistres est une préoccupation des autorités cantonales. L’accroissement des activités socio-économiques et des besoins humains exerce une pression grandissante sur les corps des sapeurs-pompiers (CSP), créant des difficultés de recrutement et de...

Université de Fribourg

Finding the adequate location scenario after the merger of fire brigades thanks to Multiple Criteria Decision Analysis Methods

Aldabbas, Mohammad ; Venteicher, Francesca ; Gerber, Lenna ; Widmer, Marino

(Internal working papers DIUF ; 18-01)

This paper addresses the issue of selecting a suitable location for a fire station in canton of Fribourg, as a result of a fire brigades’merger, by applying Multiple Criteria Decision Analysis (MCDA) methods. Solving the problem of determining fire station locations through various methods has been analyzed in-­‐depth by researchers. However, a different approach, based on application of...

Université de Fribourg

Exploring nuances of user privacy preferences on a platform for political participation

Kaskina, Aigul

(Internal working papers / DIUF ; 17-02)

A problematic gap between existing online privacy controls and actual user disclosure behavior motivates researchers to focus on a design and development of intelligent privacy controls. These intelligent controls intend to decrease the burden of privacy decision-making and generate user-tailored privacy suggestions. To do so, at first it is necessary to analyze user privacy preferences. Previous...

Université de Fribourg

COG-FPOM: adapted fuzzy pay-off method for real options valuation : application in the abandonment decision of petroleum producing fields

Borges, R.E.P. ; Meier, Andreas

(Internal working papers DIUF ; 17-01)

This paper presents the COG-FPOM, a model based on the Fuzzy Pay-Off Method (FPOM). The FPOM is a scenario-based real option valuation method that uses fuzzy numbers as possibility distributions. The paper shows an unexpected result generated by the original FPOM, in which the real option would have a negative value. It further analyses its reasons and suggests a way to overcome it, by using the...

Université de Fribourg

N-light-N : Read The Friendly Manual

Seuret, Mathias ; Alberti, Michele ; Liwicki, Marcus

(Internal working papers DIUF ; 16-02)

This documentation wants to be a "user manual" for the N-light-N framework. The goal is not only to introduce the framework but also to provide enough information such that one can start modifying and upgrading it after reading this document. This document is divided into five chapters. The main purpose of Chapter 1 is to introduce into our notation and formulation. It refers to further...

Université de Fribourg

Towards human-centered cyber-physical systems : a modeling approach

Hadorn, Benjamin ; Courant, Michèle ; Hirsbrunner, Béat

(Internal working papers DIUF ; 16-01)

In this paper we present a new CPS model that considers humans as holistic beings, where mind and body operate as a whole and characteristics like creativity and empathy emerge. These characteristics influence the way humans interact and collaborate with technical systems. Our vision is to integrate humans as holistic beings within CPS in order to move towards a human-machine symbiosis. This...

Université de Fribourg

Gesturing on the steering wheel, a comparison with speech and touch interaction modalities

Angelini, Leonardo ; Baumgartner, Jürgen ; Carrino, Francisco ; Carrino, Stefano ; Caon, Maurizio ; Abou Khaled, Omar ; Sauer, Jürgen ; Lalanne, Denis ; Mugellini, Elena ; Sonderegger, Andreas

(Internal working papers DIUF ; 15-03)

This paper compares an emergent interaction modality for the In-Vehicle Infotainment System (IVIS), i.e., gesturing on the steering wheel, with two more popular modalities in modern cars: touch and speech. We conducted a betweensubjects experiment with 20 participants for each modality to assess the interaction performance with the IVIS and the impact on the driving performance. Moreover, we...

Université de Fribourg

The no-wait job shop with regular objective : a method based on optimal job insertion

Gröflin, Heinz ; Bürgy, Reinhard

(Internal working papers DIUF ; 15-02)

The no-wait job shop problem (NWJS-R) considered here is a version of the job shop scheduling problem where, for any two operations of a job, a fixed time lag between their starting times is prescribed. Also, sequence-dependent set-up times between consecutive operations on a machine can be present. The problem consists in finding a schedule that minimizes a general regular objective function. We...

Université de Fribourg

Complementing Büchi automata with a subset-tuple construction

Allred, Joel ; Ultes-Nitsche, Ulrich

(Internal working papers DIUF ; 15-01)

Complementation of Büchi automata is well known for being difficult. In the worst case, a state-space growth of (0:76n)n is unavoidable. Recent studies suggest that “simpler” algorithms perform better than more involved ones on practical cases. In this paper, we present a simple “direct” algorithm for complementing Büchi automata. It involves a structured subset construction (using...