Deterministic 1-k routing on meshes with applications to worm-hole routing

In $1$-$k$ routing each of the $n^2$ processing units of an $n \times n$ mesh connected computer initially holds $1$ packet which must be routed such that any processor is the destination of at most $k$ packets. This problem reflects practical desire for routing better than the popular routing of permutations. $1$-$k$ routing also has implications for hot-potato worm-hole routing, which is of great importance for real world systems. We present a near-optimal deterministic algorithm running in \sqrt{k} \cdot n / 2 + \go{n} steps. We give a second algorithm with slightly worse routing time but working queue size three. Applying this algorithm considerably reduces the routing time of hot-potato worm-hole routing. Non-trivial extensions are given to the general $l$-$k$ routing problem and for routing on higher dimensional meshes. Finally we show that $k$-$k$ routing can be performed in \go{k \cdot n} steps with working queue size four. Hereby the hot-potato worm-hole routing problem can be solved in \go{k^{3/2} \cdot n} steps

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

We report on improvements to ACL2 made since the 2013 ACL2 Workshop.Comment: In Proceedings ACL2 2014, arXiv:1406.123

Lead-oxygen closed-loop battery system

Calculations show that battery can deliver up to 35 watt-hours per pound, conventional lead-acid batteries deliver 10 to 15 watt-hours per pound. Weight reduction is due to replacement of solid lead-peroxide electrodes with metal current-collector screen, catalyst, and Teflon membrane

Pointed Admissible G-Covers and G-equivariant Cohomological Field Theories

For any finite group G we define the moduli space of pointed admissible G-covers and the concept of a G-equivariant cohomological field theory (G-CohFT), which, when G is the trivial group, reduce to the moduli space of stable curves and a cohomological field theory (CohFT), respectively. We prove that by taking the "quotient" by G, a G-CohFT reduces to a CohFT. We also prove that a G-CohFT contains a G-Frobenius algebra, a G-equivariant generalization of a Frobenius algebra, and that the "quotient" by G agrees with the obvious Frobenius algebra structure on the space of G-invariants, after rescaling the metric. We also introduce the moduli space of G-stable maps into a smooth, projective variety X with G action. Gromov-Witten-like invariants of these spaces provide the primary source of examples of G-CohFTs. Finally, we explain how these constructions generalize (and unify) the Chen-Ruan orbifold Gromov-Witten invariants of the global quotient [X/G] as well as the ring H*(X,G) of Fantechi and Goettsche.Comment: Corrected proof of the trace axiom and made minor typo corrections. 13 figures. Uses Paul Taylor's diagrams packag

Austrian higher education institutions' idiosyncrasies and technology transfer system

The aim of this paper is to present the findings of a PhD research (Heinzl, 2007) conducted on the Universities of Applied Sciences in Austria. The research is to establish an idiosyncrasy model for Universities of Applied Sciences in Austria showing the effects of their idiosyncrasies on the ability to successfully conduct technology transfer. Research applied in the study is centred on qualitative methods as major emphasis is placed on theory building. The study pursues a stepwise approach for the establishment of the idiosyncrasy model. In the first step, an initial technology transfer model and list of idiosyncrasies are established based on a synthesis of findings from secondary research. In the second step, these findings are enhanced by the means of empirical research including problem-centred expert interviews, a focus group and participant observation. In the third step, the idiosyncrasies are matched with the factors conducive for technology transfer and focused interviews have been conducted for this purpose. The findings show that idiosyncrasies of Universities of Applied Sciences have remarkable effects on their technology transfer abilities. This paper presents four of the models that emerge from the PhD research: Generic Technology Transfer Model (Section 5.1); Idiosyncrasies Model for the Austrian Universities of Applied Sciences (Section 5.2); Idiosyncrasies-Technology Transfer Effects Model (Section 5.3); Idiosyncrasies-Technology Transfer Cumulated Effects Model (Section 5.3). The primary and secondary research methods employed for this study are: literature survey, focus groups, participant observation, and interviews. The findings of the research contribute to a conceptual design of a technology transfer system which aims to enhance the higher education institutions' technology transfer performance

Single-dish high sensitivity determination of solar limb emission at 22 and 44 GHz

A large number of solar maps were obtained with the use of Itapetinga 45 ft antenna at 22 GHz and 44 GHz. A statistical study of these maps, reduced using original techniques, permitted the establishment of the solar radius with great accuracy at the two frequencies. It is found that 22 GHz and 44 BHz radiation originates at 16,00 km and 12,500 km above the photosphere, respectively. Excess emission due to active regions was clearly identified at lower solar latitudes above and below the equator, extending up to 26,000 km and 16,500 km above the photosphere, at 22 GHs and 44 GHz, respectively