Browsing Ponencias 2015 by Title
Now showing items 8-10 of 10
-
Reversing uncertainty sampling to improve active learning schemes
(2015)Active learning provides promising methods to optimize the cost of manually annotating a dataset. However, practitioners in many areas do not massively resort to such methods because they present technical difficulties and ... -
Rooted branching bisimulation as a congruence for probabilistic transition systems
(2015)We propose a probabilistic transition system specification format, referred to as probabilistic RBB safe, for which rooted branching bisimulation is a congruence. The congruence theorem is based on the approach of Fokkink ... -
Sustainable chemotherapy schedules
(2015)We used a discrete time version of viabilitytheory in order to study the sustainable therapies againstthe cancer. We assume that the tumor is composed of twosubpopulations, one resistant and the another sensitive. Weconsider ...