Skip to main content

Showing 1–2 of 2 results for author: Polderman, J W

Searching in archive cs. Search in all archives.
.
  1. arXiv:1809.04644  [pdf, other

    cs.SI cs.IR cs.LG physics.soc-ph

    The closed loop between opinion formation and personalised recommendations

    Authors: Wilbert Samuel Rossi, Jan Willem Polderman, Paolo Frasca

    Abstract: In online platforms, recommender systems are responsible for directing users to relevant contents. In order to enhance the users' engagement, recommender systems adapt their output to the reactions of the users, who are in turn affected by the recommended contents. In this work, we study a tractable analytical model of a user that interacts with an online news aggregator, with the purpose of makin… ▽ More

    Submitted 9 September, 2019; v1 submitted 12 September, 2018; originally announced September 2018.

    Comments: 21 pages, 13 figures, 1 table. To be submitted

  2. Re-verification of a Lip Synchronization Protocol using Robust Reachability

    Authors: Piotr Kordy, Rom Langerak, Jan Willem Polderman

    Abstract: The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clocks or imprecision in testing guards. A symbolic algorithm for the analysis of the robustness of timed automata has been implemented. In this paper, we re-analyse an industrial case lip synchronization protocol using t… ▽ More

    Submitted 1 March, 2010; originally announced March 2010.

    Journal ref: EPTCS 20, 2010, pp. 49-62