We consider the functions 1/f and h/f , and study some properties of the successive derivatives of these functions. We also study certain integer sequences connected with these successive derivatives.

We present a specialized protocol logic that is built around a process language for describing the actions of a protocol. In general terms, the relation between logic and protocol is like the relation between assertions in Floyd-Hoare logic and standard imperative programs. Like Floyd-Hoare logic, our logic contains axioms and inference rules for each of the main protocol actions and proofs are...

In uncertain graphs, the existence of some edges is not predetermined. The diameter of an uncertain graph is essentially an uncertain variable, which indicates the suitability for investigation of its distribution function. The main focus of this paper is to propose an algorithm to determine the distribution function of the diameter of an uncertain graph. We first discuss the characteristics of...

d long as the data rate is low enough to permit real-time transfer from disk. This paper is concerned with a method esigned to improve the final visual quality of M-JPEG sequences, without affecting the bit rate or quantization o d parameters. It is based on a procedure we refer to as temporal error diffusion. The term error diffusion is used t escribe a halftoning procedure introduced by Floyd...

The interaction of temporal phenotypic heterogeneity with a population level fitness function was explored through the use of a simple model. The model, based upon experimental data, assumes that the exploitation of pollinators, and seed-set within plant populations are dependent upon the frequency of a pink flower morph in populations composed of pink and white morphs. An increase in pink freq...

Nowadays, in computer networks, the routing is based on the shortest path problem. This will help in minimizing the overall costs of setting up computer networks. New technologies such as map-related systems are also applying the shortest path problem. This paper’s main objective is to evaluate the Dijkstra’s Algorithm, Floyd-Warshall Algorithm, Bellman-Ford Algorithm, and Genetic Algorithm (GA...

Extending the analogous result of Cannon andWagreich for the fundamental groups of surfaces, we show that, for the l-regular graphs Xl,m associated to regular tessellations of the hyperbolic plane by m-gons, the denominators of the growth series (which are rational and were computed by Floyd and Plotnick (Floyd and Plotnick, 1994)) are reciprocal Salem polynomials. As a consequence, the growth ...

Revised MS# JB01161-13 1 Transformation of Chlamydia muridarum reveals a role of Pgp5 in 2 suppression of plasmid-dependent gene expression 3 4 Yuanjun Liu & , Chaoqun Chen, Siqi Gong, Shuping Hou, Manli Qi, 5 Quanzhong Liu, Joel Baseman, and Guangming Zhong* 6 Department of Microbiology and Immunology 7 University of Texas Health Science Center at San Antonio, 7703 Floyd Curl Drive, 8 San Anto...

Injuries from Less-lethal Weapons during the George Floyd Protests In this analysis involving patients treated in Minnesota protests after Floyd’s death, 89 were identified w...