Fast secure comparison for medium-sized integers and its application in binarized neural networks

In 1994, Feige, Kilian, and Naor proposed a simple protocol for secure 3-way comparison of integers a and b from the range [0, 2]. Their observation is that for p=7, the Legendre symbol (x∣p) coincides with the sign of x for x=a−b∈[−2,2], thus reducing secure comparison to secure evaluation of the Legendre symbol. More recently, in 2011, Yu generalized this idea to handle secure comparisons for integers from substantially larger ranges [0, d], essentially by searching for primes for which the Legendre symbol coincides with the sign function on [−d,d]. In this paper, we present new comparison protocols based on the Legendre symbol that additionally employ some form of error correction. We relax the prime search by requiring that the Legendre symbol encodes the sign function in a noisy fashion only. Practically, we use the majority vote over a window of 2k+1 adjacent Legendre symbols, for small positive integers k. Our technique significantly increases the comparison range: e.g., for a modulus of 60 bits, d increases by a factor of 2.8 (for k=1) and 3.8 (for k=2) respectively. We give a practical method to find primes with suitable noisy encodings.We demonstrate the practical relevance of our comparison protocol by applying it in a secure neural network classifier for the MNIST dataset. Concretely, we discuss a secure multiparty computation based on the binarized multi-layer perceptron of Hubara et al., using our comparison for the second and third layers.</p

Vertical flotation of particles in a paramagnetic fluid

Hirota et al. [6] found that the magneto-Archimedes force could be used to levitate biological materials at different heights in pressurized oxygen, providing the possibility to separate them. However the magnetic levitation of mineral particles has not been widely explored. With this in mind some preliminary experiments were performed by levitating pure mineral materials in a paramagnetic solution manganese (II) chloride. Besides the report of levitation heights of various mineral particles in manganese (II) chloride solution, the lines obtained from the basic formula provided by previous researchers were compared with experimental data. The act of cryogenic paramagnetic fluid in the magneto-Archimedes levitation was also demonstrated. The obtained results are compared with the same particle levitation heights in manganese (II) chloride solution

Particle separation by horizontal deflection in paramagnetic fluid

This paper describes the horizontal deflection behaviour of the streams of particles in paramagnetic fluids under a high-gradient superconducting magnetic field, which is the continued work on the exploration of particle magneto-Archimedes levitation. Based on the previous work on the horizontal deflection of a single particle, a glass box and collector had been designed to observe the movement of particle group in paramagnetic fluids. To get the exact separation efficiency, the method of "sink-float" involved the high density fluid polytungstate (dense medium separation) and MLA (Mineral Liberation Analyser) was performed. It was found that the particles were deflected and settled at certain positions on the container floor due to the combined forces of gravity and magneto-Archimedes forces as well as a lateral buoyancy (displacement) force. Mineral particles with different densities and susceptibilities could be deflected to different positions, thus producing groups of similar types of particles. The work described here, although in its infancy, could form the basis of new approach of separating particles based on a combination of susceptibility and density

Farm systems assessment of bioenergy feedstock production: Integrating bio-economic models and life cycle analysis approaches

Climate change and energy security concerns have driven the development of policies that encourage bioenergy production. Meeting EU targets for the consumption of transport fuels from bioenergy by 2020 will require a large increase in the production of bioenergy feedstock. Initially an increase in ‘first generation’ biofuels was observed, however ‘food competition’ concerns have generated interest in second generation biofuels (SGBs). These SGBs can be produced from co-products (e.g. cereal straw) or energy crops (e.g. miscanthus), with the former largely negating food competition concerns. In order to assess the sustainability of feedstock supply for SGBs, the financial, environmental and energy costs and benefits of the farm system must be quantified. Previous research has captured financial costs and benefits through linear programming (LP) approaches, whilst environmental and energy metrics have been largely been undertaken within life cycle analysis (LCA) frameworks. Assessing aspects of the financial, environmental and energy sustainability of supplying co-product second generation biofuel (CPSGB) feedstocks at the farm level requires a framework that permits the trade-offs between these objectives to be quantified and understood. The development of a modelling framework for Managing Energy and Emissions Trade-Offs in Agriculture (MEETA Model) that combines bio-economic process modelling and LCA is presented together with input data parameters obtained from literature and industry sources. The MEETA model quantifies arable farm inputs and outputs in terms of financial, energy and emissions results. The model explicitly captures fertiliser: crop-yield relationships, plus the incorporation of straw or removal for sale, with associated nutrient impacts of incorporation/removal on the following crop in the rotation. Key results of crop-mix, machinery use, greenhouse gas (GHG) emissions per kg of crop product and energy use per hectare are in line with previous research and industry survey findings. Results show that the gross margin – energy trade-off is £36 GJ−1, representing the gross margin forgone by maximising net farm energy cf. maximising farm gross margin. The gross margin–GHG emission trade-off is £0.15 kg−1 CO2 eq, representing the gross margin forgone per kg of CO2 eq reduced when GHG emissions are minimised cf. maximising farm gross margin. The energy–GHG emission trade-off is 0.03 GJ kg−1 CO2 eq quantifying the reduction in net energy from the farm system per kg of CO2 eq reduced when minimising GHG emissions cf. maximising net farm energy. When both farm gross margin and net farm energy are maximised all the cereal straw is baled for sale. Sensitivity analysis of the model in relation to different prices of cereal straw shows that it becomes financially optimal to incorporate wheat straw at price of £11 t−1 for this co-product. Local market conditions for straw and farmer attitudes towards incorporation or sale of straw will impact on the straw price at which farmers will supply this potential bioenergy feedstock and represent important areas for future research

Advancing fishery-independent stock assessments for the Norway lobster (Nephrops norvegicus) with new monitoring techn

The Norway lobster, Nephrops norvegicus, supports a key European fishery. Stock assessments for this species are mostly based on trawling and UnderWater TeleVision (UWTV) surveys. However, N. norvegicus are burrowing organisms and these survey methods are unable to sample or observe individuals in their burrows. To account for this, UWTV surveys generally assume that “1 burrow system = 1 animal”, due to the territorial behavior of N. norvegicus. Nevertheless, this assumption still requires in-situ validation. Here, we outline how to improve the accuracy of current stock assessments for N. norvegicus with novel ecological monitoring technologies, including: robotic fixed and mobile camera-platforms, telemetry, environmental DNA (eDNA), and Artificial Intelligence (AI). First, we outline the present status and threat for overexploitation in N. norvegicus stocks. Then, we discuss how the burrowing behavior of N. norvegicus biases current stock assessment methods. We propose that state-of-the-art stationary and mobile robotic platforms endowed with innovative sensors and complemented with AI tools could be used to count both animals and burrows systems in-situ, as well as to provide key insights into burrowing behavior. Next, we illustrate how multiparametric monitoring can be incorporated into assessments of physiology and burrowing behavior. Finally, we develop a flowchart for the appropriate treatment of multiparametric biological and environmental data required to improve current stock assessment methods

Can COBE see the shape of the universe?

In recent years, the large angle COBE--DMR data have been used to place constraints on the size and shape of certain topologically compact models of the universe. Here we show that this approach does not work for generic compact models. In particular, we show that compact hyperbolic models do not suffer the same loss of large angle power seen in flat or spherical models. This follows from applying a topological theorem to show that generic hyperbolic three manifolds support long wavelength fluctuations, and by taking into account the dominant role played by the integrated Sachs-Wolfe effect in a hyperbolic universe.Comment: 16 Pages, 5 Figures. Version published in Phys. Rev.

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio

Observation of a new chi_b state in radiative transitions to Upsilon(1S) and Upsilon(2S) at ATLAS

The chi_b(nP) quarkonium states are produced in proton-proton collisions at the Large Hadron Collider (LHC) at sqrt(s) = 7 TeV and recorded by the ATLAS detector. Using a data sample corresponding to an integrated luminosity of 4.4 fb^-1, these states are reconstructed through their radiative decays to Upsilon(1S,2S) with Upsilon->mu+mu-. In addition to the mass peaks corresponding to the decay modes chi_b(1P,2P)->Upsilon(1S)gamma, a new structure centered at a mass of 10.530+/-0.005 (stat.)+/-0.009 (syst.) GeV is also observed, in both the Upsilon(1S)gamma and Upsilon(2S)gamma decay modes. This is interpreted as the chi_b(3P) system.Comment: 5 pages plus author list (18 pages total), 2 figures, 1 table, corrected author list, matches final version in Physical Review Letter

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters

Measurement of the inclusive isolated prompt photon cross-section in pp collisions at sqrt(s)= 7 TeV using 35 pb-1 of ATLAS data

A measurement of the differential cross-section for the inclusive production of isolated prompt photons in pp collisions at a center-of-mass energy sqrt(s) = 7 TeV is presented. The measurement covers the pseudorapidity ranges |eta|<1.37 and 1.52<=|eta|<2.37 in the transverse energy range 45<=E_T<400GeV. The results are based on an integrated luminosity of 35 pb-1, collected with the ATLAS detector at the LHC. The yields of the signal photons are measured using a data-driven technique, based on the observed distribution of the hadronic energy in a narrow cone around the photon candidate and the photon selection criteria. The results are compared with next-to-leading order perturbative QCD calculations and found to be in good agreement over four orders of magnitude in cross-section.Comment: 7 pages plus author list (18 pages total), 2 figures, 4 tables, final version published in Physics Letters