Cast-as-Intended Mechanism with Return Codes Based on PETs

We propose a method providing cast-as-intended verifiability for remote electronic voting. The method is based on plaintext equivalence tests (PETs), used to match the cast ballots against the pre-generated encrypted code tables. Our solution provides an attractive balance of security and functional properties. It is based on well-known cryptographic building blocks and relies on standard cryptographic assumptions, which allows for relatively simple security analysis. Our scheme is designed with a built-in fine-grained distributed trust mechanism based on threshold decryption. It, finally, imposes only very little additional computational burden on the voting platform, which is especially important when voters use devices of restricted computational power such as mobile phones. At the same time, the computational cost on the server side is very reasonable and scales well with the increasing ballot size

First Demonstration of a Pixelated Charge Readout for Single-Phase Liquid Argon Time Projection Chambers

Liquid Argon Time Projection Chambers (LArTPCs) have been selected for the future long-baseline Deep Underground Neutrino Experiment (DUNE). To allow LArTPCs to operate in the high-multiplicity near detector environment of DUNE, a new charge readout technology is required. Traditional charge readout technologies introduce intrinsic ambiguities, combined with a slow detector response, these ambiguities have limited the performance of LArTPCs, until now. Here, we present a novel pixelated charge readout that enables the full 3D tracking capabilities of LArTPCs. We characterise the signal to noise ratio of charge readout chain, to be about 14, and demonstrate track reconstruction on 3D space points produced by the pixel readout. This pixelated charge readout makes LArTPCs a viable option for the DUNE near detector complex.Comment: 13 pages, 9 figure

Power tests of a string of magnets comprising a full cell of the Superconducting Super Collider

In this paper we describe the operation and testing of a string of magnets comprising a full cell of the Superconducting Super Collider (SSC). The full cell configuration composed of ten dipoles, two quadrupoles, and three spool pieces is the longest SSC magnet string ever tested. Although the tests of the full cell were undertaken after the SSC project was marked for termination, their completion was deemed necessary and useful to future efforts at other accelerator laboratories utilizing Superconducting magnets. The focus of this work is on the electrical and cryogenic performance of the string components and the quench protection system with an emphasis on solving some of the questions concerning electrical performance raised during the previous two experimental runs involving a half cell configuration

Context-dependent combination of sensor information in Dempster–Shafer theory for BDI

© 2016, The Author(s). There has been much interest in the belief–desire–intention (BDI) agent-based model for developing scalable intelligent systems, e.g. using the AgentSpeak framework. However, reasoning from sensor information in these large-scale systems remains a significant challenge. For example, agents may be faced with information from heterogeneous sources which is uncertain and incomplete, while the sources themselves may be unreliable or conflicting. In order to derive meaningful conclusions, it is important that such information be correctly modelled and combined. In this paper, we choose to model uncertain sensor information in Dempster–Shafer (DS) theory. Unfortunately, as in other uncertainty theories, simple combination strategies in DS theory are often too restrictive (losing valuable information) or too permissive (resulting in ignorance). For this reason, we investigate how a context-dependent strategy originally defined for possibility theory can be adapted to DS theory. In particular, we use the notion of largely partially maximal consistent subsets (LPMCSes) to characterise the context for when to use Dempster’s original rule of combination and for when to resort to an alternative. To guide this process, we identify existing measures of similarity and conflict for finding LPMCSes along with quality of information heuristics to ensure that LPMCSes are formed around high-quality information. We then propose an intelligent sensor model for integrating this information into the AgentSpeak framework which is responsible for applying evidence propagation to construct compatible information, for performing context-dependent combination and for deriving beliefs for revising an agent’s belief base. Finally, we present a power grid scenario inspired by a real-world case study to demonstrate our work

Pride and popcorn: consuming the idea of community at film screenings in the Turkish diaspora

A range of studies have revealed the interrelatedness of identity construction, community formation and media among diasporas, mostly focusing on domestic contexts. Seeking to add further nuance to the understanding of the social lives of diasporas, we concentrate on media culture in the public environment of the film theatre. The significance of diasporic film consumption is investigated through a local audience study of Turkish film screenings in Antwerp. The phenomenon of the screenings was analysed through a multi-method approach, including 536 questionnaires among audiences, 19 in-depth interviews and 3 group interviews, along with previous findings (on distribution and exploitation) of the same project. The results show that Turkish films are almost exclusively attended by people with Turkish roots, creating a Turkish diasporic space within the boundaries of the urban and the public. The audience study shows that the screenings fulfil a major social role but also affect understandings of community

Long-Baseline Neutrino Facility (LBNF) and Deep Underground Neutrino Experiment (DUNE) Conceptual Design Report Volume 2: The Physics Program for DUNE at LBNF

The Physics Program for the Deep Underground Neutrino Experiment (DUNE) at the Fermilab Long-Baseline Neutrino Facility (LBNF) is described

Major Surface Glycoproteins of Insect Forms of Trypanosoma brucei Are Not Essential for Cyclical Transmission by Tsetse

Procyclic forms of Trypanosoma brucei reside in the midgut of tsetse flies where they are covered by several million copies of glycosylphosphatidylinositol-anchored proteins known as procyclins. It has been proposed that procyclins protect parasites against proteases and/or participate in tropism, directing them from the midgut to the salivary glands. There are four different procyclin genes, each subject to elaborate levels of regulation. To determine if procyclins are essential for survival and transmission of T. brucei, all four genes were deleted and parasite fitness was compared in vitro and in vivo. When co-cultured in vitro, the null mutant and wild type trypanosomes (tagged with cyan fluorescent protein) maintained a near-constant equilibrium. In contrast, when flies were infected with the same mixture, the null mutant was rapidly overgrown in the midgut, reflecting a reduction in fitness in vivo. Although the null mutant is patently defective in competition with procyclin-positive parasites, on its own it can complete the life cycle and generate infectious metacyclic forms. The procyclic form of T. brucei thus differs strikingly from the bloodstream form, which does not tolerate any perturbation of its variant surface glycoprotein coat, and from other parasites such as Plasmodium berghei, which requires the circumsporozoite protein for successful transmission to a new host

PSSA-2, a Membrane-Spanning Phosphoprotein of Trypanosoma brucei, Is Required for Efficient Maturation of Infection

The coat of Trypanosoma brucei consists mainly of glycosylphosphatidylinositol-anchored proteins that are present in several million copies and are characteristic of defined stages of the life cycle. While these major components of the coats of bloodstream forms and procyclic (insect midgut) forms are well characterised, very little is known about less abundant stage-regulated surface proteins and their roles in infection and transmission. By creating epitope-tagged versions of procyclic-specific surface antigen 2 (PSSA-2) we demonstrated that it is a membrane-spanning protein that is expressed by several different life cycle stages in tsetse flies, but not by parasites in the mammalian bloodstream. In common with other membrane-spanning proteins in T. brucei, PSSA-2 requires its cytoplasmic domain in order to exit the endoplasmic reticulum. Correct localisation of PSSA-2 requires phosphorylation of a cytoplasmic threonine residue (T305), a modification that depends on the presence of TbMAPK4. Mutation of T305 to alanine (T305A) has no effect on the localisation of the protein in cells that express wild type PSSA-2. In contrast, this protein is largely intracellular when expressed in a null mutant background. A variant with a T305D mutation gives strong surface expression in both the wild type and null mutant, but slows growth of the cells, suggesting that it may function as a dominant negative mutant. The PSSA-2 null mutant exhibits no perceptible phenotype in culture and is fully competent at establishing midgut infections in tsetse, but is defective in colonising the salivary glands and the production of infectious metacyclic forms. Given the protein's structure and the effects of mutation of T305 on proliferation and localisation, we postulate that PSSA-2 might sense and transmit signals that contribute to the parasite's decision to divide, differentiate or migrate

Frequency of resistance to methicillin and other antimicrobial agents among Staphylococcus aureus strains isolated from pigs and their human handlers in Trinidad

Background: Methicillin-resistant Staphylococcus aureus (MRSA) has emerged recently worldwide in production animals, particularly pigs and veal calves, which act as reservoirs for MRSA strains for human infection. The study determined the prevalence of MRSA and other resistant strains of S. aureus isolated from the anterior nares of pigs and human handlers on pig farms in Trinidad. Methods: Isolation of S. aureus was done by concurrently inoculating Baird-Parker agar (BPA) and Chromagar MRSA (CHROM) with swab samples and isolates were identified using standard methods. Suspect MRSA isolates from Chromagar and BPA were subjected to confirmatory test using Oxoid PBP2 latex agglutination test. The disc diffusion method was used to determine resistance to antimicrobial agents. Results: The frequency of isolation of MRSA was 2.1% (15 of 723) for pigs but 0.0% (0 of 72) for humans. Generally, for isolates of S. aureus from humans there was a high frequency of resistance compared with those from pigs, which had moderate resistance to the following antimicrobials: penicillin G (54.5%, 51.5%), ampicillin (59.1%, 49.5%), and streptomycin (59.1%, 37.1%), respectively. There was moderate resistance to tetracycline (36.4%, 41.2%) and gentamycin (27.2%, 23.7%) for human and pig S. aureus isolates, respectively, and low resistance to sulfamethoxazole-trimethoprim (4.5%, 6.2%) and norfloxacin (9.1%, 12.4%), respectively. The frequency of resistance to oxacillin by the disc method was 36.4 and 34.0% from S. aureus isolates from humans and pigs, respectively. Out of a total of 78 isolates of S. aureus from both human and pig sources that were resistant to oxacillin by the disc diffusion method, only 15 (19.2%) were confirmed as MRSA by the PBP'2 latex test kit. Conclusions: The detection of MRSA strains in pigs, albeit at a low frequency, coupled with a high frequency of resistance to commonly used antimicrobial agents in pig and humans could have zoonotic and therapeutic implications. Finally, the diagnostic limitation of using CHROMagar and testing for oxacillin resistance by the disc diffusion method alone to determine MRSA strains without performing confirmatory tests cannot be overemphasized because the possibility of overdiagnosis of MRSA infections cannot be ignored

Extended-Spectrum-Beta-Lactamases, AmpC Beta-Lactamases and Plasmid Mediated Quinolone Resistance in Klebsiella spp. from Companion Animals in Italy

We report the genetic characterization of 15 Klebsiella pneumoniae (KP) and 4 isolates of K. oxytoca (KO) from clinical cases in dogs and cats and showing extended-spectrum cephalosporin (ESC) resistance. Extended spectrum beta-lactamase (ESBL) and AmpC genes, plasmid-mediated quinolone resistance (PMQR) and co-resistances were investigated. Among KP isolates, ST101 clone was predominant (8/15, 53%), followed by ST15 (4/15, 27%). ST11 and ST340, belonging to Clonal Complex (CC)11, were detected in 2012 (3/15, 20%). MLST on KP isolates corresponded well with PFGE results, with 11 different PFGE patterns observed, including two clusters of two (ST340) and four (ST101) indistinguishable isolates, respectively. All isolates harbored at least one ESBL or AmpC gene, all carried on transferable plasmids (IncR, IncFII, IncI1, IncN), and 16/19 were positive for PMQR genes (qnr family or aac(6')-Ib-cr). The most frequent ESBL was CTX-M-15 (11/19, 58%), detected in all KP ST101, in one KP ST15 and in both KP ST340. blaCTX-M-15 was carried on IncR plasmids in all but one KP isolate. All KP ST15 isolates harbored different ESC resistance genes and different plasmids, and presented the non-transferable blaSHV-28 gene, in association with blaCTX-M-15, blaCTX-M-1 (on IncR, or on IncN), blaSHV-2a (on IncR) or blaCMY-2 genes (on IncI1). KO isolates were positive for blaCTX-M-9 gene (on IncHI2), or for the blaSHV-12 and blaDHA-1 genes (on IncL/M). They were all positive for qnr genes, and one also for the aac(6')-Ib-cr gene. All Klebsiella isolates showed multiresistance towards aminoglycosides, sulfonamides, tetracyclines, trimethoprim and amphenicols, mediated by strA/B, aadA2, aadB, ant (2")-Ia, aac(6')-Ib, sul, tet, dfr and cat genes in various combinations. The emergence in pets of multidrug-resistant Klebsiella with ESBL, AmpC and PMQR determinants, poses further and serious challenges in companion animal therapy and raise concerns for possible bi-directional transmission between pets and humans, especially at household level