In this paper, we extend our previous work on Resourced ASP, or for short RASP, where we have introduced the possibility of defining and using resources in ASP. In RASP, one can define resources with their amounts, where available resources can be used for producing other resources and the remaining amount, if any, can be used in a different way. In this paper, we introduce P-RASP (RASP with Pr...

In decision making regarding optimal resource allocation to safeguard public health, policymakers and healthcare providers rely on the availability and reliability of data about the relative costs and benefits of competing treatment options. One such an approach is based on cost effectiveness analysis (CEA) which is intended to be used as a combined metric of both the costs and health outcomes ...

In a large data warehouse, thousands of jobs run during each cycle in dozens of subject areas. Many of the data warehouse tables are quite large and they need to be refreshed at the right time, several times a day, to support strategic business decisions. To enable cycles to run more frequently and keep the data warehouse environment stable the database system’s resource utilization must be opt...

Today, prepaid cards are used in dozens of payment applications. To examine the most recent developments, the Payment Cards Center of the Federal Reserve Bank of Philadelphia hosted a workshop on August 22, 2011. Leading the workshop was Tim Walsh, president and chief executive officer of Ready Credit Corporation, a firm that developed network-branded prepaid cards for use in transit-fare syste...

The optimal detection procedure for detecting changes in independent and identically distributed (i.i.d.) sequences in a Bayesian setting was derived by Shiryaev in the 1960s. However, the analysis of the performance of this procedure in terms of the average detection delay and false alarm probability has been an open problem. In this paper, we develop a general asymptotic change-point detectio...

Stored-Value Cards (SVCs) are a kind of smartcards that can be used to store monetary values. SVCs have demonstrated a wide range of applications in commerce. SVCs are in general tamper-resistant, but they are very computationally weak and their security mechanisms are also weak against side-channel attacks. In this paper, we propose an efficient and secure stored-value card system. With the he...

This paper investigates complementarities between corruption and collusion in procurement of large divisible contracts. A first price multiple object auction procedure is administered by an agent who has some legal discretion to allow for a readjustment of (all) submitted offers before the official opening. The agent may be corrupt i.e. willing to ‘sell’ his decision in exchange for a bribe. Ou...

Object-oriented programming (OOP) is the most successful paradigm used in programming environments. Some difficulties arise when it is necessary to deal with data stored in a relational database because relational databases do not provide an object-oriented interface to their entities. The most common solution consists in developing a specific interface that guarantees some specific requirement...