background and objectives: numerous procedures in biology and medicine require the counting of cells. direct enumer- ation of colony forming units (cfus) is time-consuming and dreary accurate cell counting on plates with high numbers of cfus is error prone. in this study we report a new indirect cell counting method that was developed based on the use of redsafe fluorometric assay. the usefulne...

We exhibit finite injury constructions of a high Σ2 enumeration degree incomparable with all intermediate ∆2 enumeration degrees, as also of both an upwards properly Σ2 high and a low2 noncuppable Σ 0 2 enumeration degree†. We also outline how to apply the same methods to prove that, for every Σ2 enumeration degree b there exists a noncuppable degree a such that b′ ≤ a′ and a′′ ≤ b′′, thus show...

We contribute to the fully formal verification of Hales’ proof of the Kepler Conjecure by analyzing the enumeration of all tame plane graphs. We sketch a formalization of plane graphs, tameness and Hales’ enumeration procedure in Higher Order Logic. The correctness of the enumeration is partially verified (which uncovered a small mismatch between Hales’ definition of tameness and his enumeratio...

We prove that certain linear operators preserve the Pólya frequency property and real-rootedness, and apply our results to settle some conjectures and open problems in combinatorics proposed by Bóna, Brenti and Reiner-Welker.

This article presents the examination of the possibility that group Eg' F21 operates on a symmetric design with parameters (133,33,8) as its automorphism group. The method based on coset enumeration in group is used.

Will we succeed this time? No one knows, but even a brief acquaintance with the history of terrorism should make us more sensitive to the difficulties ahead. To this end, I will briefly describe rebel terrorism in the last 135 years to show how deeply implanted it has become in modern culture. The discussion is divided into two sections. The first describes the four waves of modern terror, and ...

It has been proposed that cosmic acceleration or inflation can be driven by replacing the EinsteinHilbert action of general relativity with a function f(R) of the Ricci scalar R. Such f(R) gravity theories have been shown to be equivalent to scalar-tensor theories of gravity that are incompatible with Solar System tests of general relativity, as long as the scalar field propagates over Solar Sy...

We construct smallest known trivalent graphs for girths 16 and 18. One construction uses voltage graphs, and the other coset enumeration techniques for group presentations. AMS Subject Classifications: 05C25, 05C35

After explicitly constructing the symmetric space sigma model lagrangian in terms of the coset scalars of the solvable Lie algebra gauge in the current formalism we derive the field equations of the theory.