ITO thin films were deposited by spin coating method starting from indium and tin propoxide in the frame of a sol-gel process. Films with the thickness corresponding to 68 nm for one layer deposition were produced and characterized by X-ray diffraction, transmission electron microscopy and infrared reflection spectroscopy. Low conductivity polycrystalline films exhibiting cubical structure (bix...

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...

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”...

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...

We exhibit a model structure on 2-Cat, obtained by transfer from sSet across the adjunction C2 ◦ Sd a Ex ◦ N2. A certain class of homotopies in this model structure turns out to be in 1-to-1 correspondence with strong simulations among labeled transitions systems, formalising the geometric intuition of simulations as deformations. The correspondence still holds in the cubical setting, character...

In this paper we provide a syntax for the cubical set model of type theory [3]. We start by defining a heterogeneous equality as a logical relation in an extended context (section 1.1). This can be seen as a different presentation of parametricity for dependent types [1]. We investigate the higher dimensional structure induced by the logical relation in section 1.2. The relation defined so far ...

Play is often episodic and mission-centric, with a series of challenges culminating in a final puzzle or enemy that must be overcome. Multiple missions played with the same characters may be related to each other in a plot arc of escalating challenges. The exact tone, structure, pace and end (if any) vary from game to game depending on the needs and preferences of the players, as in [9]. "THE C...