Nominal techniques are based on the idea of sets with a finitelysupported atoms-permutation action. In this paper we consider the idea of sets with a finitely-supported atoms-renaming action (renamings can identify atoms; permutations cannot). We show that these exhibit many of the useful qualities found in traditional nominal techniques; an elementary sets-based presentation, inductive datatyp...

Hydrogenation of free-standing silicene, the two-dimensional allotrope of silicon, is investigated in detail using first-principles methods and compared with the adsorption of H atoms on graphene. Similarly to graphene, chemisorption of a single H atom on silicene induces the formation of a semilocalized state around the adatom, a sharp peak in the density of states at the Fermi level which act...

The number of possible distinct names of reasonable length is necessarily finite, and with the heavy demand for new names in some areas of current English-speaking commerce it seems possible that the supply might approach exhaustion. Numbers of possibilities cannot be calculated exactly, because most wordforms theoretically allowed by English phonology are too clumsy to be usable. However, Mont...

Three studies examined amnesic H.M.'s use of words, phrases, and propositions on the Test of Language Competence (TLC). In Study 1, H.M. used 19 lexical categories (e.g., common nouns, verbs) and one syntactic category (noun phrases) with the same relative frequency as memory-normal controls, he used no lexical or syntactic category with less-than-normal frequency, and he used proper names (e.g...

Semantic dementia patients seem to have better knowledge of information linked to the self. More specifically, despite having severe semantic impairment, these patients show that they have more general information about the people they know personally by direct experience than they do about other individuals they know indirectly. However, the role of direct personal experience remains debated b...

Networked communications inherently depend on the ability of the sender of a message to indicate through some token how the message should be delivered to a particular recipient. The tokens that refer messages to recipients are variously known as routes, addresses, handles, and names, ordered by their relative nearness to network topology vs. human meaning. All four sorts of token refer in some...

Automatic name dialing is a practical and interesting application of speech recognition on telephony systems. The IBM name recognition system is a large vocabulary, speaker independent system currently in use for reaching IBM employees in the United States. In this paper, we present some innovative algorithms that improve name recognition accuracy. Unlike transcription tasks, such as the Switch...

Typical U.S. children use their knowledge of letters' names to help learn the letters' sounds. They perform better on letter sound tests with letters that have their sounds at the beginnings of their names, such as v, than with letters that have their sounds at the ends of their names, such as m, and letters that do not have their sounds in their names, such as h. We found this same pattern amo...