Authentication with Weaker Trust Assumptions for Voting Systems

Some voting systems are reliant on external authentication services. Others use cryptography to implement their own. We combine digital signatures and non-interactive proofs to derive a generic construction for voting systems with their own authentication mechanisms, from systems that rely on external authentication services. We prove that our construction produces systems satisfying ballot secrecy and election verifiability, assuming the underlying voting system does. Moreover, we observe that works based on similar ideas provide neither ballot secrecy nor election verifiability. Finally, we demonstrate applicability of our results by applying our construction to the Helios voting system

Small animal disease surveillance: respiratory disease 2017

This report focuses on surveillance for respiratory disease in companion animals. It begins with an analysis of data from 392 veterinary practices contributing to the Small Animal Veterinary Surveillance Network (SAVSNET) between January and December 2017. The following section describes canine respiratory coronavirus infections in dogs, presenting results from laboratory-confirmed cases across the country between January 2010 and December 2017. This is followed by an update on the temporal trends of three important syndromes in companion animals, namely gastroenteritis, pruritus and respiratory disease, from 2014 to 2017. A fourth section presents a brief update on Streptococcus equi subspecies zooepidemicus in companion animals. The final section summarises some recent developments pertinent to companion animal health, namely eyeworm (Thelazzia callipaeda) infestations in dogs imported to the UK and canine influenza virus in the USA and Canada

Utilizing Online Social Network and Location-Based Data to Recommend Products and Categories in Online Marketplaces

Recent research has unveiled the importance of online social networks for improving the quality of recommender systems and encouraged the research community to investigate better ways of exploiting the social information for recommendations. To contribute to this sparse field of research, in this paper we exploit users' interactions along three data sources (marketplace, social network and location-based) to assess their performance in a barely studied domain: recommending products and domains of interests (i.e., product categories) to people in an online marketplace environment. To that end we defined sets of content- and network-based user similarity features for each data source and studied them isolated using an user-based Collaborative Filtering (CF) approach and in combination via a hybrid recommender algorithm, to assess which one provides the best recommendation performance. Interestingly, in our experiments conducted on a rich dataset collected from SecondLife, a popular online virtual world, we found that recommenders relying on user similarity features obtained from the social network data clearly yielded the best results in terms of accuracy in case of predicting products, whereas the features obtained from the marketplace and location-based data sources also obtained very good results in case of predicting categories. This finding indicates that all three types of data sources are important and should be taken into account depending on the level of specialization of the recommendation task.Comment: 20 pages book chapte

Unsteady undular bores in fully nonlinear shallow-water theory

We consider unsteady undular bores for a pair of coupled equations of Boussinesq-type which contain the familiar fully nonlinear dissipationless shallow-water dynamics and the leading-order fully nonlinear dispersive terms. This system contains one horizontal space dimension and time and can be systematically derived from the full Euler equations for irrotational flows with a free surface using a standard long-wave asymptotic expansion. In this context the system was first derived by Su and Gardner. It coincides with the one-dimensional flat-bottom reduction of the Green-Naghdi system and, additionally, has recently found a number of fluid dynamics applications other than the present context of shallow-water gravity waves. We then use the Whitham modulation theory for a one-phase periodic travelling wave to obtain an asymptotic analytical description of an undular bore in the Su-Gardner system for a full range of "depth" ratios across the bore. The positions of the leading and trailing edges of the undular bore and the amplitude of the leading solitary wave of the bore are found as functions of this "depth ratio". The formation of a partial undular bore with a rapidly-varying finite-amplitude trailing wave front is predicted for ``depth ratios'' across the bore exceeding 1.43. The analytical results from the modulation theory are shown to be in excellent agreement with full numerical solutions for the development of an undular bore in the Su-Gardner system.Comment: Revised version accepted for publication in Phys. Fluids, 51 pages, 9 figure

Adjuvant interferon alpha 2b in high risk melanoma – the Scottish study

In 1989, the Scottish melanoma group initiated a randomized trial, comparing observation alone with 6 months' therapy with low dose interferon α (given subcutaneously 3 MU day–1, thrice weekly), for patients with primary melanomas of at least 3 mm Breslow thickness, or with evidence of regional node involvement. The trial was closed in 1993 with only 95 eligible patients randomized. There were no toxic deaths, and no patient failed to complete the treatment for reasons of toxicity. 6 months' treatment with low-dose interferon-α resulted in a statistically significant improved disease-free survival for up to 24 months after randomization (P< 0.05). However, at a median follow-up of over 6 years, although there was an apparent improvement in disease-free survival (from 9 to 22 months), and overall survival (from 27 to 39 months), consistent with larger studies powered to detect such differences, these differences were not statistically significant. The data therefore suggest that 6 months of low-dose interferon is active, and confirm the importance of the large randomized studies, such as the UKCCCR AIM-High and EORTC trials, that seek to confirm a possible survival advantage for low or intermediate dose interferon. © 2001 Cancer Research Campaign http://www.bjcancer.co

Scheduling Jobs in Flowshops with the Introduction of Additional Machines in the Future

This is the author's peer-reviewed final manuscript, as accepted by the publisher. The published article is copyrighted by Elsevier and can be found at: http://www.journals.elsevier.com/expert-systems-with-applications/.The problem of scheduling jobs to minimize total weighted tardiness in flowshops,\ud with the possibility of evolving into hybrid flowshops in the future, is investigated in\ud this paper. As this research is guided by a real problem in industry, the flowshop\ud considered has considerable flexibility, which stimulated the development of an\ud innovative methodology for this research. Each stage of the flowshop currently has\ud one or several identical machines. However, the manufacturing company is planning\ud to introduce additional machines with different capabilities in different stages in the\ud near future. Thus, the algorithm proposed and developed for the problem is not only\ud capable of solving the current flow line configuration but also the potential new\ud configurations that may result in the future. A meta-heuristic search algorithm based\ud on Tabu search is developed to solve this NP-hard, industry-guided problem. Six\ud different initial solution finding mechanisms are proposed. A carefully planned\ud nested split-plot design is performed to test the significance of different factors and\ud their impact on the performance of the different algorithms. To the best of our\ud knowledge, this research is the first of its kind that attempts to solve an industry-guided\ud problem with the concern for future developments

The Effect of low Momentum Quantum Fluctuations on a Coherent Field Structure

In the present work the evolution of a coherent field structure of the Sine-Gordon equation under quantum fluctuations is studied. The basic equations are derived from the coherent state approximation to the functional Schr\"odinger equation for the field. These equations are solved asymptotically and numerically for three physical situations. The first is the study of the nonlinear mechanism responsible for the quantum stability of the soliton in the presence of low momentum fluctuations. The second considers the scattering of a wave by the Soliton. Finally the third problem considered is the collision of Solitons and the stability of a breather. It is shown that the complete integrability of the Sine-Gordon equation precludes fusion and splitting processes in this simplified model. The approximate results obtained are non-perturbative in nature, and are valid for the full nonlinear interaction in the limit of low momentum fluctuations. It is also found that these approximate results are in good agreement with full numerical solutions of the governing equations. This suggests that a similar approach could be used for the baby Skyrme model, which is not completely integrable. In this case the higher space dimensionality and the internal degrees of freedom which prevent the integrability will be responsable for fusion and splitting processes. This work provides a starting point in the numerical solution of the full quantum problem of the interaction of the field with a fluctuation.Comment: 15 pages, 9 (ps) figures, Revtex file. Some discussion expanded but conclusions unchanged. Final version to appear in PR