Failure of interpolation in the intuitionistic logic of constant domains

This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that the interpolation property holds.Comment: 13 pages, 0 figures. Overlaps with arXiv 1202.1195 removed, the text thouroughly reworked in terms of notation and style, historical notes as well as some other minor details adde

Blurry-ORAM: A Multi-Client Oblivious Storage Architecture

Since the development of tree-based Oblivious RAM by Shi et al. (Asiacrypt \u2711) it has become apparent that privacy preserving outsourced storage can be practical. Although most current constructions follow a client-server model, in many applications it is desirable to share data between different clients, in a way that hides the access patterns, not only from the server, but also between the clients. In this work, we introduce Blurry-ORAM, an extension of Path-ORAM that allows for oblivious sharing of data in the multi-client setting, so that accesses can be hidden from the server and other clients. Our construction follows the design of Path-ORAM as closely as possible in order to benefit from its performance as well as security. We prove our construction secure in a setting where the clients are semi-honest, do not trust each other but try to learn the access patterns of each other

Private Stateful Information Retrieval

Private information retrieval (PIR) is a fundamental tool for preserving query privacy when accessing outsourced data. All previous PIR constructions have significant costs preventing widespread use. In this work, we present private stateful information retrieval (PSIR), an extension of PIR, allowing clients to be stateful and maintain information between multiple queries. Our design of the PSIR primitive maintains three important properties of PIR: multiple clients may simultaneously query without complex concurrency primitives, query privacy should be maintained if the server colludes with other clients, and new clients should be able to enroll into the system by exclusively interacting with the server. We present a PSIR framework that reduces an online query to performing one single-server PIR on a sub-linear number of database records. All other operations beyond the single-server PIR consist of cryptographic hashes or plaintext operations. In practice, the dominating costs of resources occur due to the public-key operations involved with PIR. By reducing the input database to PIR, we are able to limit expensive computation and avoid transmitting large ciphertexts. We show that various instantiations of PSIR reduce server CPU by up to 10x and online network costs by up to 10x over the previous best PIR construction

Clinical profile and treatment of infantile spasms using vigabatrin and ACTH - a developing country perspective

Background: Infantile spasms represent a serious epileptic syndrome that occurs in the early infantile age. ACTH and Vigabatrin are actively investigated drugs in its treatment. This study describes the comparison of their efficacy in a large series of Patients with infantile spasms from Pakistan. Methods: All Patients with infantile spasms who presented to Aga Khan University Hospital, Karachi, Pakistan from January, 2006 to April, 2008 were included in this study. Inclusion criteria were clinical symptoms of infantile spasms, hypsarrythmia or modified hyparrythmia on electroencephalography, at least six months of follow-up period and receipt of any of the two drugs mentioned above. The type of drug distribution was random according to the availability, cost and ease of administration. Results: Fifty six cases fulfilled the inclusion criteria. 62.5% were males. Mean age at onset of seizures was 5 +/- 1.4 months. Fifty two (92.8%) Patients demonstrated hypsarrythmia on electroencephalography. 64.3% cases were identified as symptomatic while 19.6% were cryptogenic and 16.1% were idiopathic. Eighteen Patients received ACTH while 38 Patients received Vigabatrin as first line therapy. Initial response to first line therapy was similar (50% for ACTH and 55.3% for Vigabatrin). Overall, the symptomatic and idiopathic groups responded better to Vigabatrin. The relapse rate was higher for ACTH as compared to Vigabatrin (55.5% vs. 33.3%) when considering the first line therapy. Four Patients evolved to Lennox-Gastaut variant, all of these Patients had initially received Vigabatrin and then ACTH. Conclusion: Vigabatrin and ACTH showed no significant difference in the initial treatment of infantile spasms. However, Patients receiving ACTH were 1.2 times more likely to relapse as compared to the Patients receiving Vigabatrin when considering monotherapy. We suggest that Vigabatrin should be the initial drug of choice in Patients presenting with infantile spasms. However, larger studies from developing countries are required to validate the therapeutic trends observed in this study

Measurement of inclusive π0\pi^{0} production in hadronic Z0Z^{0} decays

An analysis is presented of inclusive \pi^0 production in Z^0 decays measured with the DELPHI detector. At low energies, \pi^0 decays are reconstructed by \linebreak using pairs of converted photons and combinations of converted photons and photons reconstructed in the barrel electromagnetic calorimeter (HPC). At high energies (up to x_p = 2 \cdot p_{\pi}/\sqrt{s} = 0.75) the excellent granularity of the HPC is exploited to search for two-photon substructures in single showers. The inclusive differential cross section is measured as a function of energy for {q\overline q} and {b \bar b} events. The number of \pi^0's per hadronic Z^0 event is N(\pi^0)/ Z_{had}^0 = 9.2 \pm 0.2 \mbox{(stat)} \pm 1.0 \mbox{(syst)} and for {b \bar b}~events the number of \pi^0's is {\mathrm N(\pi^0)/ b \overline b} = 10.1 \pm 0.4 \mbox{(stat)} \pm 1.1 \mbox{(syst)} . The ratio of the number of \pi^0's in b \overline b events to hadronic Z^0 events is less affected by the systematic errors and is found to be 1.09 \pm 0.05 \pm 0.01. The measured \pi^0 cross sections are compared with the predictions of different parton shower models. For hadronic events, the peak position in the \mathrm \xi_p = \ln(1/x_p) distribution is \xi_p^{\star} = 3.90^{+0.24}_{-0.14}. The average number of \pi^0's from the decay of primary \mathrm B hadrons is found to be {\mathrm N} (B \rightarrow \pi^0 \, X)/\mbox{B hadron} = 2.78 \pm 0.15 \mbox{(stat)} \pm 0.60 \mbox{(syst)}

Measurement of the Bd0^{0}_{d} oscillation frequency using kaons, leptons and jet charge

A measurement of the mass difference, \Delta m_d, between the two physical \mbox{B}^0_d states has been obtained from the analysis of the impact parameter distribution of a lepton emitted at large transverse momentum (p_t) relative to the jet axis and from the analysis of the flight distance distribution of secondary vertices tagged by either a high p_t lepton or an identified kaon. In the opposite hemisphere of the event, the charge of the initial quark has been evaluated using a high p_t lepton, a charged kaon or the mean jet charge. With 1.7 million hadronic Z^0 decays recorded by DELPHI between 1991 and 1993, \Delta m_d is found to be: \Delta m_d = 0.531^{+0.050}_{-0.046} ~(stat.) \pm 0.078 ~(syst.) ~ {\mathrm{ps}}^{-1} \,

Search for Neutral Heavy Leptons Produced in Z Decays

Weak isosinglet Neutral Heavy Leptons ($\nu_m$) have been searched for using data collected by the DELPHI detector corresponding to $3.3\times 10^{6}$ hadronic~Z$^{0}$ decays at LEP1. Four separate searches have been performed, for short-lived $\nu_m$ production giving monojet or acollinear jet topologies, and for long-lived $\nu_m$ giving detectable secondary vertices or calorimeter clusters. No indication of the existence of these particles has been found, leading to an upper limit for the branching ratio $BR($Z$^0\rightarrow \nu_m \overline{\nu})$ of about $1.3\times10^{-6}$ at 95\% confidence level for $\nu_m$ masses between 3.5 and 50 GeV/$c^2$. Outside this range the limit weakens rapidly with the $\nu_m$ mass. %Special emphasis has been given to the search for monojet--like topologies. One event %has passed the selection, in agreement with the expectation from the reaction: %$e^+e^- \rightarrow\ell \bar\ell \nu\bar\nu$. The results are also interpreted in terms of limits for the single production of excited neutrinos

Energy dependence of the differences between the quark and gluon jet fragmentation

Three jet events arising from decays of the Z boson, collected by the DELPHI detector, were used to measure differences in quark and gluon fragmentation. Gluon jets were anti-tagged by identifying b quark jets. Unbiased quark jets came from events with two jets plus one photon. Quark and gluon jet properties in different energy ranges were compared for the first time within the same detector. Quark and gluon jets of nearly the same energy in symmetric three jet event topologies were also compared. Using three independent methods, the average value of the ratio of the mean charged multiplicities of gluon and quark jets is $$=1.241\pm 0.015\ (stat.) \pm 0.025\ (syst.).$$ Gluon jets are broader and produce fragments with a softer energy spectrum than quark jets of equivalent energy. The string effect has been observed in fully symmetric three jet events. The measured ratio R_{\gamma} of the charged particle flow in the q\overline{q} inter-jet region of the q\bar{q}g and q\bar{q}\gamma samples agrees with the perturbative QCD expectation. The dependence of the mean charged multiplicity on the hadronic center-of-mass energy was analysed in photon plus n-jet events. The value for \alpha_s(M_Z) determined from these data using a QCD prediction with corrections at leading and next-to-leading order is \[ \alpha_s(M_Z)=0.116 \pm 0.003\ (stat.) \pm 0.009\ (syst.). \