Randomizations of models as metric structures

The notion of a randomization of a first order structure was introduced by Keisler in the paper Randomizing a Model, Advances in Math. 1999. The idea was to form a new structure whose elements are random elements of the original first order structure. In this paper we treat randomizations as continuous structures in the sense of Ben Yaacov and Usvyatsov. In this setting, the earlier results show that the randomization of a complete first order theory is a complete theory in continuous logic that admits elimination of quantifiers and has a natural set of axioms. We show that the randomization operation preserves the properties of being omega-categorical, omega-stable, and stable

Climate Change Technology R&D Portfolio Decision Making Under Uncertainty

In this project we have completed, or are in the process of, collecting and analyzing information on seven energy technologies – solar photovoltaics, nuclear power, carbon capture and storage, electricity from biomass, liquid bio-fuels, and batteries – in regards to their potential impact on reducing greenhouse gas emissions. We have collected expert elicitations, relating U.S. government funding trajectories to probabilities of success. We then used MiniCAM, a technologically-detailed Integrated Assessnent Model to determine the impact on the marginal cost of reducing greenhouse gas emissions, if the technologies were successful. Finally, we have performed initial analysis on portfolios of technologies. This project has partially supported nine papers, either published, under review, or under preparation for such journals as Energy Economics, The Energy Journal, Climatic Change, Management Science, and Transportation Research

Climate Change Technology R&D Portfolio Decision Making Under Uncertainty

In this project we have completed, or are in the process of, collecting and analyzing information on seven energy technologies – solar photovoltaics, nuclear power, carbon capture and storage, electricity from biomass, liquid bio-fuels, and batteries – in regards to their potential impact on reducing greenhouse gas emissions. We have collected expert elicitations, relating U.S. government funding trajectories to probabilities of success. We then used MiniCAM, a technologically-detailed Integrated Assessnent Model to determine the impact on the marginal cost of reducing greenhouse gas emissions, if the technologies were successful. Finally, we have performed initial analysis on portfolios of technologies. This project has partially supported nine papers, either published, under review, or under preparation for such journals as Energy Economics, The Energy Journal, Climatic Change, Management Science, and Transportation Research

Dependence Logic with Generalized Quantifiers: Axiomatizations

We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as "there exists uncountable many." Both of the axiomatizations are shown to be sound and complete for FO(Q) consequences.Comment: 17 page

Low protein intake during the preconception period in beef heifers affects offspring and maternal behaviour

Maternal low protein diets prior to conception alter embryo and fetal development and are associated with detrimental outcomes in the offspring in many species. The aim of this study in beef cattle was to investigate the effect of preconception dietary protein upon maternal and offspring behaviour at birth concomitant with the associated hormonal profile. Sixty days prior to conception, nulliparous yearling heifers (n = 85) were fed either a High (PreH: 18%; n = 43) or Low (PreL: 10%; n = 42) crude protein diet, followed by a control diet throughout gestation. After calving, each cow-calf pair was penned individually, accelerometers fitted, and each pen observed continuously via video recordings. Cows fed on the low protein diet during preconception showed an increase in standing time (P [less than] 0.01); while calves born to heifers receiving the PreL diet showed an increase in suckling time (P = 0.04). These calves were also heavier at birth than calves from PreH mothers (P [less than] 0.01). In conclusion, low maternal dietary protein prior to conception in beef heifers modifies both offspring feeding behaviour and birth weight, and cow’s standing times

Beginning of stability theory for Polish Spaces

We consider stability theory for Polish spaces and more generally for definable structures. We succeed to prove existence of indiscernibles under reasonable conditions

On theories of random variables

We study theories of spaces of random variables: first, we consider random variables with values in the interval $[0,1]$, then with values in an arbitrary metric structure, generalising Keisler's randomisation of classical structures. We prove preservation and non-preservation results for model theoretic properties under this construction: i) The randomisation of a stable structure is stable. ii) The randomisation of a simple unstable structure is not simple. We also prove that in the randomised structure, every type is a Lascar type

Universal scaling laws of chaotic escape in dissipative multistable systems subjected to autoresonant excitations

A theory concerning the emergence and control of chaotic escape from a potential well by means of autoresonant excitations is presented in the context of generic, dissipative, and multistable systems. Universal scaling laws relating both the onset and lifetime of transient chaos with the parameters of autoresonant excitations are derived theoretically using vibrational mechanics, Melnikov analysis, and energy-based autoresonance theory. Numerical experiments show that these scaling laws are robust against both the presence of noise and re-shaping.Comment: 4 pages, 5 figure

Searching for hidden mirror symmetries in CMB fluctuations from WMAP 7 year maps

We search for hidden mirror symmetries at large angular scales in the WMAP 7 year Internal Linear Combination map of CMB temperature anisotropies using global pixel based estimators introduced for this aim. Two different axes are found for which the CMB intensity pattern is anomalously symmetric (or anti-symmetric) under reflection with respect to orthogonal planes at the 99.84(99.96)% CL (confidence level), if compared to a result for an arbitrary axis in simulations without the symmetry. We have verified that our results are robust to the introduction of the galactic mask. The direction of such axes is close to the CMB kinematic dipole and nearly orthogonal to the ecliptic plane, respectively. If instead the real data are compared to those in simulations taken with respect to planes for which the maximal mirror symmetry is generated by chance, the confidence level decreases to 92.39 (76.65)%. But when the effect in question translates into the anomalous alignment between normals to planes of maximal mirror (anti)-symmetry and these natural axes mentioned. We also introduce the representation of the above estimators in the harmonic domain, confirming the results obtained in the pixel one. The symmetry anomaly is shown to be almost entirely due to low multipoles, so it may have a cosmological and even primordial origin. Contrary, the anti-symmetry one is mainly due to intermediate multipoles that probably suggests its non-fundamental nature. We have demonstrated that these anomalies are not connected to the known issue of the low variance in WMAP observations and we have checked that axially symmetric parts of these anomalies are small, so that the axes are not the symmetry ones.Comment: 18 pages, 10 figures, 2 tables. Consideration and discussion expanded, 5 figures and 1 table added, main conclusions unchange

Liver lipid content and inflammometabolic indices in peripartal dairy cows are altered in response to prepartal energy intake and postpartal intramammary inflammatory challenge.

This study evaluated the effect of feeding a control diet (CON) or a moderate energy diet (overfed, OVE) during the dry period (∼45d) and a postpartum intramammary lipopolysaccharide (LPS) challenge on blood metabolic and inflammatory indices, milk production, and hepatic gene expression. A subset of cows (n=9/diet) in CON (1.34 Mcal/kg of dry matter) and OVE (1.62 Mcal/kg of dry matter) received an intramammary LPS challenge (200 μg; CON-LPS, OVE-LPS, respectively). Liver biopsies were harvested at -14 d from calving, and postpartum at 2.5h post-LPS on d 7, 14, and 30. Prepartum, the OVE group was in more positive energy balance (EB) and had greater body condition score compared with CON. In contrast, during wk 1 postpartum and before the LPS challenge, the OVE group was in greater negative EB than CON. Prepartal diet did not affect postpartal milk production or dry matter intake. At 2h postchallenge on d 7, we observed an increase in serum nonesterified fatty acids (NEFA) and bilirubin and a decrease in hydroxybutyrate, regardless of diet. That was coupled with greater haptoglobin in OVE-LPS compared with CON-LPS. In addition, OVE-LPS cows versus CON nonchallenged, OVE nonchallenged, and CON-LPS had greater liver triacylglycerol (TAG) concentration 2.5h postchallenge on d 7. The concentration of TAG in liver of OVE-LPS remained elevated by 30d postpartum. The liver TAG concentration in OVE-LPS compared with CON-LPS cows was associated with greater serum concentration of NEFA and reactive oxygen metabolites on d 10 and 14 postpartum. Cows in OVE-LPS also had greater concentrations of ceruloplasmin, cholesterol, and vitamin E from d 10 through 21. Among 28 genes associated with fatty acid oxidation, inflammation, oxidative stress, and gluconeogenesis, only SAA3 (which encodes an acute phase protein) was greater in CON-LPS compared with OVE-LPS at 2.5h postchallenge. Expression of HP, which encodes another acute phase protein, was greater in OVE-LPS than in CON-LPS at 14 and 30 d postpartum. Several inflammation-related genes (TNF, IRAK1, NFKB1, ANGPTL4) showed markedly decreased expression between 7 and 14 d, after which expression remained unchanged. No differences were observed in several genes of the growth-hormone/insulin-like growth factor-1 axis, except for SOCS2, expression of which decreased markedly between 7 and 14 d in OVE-LPS but not in CON-LPS. These data suggest that overfeeding a moderate-energy diet prepartum alters the response of the cow to an intramammary challenge after calving and may predispose it to sustained liver lipidosis