Noninvasive enumeration of rare circulating cell populations in small animals is of great importance in many areas of biomedical research. In this work, we describe a macroscopic fluorescence imaging system and automated computer vision algorithm that allows in vivo detection, enumeration and tracking of circulating fluorescently-labeled cells from multiple large blood vessels in the ear of a m...

Accuracy of thematic maps is identified as having two components: planimetric accuracy and data representation accuracy. The first is of only minor concern for thematic maps. Data representation accuracy, however, is at least as significant to map effectiveness as are the perceptual and cognitive aspects of map reading that have been given so much attention in recent years. The focus of the stu...

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.