The notion of extended nested dual system groups (ENDSG) was recently proposed by Hofheinz et al. [PKC 2015] for constructing almost-tight identity based encryptions (IBE) in the multi-instance, multi-ciphertext (MIMC) setting. However only a composite-order instantiation was proposed and more efficient prime-order instantiations are absent. The paper fills the blank by presenting two construct...

Pure nested-parallelism programming models are appealing due to their ease of programming and good analysis and debugging properties. Although their simple synchronization structure is appropriate to represent abstract parallel algorithms, it does not take into account many implementation issues. In this work we present key features of the evolution of a programming system based on high-level, ...

Several methods for the detection of Borna disease virus (BDV) RNA have been reported, one being the reverse transcription-nested polymerase chain reaction (RT-nested PCR) method. However, due to the possibility of contamination of the cloned DNA in a reaction tube, false-positive results might be obtained by RT-nested PCR. To detect only BDV RNA without anxiety of contamination, we developed a...

We develop a method to obtain an optimal solution for a constrained distribution system with several items and multi-retailers. The objective is to determine the procurement frequency as well as the joint shipment interval for each retailer in order to minimize the total costs. The proposed method is applicable to both nested and non-nested policies and ends up with an optimal solution. To solv...

In this paper, we address a speci"c topic within the context of nested transaction implementation, namely, the assignment of identi"ers to transactions. We discuss the most important information such identi"ers should carry. We do this based on an analysis of the main requirements the components of a general transaction processing system pose on the identi"ers. Thereafter, we present some schem...

Hydraulic brakes in automobiles play a vital role for the safety on the road; therefore vital components in the brake system should be monitored through condition monitoring techniques. Condition monitoring of brake components can be carried out by using the vibration characteristics. The vibration signals for the different fault conditions of the brake were acquired from the fabricated hydraul...

I discuss the prospects for a fixed target physics program at the AGS in the RHIC era.

We use the recently proposed Nested Stochastic Simulation Algorithm (Nested SSA) to simulate the cell cycle model for budding yeast. The results show that Nested SSA is able to significantly reduce the computational cost while capturing the essential dynamical features of the system. AMS subject classifications: 65C05, 60G17, 74A25, 92C42