BACKGROUND Desflurane is known to produce high concentrations of carbon monoxide (CO) in desiccated sodalime or Baralyme (Allied Healthcare Products, St. Louis, MO). Desiccated absorbents without strong bases like potassium hydroxide or sodium hydroxide are reported to produce less or no CO at all. The purpose of this study is to compare the concentration of CO in an anesthesia circuit for desf...

An adaptive k-out-of-N Priced Oblivious Transfer (POT) scheme is a two-party protocol between a vendor and a buyer. The vendor sells a set of messages m1, . . . ,mN with prices p1, . . . , pN . In each transfer phase i = 1, . . . , k, the buyer chooses a selection value σi ∈ {1, . . . ,N } and interacts with the vendor to buy message mσi in such a way that the vendor does not learn σi and the b...

Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. The problem of synthesizing an optimal winning strategy for a priced timed game under some hypotheses has been shown decidable in [6]. In this paper, we present an algorithm for computing the optimal cost and for synthesizing an optimal strategy in case there exists one. We also describe the ...