identity based threshold proxy signature

IEEE Computer Society

smoothing document language model with local word graph

ACM SIGIR; ACM SIGWEB

BRST quantization and canonical Ward identity of the supersymmetric electromagnetic interaction system

According to the method of path integral quantization for the canonical constrained system in Becchi-Rouet-Stora-Tyutin scheme, the supersymmetric electromagnetic interaction system was quantized. Both the Hamiltonian of the supersymmetric electromagnetic interaction system in phase space and the quantization procedure were simplified. The BRST generator was constructed, and the BRST transformations of supersymmetric fields were gotten; the effective action was calculated, and the generating functional for the Green function was achieved; also, the gauge generator was constructed, and the gauge transformation of the system was obtained. Finally, the Ward-Takahashi identities based on the canonical Noether theorem were calculated, and two relations between proper vertices and propagators were obtained.

Structure and identity of 4,4 '-thiobisbenzenethiol self-assembled monolayers

Self-assembled monolayers (SAMs) of 4,4'-thiobisbenzenethiol (TBBT) can be formed on Au surface spontaneously. The structural characteristics and adsorption behavior of TBBT SAMs on Au have been investigated by surface enhanced Raman scattering (SERS), electrochemical cyclic voltammetry (CV), ac impedance spectroscopy (EIS), and atomic force microscopy (AFM). It is demonstrated that TBBT adsorbed on Au by losing a H atom, forming one Au-S bond, and the other mercapto group is free at the surface of the monolayer owing to the presence of the nu(S-H) at 2513 cm(-1) and the delta(C-S-H) at 910 cm(-1) in SERS. The enhancement of the vibration of C-S (1064 cm(-1)), the aromatic C-H vibration (3044 cm(-1)), and the absence of the vibration of S-S illustrate TBBT adsorbed on Au forming a monolayer with one benzene ring tilted with respect to the Au surface. The interpretation of the observed frequencies is aided by ab initio molecular orbital (MO) calculations at the HF/6-31G* level of theory. Electrochemical CV and EIS indicate TBBT monolayers can passivate the Au effectively for its low ratio of pinhole defects (theta = 99.6%). AFM studies give details about the surface morphology. The applications of TBBT SAMs have been extensively investigated by exposure of Cu2+ ion to TBBT SAMs on Au and covalent adsorption of metal nanoparticles.

Assessing genetic identity of sporophytic offspring of the brown alga Undaria pinnatifida derived from mono-crossing of gametophyte clones by use of amplified fragment length polymorphism and microsatellite markers

The haploid stage of gametophytes of the subtidal brown alga Undaria pinnatifida can be vegetatively propagated under favorable conditions. This unique characteristic makes it possible to establish independent gametophyte cell lines that are zoospore-derived. Sporophytic offspring can be generated through hybridizing the male and female gametophytes, which are derived from different cell lines. Accumulated experiences in this and other species in Laminariales demonstrated the applicability of this novel way to breed desired strains for open-sea cultivation. Sporophytic offspring originated from mono-crossing of male and female gametophyte clones were shown to have similar morphological characteristics under identical ambient conditions. However, there has been no report to relate this similarity on molecular levels. In this report, amplified fragment length polymorphism (AFLP) and microsatellite markers were used to analyze the genetic identity of sporophytic offspring of U. pinnatifida originated from two mono-crossing lines (M1 and M2), two self-breeding lines (S1 and S2) and one wild population (W). Totally 318 AFLP loci were revealed by use of 11 primer sets, of which 4.7%, 0.3%, 17.9%, 16.4% and 36.5% were polymorphic in M1, M2, S1, S2 and W, respectively. The pairwise genetic identity among the individuals of the same line was assessed. It was shown that offspring from mono-crossing lines had a higher degree of identity (95.6-100%) than self-breeding lines (87.7-98.4%) and the wild population (81.5-92.1%). Analysis by use of six microsatellite loci also revealed a higher genetic identity among individuals of the mono-crossing line, further confirming the results of AFLP analysis. Results from this investigation support, on molecular levels, the novel way to produce and maintain strains in U. pinnatifida by use of different gametophyte cell lines.

Natural Language Syntax and First Order Preference

We have argued elsewhere that first order inference can be made more efficient by using non-standard syntax for first order logic. In this paper we show how a fragment of English syntax under Montague semantics provides the foundation of a new inference procedure. This procedure seems more effective than corresponding procedures based on either classical syntax of our previously proposed taxonomic syntax. This observation may provide a functional explanation for some of the syntactic structure of English.

Computational Consequences of Agreement and Ambiguity in Natural Language

The computer science technique of computational complexity analysis can provide powerful insights into the algorithm-neutral analysis of information processing tasks. Here we show that a simple, theory-neutral linguistic model of syntactic agreement and ambiguity demonstrates that natural language parsing may be computationally intractable. Significantly, we show that it may be syntactic features rather than rules that can cause this difficulty. Informally, human languages and the computationally intractable Satisfiability (SAT) problem share two costly computional mechanisms: both enforce agreement among symbols across unbounded distances (Subject-Verb agreement) and both allow ambiguity (is a word a Noun or a Verb?).

The Behavior Language; User's Guide

The Behavior Language is a rule-based real-time parallel robot programming language originally based on ideas from [Brooks 86], [Connell 89], and [Maes 89]. It compiles into a modified and extended version of the subsumption architecture [Brooks 86] and thus has backends for a number of processors including the Motorola 68000 and 68HCll, the Hitachi 6301, and Common Lisp. Behaviors are groups of rules which are activatable by a number of different schemes. There are no shared data structures across behaviors, but instead all communication is by explicit message passing. All rules are assumed to run in parallel and asynchronously. It includes the earlier notions of inhibition and suppression, along with a number of mechanisms for spreading of activation.

Advanced Programming Language Features for Executable Design Patterns "Better Patterns Through Reflection

The Design Patterns book [GOF95] presents 24 time-tested patterns that consistently appear in well-designed software systems. Each pattern is presented with a description of the design problem the pattern addresses, as well as sample implementation code and design considerations. This paper explores how the patterns from the "Gang of Four'', or "GOF'' book, as it is often called, appear when similar problems are addressed using a dynamic, higher-order, object-oriented programming language. Some of the patterns disappear -- that is, they are supported directly by language features, some patterns are simpler or have a different focus, and some are essentially unchanged.

Revised Report on the Algorithmic Language Scheme

Data and procedures and the values they amass, Higher-order functions to combine and mix and match, Objects with their local state, the message they pass, A property, a package, the control of point for a catch- In the Lambda Order they are all first-class. One thing to name them all, one things to define them, one thing to place them in environments and bind them, in the Lambda Order they are all first-class. Keywords: Scheme, Lisp, functional programming, computer languages.

Leveraging Learning and Language Via Communication Bootstrapping

In a Communication Bootstrapping system, peer components with different perceptual worlds invent symbols and syntax based on correlations between their percepts. I propose that Communication Bootstrapping can also be used to acquire functional definitions of words and causal reasoning knowledge. I illustrate this point with several examples, then sketch the architecture of a system in progress which attempts to execute this task.