1,280 research outputs found

    A bizarre foreign body in the appendix: A case report

    Get PDF
    Foreign bodies are rare causes of appendicitis and, in most cases, ingested foreign bodies pass through the alimentary tract asymptomatically. However, ingested foreign bodies may sometimes remain silent within the appendix for many years without an inflammatory response. Despite the fact that cases of foreign-body-induced appendicitis have been documented, sharp and pointed objects are more likely to cause perforations and abscesses, and present more rapidly after ingestion. Various materials, such as needles and drill bits, as well as organic matter, such as seeds, have been implicated as causes of acute appendicitis. Clinical presentation can vary from hours to years. Blunt foreign bodies are more likely to remain dormant for longer periods and cause appendicitis through obstruction of the appendiceal lumen. We herein describe a patient presenting with a foreign body in his appendix which had been swallowed 15 years previously. The contrast between the large size of the foreign body, the long clinical history without symptoms and the total absence of any histological inflammation was notable. We suggest that an elective laparoscopic appendectomy should be offered to such patients as a possible management optio

    The Quantum Reverse Shannon Theorem based on One-Shot Information Theory

    Full text link
    The Quantum Reverse Shannon Theorem states that any quantum channel can be simulated by an unlimited amount of shared entanglement and an amount of classical communication equal to the channel's entanglement assisted classical capacity. In this paper, we provide a new proof of this theorem, which has previously been proved by Bennett, Devetak, Harrow, Shor, and Winter. Our proof has a clear structure being based on two recent information-theoretic results: one-shot Quantum State Merging and the Post-Selection Technique for quantum channels.Comment: 30 pages, 4 figures, published versio

    A Fully Abstract Symbolic Semantics for Psi-Calculi

    Full text link
    We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their names can be statically scoped using the standard pi-calculus mechanism to allow for scope migrations. Psi-calculi can be more general than other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, or the concurrent constraint pi-calculus. Symbolic semantics are necessary for an efficient implementation of the calculus in automated tools exploring state spaces, and the full abstraction property means the semantics of a process does not change from the original

    Predicting global usages of resources endowed with local policies

    Full text link
    The effective usages of computational resources are a primary concern of up-to-date distributed applications. In this paper, we present a methodology to reason about resource usages (acquisition, release, revision, ...), and therefore the proposed approach enables to predict bad usages of resources. Keeping in mind the interplay between local and global information occurring in the application-resource interactions, we model resources as entities with local policies and global properties governing the overall interactions. Formally, our model takes the shape of an extension of pi-calculus with primitives to manage resources. We develop a Control Flow Analysis computing a static approximation of process behaviour and therefore of the resource usages.Comment: In Proceedings FOCLASA 2011, arXiv:1107.584

    Private quantum decoupling and secure disposal of information

    Full text link
    Given a bipartite system, correlations between its subsystems can be understood as information that each one carries about the other. In order to give a model-independent description of secure information disposal, we propose the paradigm of private quantum decoupling, corresponding to locally reducing correlations in a given bipartite quantum state without transferring them to the environment. In this framework, the concept of private local randomness naturally arises as a resource, and total correlations get divided into eliminable and ineliminable ones. We prove upper and lower bounds on the amount of ineliminable correlations present in an arbitrary bipartite state, and show that, in tripartite pure states, ineliminable correlations satisfy a monogamy constraint, making apparent their quantum nature. A relation with entanglement theory is provided by showing that ineliminable correlations constitute an entanglement parameter. In the limit of infinitely many copies of the initial state provided, we compute the regularized ineliminable correlations to be measured by the coherent information, which is thus equipped with a new operational interpretation. In particular, our results imply that two subsystems can be privately decoupled if their joint state is separable.Comment: Child of 0807.3594 v2: minor changes v3: presentation improved, one figure added v4: extended version with a lot of discussions and examples v5: published versio

    Orchestrating Tuple-based Languages

    Get PDF
    The World Wide Web can be thought of as a global computing architecture supporting the deployment of distributed networked applications. Currently, such applications can be programmed by resorting mainly to two distinct paradigms: one devised for orchestrating distributed services, and the other designed for coordinating distributed (possibly mobile) agents. In this paper, the issue of designing a pro- gramming language aiming at reconciling orchestration and coordination is investigated. Taking as starting point the orchestration calculus Orc and the tuple-based coordination language Klaim, a new formalism is introduced combining concepts and primitives of the original calculi. To demonstrate feasibility and effectiveness of the proposed approach, a prototype implementation of the new formalism is described and it is then used to tackle a case study dealing with a simplified but realistic electronic marketplace, where a number of on-line stores allow client applications to access information about their goods and to place orders

    Why should we care about quantum discord?

    Full text link
    Entanglement is a central feature of quantum theory. Mathematical properties and physical applications of pure state entanglement make it a template to study quantum correlations. However, an extension of entanglement measures to mixed states in terms of separability does not always correspond to all the operational aspects. Quantum discord measures allow an alternative way to extend the idea of quantum correlations to mixed states. In many cases these extensions are motivated by physical scenarios and quantum information protocols. In this chapter we discuss several settings involving correlated quantum systems, ranging from distributed gates to detectors testing quantum fields. In each setting we show how entanglement fails to capture the relevant features of the correlated system, and discuss the role of discord as a possible alternative.Comment: Written for "Lectures on general quantum correlations and their applications

    Computing prime factors with a Josephson phase qubit quantum processor

    Full text link
    A quantum processor (QuP) can be used to exploit quantum mechanics to find the prime factors of composite numbers[1]. Compiled versions of Shor's algorithm have been demonstrated on ensemble quantum systems[2] and photonic systems[3-5], however this has yet to be shown using solid state quantum bits (qubits). Two advantages of superconducting qubit architectures are the use of conventional microfabrication techniques, which allow straightforward scaling to large numbers of qubits, and a toolkit of circuit elements that can be used to engineer a variety of qubit types and interactions[6, 7]. Using a number of recent qubit control and hardware advances [7-13], here we demonstrate a nine-quantum-element solid-state QuP and show three experiments to highlight its capabilities. We begin by characterizing the device with spectroscopy. Next, we produces coherent interactions between five qubits and verify bi- and tripartite entanglement via quantum state tomography (QST) [8, 12, 14, 15]. In the final experiment, we run a three-qubit compiled version of Shor's algorithm to factor the number 15, and successfully find the prime factors 48% of the time. Improvements in the superconducting qubit coherence times and more complex circuits should provide the resources necessary to factor larger composite numbers and run more intricate quantum algorithms.Comment: 5 pages, 3 figure

    Nightly treatment of primary insomnia with prolonged release melatonin for 6 months: a randomized placebo controlled trial on age and endogenous melatonin as predictors of efficacy and safety

    Get PDF
    <p>Background: Melatonin is extensively used in the USA in a non-regulated manner for sleep disorders. Prolonged release melatonin (PRM) is licensed in Europe and other countries for the short term treatment of primary insomnia in patients aged 55 years and over. However, a clear definition of the target patient population and well-controlled studies of long-term efficacy and safety are lacking. It is known that melatonin production declines with age. Some young insomnia patients also may have low melatonin levels. The study investigated whether older age or low melatonin excretion is a better predictor of response to PRM, whether the efficacy observed in short-term studies is sustained during continued treatment and the long term safety of such treatment.</p> <p>Methods: Adult outpatients (791, aged 18-80 years) with primary insomnia, were treated with placebo (2 weeks) and then randomized, double-blind to 3 weeks with PRM or placebo nightly. PRM patients continued whereas placebo completers were re-randomized 1:1 to PRM or placebo for 26 weeks with 2 weeks of single-blind placebo run-out. Main outcome measures were sleep latency derived from a sleep diary, Pittsburgh Sleep Quality Index (PSQI), Quality of Life (World Health Organzaton-5) Clinical Global Impression of Improvement (CGI-I) and adverse effects and vital signs recorded at each visit.</p> <p>Results: On the primary efficacy variable, sleep latency, the effects of PRM (3 weeks) in patients with low endogenous melatonin (6-sulphatoxymelatonin [6-SMT] ≤8 μg/night) regardless of age did not differ from the placebo, whereas PRM significantly reduced sleep latency compared to the placebo in elderly patients regardless of melatonin levels (-19.1 versus -1.7 min; P = 0.002). The effects on sleep latency and additional sleep and daytime parameters that improved with PRM were maintained or enhanced over the 6-month period with no signs of tolerance. Most adverse events were mild in severity with no clinically relevant differences between PRM and placebo for any safety outcome.</p> <p>Conclusions: The results demonstrate short- and long-term efficacy and safety of PRM in elderly insomnia patients. Low melatonin production regardless of age is not useful in predicting responses to melatonin therapy in insomnia. The age cut-off for response warrants further investigation.</p&gt

    Highlights from the Pierre Auger Observatory

    Full text link
    The Pierre Auger Observatory is the world's largest cosmic ray observatory. Our current exposure reaches nearly 40,000 km2^2 str and provides us with an unprecedented quality data set. The performance and stability of the detectors and their enhancements are described. Data analyses have led to a number of major breakthroughs. Among these we discuss the energy spectrum and the searches for large-scale anisotropies. We present analyses of our Xmax_{max} data and show how it can be interpreted in terms of mass composition. We also describe some new analyses that extract mass sensitive parameters from the 100% duty cycle SD data. A coherent interpretation of all these recent results opens new directions. The consequences regarding the cosmic ray composition and the properties of UHECR sources are briefly discussed.Comment: 9 pages, 12 figures, talk given at the 33rd International Cosmic Ray Conference, Rio de Janeiro 201
    corecore