Sterilizable photomultiplier tubes Final report

Environment, static acceleration, vibration, shock, gas contamination, and life tests in development of sterilizable photomultipliers for space program

Hilbert-Post completeness for the state and the exception effects

In this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states effect, our framework can be seen as a generalization of Pretnar's work on this subject. We first introduce a relative notion of Hilbert-Post completeness, well-suited to the composition of effects. Then we prove that the exception effect is relatively Hilbert-Post complete, as well as the "core" language which may be used for implementing it; these proofs have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC

A review of mathematical functions for the analysis of growth in poultry

Poultry industries face various decisions in the production cycle that affect the profitability of an operation. Predictions of growth when the birds are ready for sale are important factors that contribute to the economy of poultry operations. Mathematical functions called ‘growth functions’ have been used to relate body weight (W) to age or cumulative feed intake. These can also be used as response functions to predict daily energy and protein dietary requirements for maintenance and growth (France et al., 1989). When describing growth versus age in poultry, a fixed point of inflexion can be a limitation with equations such as the Gompertz and logistic. Inflexion points vary depending on age, sex, breed and type of animal, so equations such as the Richards and López are generally recommended. For describing retention rate against daily intake, which generally does not exhibit an inflexion point, the monomolecular would appear the function of choice

Type II Shocks Characteristics: Comparison with associated CMEs and Flares

A number of metric (100-650 MHz) typeII bursts was recorded by the ARTEMIS-IV radiospectrograph in the 1998-2000 period; the sample includes both CME driven shocks and shocks originating from flare blasts. We study their characteristics in comparison with characteristics of associated CMEs and flares.Comment: Recent Advances in Astronomy and Astrophysics: 7th International Conference of the Hellenic Astronomical Society. AIP Conference Proceedings, Volume 848, pp. 238-242 (2006

Reduction of trimethylamine N-oxide to trimethylamine by the human gut microbiota: supporting evidence for ‘metabolic retroversion’

Dietary sources of methylamines such as choline, trimethylamine (TMA), trimethylamine N-oxide (TMAO), phosphatidylcholine (PC) and carnitine are present in a number of foodstuffs, including meat, fish, nuts and eggs. It is recognized that the gut microbiota is able to convert choline to TMA in a fermentation-like process. Similarly, PC and carnitine are converted to TMA by the gut microbiota. It has been suggested that TMAO is subject to ‘metabolic retroversion’ in the gut (i.e. it is reduced to TMA by the gut microbiota, with this TMA being oxidized to produce TMAO in the liver). Sixty-six strains of human faecal and caecal bacteria were screened on solid and liquid media for their ability to utilize trimethylamine N-oxide (TMAO), with metabolites in spent media profiled by Proton Nuclear Magnetic Resonance (1H NMR) spectroscopy. Enterobacteriaceae produced mostly TMA from TMAO, with caecal/small intestinal isolates of Escherichia coli producing more TMA than their faecal counterparts. Lactic acid bacteria (enterococci, streptococci, bifidobacteria) produced increased amounts of lactate when grown in the presence of TMAO, but did not produce large amounts of TMA from TMAO. The presence of TMAO in media increased the growth rate of Enterobacteriaceae; while it did not affect the growth rate of lactic acid bacteria, TMAO increased the biomass of these bacteria. The positive influence of TMAO on Enterobacteriaceae was confirmed in anaerobic, stirred, pH-controlled batch culture fermentation systems inoculated with human faeces, where this was the only bacterial population whose growth was significantly stimulated by the presence of TMAO in the medium. We hypothesize that dietary TMAO is used as an alternative electron acceptor by the gut microbiota in the small intestine/proximal colon, and contributes to microbial population dynamics upon its utilization and retroversion to TMA, prior to absorption and secondary conversion to TMAO by hepatic flavin-containing monooxygenases. Our findings support the idea that oral TMAO supplementation is a physiologically-stable microbiota-mediated strategy to deliver TMA at the gut barrier

Type II and IV radio bursts in the active period October-November 2003

In this report we present the Type II and IV radio bursts observed and analyzed by the radio spectrograph ARTEMIS IV1, in the 650-20MHz frequency range, during the active period October-November 2003. These bursts exhibit very rich fine structures such fibers, pulsations and zebra patterns which is associated with certain characteristics of the associated solar flares and CMEs.Comment: Recent Advances in Astronomy and Astrophysics: 7th International Conference of the Hellenic Astronomical Society. AIP Conference Proceedings, Volume 848, pp. 199-206 (2006

Ten Years of the Solar Radiospectrograph ARTEMIS-IV

The Solar Radiospectrograph of the University of Athens (ARTEMIS-IV) is in operation at the Thermopylae Satellite Communication Station since 1996. The observations extend from the base of the Solar Corona (650 MHz) to about 2 Solar Radii (20 MHz) with time resolution 1/10-1/100 sec. The instruments recordings, being in the form of dynamic spectra, measure radio flux as a function of height in the corona; our observations are combined with spatial data from the Nancay Radioheliograph whenever the need for 3D positional information arises. The ARTEMIS-IV contribution in the study of solar radio bursts is two fold- Firstly, in investigating new spectral characteristics since its high sampling rate facilitates the study of fine structures in radio events. On the other hand it is used in studying the association of solar bursts with interplanetary phenomena because of its extended frequency range which is, furthermore, complementary to the range of the WIND/WAVES receivers and the observations may be readily combined. This reports serves as a brief account of this operation. Joint observations with STEREO/WAVES and LOFAR low frequency receivers are envisaged in the future

Recent Results on the Periodic Lorentz Gas

The Drude-Lorentz model for the motion of electrons in a solid is a classical model in statistical mechanics, where electrons are represented as point particles bouncing on a fixed system of obstacles (the atoms in the solid). Under some appropriate scaling assumption -- known as the Boltzmann-Grad scaling by analogy with the kinetic theory of rarefied gases -- this system can be described in some limit by a linear Boltzmann equation, assuming that the configuration of obstacles is random [G. Gallavotti, [Phys. Rev. (2) vol. 185 (1969), 308]). The case of a periodic configuration of obstacles (like atoms in a crystal) leads to a completely different limiting dynamics. These lecture notes review several results on this problem obtained in the past decade as joint work with J. Bourgain, E. Caglioti and B. Wennberg.Comment: 62 pages. Course at the conference "Topics in PDEs and applications 2008" held in Granada, April 7-11 2008; figure 13 and a misprint in Theorem 4.6 corrected in the new versio