Comparing "challenge-based" and "code-based" internet voting verification implementations

Internet-enabled voting introduces an element of invisibility and unfamiliarity into the voting process, which makes it very different from traditional voting. Voters might be concerned about their vote being recorded correctly and included in the final tally. To mitigate mistrust, many Internet-enabled voting systems build verifiability into their systems. This allows voters to verify that their votes have been cast as intended, stored as cast and tallied as stored at the conclusion of the voting period. Verification implementations have not been universally successful, mostly due to voter difficulties using them. Here, we evaluate two cast as intended verification approaches in a lab study: (1) "Challenge-Based" and (2) "Code-Based". We assessed cast-as-intended vote verification efficacy, and identified usability issues related to verifying and/or vote casting. We also explored acceptance issues post-verification, to see whether our participants were willing to engage with Internet voting in a real election. Our study revealed the superiority of the code-based approach, in terms of ability to verify effectively. In terms of real-life Internet voting acceptance, convenience encourages acceptance, while security concerns and complexity might lead to rejection

Biomechanical experimental data curation: an example for main lumbar spine ligaments characterization for a MBS spine model

Series : Mechanisms and machine science, ISSN 2211-0984, vol. 24This work overviews an extensive analysis in the context of mechanical characterization of human biomaterials, carried out over a broad set of published experimental data. Focused on main lumbar spine ligaments, several test procedures are exhaustively analyzed, in order to identify possible causes for divergences that have been found in some results. Moreover, guidelines are proposed for da-ta filtering and selection. The main objective of the task was to retrieve trustworthy inputs to a hybrid Finite Element Analysis / Multibody System dynamic simulation model of the human intervertebral disc, which can be used on the prediction of nucleus prosthetics working performance

Optimal strategies for a game on amenable semigroups

The semigroup game is a two-person zero-sum game defined on a semigroup S as follows: Players 1 and 2 choose elements x and y in S, respectively, and player 1 receives a payoff f(xy) defined by a function f from S to [-1,1]. If the semigroup is amenable in the sense of Day and von Neumann, one can extend the set of classical strategies, namely countably additive probability measures on S, to include some finitely additive measures in a natural way. This extended game has a value and the players have optimal strategies. This theorem extends previous results for the multiplication game on a compact group or on the positive integers with a specific payoff. We also prove that the procedure of extending the set of allowed strategies preserves classical solutions: if a semigroup game has a classical solution, this solution solves also the extended game.Comment: 17 pages. To appear in International Journal of Game Theor

Schmallenberg virus pathogenesis, tropism and interaction with the innate immune system of the host

Schmallenberg virus (SBV) is an emerging orthobunyavirus of ruminants associated with outbreaks of congenital malformations in aborted and stillborn animals. Since its discovery in November 2011, SBV has spread very rapidly to many European countries. Here, we developed molecular and serological tools, and an experimental in vivo model as a platform to study SBV pathogenesis, tropism and virus-host cell interactions. Using a synthetic biology approach, we developed a reverse genetics system for the rapid rescue and genetic manipulation of SBV. We showed that SBV has a wide tropism in cell culture and “synthetic” SBV replicates in vitro as efficiently as wild type virus. We developed an experimental mouse model to study SBV infection and showed that this virus replicates abundantly in neurons where it causes cerebral malacia and vacuolation of the cerebral cortex. These virus-induced acute lesions are useful in understanding the progression from vacuolation to porencephaly and extensive tissue destruction, often observed in aborted lambs and calves in naturally occurring Schmallenberg cases. Indeed, we detected high levels of SBV antigens in the neurons of the gray matter of brain and spinal cord of naturally affected lambs and calves, suggesting that muscular hypoplasia observed in SBV-infected lambs is mostly secondary to central nervous system damage. Finally, we investigated the molecular determinants of SBV virulence. Interestingly, we found a biological SBV clone that after passage in cell culture displays increased virulence in mice. We also found that a SBV deletion mutant of the non-structural NSs protein (SBVΔNSs) is less virulent in mice than wild type SBV. Attenuation of SBV virulence depends on the inability of SBVΔNSs to block IFN synthesis in virus infected cells. In conclusion, this work provides a useful experimental framework to study the biology and pathogenesis of SBV

Monoidal computer III: A coalgebraic view of computability and complexity

Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a much needed high level language for theory of computation, flexible enough to allow abstracting away the low level implementation details when they are irrelevant, or taking them into account when they are genuinely needed. A salient feature of the approach through monoidal categories is the formal graphical language of string diagrams, which supports visual reasoning about programs and computations. In the present paper, we provide a coalgebraic characterization of monoidal computer. It turns out that the availability of interpreters and specializers, that make a monoidal category into a monoidal computer, is equivalent with the existence of a *universal state space*, that carries a weakly final state machine for any pair of input and output types. Being able to program state machines in monoidal computers allows us to represent Turing machines, to capture their execution, count their steps, as well as, e.g., the memory cells that they use. The coalgebraic view of monoidal computer thus provides a convenient diagrammatic language for studying computability and complexity.Comment: 34 pages, 24 figures; in this version: added the Appendi

Black Stork Down: Military Discourses in Bird Conservation in Malta

Tensions between Maltese hunters and bird conservation NGOs have intensified over the past decade. Conservation NGOs have become frustrated with the Maltese State for conceding to the hunter lobby and negotiating derogations from the European Union’s Bird Directive. Some NGOs have recently started to organize complex field-operations where volunteers are trained to patrol the landscape, operate drones and other surveillance technologies, detect illegalities, and lead police teams to arrest poachers. We describe the sophisticated military metaphors which conservation NGOs have developed to describe, guide and legitimize their efforts to the Maltese public and their fee-paying members. We also discuss why such groups might be inclined to adopt these metaphors. Finally, we suggest that anthropological studies of discourse could help understand delicate contexts such as this where conservation NGOs, hunting associations and the State have ended in political deadlock

Differences in osmotolerance in freshwater and brackish water populations of Theodoxus fluviatilis (Gastropoda: Neritidae) are associated with differential protein expression

The euryhaline gastropod Theodoxus fluviatilis is found in northern Germany in freshwater or in brackish water habitats in the Baltic Sea. Previous studies have revealed that individuals from both habitats are not distinguishable by morphological characters or by sequence comparison of DNA encoding 16S RNA or cytochrome C. As reported in this study, animals collected in the two habitats differ substantially in their physiological ability to adapt to different salinities. Comparison of accumulation rates of ninhydrin-positive substances (NPS) in foot muscle upon transfer of animals to higher medium salinities revealed that brackish water animals were perfectly able to mobilize NPS, while freshwater animals had only limited ability to do so. In an attempt to explore whether this difference in physiology may be caused by genetic differentiation, we compared protein expression patterns of soluble foot muscle proteins using 2D gel electrophoresis and silver staining. Of the 40 consistently detected protein spots, 27 showed similar levels in protein expression in animals collected from freshwater or brackish water habitats, respectively. In 12 spots, however, protein concentration was higher in brackish water than in freshwater animals. In four of these spots, expression levels followed increases or decreases in medium salinities. In a different set of 4 of these 12 spots, protein levels were always higher in brackish water as compared to freshwater animals, regardless of their physiological situation (14 days in artificial pond water or in medium with a salinity of 16‰). The remaining 4 of the 12 spots had complex expression patterns. Protein levels of the remaining single spot were generally higher in freshwater animals than in brackish water animals. These expression patterns may indicate that freshwater and brackish water animals of T. fluviatilis belong to different locally adapted populations with subtle genetic differentiation

Intolerance of uncertainty predicts fear extinction in amygdala-ventromedial prefrontal cortical circuitry

Background: Coordination of activity between the amygdala and ventromedial prefrontal cortex (vmPFC) is important for fear-extinction learning. Aberrant recruitment of this circuitry is associated with anxiety disorders. Here, we sought to determine if individual differences in future threat uncertainty sensitivity, a potential risk factor for anxiety disorders, underly compromised recruitment of fear extinction circuitry. Twenty-two healthy subjects completed a cued fear conditioning task with acquisition and extinction phases. During the task, pupil dilation, skin conductance response, and functional magnetic resonance imaging were acquired. We assessed the temporality of fear extinction learning by splitting the extinction phase into early and late extinction. Threat uncertainty sensitivity was measured using self-reported intolerance of uncertainty (IU). Results: During early extinction learning, we found low IU scores to be associated with larger skin conductance responses and right amygdala activity to learned threat vs. safety cues, whereas high IU scores were associated with no skin conductance discrimination and greater activity within the right amygdala to previously learned safety cues. In late extinction learning, low IU scores were associated with successful inhibition of previously learned threat, reflected in comparable skin conductance response and right amgydala activity to learned threat vs. safety cues, whilst high IU scores were associated with continued fear expression to learned threat, indexed by larger skin conductance and amygdala activity to threat vs. safety cues. In addition, high IU scores were associated with greater vmPFC activity to threat vs. safety cues in late extinction. Similar patterns of IU and extinction learning were found for pupil dilation. The results were specific for IU and did not generalize to self-reported trait anxiety. Conclusions: Overall, the neural and psychophysiological patterns observed here suggest high IU individuals to disproportionately generalize threat during times of uncertainty, which subsequently compromises fear extinction learning. More broadly, these findings highlight the potential of intolerance of uncertainty-based mechanisms to help understand pathological fear in anxiety disorders and inform potential treatment targets

Predicting mental imagery based BCI performance from personality, cognitive profile and neurophysiological patterns

Mental-Imagery based Brain-Computer Interfaces (MI-BCIs) allow their users to send commands to a computer using their brain-activity alone (typically measured by ElectroEncephaloGraphy— EEG), which is processed while they perform specific mental tasks. While very promising, MI-BCIs remain barely used outside laboratories because of the difficulty encountered by users to control them. Indeed, although some users obtain good control performances after training, a substantial proportion remains unable to reliably control an MI-BCI. This huge variability in user-performance led the community to look for predictors of MI-BCI control ability. However, these predictors were only explored for motor-imagery based BCIs, and mostly for a single training session per subject. In this study, 18 participants were instructed to learn to control an EEG-based MI-BCI by performing 3 MI-tasks, 2 of which were non-motor tasks, across 6 training sessions, on 6 different days. Relationships between the participants’ BCI control performances and their personality, cognitive profile and neurophysiological markers were explored. While no relevant relationships with neurophysiological markers were found, strong correlations between MI-BCI performances and mental-rotation scores (reflecting spatial abilities) were revealed. Also, a predictive model of MI-BCI performance based on psychometric questionnaire scores was proposed. A leave-one-subject-out cross validation process revealed the stability and reliability of this model: it enabled to predict participants’ performance with a mean error of less than 3 points. This study determined how users’ profiles impact their MI-BCI control ability and thus clears the way for designing novel MI-BCI training protocols, adapted to the profile of each user

Pleosporales

One hundred and five generic types of Pleosporales are described and illustrated. A brief introduction and detailed history with short notes on morphology, molecular phylogeny as well as a general conclusion of each genus are provided. For those genera where the type or a representative specimen is unavailable, a brief note is given. Altogether 174 genera of Pleosporales are treated. Phaeotrichaceae as well as Kriegeriella, Zeuctomorpha and Muroia are excluded from Pleosporales. Based on the multigene phylogenetic analysis, the suborder Massarineae is emended to accommodate five families, viz. Lentitheciaceae, Massarinaceae, Montagnulaceae, Morosphaeriaceae and Trematosphaeriaceae