in this paper pi, szeged and revised szeged indices of an infinite family of ipr fullereneswith exactly 60+12n carbon atoms are computed. a gap program is also presented that isuseful for our calculations.

A partial type inference technique should come with a simple and precise specification, so that users predict its behavior and understand the error messages it produces. Local type inference techniques attain this simplicity by inferring missing type information only from the types of adjacent syntax nodes, without using global mechanisms such as unification variables. The paper reports on our ...

background: we conducted a comprehensive bibliometrics analysis to calculate the h, g, m, a and r indicators for all iranian biomedical research centers (ibrcs) from the output of isi web of science (wos) and scopus between 1991 and 2010. we compared the research performance of the research centers according to these indicators.   methods : this was a cross-sectional and descriptive-analytical ...

let $g$ be a graph and let $m_{ij}(g)$, $i,jge 1$, be the number of edges $uv$ of $g$ such that ${d_v(g), d_u(g)} = {i,j}$. the {em $m$-polynomial} of $g$ is introduced with $displaystyle{m(g;x,y) = sum_{ile j} m_{ij}(g)x^iy^j}$. it is shown that degree-based topological indices can be routinely computed from the polynomial, thus reducing the problem of their determination in each particular ca...

topological indices are numerical parameters of a graph which characterize its topology. inthis paper the pi, szeged and zagreb group indices of the tetrameric 1,3–adamantane arecomputed.

Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this context, the interleaving operator would be a natural addition to the language of REs, as witnessed by the presence of limited forms of interleaving in XSD (the all group), Relax-NG, and SGML. Unfortunately, membership check...