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

Importin alpha binding and nuclear localization of PARP-2 is dependent on lysine 36, which is located within a predicted classical NLS

BACKGROUND: The enzymes responsible for the synthesis of poly-ADP-ribose are named poly-ADP-ribose polymerases (PARP). PARP-2 is a nuclear protein, which regulates a variety of cellular functions that are mainly controlled by protein-protein interactions. A previously described non-conventional bipartite nuclear localization sequence (NLS) lies in the amino-terminal DNA binding domain of PARP-2 between amino acids 1-69; however, this targeting sequence has not been experimentally examined or validated. RESULTS: Using a site-directed mutagenesis approach, we found that lysines 19 and 20, located within a previously described bipartite NLS, are not required for nuclear localization of PARP-2. In contrast, lysine 36, which is located within a predicted classical monopartite NLS, was required for PARP-2 nuclear localization. While wild type PARP-2 interacted with importin alpha3 and to a very weak extent with importin alpha1 and importin alpha5, the mutant PARP-2 (K36R) did not interact with importin alpha3, providing a molecular explanation why PARP-2 (K36R) is not targeted to the nucleus. CONCLUSION: Our results provide strong evidence that lysine 36 of PARP-2 is a critical residue for proper nuclear targeting of PARP-2 and consequently for the execution of its biological functions

Spillovers of Prosocial Motivation: Evidence from an Intervention Study on Blood Donors

Spillovers of prosocial motivation can enhance the provision of public goods, and have implications for the cost-benefit analysis of policy interventions. We analyze a large-scale intervention among dyads of pre- registered blood donors. A quasi-random phone call provides the instrument for identifying endogenous and exogenous social interaction. The phone call has a strong effect on the recipient's propensity to donate. Between 40% and 44% of that behavioral impulse is transmitted within dyads due to motivational spillovers. This creates a significant social multiplier to policy interventions, with estimates ranging between 1.6 and 1.8. There is no evidence for exogenous social interaction

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

A role for ColV plasmids in the evolution of pathogenic Escherichia coli ST58.

Escherichia coli ST58 has recently emerged as a globally disseminated uropathogen that often progresses to sepsis. Unlike most pandemic extra-intestinal pathogenic E. coli (ExPEC), which belong to pathogenic phylogroup B2, ST58 belongs to the environmental/commensal phylogroup B1. Here, we present a pan-genomic analysis of a global collection of 752 ST58 isolates from diverse sources. We identify a large ST58 sub-lineage characterized by near ubiquitous carriage of ColV plasmids, which carry genes encoding virulence factors, and by a distinct accessory genome including genes typical of the Yersiniabactin High Pathogenicity Island. This sub-lineage includes three-quarters of all ExPEC sequences in our study and has a broad host range, although poultry and porcine sources predominate. By contrast, strains isolated from cattle often lack ColV plasmids. Our data indicate that ColV plasmid acquisition contributed to the divergence of the major ST58 sub-lineage, and different sub-lineages inhabit poultry, swine and cattle

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

A neural cognitive model of argumentation with application to legal inference and decision making

Formal models of argumentation have been investigated in several areas, from multi-agent systems and artificial intelligence (AI) to decision making, philosophy and law. In artificial intelligence, logic-based models have been the standard for the representation of argumentative reasoning. More recently, the standard logic-based models have been shown equivalent to standard connectionist models. This has created a new line of research where (i) neural networks can be used as a parallel computational model for argumentation and (ii) neural networks can be used to combine argumentation, quantitative reasoning and statistical learning. At the same time, non-standard logic models of argumentation started to emerge. In this paper, we propose a connectionist cognitive model of argumentation that accounts for both standard and non-standard forms of argumentation. The model is shown to be an adequate framework for dealing with standard and non-standard argumentation, including joint-attacks, argument support, ordered attacks, disjunctive attacks, meta-level attacks, self-defeating attacks, argument accrual and uncertainty. We show that the neural cognitive approach offers an adequate way of modelling all of these different aspects of argumentation. We have applied the framework to the modelling of a public prosecution charging decision as part of a real legal decision making case study containing many of the above aspects of argumentation. The results show that the model can be a useful tool in the analysis of legal decision making, including the analysis of what-if questions and the analysis of alternative conclusions. The approach opens up two new perspectives in the short-term: the use of neural networks for computing prevailing arguments efficiently through the propagation in parallel of neuronal activations, and the use of the same networks to evolve the structure of the argumentation network through learning (e.g. to learn the strength of arguments from data)

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

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