A series of bis-pyridinium quaternary ammonium salts (bis-PyQAs) with different aryl and heteroaryl moieties were synthesized and their antimicrobial activity investigated. The inhibition effect of the compounds was evaluated against bacteria, molds and yeasts; the activities were expressed as the minimum inhibitory concentrations (MIC). The relationships between the structure descriptors (logP...

We select the Fast Fourier Transfrom (FFT) to demonstrate a methodology for deriving the optimal parallel algorithm according to predetermined performance metrics, within a computational model. Following the vector space framework for parallel permutations, we provide a speci cation language to capture the algorithm, derive the optimal parallel FFT speci cation, compute the arithmetic, memory, ...

The degree-based entropy Id(G) of a graph G on m>0 edges is obtained from the well-known Shannon −∑i=1np(xi)logp(xi) in information theory by replacing probabilities p(xi) fractions dG(vi)2m, where {v1,v2,…,vn} vertex set G, and dG(vi) degree vi. We continue earlier work Id(G). Our main results deal with effect number operations value also illustrate relevance these applying some to prove extre...

A series of 2-(substituted phenyl)-1H-benzimidazole (1-10) and [2-(substituted phenyl)-benzimidazol-1-yl]-pyridin-3-yl-methanone (11-19) derivatives were synthesized and tested in vitro for their antimicrobial activity. The results of QSAR investigation indicated the importance of molecular descriptors, dipole moment (mu), log of octanol water partition coefficient (logP) and second order molec...

We study the small deviation problem logP(supt∈[0,1] |Xt| 6 ε), as ε → 0, for general Lévy processes X . The techniques enable us to determine the asymptotic rate for general real-valued Lévy processes, which we demonstrate with many examples. As a particular consequence, we show that a Lévy process with non-vanishing Gaussian component has the same (strong) asymptotic small deviation rate as t...

The computation of efficient schedules of task graphs for parallel machines is a major issue in parallel computing. Such algorithms are often hard to understand and hard to evaluate. We present a framework for the visualization of scheduling algorithms. Using the LogP cost model for parallel machines, we simulate the effects of scheduling algorithms for specific target machines and task graphs ...

The semantic constructions and results for definite programs do not extend when dealing with negation. The main problem is related to a well-known problem in the area of algebraic specification: if we fix a constraint domain as a given model, its free extension by means of a set of Horn clauses defining a set of new predicates is semicomputable. However, if the language of the extension is rich...

Twelve IRAS sources in the LMC with colours similar to those expected for dust-enshrounded AGB stars have been monitored in the infrared for 1880 days. The objects come from the list of Reid (1991). Nine of these objects are large amplitude variables with periods in the range 530 to 1295 days. The variability confirms their status as dust-enshrouded AGB stars. Combined with the results of Wood ...

Through time-series CCD photometry of the globular cluster NGC 5466, we have detected nine SX Phoenicis stars including three new ones. All the SX Phoenicis stars are located in the blue straggler region in the color-magnitude diagram of NGC 5466. Five of them show clearly double-radial mode features, the periods of which are well consistent with the theoretical ratio of the first overtone mode...