1252083
Formal Security Proofs for a Signature Scheme with Partial Message Recovery
The Pintsov-Vanstone signature scheme with partial message recovery (PVSSR) is a signature scheme with low message expansion (overhead) and variable length recoverable and non-recoverable message parts. The scheme uses three cryptographic primitives: a symmetric cipher, hash function and an elliptic curve group. We give three security proofs for PVSSR in this paper. Each proof makes a concrete and necessary assumption about one primitive, and models the other two primitives by idealizations. Thus, PVSSR with a strong cipher may offer greater security than other common variants of ElGamal signatures.
28079143
Provably Secure Implicit Certificate Schemes
Optimal mail certificates, introduced in [12], are efficient types of implicit certificates which offer many advantages over traditional (explicit) certificates. For example, an optimal mail certificate is small enough to fit on a two-dimensional digital postal mark together with a digital signature. This paper defines a general notion of security for implicit certificates, and proves that optimal mail certificates are secure under this definition.
40941890
The Quadrangulation Conjecture for Orientable Surfaces
By means of character theory and symmetric functions, D. M. Jackson and T. I. Visentin (1990, Trans. Amer. Math. Soc. 322, (343-363)) proved the existence of certain bijections between the set of quadrangulations in orientable surfaces and decorated maps (with marked edges and coloured vertices) in orientable surfaces. The bijections preserve a weight function consisting of a pair (g,n) of integer parameters. For quadrangulations, g is the genus and n is the number of faces. For decorated maps, g is the genus plus half the number of white vertices and n is the number of edges. The Quadrangulation Conjecture concerns the problem of finding a natural bijection of this type. Tutte's medial construction is a solution in the special case g = 0 of planar maps. We give a construction of a bijection ??Ξ which both extends Tutte's medial construction to non-planar maps and preserves the parameter n of the Quadrangulation Conjecture. (The parameter g is not generally preserved, except when g = 0.) Non-orientable surfaces play an important part in the construction of ??Ξ. As part of the construction, we introduce a bijection between orientable rooted quadrangulations and locally orientable, bipartite, rooted quadrangulations.
38456449
NLG - Natural Language Graphics
The goal of the NLG project is to enhance person-computer interaction by using more than one mode of communication. The project uses a combination of natural language and graphics for both input and output. This allows development of practical, habitable systems suitable for users who are naive about programming, and encourages productive use of computers by more people. Mixed graphical and linguistic interaction could be an important tool in a variety of application areas.
8351261
Subfamily HMMS in Functional Genomics
The limitations of homology-based methods for prediction of protein molecular function are well known; differences in domain structure, gene duplication events and errors in existing database annotations complicate this process. In this paper we present a method to detect and model protein subfamilies, which can be used in high-throughput, genome-scale phylogenomic inference of protein function. We demonstrate the method on a set of nine PFAM families, and show that subfamily HMMs provide greater separation of homologs and non-homologs than is possible with a single HMM for each family. We also show that subfamily HMMs can be used for functional classification with a very low expected error rate. The BETE method for identifying functional subfamilies is illustrated on a set of serotonin receptors.
29206629
Inferring User Interest
As the World Wide Web continues to grow, people find it impossible to access even a small portion of the information generated in a day from Usenet news, e-mail, and Web postings. Automated filters help us to prioritize and access only the information in which we're interested. Because opinions differ about the importance or relevance of information, people need personalized filters. Implicit indicators captured while users browse the Web can be as predictive of interest levels as explicit ratings.
1332842
A functional framework for the implementation of genetic algorithms: Comparing Haskell and Standard ML
We present our experience of developing a generic functiona l framework for the implementation of genetic algorithms (GAs). We have implemented two versions of the framework, one in Haskell and the other in Standard ML. This paper describes the structure of the framework, and com pares the performance of the two versions using the Royal Road Problem in g enetic algorithms. The Haskell version is found to be vastly slower than the equi valent Standard ML version, and the reasons for this have not been exposed by p rofiling the code. The maximum heap size and the proportion of time spent on garb a e collection is also greater in the Haskell version. In some cases, garbag e collection accounts for almost 50% of the total execution time.
14054763
The use of functional domains to improve transmembrane protein topology prediction
Transmembrane proteins affect vital cellular functions and pathogenesis, and are a focus of drug design. It is difficult to obtain diffraction quality crystals to study transmembrane protein structure. Computational tools for transmembrane protein topology prediction fill in the gap between the abundance of transmembrane proteins and the scarcity of known membrane protein structures. Their prediction accuracy is still inadequate: TMHMM, the current state-of-the-art method, has less than 52% accuracy in topology prediction on one set of transmembrane proteins of known topology. Based on the observation that there are functional domains that occur preferentially internal or external to the membrane, we have extended the model of TMHMM to incorporate functional domains, using a probabilistic approach originally developed for computational gene finding. Our extension is better than TMHMM in predicting the topology of transmembrane proteins. As prediction of functional domain improves, our system's prediction accuracy will likely improve as well.