Telemetry coding study for the international magnetosphere explorers mother-daughter and heliocentric missions. Volume 1: Summary

The convolutional coding study on the IME Mother-Daughter and Heliocentric spacecraft is reported. The three major tasks involved in the study are summarized

Power spectrum analysis of staggered quadriphase-shift-keyed signals

Mathematical analysis of power spectrum of outputs from high-reliability communication system is used to determine system bandwidth. Analysis provides mathematical relationships of signal power spectrum at output of hard limiter for any type of baseband pulse input subjected only to output parameter constraints

Telemetry coding study for the international magnetosphere explorers, mother/daughter and heliocentric missions. Volume 2: Final report

A convolutional coding theory is given for the IME and the Heliocentric spacecraft. The amount of coding gain needed by the mission is determined. Recommendations are given for an encoder/decoder system to provide the gain along with an evaluation of the impact of the system on the space network in terms of costs and complexity

Shuttle communications design study

The design and development of a space shuttle communication system are discussed. The subjects considered include the following: (1) Ku-band satellite relay to shuttle, (2) phased arrays, (3) PN acquisition, (4) quadriplexing of direct link ranging and telemetry, (5) communications blackout on launch and reentry, (6) acquisition after blackout on reentry, (7) wideband communications interface with the Ku-Band rendezvous radar, (8) aeroflight capabilities of the space shuttle, (9) a triple multiplexing scheme equivalent to interplex, and (10) a study of staggered quadriphase for use on the space shuttle

Operations on integral lifts of K(n)

This very rough sketch is a sequel to arXiv:1808.08587; it presents evidence that operations on lifts of the functors K(n) to cohomology theories with values in modules over valuation rings of local number fields, indexed by Lubin-Tate groups of such fields, are extensions of the groups of automorphisms of the indexing group laws, by the exterior algebras on the normal bundle to the orbits of the group laws in the space of lifts.Comment: \S 2.0 hopefully less cryptic. To appear in the proceedings of the 2015 Nagoya conference honoring T Ohkawa. Comments very welcome

The effect of molybdenum on growth rates, photosynthetic rates and nitrogen assimilation in freshwater plankton algae.

Dept. of Biological Sciences. Paper copy at Leddy Library: Theses & Major Papers - Basement, West Bldg. / Call Number: Thesis1973 .C28. Source: Masters Abstracts International, Volume: 40-07, page: . Thesis (M.Sc.)--University of Windsor (Canada), 1973

Univalent Foundations and the UniMath Library

We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (section 3). On the way our odyssey from the foundations to the "horizon" of mathematics will lead us to meet the mathematicians David Hilbert and Nicolas Bourbaki as well as the architect Christopher Alexander

Uniform generation in trace monoids

We consider the problem of random uniform generation of traces (the elements of a free partially commutative monoid) in light of the uniform measure on the boundary at infinity of the associated monoid. We obtain a product decomposition of the uniform measure at infinity if the trace monoid has several irreducible components-a case where other notions such as Parry measures, are not defined. Random generation algorithms are then examined.Comment: Full version of the paper in MFCS 2015 with the same titl

Recursion relations and branching rules for simple Lie algebras

The branching rules between simple Lie algebras and its regular (maximal) simple subalgebras are studied. Two types of recursion relations for anomalous relative multiplicities are obtained. One of them is proved to be the factorized version of the other. The factorization property is based on the existence of the set of weights $\Gamma$ specific for each injection. The structure of $\Gamma$ is easily deduced from the correspondence between the root systems of algebra and subalgebra. The recursion relations thus obtained give rise to simple and effective algorithm for branching rules. The details are exposed by performing the explicit decomposition procedure for $A_{3} \oplus u(1) \to B_{4}$ injection.Comment: 15p.,LaTe