lif, mg and ti cubical tld chips (known as tld-100) are widely used for dosimetry purposes. the repeatability of tl dosimetry is investigated by exposing them to doses of (81, 162 and 40.5 mgy) with 662kev photons of cs-137. a group of 40 cubical tld chips was randomly selected from a batch and the values of element correction coefficient (ecc) were obtained 4 times by irradiating them to doses...

Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky’s univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly provable in the theory. This paper describes a constructive semantics, expressed in a presheaf topos with suitable structure inspired by cubical sets, of some...

A foundation is laid for a theory of combinatorial groupoids, allowing us to use concepts like “holonomy”, “parallel transport”, “bundles”, “combinatorial curvature” etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes and other combinatorial objects. A new, holonomy-type invariant for cubical complexes is introduced, leading to a combinatorial “Theorema Egregium”...

Shape matching plays important roles in many fields such as object recognition, image retrieval etc. Belongie, et al. recently proposed a novel shape matching algorithm utilizing the shape context as a shape descriptor and the magnitude of the aligning two shape contexts as a distance measure. It was claimed to be an information rich descriptor that is invariant to translation, scale, and rotat...

Neighborly cubical polytopes exist: for any n ≥ d ≥ 2r + 2, there is a cubical convex d-polytope C d whose r-skeleton is combinatorially equivalent to that of the n-dimensional cube. This solves a problem of Babson, Billera & Chan. Kalai conjectured that the boundary ∂C d of a neighborly cubical polytope C n d maximizes the f -vector among all cubical (d− 1)-spheres with 2 vertices. While we sh...

Automatic polyp detection is a helpful addition to laborious visual inspection in CT colonography. Traditional detection methods are based on calculating image features at discrete positions on the colon wall. However large-scale surface shapes are not captured. This paper presents a novel approach to aggregate surface shape information for automatic polyp detection. The iso-surface of the colo...