System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rulesmix and nullary mix extend the deductive system, the operator seq extends the language of MLL. Due to the operator seq, system BV extends the applications of MLL to those where sequential composition is crucial, e.g., concu...

Most algorithms for solving vehicle routing problems use the criterion of minimizing total travel time in forming their routes. As illustrated in the paper, even in the case of a homogeneous fleet, solutions using other criteria may be preferred to the solution generated by minimizing total travel time. This situation becomes more pronounced when considering a vehicle routing problem where the ...

Wireless network coding has been shown to reduce the number of transmissions by exploiting the broadcast nature of the wireless medium. Multiple packets may be encoded into a single packet when their respective next hops have enough information to decode them. Previous research has shown that packets belonging to different flows may be encoded (interflow coding) when they are passing through a ...

The Jakobsson hybrid Mix-net proposed by Jakobsson and Juels, is a very practical and efficient scheme for long input messages. But this hybrid Mix-net does not have public verifiable property. In this paper a new attack to the Jakobsson hybrid Mix-net is introduced. This attack breaks the robustness of the hybrid Mix-net scheme, given that the corrupted first mix server and one of the senders ...

In this paper we address the decision of choosing a patient mix for a hospital that leads to the most beneficial treatment case mix. We illustrate how capacity, case mix and patient mix decisions are interrelated and how understanding this complex relationship is crucial for achieving the maximum benefit from the fee-for-service financing system. Although studies to determine the case mix that ...

System NEL is a conservative extension of multiplicative exponential linear logic (extended by the rules mix and nullary mix) by a self-dual noncommutative connective called seq which has an intermediate position between the connectives par and times. In this paper, I will show that system NEL is undecidable by encoding two counter machines into NEL. Although the encoding is simple, the proof o...

. Aggregate planning models as linear program (LP) are formulated in this paper. The uses of models for various examples of production outsourcing and planning the optimal Product Mix are demonstrated. The results of analyzes for different situations are given. The models to solve the problem of optimal Product Mix development, conditions determination under which outsourcing is profitable for ...

In this paper we address the decision of choosing a patient mix for a hospital that leads to the most beneficial treatment case mix. We illustrate how capacity, case mix and patient mix decisions are interrelated and how understanding this complex relationship is crucial for achieving the maximum benefit from the fee-for-service financing system. Although studies to determine the case mix that ...