We define a continuation-passing style (CPS) translation for typed ?-calculus with probabilistic choice, unbounded recursion, and tick operator — modeling cost. The target language is (non-probabilistic) ?-calculus, enriched type of extended positive reals fixpoint operator. then show that applying the CPS transform an expression M to continuation ? v . 0 yields expected cost also introduce for...

The purpose of this problem is to choose a set of project activities for crashing, in a way that the expected project time, cost and risk are minimized and the expected quality is maximized. In this problem, each project activity can be performed with a specific executive mode. Each executive mode is characterized with four measures, namely the expected time, cost, quality and risk. In this pap...

A branch-and-bound algorithm is devised to determine the optimal attack strategy to disconnect a network where the objective is to minimize the expected attacking cost. The attacker cannot launch an attack if its cost is beyond his available budget or its probability of success falls below a threshold level. The proposed branch-andbound algorithm includes, among other features, a dynamic progra...

The purpose of this study was to examine the expected returns of Carhart model compared to the capital asset pricing model and the implicit capital cost model based on cash and capital returns of growth and value stocks. The statistical population consisted of the companies listed in Tehran Stock Exchange and the time domain is between 2007 and 2016. By choosing Cochran sampling, 126 companies ...

In this paper, we present the first fully-automated expected amortised cost analysis of self-adjusting data structures, that is, randomised splay trees, heaps and meldable heaps, which so far have only (semi-) manually been analysed in literature. Our is stated as a type-and-effect system for first-order functional programming language with support sampling over discrete distributions, non-dete...