Background The affordability and financing of new, frequently high-cost, medicines pose challenges to governments world-wide. In Europe, the continual introduction of new premium-priced medicines is of special concern and requires adapted policy options. The aim of the study was to survey whether and which pricing and reimbursement policy options European countries have implemented for new prem...

This deliverable describes the results of the QUASIMODO project on modelling quantitative system aspects. Keyword list: AADL, Arcade, architectural dependability evaluation, cost-bounded reachability, priced priced/weighted timed automata, probabilistic timed automata, probabilistic timed automata, probabilistic hybrid systems. ICT-FP7-STREP-214755 / QUASIMODO Page 2 of 12 Public

In this paper, we consider priced (or weighted) timed automata, and prove various decidability results when the automaton has only one clock: we prove that model checking of WCTL is decidable and that optimal costs in priced timed games are computable. In contrast, it has recently been proved that these problems are undecidable for this model as soon as the system has three clocks.

The Cosmetic Ingredient Review (CIR) Expert Panel (Panel) reviewed the safety of 6 simple carbonate salts which function as absorbents, bulking agents, opacifying agents, pH adjusters, buffering agents, abrasives, and oral care agents in cosmetic products. The Panel reviewed relevant data relating to the safety of these ingredients, and concluded that the simple carbonate salts are safe in the ...

Carbon monoxide can be formed when volatile anaesthetic agents such as desflurane and sevoflurane are used with anaesthetic breathing systems containing carbon dioxide absorbents. This review describes the possible chemical processes involved and summarises the experimental and clinical evidence for the generation of carbon monoxide. We emphasise the different conditions that were used in the e...

Priced oblivious transfer (POT) is a two-party protocol between a vendor and a buyer in which the buyer purchases digital goods without the vendor learning what is bought. Although privacy properties are guaranteed, current schemes do not offer fair exchange. A malicious vendor can, e.g., prevent the buyer from retrieving the goods after receiving the payment, and a malicious buyer can also acc...

To improve the impedance matching condition and broaden effective absorbing bandwidth, a series of cylindrical periodic structured gypsum composites with different kinds carbonaceous materials as absorbents were fabricated by two-step molding process. The influences mass fraction helical carbon fiber (HCF), nanotube (CNT), graphene (GE) on morphology, permittivity, resistivity, electromagnetic ...

introduction the occurrence of mycotoxins in foods and feeds is a problem of major concern in all over the world. profitability of poultry production can be greatly affected due to the frequency of feed contamination and the detrimental effects of these toxins on the performance. aflatoxins, a group of closely related and biologically active mycotoxins, are produced by strains of aspergillus fl...