11048111
Modified Chinese remainder theorem and its application to proxy signatures
Chinese Remainder Theorem has been used for hundreds of years and has been applied to many domains such as integers and polynomials. An assumption made is that the component moduli are pairwise co-prime. In this paper, first we remove this assumption; then we give an algorithm to find whether a given system of congruent equations has a solution, and if so, how to find the solution in an efficient manner. Further we apply the modified Chinese Remainder Theorem to design proxy signatures.
47400657
Construction of correlation immune Boolean functions
It is shown in this paper that every correlation immune Boolean function of n variables can be written as f(x) = g(xGT ), where g is an algebraic non-degenerate Boolean function of k (k ≤ n) variables and G is a generating matrix of an [n, k, d] linear code. It is known that the correlation immunity of f (x) is at least d − 1. In this paper we further prove when the correlation immunity exceeds this lower bound. A method which can theoretically search exhaustively all possible correlation immune functions is proposed, while constructions of higher order correlation immune functions as well as algebraic non-degenerate correlation immune functions are discussed in particular. It is also shown that many cryptographic properties of g can be inherited by the correlation immune function f (x) = g(xGT) which is an important property for choosing useful correlation immune functions.
26993316
Construction of Cryptographically Important Boolean Permutations
Abstract.In this paper a new general methodology is developed to construct Boolean permutations such that any non-trivial linear combination of their components has the largest algebraic degree.
414035
Internet voting: concerns and solutions
Internet voting systems, catering to different requirements, have been widely implemented and used. Some have been successful, while others have experienced unexpected problems. This paper overviews the concerns of using Internet voting and tries to give solutions. Tradeoffs between the advantages and disadvantages of employing Internet voting are also addressed. A simple protocol is designed to show that technical problems identified in the literature can be solved fairly easily, though some seem subtle. This study reveals that the main concerns of adopting Internet voting for critical elections are not cryptographic tools, but hardware and software reliability, and social and political issues. After discussing possible concerns about Internet voting and possible solutions or comments, we propose steps to enable Internet voting to be adopted even for critical elections.
21970380
Counter-Propagation Neural Networks for Molecular Sequence Classification: Supervised LVQ and Dynamic Node Allocation
A modified counter-propagation (CP) algorithm with supervised learning vector quantizer (LVQ) and dynamic node allocation has been developed for rapid classification of molecular sequences. The molecular sequences were encoded into neural input vectors using an n–gram hashing method for word extraction and a singular value decomposition (SVD) method for vector compression. The neural networks used were three-layered, forward-only CP networks that performed nearest neighbor classification. Several factors affecting the CP performance were evaluated, including weight initialization, Kohonen layer dimensioning, winner selection and weight update mechanisms. The performance of the modified CP network was compared with the back-propagation (BP) neural network and the k–nearest neighbor method. The major advantages of the CP network are its training and classification speed and its capability to extract statistical properties of the input data. The combined BP and CP networks can classify nucleic acid or protein sequences with a close to 100% accuracy at a rate of about one order of magnitude faster than other currently available methods.
14149213
Efficient Stack Simulation for Shared Memory Set-Associative Multiprocessor Caches
We propose efficient stack simulation algorithms for shared memory multiprocessor (MP) caches. A stack simulation algorithm for write-updated MP caches is first presented. It produces the number of write-updates as well as misses for all cache configurations in a single run. We then devise a new stack simulation algorithm for writeinvalidate MP caches. Our algorithm takes into account cross-invalidation among processors, and generates the number of invalidations as well as misses for all cache configurations in a single run. A cache simulator based on our algorithms for MP caches is developed and the results on sample traces are reported. Our results show that effi cient stack simulation is a powerful technique for multi processor cache analysis.
8586136
Emotion recognition using acoustic features and textual content
The paper presents an approach to emotion recognition from speech signals and textual content. In the analysis of speech signals, thirty-three acoustic features are extracted from the speech input. After principle component analysis (PCA), 14 principle components are selected for discriminative representation. In this representation, each principle component is the combination of the 33 original acoustic features and forms a feature subspace. Support vector machines (SVMs) are adopted to classify the emotional states. In text analysis, all emotional keywords and emotion modification words are manually defined. The emotion intensity levels of emotional keywords and emotion modification words are estimated from a collected emotion corpus. The final emotional state is determined based on the emotion outputs from the acoustic and textual approaches. The experimental result shows that the emotion recognition accuracy of the integrated system is better than each of the two individual approaches.
15142715
A cokriging method for estimating population density in urban areas
Population information is typically available for analysis in aggregate socioeconomic reporting zones, such as census blocks in the United States and enumeration districts in the United Kingdom. However, such data mask underlying individual population distributions and may be incompatible with other information sources (e.g. school districts, transportation analysis zones, metropolitan statistical areas, etc.). Moreover, it is well known that there are potential significance issues associated with scale and reporting units, the modifiable areal unit problem (MAUP), when such data are used in analysis. This may lead to biased results in spatial modeling approaches. In this study, impervious surface fraction derived from Thematic Mapper (TM) imagery was applied to derive the underlying population of an urban region. A cokriging method was developed to interpolate population density by modeling the spatial correlation and cross-correlation of population and impervious surface fraction. Results suggest that population density can be accurately estimated using cokriging applied to impervious surface fraction. In particular, the relative population estimation error is � 0.3% for the entire study area and 10–15% at block group and tract levels. Moreover, unlike other interpolation methods, cokriging gives estimation variance at the TM pixel level. 2005 Elsevier Ltd. All rights reserved.
19123449
Operating System Kernel for a Reconfigurable Multiprocessor System