Shared generation of pseudo-random functions

In Crypto’95, Micali and Sidney proposed a method for shared generation of a pseudo-random function f(·) among n players in such a way that for all the inputs x, any u players can compute f(x) while t or fewer players fail to do so, where 0⩽tapproximation greedy algorithm for generating the secret seeds S in which d is close to the optimum by a factor of at most u ln 2.

Shared generation of pseudo-random functions with cumulative maps

In Crypto’95, Micali and Sidney proposed a method for shared generation of a pseudo-random function f(·) among n players in such a way that for all the inputs x, any u players can compute f(x) while t or fewer players fail to do so, where 0 ≤ t < u ≤ n. The idea behind the Micali-Sidney scheme is to generate and distribute secret seeds S = s1, . . . , sd of a poly-random collection of functions, among the n players, each player gets a subset of S, in such a way that any u players together hold all the secret seeds in S while any t or fewer players will lack at least one element from S. The pseudo-random function is then computed as where f s i (·)’s are poly-random functions. One question raised by Micali and Sidney is how to distribute the secret seeds satisfying the above condition such that the number of seeds, d, is as small as possible. In this paper, we continue the work of Micali and Sidney. We first provide a general framework for shared generation of pseudo-random function using cumulative maps. We demonstrate that the Micali-Sidney scheme is a special case of this general construction.We then derive an upper and a lower bound for d. Finally we give a simple, yet efficient, approximation greedy algorithm for generating the secret seeds S in which d is close to the optimum by a factor of at most u ln 2.

Unbalance identification in large steam turbo-generator unit using a model-based method

Fault identification in industrial machine is a topic of major importance under engineering point of view. In fact, the possibility to identify not only the type, but also the severity and the position of a fault occurred along a shaft-line allows quick maintenance and shorten the downtime. This is really important in the power generation industry where the units are often of several tenths of meters long and where the rotors are enclosed by heavy and pressure-sealed casings. In this paper, an industrial experimental case is presented related to the identification of the unbalance on a large size steam turbine of about 1.3 GW, belonging to a nuclear power plant. The case history is analyzed by considering the vibrations measured by the condition monitoring system of the unit. A model-based method in the frequency domain, developed by the authors, is introduced in detail and it is then used to identify the position of the fault and its severity along the shaft-line. The complete model of the unit (rotor – modeled by means of finite elements, bearings – modeled by linearized damping and stiffness coefficients and foundation – modeled by means of pedestals) is analyzed and discussed before being used for the fault identification. The assessment of the actual fault was done by inspection during a scheduled maintenance and excellent correspondence was found with the identified one by means of authors’ proposed method. Finally a complete discussion is presented about the effectiveness of the method, even in presence of a not fine tuned machine model and considering only few measuring planes for the machine vibration.

Application of a hybrid Entropy–McKinsey Matrix method in evaluating sustainable urbanization : a China case study

Although urbanization can promote social and economic development, it can also cause various problems. As the key decision makers of urbanization, local governments should be able to evaluate urbanization performance, summarize experiences, and find problems caused by urbanization. This paper introduces a hybrid Entropy–McKinsey Matrix method for evaluating sustainable urbanization. The McKinsey Matrix is commonly referred to as the GE Matrix. The values of a development index (DI) and coordination index (CI) are calculated by employing the Entropy method and are used as a basis for constructing a GE Matrix. The matrix can assist in assessing sustainable urbanization performance by locating the urbanization state point. A case study of the city of Jinan in China demonstrates the process of using the evaluation method. The case study reveals that the method is an effective tool in helping policy makers understand the performance of urban sustainability and therefore formulate suitable strategies for guiding urbanization toward better sustainability.

Optimizing I/O cost and managing memory for composition vector method based on correlation matrix calculation in bioinformatics

The generation of a correlation matrix for set of genomic sequences is a common requirement in many bioinformatics problems such as phylogenetic analysis. Each sequence may be millions of bases long and there may be thousands of such sequences which we wish to compare, so not all sequences may fit into main memory at the same time. Each sequence needs to be compared with every other sequence, so we will generally need to page some sequences in and out more than once. In order to minimize execution time we need to minimize this I/O. This paper develops an approach for faster and scalable computing of large-size correlation matrices through the maximal exploitation of available memory and reducing the number of I/O operations. The approach is scalable in the sense that the same algorithms can be executed on different computing platforms with different amounts of memory and can be applied to different bioinformatics problems with different correlation matrix sizes. The significant performance improvement of the approach over previous work is demonstrated through benchmark examples.

A comparison of techniques for the reconstruction of leaf surfaces from scanned data

The foliage of a plant performs vital functions. As such, leaf models are required to be developed for modelling the plant architecture from a set of scattered data captured using a scanning device. The leaf model can be used for purely visual purposes or as part of a further model, such as a fluid movement model or biological process. For these reasons, an accurate mathematical representation of the surface and boundary is required. This paper compares three approaches for fitting a continuously differentiable surface through a set of scanned data points from a leaf surface, with a technique already used for reconstructing leaf surfaces. The techniques which will be considered are discrete smoothing D2-splines [R. Arcangeli, M. C. Lopez de Silanes, and J. J. Torrens, Multidimensional Minimising Splines, Springer, 2004.], the thin plate spline finite element smoother [S. Roberts, M. Hegland, and I. Altas, Approximation of a Thin Plate Spline Smoother using Continuous Piecewise Polynomial Functions, SIAM, 1 (2003), pp. 208--234] and the radial basis function Clough-Tocher method [M. Oqielat, I. Turner, and J. Belward, A hybrid Clough-Tocher method for surface fitting with application to leaf data., Appl. Math. Modelling, 33 (2009), pp. 2582-2595]. Numerical results show that discrete smoothing D2-splines produce reconstructed leaf surfaces which better represent the original physical leaf.

An improved method for undertaking limiting dilution assays for in vitro cloning of Plasmodium falciparum parasites

Background Obtaining single parasite clones is required for many techniques in malaria research. Cloning by limiting dilution using microscopy-based assessment for parasite growth is an arduous and labor-intensive process. An alternative method for the detection of parasite growth in limiting dilution assays is using a commercial ELISA histidine-rich protein II (HRP2) detection kit. Methods Detection of parasite growth was undertaken using HRP2 ELISA and compared to thick film microscopy. An HRP2 protein standard was used to determine the detection threshold of the HRP2 ELISA assay, and a HRP2 release model was used to extrapolate the amount of parasite growth required for a positive result. Results The HRP2 ELISA was more sensitive than microscopy for detecting parasite growth. The minimum level of HRP2 protein detection of the ELISA was 0.11ng/ml. Modeling of HRP2 release determined that 2,116 parasites are required to complete a full erythrocytic cycle to produce sufficient HRP2 to be detected by the ELISA. Under standard culture conditions this number of parasites is likely to be reached between 8 to 14 days of culture. Conclusions This method provides an accurate and simple way for the detection of parasite growth in limiting dilution assays, reducing time and resources required in traditional methods. Furthermore the method uses spent culture media instead of the parasite-infected red blood cells, enabling culture to continue.

Synthesis of diketopyrrolopyrrole based copolymers via the direct arylation method for p-channel and ambipolar OFETs

In this paper, we have synthesized two novel diketopyrrolopyrrole (DPP) based donor-acceptor (D-A) copolymers poly{3,6-dithiophene-2-yl-2,5-di(2-octyl)- pyrrolo[3,4-c]pyrrole-1,4-dione-alt-1,5-bis(dodecyloxy)naphthalene} (PDPPT-NAP) and poly{3,6-dithiophene-2-yl-2,5-di(2-butyldecyl)-pyrrolo[3,4-c]pyrrole-1,4- dione-alt-2-dodecyl-2H-benzo[d][1,2,3]triazole} (PDPPT-BTRZ) via direct arylation organometallic coupling. Both copolymers contain a common electron withdrawing DPP building block which is combined with electron donating alkoxy naphthalene and electron withdrawing alkyl-triazole comonomers. The number average molecular weight (Mn) determined by gel permeation chromatography (GPC) for polymer PDPPT-NAP is around 23 400 g mol-1 whereas for polymer PDPPT-BTRZ it is 18 600 g mol-1. The solid state absorption spectra of these copolymers show a wide range of absorption from 400 nm to 1000 nm with optical band gaps calculated from absorption cut off values in the range of 1.45-1.30 eV. The HOMO values determined for PDPPT-NAP and PDPPT-BTRZ copolymers from photoelectron spectroscopy in air (PESA) data are 5.15 eV and 5.25 eV respectively. These polymers exhibit promising p-channel and ambipolar behaviour when used as an active layer in organic thin-film transistor (OTFT) devices. The highest hole mobility measured for polymer PDPPT-NAP is around 0.0046 cm2 V-1 s-1 whereas the best ambipolar performance was calculated for PDPPT-BTRZ with a hole and electron mobility of 0.01 cm2 V-1 s-1 and 0.006 cm2 V-1 s-1.

A new method of interfacing battery/supercapacitor energy storage systems for distributed energy sources

Battery-supercapacitor hybrid energy storage systems can achieve better power and energy performances compared to their individual use. These hybrid systems require separate dc-dc converters, or at least one dc-dc converter for the supercapacitor bank, to connect them to the dc-link of the grid connecting inverter. However, the use of such dc-dc converters introduces additional cost and power losses. Therefore, the possibility of direct connection of energy storage systems, to the dc-link of a diode clamped 3-level inverter is investigated in this paper. Even though the proposed topology does not use dc-dc converters, a vector selection method is proposed to produce a similar control flexibility that is found in the separate dc-dc converter topology. The major issue with the proposed system is the imminent imbalance of the neutral point potential. A PWM technique with modified carriers is used to solve this problem. Simulations are carried out using MATLAB/SIMULINK to verify the efficacy of the proposed system.

A novel dc-link voltage regulation method for single source hybrid multilevel inverters

This paper presents a novel dc-link voltage regulation technique for a hybrid inverter system formed by cascading two 3-level inverters. The two inverters are named as “bulk inverter” and “conditioning inverter”. For the hybrid system to act as a nine level inverter, conditioning inverter dc link voltage should be maintained at one third of the bulk inverter dc link voltage. Since the conditioning inverter is energized by two series connected capacitors, dc-link voltage regulation should be carried out by controlling the capacitor charging/discharging times. A detailed analysis of conditioning inverter capacitor charging/discharging process and a simplified general rule, derived from the analysis, are presented in this paper. Time domain simulations were carried out to demonstrate efficacy of the proposed method on regulating the conditioning inverter dc-link voltage under various operating conditions.

A review selection method using product feature taxonomy

As of today, online reviews have become more and more important in decision making process. In recent years, the problem of identifying useful reviews for users has attracted significant attentions. For instance, in order to select reviews that focus on a particular feature, researchers proposed a method which extracts all associated words of this feature as the relevant information to evaluate and find appropriate reviews. However, the extraction of associated words is not that accurate due to the noise in free review text, and this affects the overall performance negatively. In this paper, we propose a method to select reviews according to a given feature by using a review model generated based upon a domain ontology called product feature taxonomy. The proposed review model provides relevant information about the hierarchical relationships of the features in the review which captures the review characteristics accurately. Our experiment results based on real world review dataset show that our approach is able to improve the review selection performance according to the given criteria effectively.

Stature estimation of a contemporary Australian sub-population: An evaluation of the Trotter and Gleser method using computed tomography of the femur

Utilising computed tomography scans to allow a virtual analysis of three-dimensional reconstructions of the femur, this project confirms that the traditional 1952 Trotter and Gleser stature estimation equations are inapplicable for a contemporary Queensland population. Therefore, this study introduces modern stature estimation equations for femoral length and fragmentary femoral remains using Bayesian statistics for application in forensic anthropological casework. In addition, it was found that caution needs to be applied when comparing estimated stature to reported stature on the missing persons database due to inaccuracy in Queensland drivers' licences.

Bayesian hierarchical models for analysing spatial point-based data at a grid level: A comparison of approaches

Spatial data are now prevalent in a wide range of fields including environmental and health science. This has led to the development of a range of approaches for analysing patterns in these data. In this paper, we compare several Bayesian hierarchical models for analysing point-based data based on the discretization of the study region, resulting in grid-based spatial data. The approaches considered include two parametric models and a semiparametric model. We highlight the methodology and computation for each approach. Two simulation studies are undertaken to compare the performance of these models for various structures of simulated point-based data which resemble environmental data. A case study of a real dataset is also conducted to demonstrate a practical application of the modelling approaches. Goodness-of-fit statistics are computed to compare estimates of the intensity functions. The deviance information criterion is also considered as an alternative model evaluation criterion. The results suggest that the adaptive Gaussian Markov random field model performs well for highly sparse point-based data where there are large variations or clustering across the space; whereas the discretized log Gaussian Cox process produces good fit in dense and clustered point-based data. One should generally consider the nature and structure of the point-based data in order to choose the appropriate method in modelling a discretized spatial point-based data.

Governing virtual worlds : to what extent is it possible to empower players and preserve their rights in virtual worlds, and what is the best method of doing so?

In this paper the author considers the possibilities for establishing democratic governance in virtual worlds. He looks at the freedoms currently available to players in “Second Life”, contrasting these to those established in Raph Koster’s “A Declaration of the Rights of Avatars”, and assess whether some restrictions are more necessary in game spaces than social spaces. The author looks at the early implementations of self-governance in online spaces, and consider what lessons can be taken from these, investigating what a contemporary democratic space looks like, in the form of “A Tale in the Desert”, and finally considers how else we may think of giving players more rights in these developing social spaces.