Developments in quantum information processing by nuclear magnetic resonance: Use of quadrupolar and dipolar couplings

Use of dipolar and quadrupolar couplings for quantum information processing (QIP) by nuclear magnetic resonance (NMR) is described. In these cases, instead of the individual spins being qubits, the 2(n) energy levels of the spin-system can be treated as an n-qubit system. It is demonstrated that QIP in such systems can be carried out using transition-selective pulses, in (CHCN)-C-3, (CH3CN)-C-13, Li-7 (I = 3/2) and Cs-133 (I = 7/2), oriented in liquid crystals yielding 2 and 3 qubit systems. Creation of pseudopure states, implementation of logic gates and arithmetic operations (half-adder and subtractor) have been carried out in these systems using transition-selective pulses.

On the Decidability of Model-Checking Information Flow Properties

Current standard security practices do not provide substantial assurance about information flow security: the end-to-end behavior of a computing system. Noninterference is the basic semantical condition used to account for information flow security. In the literature, there are many definitions of noninterference: Non-inference, Separability and so on. Mantel presented a framework of Basic Security Predicates (BSPs) for characterizing the definitions of noninterference in the literature. Model-checking these BSPs for finite state systems was shown to be decidable in [8]. In this paper, we show that verifying these BSPs for the more expressive system model of pushdown systems is undecidable. We also give an example of a simple security property which is undecidable even for finite-state systems: the property is a weak form of non-inference called WNI, which is not expressible in Mantel’s BSP framework.

Switching and fault transient analysis of 765 kV transmission systems

The analysis of electromagnetic transients arising in EHV/UHV power networks gives necessary information about the possible stresses on the different network components, which will determine their proper design, limits of operation as well as their pertinent protection strategies. This paper describes the transient analysis of 765 kV EHV transmission system which is a typical expansion in Indian power grid system. Considering various conditions, switching transient and fault transient studies are carried out. A FORTRAN version of EMTP is developed, to study a practical example, then a comparison with the results available in the literature is made.

Runtime dependence computation and execution of loops on heterogeneous systems

GPUs have been used for parallel execution of DOALL loops. However, loops with indirect array references can potentially cause cross iteration dependences which are hard to detect using existing compilation techniques. Applications with such loops cannot easily use the GPU and hence do not benefit from the tremendous compute capabilities of GPUs. In this paper, we present an algorithm to compute at runtime the cross iteration dependences in such loops. The algorithm uses both the CPU and the GPU to compute the dependences. Specifically, it effectively uses the compute capabilities of the GPU to quickly collect the memory accesses performed by the iterations by executing the slice functions generated for the indirect array accesses. Using the dependence information, the loop iterations are levelized such that each level contains independent iterations which can be executed in parallel. Another interesting aspect of the proposed solution is that it pipelines the dependence computation of the future level with the actual computation of the current level to effectively utilize the resources available in the GPU. We use NVIDIA Tesla C2070 to evaluate our implementation using benchmarks from Polybench suite and some synthetic benchmarks. Our experiments show that the proposed technique can achieve an average speedup of 6.4x on loops with a reasonable number of cross iteration dependences.

How to run a campaign: Optimal control of SIS and SIR information epidemics

Information spreading in a population can be modeled as an epidemic. Campaigners (e.g., election campaign managers, companies marketing products or movies) are interested in spreading a message by a given deadline, using limited resources. In this paper, we formulate the above situation as an optimal control problem and the solution (using Pontryagin's Maximum Principle) prescribes an optimal resource allocation over the time of the campaign. We consider two different scenarios-in the first, the campaigner can adjust a direct control (over time) which allows her to recruit individuals from the population (at some cost) to act as spreaders for the Susceptible-Infected-Susceptible (SIS) epidemic model. In the second case, we allow the campaigner to adjust the effective spreading rate by incentivizing the infected in the Susceptible-Infected-Recovered (SIR) model, in addition to the direct recruitment. We consider time varying information spreading rate in our formulation to model the changing interest level of individuals in the campaign, as the deadline is reached. In both the cases, we show the existence of a solution and its uniqueness for sufficiently small campaign deadlines. For the fixed spreading rate, we show the effectiveness of the optimal control strategy against the constant control strategy, a heuristic control strategy and no control. We show the sensitivity of the optimal control to the spreading rate profile when it is time varying. (C) 2014 Elsevier Inc. All rights reserved.

Quota and Licensing Systems in the VIII Division European Anchovy

Paper presented at 12th Annual Conference of EAERE 2003 Bilbao (Spain)

The status of shark and ray fishery resources in the Gulf of California: applied research to improve management and conservation

Seasonal surveys were conducted during 1998–1999 in Baja California, Baja California Sur, Sonora, and Sinaloa to determine the extent and activities of artisanal elasmobranch fisheries in the Gulf of California. One hundred and forty–seven fishing sites, or camps, were documented, the majority of which (n = 83) were located in Baja California Sur. Among camps with adequate fisheries information, the great majority (85.7%) targeted elasmobranchs during some part of the year. Most small, demersal sharks and rays were landed in mixed species fisheries that also targeted demersal teleosts, but large sharks were usually targeted in directed drift gillnet or, to a lesser extent, surface longline fisheries. Artisanal fishermen were highly opportunistic, and temporally switched targets depending on the local productivity of teleost, invertebrate, and elasmobranch fishery resources. Major fisheries for small sharks (< 1.5 m, “cazón”) were documented in Baja California during spring, in Sonora during autumn–spring, and in Sinaloa during winter and spring. Triakid sharks (Mustelus spp.) dominated cazón landings in the northern states, whereas juvenile scalloped hammerheads (Sphyrna lewini) primarily supported the fishery in Sinaloa. Large sharks (> 1.5 m, “tiburón”) were minor components of artisanal elasmobranch fisheries in Sonora and Sinaloa, but were commonly targeted during summer and early autumn in Baja California and Baja California Sur. The pelagic thresher shark (Alopias pelagicus) and silky shark (Carcharhinus falciformis) were most commonly landed in Baja California, whereas a diverse assemblage of pelagic and large coastal sharks was noted among Baja California Sur landings. Rays dominated summer landings in Baja California and Sinaloa, when elevated catch rates of the shovelnose guitarfish (Rhinobatos productus, 13.2 individuals/vessel/trip) and golden cownose ray (Rhinoptera steindachneri, 11.1 individuals/vesse/trip) primarily supported the respective fisheries. The Sonoran artisanal elasmobranch fishery was the most expansive recorded during this study, and rays (especially R. productus) dominated spring and summer landings in this state. Seasonal catch rates of small demersal sharks and rays were considerably greater in Sonora than in other surveyed states. Many tiburón populations (e.g., C. leucas, C. limbatus, C. obscurus, Galeocerdo cuvier) have likely been overfished, possibly shifting effort towards coastal populations of cazón and rays. Management recommendations, including conducting demographic analyses using available life history data, determining and protecting nursery areas, and enacting seasonal closures in areas of elasmobranch aggregation (e.g., reproduction, feeding), are proposed. Without effective, enforceable management to sustain or rebuild targeted elasmobranch populations in the Gulf of California, collapse of many fisheries is a likely outcome. (PDF contains 243 pages)