NASA Communications Division (NASCOM) Tracking and Data Relay Satellite System (TDRSS) shuttle multiplexer-demultiplexer data system (MDM) and supporting items

The multiplexer-demultiplexer (MDM) project included the design, documentation, manufacture, and testing of three MDM Data Systems. The equipment is contained in 59 racks, and includes more than 3,000 circuit boards and 600 microprocessors. Spares, circuit card testers, a master set of programmable integrated circuits, and a program development system were included as deliverables. All three MDM's were installed, and were operationally tested. The systems performed well with no major problems. The progress and problems analysis, addresses schedule conformance, new technology, items awaiting government approval, and project conclusions are summarized. All contract modifications are described

Call-by-name Gradual Type Theory

We present gradual type theory, a logic and type theory for call-by-name gradual typing. We define the central constructions of gradual typing (the dynamic type, type casts and type error) in a novel way, by universal properties relative to new judgments for gradual type and term dynamism, which were developed in blame calculi and to state the "gradual guarantee" theorem of gradual typing. Combined with the ordinary extensionality ($\eta$) principles that type theory provides, we show that most of the standard operational behavior of casts is uniquely determined by the gradual guarantee. This provides a semantic justification for the definitions of casts, and shows that non-standard definitions of casts must violate these principles. Our type theory is the internal language of a certain class of preorder categories called equipments. We give a general construction of an equipment interpreting gradual type theory from a 2-category representing non-gradual types and programs, which is a semantic analogue of Findler and Felleisen's definitions of contracts, and use it to build some concrete domain-theoretic models of gradual typing

Formulation technologies for oral vaccines

Many options now exist for constructing oral vaccines, which, in experimental systems, have shown themselves to be able to generate highly effective immunity against infectious diseases. Their suitability for implementation in clinical practice, however, for prevention of outbreaks particularly in LMIC, is not always guaranteed, because of factors such as cost, logistics, and cultural and environmental conditions. This brief overview provides a summary of the various approaches which can be adopted, and evaluates them from a pharmaceutical point of view, taking into account potential regulatory issues, expense, manufacturing complexity etc., all of which can determine whether a vaccine approach will be successful in the late stages of development. Attention is also drawn to problems arising from inadequate diet, which impacts on success in stimulating effective immunity, and identifies use of lipid‐based carriers as a way to counteract the problem of nutritional deficiencies in vaccination campaigns

Oral delivery of biologics via the intestine

Biologics are currently one of the most promising avenues for therapeutic interventions in conditions such as metabolic disease, ageing and inflammatory disorders, and for chronic ailments, oral delivery of such medicines has for years been recognised as an important goal. Despite decades of intensive research, oral delivery of biologics is only just starting to prove feasible. There has been much talk about the barriers to uptake of biologics, and indeed, one function of the intestine is to prevent, in one way or another, passage of unwanted materials across the gut, and yet, grams of biological agents both large and small pass across the intestinal cell wall every day. This review first describes the functioning of the gut under normal circumstances, then identifies the principle biological mechanisms which have been harnessed successfully, to date, to achieve oral uptake, outlining the pros and cons of each approach. Examples with different biologics are given, and information on result of the latest clinical trials is provided, where available

Studies in transplantation immunity, with special reference to the induction of specific unresponsiveness towards skin allografts in mice treated with Antigen, Bordetella Pertussis and Antilymphocyte serum

Imperial Users onl

Comparison of software models for energy savings from cool roofs

A web-based Roof Savings Calculator (RSC) has been deployed for the United States Department of Energy as an industry-consensus tool to help building owners, manufacturers, distributors, contractors and researchers easily run complex roof and attic simulations. RSC simulates multiple roof and attic technologies for side-by-side comparison including reflective roofs, different roof slopes, above sheathing ventilation, radiant barriers, low-emittance roof surfaces, duct location, duct leakage rates, multiple substrate types, and insulation levels. Annual simulations of hour-by-hour, whole-building performance are used to provide estimated annual energy and cost savings from reduced HVAC use. While RSC reported similar cooling savings to other simulation engines, heating penalty varied significantly. RSC results show reduced cool roofing cost-effectiveness, thus mitigating expected economic incentives for this countermeasure to the urban heat island effect. This paper consolidates comparison of RSC's projected energy savings to other simulation engines including DOE-2.1E, AtticSim, Micropas, and EnergyPlus. Also included are comparisons to previous simulation-based studies, analysis of RSC cooling savings and heating penalties, the role of radiative heat exchange in an attic assembly, and changes made for increased accuracy of the duct model. Radiant heat transfer and duct interaction not previously modeled is considered a major contributor to heating penalties

The sleep cycle and subcortical-cortical EEG relations in the unrestrained chimpanzee

Sleep cycle and subcortical-cortical EEG relations in unrestrained chimpanze

Is there a role for vitamin C in preventing osteoporosis and fractures?:A review of the potential underlying mechanisms and current epidemiological evidence

Osteoporosis and related fractures are a major global health issue, but there are few preventative strategies. Previously reported associations between higher intakes of fruits and vegetables and skeletal health have been suggested to be partly attributable to vitamin C. To date, there is some evidence for a potential role of vitamin C in osteoporosis and fracture prevention but an overall consensus of published studies has not yet been drawn. The present review aims to provide a summary of the proposed underlying mechanisms of vitamin C on bone and reviews the current evidence in the literature, examining a potential link between vitamin C intake and status with osteoporosis and fractures. The Bradford Hill criteria were used to assess reported associations. Recent animal studies have provided insights into the involvement of vitamin C in osteoclastogenesis and osteoblastogenesis, and its role as a mediator of bone matrix deposition, affecting both the quantity and quality of bone collagen. Observational studies have provided some evidence for this in the general population, showing positive associations between dietary vitamin C intake and supplements and higher bone mineral density or reduced fracture risk. However, previous intervention studies were not sufficiently well designed to evaluate these associations. Epidemiological data are particularly limited for vitamin C status and for fracture risk and good-quality randomised controlled trials are needed to confirm previous epidemiological findings. The present review also highlights that associations between vitamin C and bone health may be non-linear and further research is needed to ascertain optimal intakes for osteoporosis and fracture prevention

Receipt from New York, New Haven & Hartford R. R. Co. to Ogden Goelet

https://digitalcommons.salve.edu/goelet-personal-expenses/1173/thumbnail.jp