Broadcasting is a commonly used communication primitive needed by many applications and protocols in mobile ad hoc networks (MANET). Unfortunately, most broadcast solutions are tailored to one class of MANETs with respect to node density and node mobility and are unlikely to operate well in other classes. In this paper, we introduce hypergossiping, a novel adaptive broadcast algorithm that comb...

The patterns of semantic errors in speaking and writing are used to constrain claims about the structure of lexical access mechanisms in speech and written language production. It is argued that it is not necessary to postulate a modality-neutral level of lexical representation (lemma) that is intermediate between lexical-semantic representations and modality-specific lexical representations. A...

We address the problem of two pairs of fermions living on an arbitrary number of single particle levels of a potential well (mean field) and interacting through a pairing force in the framework of the Richardson’s equations. The associated solutions are classified in terms of a number vl, which reduces to the seniority v in the limit of a large pairing strength G and yields the number of pairs ...

The possibility of wavelength-selective cleavage of seven photolabile caging groups from different families has been studied. Amine-, thiol-, and carboxylic-terminated organosilanes were caged with o-nitrobenzyl (NVOC, NPPOC), benzoin (BNZ), (coumarin-4-yl)methyl (DEACM), 7-nitroindoline (DNI, BNI), and p-hydroxyphenacyl (pHP) derivatives. Caged surfaces modified with the different chromophores...

We present the first hierarchical identity based encryption (HIBE) system that has full security for more than a constant number of levels. In all prior HIBE systems in the literature, the security reductions suffered from exponential degradation in the depth of the hierarchy, so these systems were only proven fully secure for identity hierarchies of constant depth. (For deep hierarchies, previ...

We present an effective method for the formal verification of skiplists, including skiplists with arbitrary length and unbounded size. The core of the method is a novel theory of skiplists with a decidable satisfiability problem, which up to now has been an open problem. A skiplist is an imperative software data structure used to implement a set by maintaining several ordered singly-linked list...

The category of finite cardinals (or, equivalently, of finite sets) is the symmetric analogue of the category of finite ordinals, and the ground category of a relevant category of presheaves, the augmented symmetric simplicial sets. We prove here that this ground category has characterisations similar to the classical ones for the category of finite ordinals, by the existence of a universal sym...

An algebraic classification of second order symmetric tensors in 5-dimensional Kaluza-Klein-type Lorentzian spaces is presented by using Jordan matrices. We show that the possible Segre types are [1, 1111], [2111], [311], [z z̄ 111], and the degeneracies thereof. A set of canonical forms for each Segre type is found. The possible continuous groups of symmetry for each canonical form are also stu...

Horizontal gene transfer (HGT) plays a significant role in microbial evolution. It can accelerate the adaptation of an organism, it can generate new metabolic pathways and it can completely remodel an organism's genome. We examine 27 closely related genomes from the YESS group of gamma proteobacteria and a variety of four-taxon datasets from a diverse range of prokaryotes in order to explore th...