A family of implementation-friendly BN elliptic curves

For the last decade, elliptic curve cryptography has gained increasing interest in industry and in the academic community. This is especially due to the high level of security it provides with relatively small keys and to its ability to create very efficient and multifunctional cryptographic schemes by means of bilinear pairings. Pairings require pairing-friendly elliptic curves and among the possible choices, Barreto-Naehrig (BN) curves arguably constitute one of the most versatile families. In this paper, we further expand the potential of the BN curve family. We describe BN curves that are not only computationally very simple to generate, but also specially suitable for efficient implementation on a very broad range of scenarios. We also present implementation results of the optimal ate pairing using such a curve defined over a 254-bit prime field. (C) 2001 Elsevier Inc. All rights reserved.

Efficient Modeling of Thin Wires in a Lossy Medium by Finite Elements Applied to Grounding Systems

A procedure is proposed to accurately model thin wires in lossy media by finite element analysis. It is based on the determination of a suitable element width in the vicinity of the wire, which strongly depends on the wire radius to yield accurate results. The approach is well adapted to the analysis of grounding systems. The numerical results of the application of finite element analysis with the suitably chosen element width are compared with both analytical results and those computed by a commercial package for the analysis of grounding systems, showing very good agreement.

Recycling Krylov subspaces for efficient large-scale electrical impedance tomography

Electrical impedance tomography (EIT) captures images of internal features of a body. Electrodes are attached to the boundary of the body, low intensity alternating currents are applied, and the resulting electric potentials are measured. Then, based on the measurements, an estimation algorithm obtains the three-dimensional internal admittivity distribution that corresponds to the image. One of the main goals of medical EIT is to achieve high resolution and an accurate result at low computational cost. However, when the finite element method (FEM) is employed and the corresponding mesh is refined to increase resolution and accuracy, the computational cost increases substantially, especially in the estimation of absolute admittivity distributions. Therefore, we consider in this work a fast iterative solver for the forward problem, which was previously reported in the context of structural optimization. We propose several improvements to this solver to increase its performance in the EIT context. The solver is based on the recycling of approximate invariant subspaces, and it is applied to reduce the EIT computation time for a constant and high resolution finite element mesh. In addition, we consider a powerful preconditioner and provide a detailed pseudocode for the improved iterative solver. The numerical results show the effectiveness of our approach: the proposed algorithm is faster than the preconditioned conjugate gradient (CG) algorithm. The results also show that even on a standard PC without parallelization, a high mesh resolution (more than 150,000 degrees of freedom) can be used for image estimation at a relatively low computational cost. (C) 2010 Elsevier B.V. All rights reserved.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

New simple and efficient heuristics for the uncapacitated single allocation hub location problem

Hub-and-spoke networks are widely studied in the area of location theory. They arise in several contexts, including passenger airlines, postal and parcel delivery, and computer and telecommunication networks. Hub location problems usually involve three simultaneous decisions to be made: the optimal number of hub nodes, their locations and the allocation of the non-hub nodes to the hubs. In the uncapacitated single allocation hub location problem (USAHLP) hub nodes have no capacity constraints and non-hub nodes must be assigned to only one hub. In this paper, we propose three variants of a simple and efficient multi-start tabu search heuristic as well as a two-stage integrated tabu search heuristic to solve this problem. With multi-start heuristics, several different initial solutions are constructed and then improved by tabu search, while in the two-stage integrated heuristic tabu search is applied to improve both the locational and allocational part of the problem. Computational experiments using typical benchmark problems (Civil Aeronautics Board (CAB) and Australian Post (AP) data sets) as well as new and modified instances show that our approaches consistently return the optimal or best-known results in very short CPU times, thus allowing the possibility of efficiently solving larger instances of the USAHLP than those found in the literature. We also report the integer optimal solutions for all 80 CAB data set instances and the 12 AP instances up to 100 nodes, as well as for the corresponding new generated AP instances with reduced fixed costs. Published by Elsevier Ltd.

Simple and Efficient Access to 3-Ethoxycarbonylpyrroles, Benzofurans, and Naphthofurans

An efficient method was developed for the synthesis of pyrrole and furan derivatives from enamines, phenols, and naphthols. The key steps involve iodocyclization and alumina-induced dehydroiodination reactions.

Chiral Triphenylprolinol Ligands for the Efficient Catalytic Asymmetric Arylation of Aldehydes

The synthesis of new chiral amino alcohols by Heck arylation of an enecarbamate is described. These compounds were used as chiral ligands for the catalytic asymmetric arylation of aldehydes and can be easily recovered. Chiral, nonracemic diarylmethanols were obtained in high yields and enantioselectivities.

Highly efficient palladium-catalyzed Suzuki-Miyaura reactions of potassium aryltrifluoroborates with 5-iodo-1,3-dioxin-4-ones in water: an approach to alpha-aryl-beta-ketoesters

The high efficient palladium-catalyzed Suzuki-Miyaura reactions of potassium aryltrifluoroborates 3 with 5-iodo-1,3-dioxin-4-ones 2a-b in water as only solvent in the presence of n-Bu(4)NOH as base is reported. The respective 5-aryl-1,3-dioxin-4-ones 4a-n were obtained in good to excellent yields. The catalyst system provides high efficiency at low load using electronically diverse coupling partners. The obtained 2,2,6-trimethyl-5-aryl-1,3-dioxin-4-ones were transformed into corresponding alpha-aryl-beta-ketoesters 6 by reaction with an alcohol in the absence of solvent. (C) 2009 Elsevier Ltd. All rights reserved.

Copper salt-catalyzed homo-coupling reaction of potassium alkynyltrifluoroborates: a simple and efficient synthesis of symmetrical 1,3-diynes

The copper-catalyzed dimerization of alkynyltrifluoroborates proceeds readily with good yields. The homo-coupling reaction can be effected in DMSO, in the open air, using Cu(OAc)(2) as catalyst in the absence of any other additives. A variety of functional groups are tolerated. (C) 2008 Elsevier Ltd. All rights reserved.

Efficient sonochemical synthesis of novel 3,5-diaryl-4,5-dihydro-1H-pyrazole-1-carboximidamides

An Ultrasound-assisted preparation of a series of novel 3,5-diaryl-4,5-dihydro-1H-pyrazole-1-carboximidamides that proceeds via the efficient reaction of chalcones with aminoguanidine hydrochloride under clean conditions is described. (C) 2009 Elsevier B.V. All rights reserved.

Fast and efficient synthesis of pyrano[3,2-c]quinolines catalyzed by niobium(V) chloride

A highly efficient two-step method for the synthesis of pyranoquinoline derivatives from imino-Diels-Alder reactions between aldimines and 3,4-dihydro-2H-pyran using niobium(V) chloride as catalyst under mild conditions is described.

Efficient Phosphodiester Hydrolysis by Luminescent Terbium(III) and Europium(III) Complexes

The synthesis and structures of two new isostructural mononuclear [Ln(L)(NO(3))(H(2)O)(3)](NO(3))(2) complexes, with Ln = Tb (complex 1) and Eu (complex 2), which display high activity in the hydrolysis of the substrate 2,4-bis(dinitrophenyl)phosphate, are reported. These complexes displayed catalytic behavior similar to the mononuclear gadolinium complex [Gd(L)(NO(3))(H(2)O)(3)](NO(3))(2) previously reported by us (lnorg. Chem. 2008, 47, 2919-2921); one hydrolysis reaction in two stages where the diesterase and monoesterase activities could be monitored separately, with the first stage dependent on and the second independent of the complex concentration. Through potentiometric studies, electrospray ionization mass spectrometry (ESI-MS) analysis, and determination of the kinetic behaviors of 1 and 2 in acetonitrile/water solution, the species present in solution could be identified and suggested a dinuclear species, with one hydroxo group, as the most prominent catalyst under mild conditions. The complexes show high activity (k(1)= 7 and 18 s(-1) for 1 and 2, respectively) and catalytic efficiency. Complexes 1 and 2 were found to be active toward the cleavage of plasmid DNA, and complete kinetic studies were carried out. Studies with a radical scavenger (dimethylsulfoxide) confirmed the hydrolytic action of 1 and 2 in the cleavage of DNA. Studies on the incubation of distamycin with plasmid DNA suggested that 1 and 2 are regio-specific, interacting with the minor groove of DNA. These complexes displayed luminescent properties. Complex 1 showed higher emission intensity than 2 due to a more efficient energy transfer between triplet and emission levels of terbium (T -> (5)D(4)), along with nonradiative deactivation mechanisms of the excited states of europium via multiphonon decays and the ligand-to-metal charge transfer state. Lifetime measurements of the (5)D(4) and (5)D(0) excited levels for 1 and 2, respectively, indicated the numbers of coordinated water molecules for the complexes.

Major histocompatibility complex (MHC) class II but not MHC class I molecules are required for efficient control of Strongyloides venezuelensis infection in mice

P>Strongyloides stercoralis is an intestinal nematode capable of chronic, persistent infection and hyperinfection of the host; this can lead to dissemination, mainly in immunosuppressive states, in which the infection can become severe and result in the death of the host. In this study, we investigated the immune response against Strongyloides venezuelensis infection in major histocompatibility complex (MHC) class I or class II deficient mice. We found that MHC II(-/-) animals were more susceptible to S. venezuelensis infection as a result of the presence of an elevated number of eggs in the faeces and a delay in the elimination of adult worms compared with wild-type (WT) and MHC I(-/-) mice. Histopathological analysis revealed that MHC II(-/-) mice had a mild inflammatory infiltration in the small intestine with a reduction in tissue eosinophilia. These mice also presented a significantly lower frequency of eosinophils and mononuclear cells in the blood, together with reduced T helper type 2 (Th2) cytokines in small intestine homogenates and sera compared with WT and MHC I(-/-) animals. Additionally, levels of parasite-specific immunoglobulin M (IgM), IgA, IgE, total IgG and IgG1 were also significantly reduced in the sera of MHC II(-/-) infected mice, while a non-significant increase in the level of IgG2a was found in comparison to WT or MHC I(-/-) infected mice. Together, these data demonstrate that expression of MHC class II but not class I molecules is required to induce a predominantly Th2 response and to achieve efficient control of S. venezuelensis infection in mice.

Evaluation of erythrocyte dysmorphism by light microscopy with lowering of the condenser lens: A simple and efficient method

Aim: To demonstrate that the evaluation of erythrocyte dysmorphism by light microscopy with lowering of the condenser lens (LMLC) is useful to identify patients with a haematuria of glomerular or non-glomerular origin. Methods: A comparative double-blind study between phase contrast microscopy (PCM) and LMLC is reported to evaluate the efficacy of these techniques. Urine samples of 39 patients followed up for 9 months were analyzed, and classified as glomerular and non-glomerular haematuria. The different microscopic techniques were compared using receiver-operator curve (ROC) analysis and area under curve (AUC). Reproducibility was assessed by coefficient of variation (CV). Results: Specific cut-offs were set for each method according to their best rate of specificity and sensitivity as follows: 30% for phase contrast microscopy and 40% for standard LMLC, reaching in the first method the rate of 95% and 100% of sensitivity and specificity, respectively, and in the second method the rate of 90% and 100% of sensitivity and specificity, respectively. In ROC analysis, AUC for PCM was 0.99 and AUC for LMLC was 0.96. The CV was very similar in glomerular haematuria group for PCM (35%) and LMLC (35.3%). Conclusion: LMLC proved to be effective in contributing to the direction of investigation of haematuria, toward the nephrological or urological side. This method can substitute PCM when this equipment is not available.

A Simple and Efficient Device for Demonstrating Cross-sectional Anatomy of the Head

Described in this article is a novel device that facilitates study of the cross-sectional anatomy of the human head. In designing our device, we aimed to protect sections of the head from the destructive action of handling during anatomy laboratory while also ensuring excellent visualization of the anatomic structures. We used an electric saw to create 15-mm sections of three cadaver heads in the three traditional anatomic planes and inserted each section into a thin, perforated display box made of transparent acrylic material. The thin display boxes with head sections are kept in anatomical order in a larger transparent acrylic storage box containing formaldehyde solution, which preserves the specimens but also permits direct observation of the structures and their anatomic relationships to each other. This box-within-box design allows students to easily view sections of a head in its anatomical position as well as to examine internal structures by manipulating individual display boxes without altering the integrity of the preparations. This methodology for demonstrating cross-section anatomy allows efficient use of cadaveric material and technician time while also giving learners the best possible handling and visualization of complex anatomic structures. Our approach to teaching cross-sectional anatomy of the head can be applied to any part of human body, and the value of our device design will only increase as more complicated understandings of cross-sectional anatomy are required by advances and proliferation of imaging technology. Anat Sci Educ 3: 141-143, 2010. (C) 2010 American Association of Anatomists.