Java Cryptographic Library for Smartphones

A JME-compliant cryptographic library for mobile application development is introduced in this paper. The library allows cryptographic protocols implementation over elliptic curves with different security levels and offers symmetric and asymmetric bilinear pairings operations, as Tate, Weil, and Ate pairings.

Cryptanalysis of an efficient three-party password-based key exchange scheme

Three-party password-authenticated key exchange (3PAKE) protocols allow entities to negotiate a secret session key with the aid of a trusted server with whom they share a human-memorable password. Recently, Lou and Huang proposed a simple 3PAKE protocol based on elliptic curve cryptography, which is claimed to be secure and to provide superior efficiency when compared with similar-purpose solutions. In this paper, however, we show that the solution is vulnerable to key-compromise impersonation and offline password guessing attacks from system insiders or outsiders, which indicates that the empirical approach used to evaluate the scheme's security is flawed. These results highlight the need of employing provable security approaches when designing and analyzing PAKE schemes. Copyright (c) 2011 John Wiley & Sons, Ltd.

Matrix-vector multiplication and triangular linear solver using GPGPU for symmetric positive definite matrices derived from elliptic equations

The modern GPUs are well suited for intensive computational tasks and massive parallel computation. Sparse matrix multiplication and linear triangular solver are the most important and heavily used kernels in scientific computation, and several challenges in developing a high performance kernel with the two modules is investigated. The main interest it to solve linear systems derived from the elliptic equations with triangular elements. The resulting linear system has a symmetric positive definite matrix. The sparse matrix is stored in the compressed sparse row (CSR) format. It is proposed a CUDA algorithm to execute the matrix vector multiplication using directly the CSR format. A dependence tree algorithm is used to determine which variables the linear triangular solver can determine in parallel. To increase the number of the parallel threads, a coloring graph algorithm is implemented to reorder the mesh numbering in a pre-processing phase. The proposed method is compared with parallel and serial available libraries. The results show that the proposed method improves the computation cost of the matrix vector multiplication. The pre-processing associated with the triangular solver needs to be executed just once in the proposed method. The conjugate gradient method was implemented and showed similar convergence rate for all the compared methods. The proposed method showed significant smaller execution time.

Comparative analysis of rating curve and ADP estimates of instantaneous water discharge through estuaries in two contrasting Brazilian rivers

This work quantifies, using ADP and rating curve techniques, the instantaneous outflows at estuarine interfaces: higher to middle estuary and middle to lower estuary, in two medium-sized watersheds (72 000 and 66 000 km(2) of area, respectively), the Jaguaribe and Contas Rivers located in the northeastern (semi-arid) and eastern (tropical humid) Brazilian coasts, respectively. Results from ADP showed that the net water balances show the Contas River as a net water exporter, whereas the Jaguaribe River Estuary is a net water importer. At the Jaguaribe Estuary, water retention during flood tide contributes to 58% of the total volume transferred during the ebb tide from the middle to lower estuary. However, 42% of the total water volume (452 m(3) s(-1)) that entered during flood tide is retained in the middle estuary. In the Contas River, 90% of the total water is retained during the flood tide contributing to the volume transported in the ebb tide from the middle to the lower estuary. Outflows obtained with the rating curve method for the Contas and Jaguaribe Rivers were uniform through time due to river flow normalization by dams in both basins. Estimated outflows with this method are about 65% (Contas) and 95% (Jaguaribe) lower compared to outflows obtained with ADP. This suggests that the outflows obtained with the rating curve method underestimate the net water balance in both systems, particularly in the Jaguaribe River under a semi-arid climate. This underestimation is somewhat decreased due to wetter conditions in the Contas River basin. Copyright. (C) 2011 John Wiley & Sons, Ltd.

Sex-pairing pheromones and reproductive isolation in three sympatric Cornitermes species (Isoptera, Termitidae, Syntermitinae)

The species-specificity of pairing has been studied in three sympatric Neotropical termites: Cornitermes bequaerti, Cornitermes cumulans and Cornitermes silvestrii (Termitidae, Syntermitinae). Bioassays showed that sex attraction was highly species-specific between C. bequaerti and C cumulans but not between C. cumulans and C. silvestrii. The sex-pairing pheromone of the three species is secreted by the tergal glands of female alates. It consists of a common compound (3Z,6Z,8E)-dodeca-3,6,8-trien-1-ol. In C. bequaerti, this polyunsaturated alcohol is the only compound of the sex-pairing pheromone, whereas it is associated with the oxygenated sesquiterpene (E)-nerolidol in C. cumulans, and with (E)-nerolidol and (Z)-dodec-3-en-1-ol in C silvestrii. (3Z,6Z,8E)-Dodeca-3,6,8-trien-1-ol is responsible for sexual attraction, whereas (E)-nerolidol, which is inactive in eliciting attraction of male alates, is responsible for the species-specificity of the attraction. This is the first time that a multicomponent sex-pairing pheromone has been identified in termites. The role of (Z)-dodec-3-en-1-ol present on the surface of the tergal glands of the female alates of C. silvestrii could not be definitively determined, but it is suggested that this compound could be involved in the species-specificity of sex attraction with other sympatric species of Cornitermes. Our study shows that the reproductive isolation in termites is due to a succession of factors, as the chronology of dispersal flights, the species-specificity of sex-pairing pheromones and the species-specific recognition. (C) 2011 Elsevier Ltd. All rights reserved.

Efficient Kernel Computation for Volterra Filter Structure Evaluation

Despite their generality, conventional Volterra filters are inadequate for some applications, due to the huge number of parameters that may be needed for accurate modelling. When a state-space model of the target system is known, this can be assessed by computing its kernels, which also provides valuable information for choosing an adequate alternate Volterra filter structure, if necessary, and is useful for validating parameter estimation procedures. In this letter, we derive expressions for the kernels by using the Carleman bilinearization method, for which an efficient algorithm is given. Simulation results are presented, which confirm the usefulness of the proposed approach.

Directed and elliptic flow of charged particles in Cu plus Cu collisions at root s(NN)=22.4 GeV

This paper reports results for directed flow v(1) and elliptic flow v(2) of charged particles in Cu + Cu collisions at root s(NN) = 22.4 GeV at the Relativistic Heavy Ion Collider. The measurements are for the 0-60% most central collisions, using charged particles observed in the STAR detector. Our measurements extend to 22.4-GeV Cu + Cu collisions the prior observation that v1 is independent of the system size at 62.4 and 200 GeV and also extend the scaling of v(1) with eta/y(beam) to this system. The measured v(2)(p(T)) in Cu + Cu collisions is similar for root s(NN) throughout the range 22.4 to 200 GeV. We also report a comparison with results from transport model (ultrarelativistic quantum molecular dynamics and multiphase transport model) calculations. The model results do not agree quantitatively with the measured v(1)(eta), v(2)(p(T)), and v(2)(eta).

Growth curve in Santa Ines sheep

The objective of this research was to use non-linear models to describe the growth pattern in Santa Ines sheep and to study the influence of environmental effects on curve parameters with the best-fit model. The models included the Brody, Richards, Von Bertalanffy, Gompertz, and Logistic models. We used 773 field reports on 162 animals ranging in age from 120 to 774 days, including 46 males and 116 females. The statistics used to evaluate the quality of fit included RMS (residual mean square), C% (percentage of convergence), R-2 (adjusted determination coefficient) and MAD (mean absolute deviation). Of the fixed effects studied, the only significant relationship was the effect of sex on parameter A. The Richards model was problematic during the process of convergence. Considering all studied criteria, the Logistic model presented the best fit in describing the growth pattern in Santa Ines sheep. (C) 2011 Elsevier B.V. All rights reserved.

GROUND STATE AND NON-GROUND STATE SOLUTIONS OF SOME STRONGLY COUPLED ELLIPTIC SYSTEMS

We study an elliptic system of the form Lu = vertical bar v vertical bar(p-1) v and Lv = vertical bar u vertical bar(q-1) u in Omega with homogeneous Dirichlet boundary condition, where Lu := -Delta u in the case of a bounded domain and Lu := -Delta u + u in the cases of an exterior domain or the whole space R-N. We analyze the existence, uniqueness, sign and radial symmetry of ground state solutions and also look for sign changing solutions of the system. More general non-linearities are also considered.

SUPERLINEAR ELLIPTIC PROBLEMS WITH SIGN CHANGING COEFFICIENTS

Via variational methods, we study multiplicity of solutions for the problem {-Delta u = lambda b(x)vertical bar u vertical bar(q-2)u + au + g(x, u) in Omega, u - 0 on partial derivative Omega, where a simple example for g( x, u) is |u|(p-2)u; here a, lambda are real parameters, 1 < q < 2 < p <= 2* and b(x) is a function in a suitable space L-sigma. We obtain a class of sign changing coefficients b(x) for which two non-negative solutions exist for any lambda > 0, and a total of five nontrivial solutions are obtained when lambda is small and a >= lambda(1). Note that this type of results are valid even in the critical case.

Fracture and resistance-curve behavior in hybrid natural fiber and polypropylene fiber reinforced composites

This article presents the results of a combined experimental and theoretical study of fracture and resistance-curve behavior of hybrid natural fiber- and synthetic polymer fiber-reinforced composites that are being developed for potential applications in affordable housing. Fracture and resistance-curve behavior are studied using single-edge notched bend specimens. The sisal fibers used were examined using atomic force microscopy for fiber bundle structures. The underlying crack/microstructure interactions and fracture mechanisms are elucidated via in situ optical microscopy and ex-situ environmental scanning microscopy techniques. The observed crack bridging mechanisms are modeled using small and large scale bridging concepts. The implications of the results are then discussed for the design of eco-friendly building materials that are reinforced with natural and polypropylene fibers.

Computation of (3)J(HH) coupling constants with a combination of density functional theory and semiempirical calculations. Application to complex molecules

This work evaluates the efficiency of economic levels of theory for the prediction of (3)J(HH) spin-spin coupling constants, to be used when robust electronic structure methods are prohibitive. To that purpose, DFT methods like mPW1PW91. B3LYP and PBEPBE were used to obtain coupling constants for a test set whose coupling constants are well known. Satisfactory results were obtained in most of cases, with the mPW1PW91/6-31G(d,p)//B3LYP/6-31G(d,p) leading the set. In a second step. B3LYP was replaced by the semiempirical methods PM6 and RM1 in the geometry optimizations. Coupling constants calculated with these latter structures were at least as good as the ones obtained by pure DFT methods. This is a promising result, because some of the main objectives of computational chemistry - low computational cost and time, allied to high performance and precision - were attained together. (C) 2012 Elsevier B.V. All rights reserved.

A nonlinear elliptic problem with terms concentrating in the boundary

In this paper, we investigate the behavior of a family of steady-state solutions of a nonlinear reaction diffusion equation when some reaction and potential terms are concentrated in a e-neighborhood of a portion G of the boundary. We assume that this e-neighborhood shrinks to G as the small parameter e goes to zero. Also, we suppose the upper boundary of this e-strip presents a highly oscillatory behavior. Our main goal here was to show that this family of solutions converges to the solutions of a limit problem, a nonlinear elliptic equation that captures the oscillatory behavior. Indeed, the reaction term and concentrating potential are transformed into a flux condition and a potential on G, which depends on the oscillating neighborhood. Copyright (C) 2012 John Wiley & Sons, Ltd.

Newtonian acceleration scales in spiral galaxies

We revisit the issue of the constancy of the dark matter (DM) and baryonic Newtonian acceleration scales within the DM scale radius by considering a large sample of late-type galaxies. We rely on a Markov Chain Monte Carlo method to estimate the parameters of the halo model and the stellar mass-to-light ratio and then propagate the uncertainties from the rotation curve data to the estimate of the acceleration scales. This procedure allows us to compile a catalogue of 58 objects with estimated values of the B-band absolute magnitude M-B, the virial mass M-vir, and the DM and baryonic Newtonian accelerations (denoted as g(DM)(r(0)) and g(bar)(r(0)), respectively) within the scale radius r(0) which we use to investigate whether it is possible to define a universal acceleration scale. We find a weak but statistically meaningful correlation with M-vir thus making us argue against the universality of the acceleration scales. However, the results somewhat depend on the sample adopted so that a careful analysis of selection effects should be carried out before any definitive conclusion can be drawn.

ABSENCE OF STABILIZATION POINT OF THE SPECIES ACCUMULATION CURVE IN TROPICAL FORESTS

The definition of the sample size is a major problem in studies of phytosociology. The species accumulation curve is used to define the sampling sufficiency, but this method presents some limitations such as the absence of a stabilization point that can be objectively determined and the arbitrariness of the order of sampling units in the curve. A solution to this problem is the use of randomization procedures, e. g. permutation, for obtaining a mean species accumulation curve and empiric confidence intervals. However, the randomization process emphasizes the asymptotical character of the curve. Moreover, the inexistence of an inflection point in the curve makes it impossible to define objectively the point of optimum sample size.