Stability of the utility maximization problem with random endowment in incomplete markets

We perform a stability analysis for the utility maximization problem in a general semimartingale model where both liquid and illiquid assets (random endowments) are present. Small misspecifications of preferences (as modeled via expected utility), as well as views of the world or the market model (as modeled via subjective probabilities) are considered. Simple sufficient conditions are given for the problem to be well-posed, in the sense the optimal wealth and the marginal utility-based prices are continuous functionals of preferences and probabilistic views.Comment: 21 pages, revised version. To appear in "Mathematical Finance"

Implications of Climate-Driven Fallowing for Ecological Connectivity of Species At Risk

Context. Climate change and agricultural intensification are modifying the configuration of natural lands within agricultural landscapes, further impacting species’ ability to move freely between remaining natural areas. These working landscapes have inherently high opportunity costs, making the establishment of additional permanent reserves for species movement unlikely. Objectives. Here we explore the potential for opportunistic and dynamic conservation reserves, in the form of temporary fallowed croplands, to increase connectivity in competing land use regions. Methods. We evaluate the potential for fallowed lands to facilitate habitat connectivity for at-risk species in the San Joaquin Valley (SJV), an intensive agricultural landscape in California. We perform landscape connectivity analyses to examine how historic drought-induced fallowing from 2011 to 2017 in the SJV region impacted connectivity within Kern County for the endangered, endemic San Joaquin kit fox (Vulpes macrotis mutica). Results. We found that an increase in temporary fallowing from 2011 to 2015/2017 in Kern County likely increased habitat connectivity for the kit fox. This finding was represented by reductions in average Cost-Weighted Distances (CWD), Effective Resistances, and CWD-to-Least Cost Path Ratios between core habitat areas, indicating that cumulative costs incurred by kit foxes travelling between primary habitats decreased. Conclusions. Our findings highlight that strategic and cooperative, yet temporary, conservation actions have the potential to reduce the conflict between biodiversity preservation and agricultural production in working landscapes while increasing landscape connectivity. Fallowing-based, agri-environmental schemes could help working areas meet statewide groundwater management policy targets while improving species’ mobility in the face of climate change

The Influence of Local Food Environments on Adolescents\u27 Food Purchasing Behaviors

This study examined the relationship between the neighborhood food environment and the food purchasing behaviors among adolescents. Grade 7 and 8 students (n = 810) at 21 elementary schools in London, Ontario, Canada completed a questionnaire assessing their food purchasing behaviors. Parents of participants also completed a brief questionnaire providing residential address and demographic information. A Geographic Information System (GIS) was used to assess students\u27 home and school neighborhood food environment and land use characteristics. Logistic regression analysis was conducted to assess the influence of the home neighborhood food environment on students\u27 food purchasing behaviors, while two-level Hierarchical Non-Linear Regression Models were used to examine the effects of school neighborhood food environment factors on students\u27 food purchasing behaviors. The study showed that approximately 65% of participants reported self-purchasing foods from fast-food outlets or convenience stores. Close proximity (i.e., less than 1 km) to the nearest fast-food outlet or convenience store in the home neighborhood increased the likelihood of food purchasing from these food establishments at least once per week by adolescents (p \u3c 0.05). High fast-food outlet density in both home and school neighborhoods was associated with increased fast-food purchasing by adolescents (i.e., at least once per week; p \u3c 0.05). In conclusion, macro-level regulations and policies are required to amend the health-detracting neighborhood food environment surrounding children and youth\u27s home and school

On the Relationship between LTL Normal Forms and Buechi Automata

In this paper, we consider the problem of translating LTL formulas to Buechi automata. We first translate the given LTL formula into a special disjuctive-normal form (DNF). The formula will be part of the state, and its DNF normal form specifies the atomic properties that should hold immediately (labels of the transitions) and the formula that should hold afterwards (the corresponding successor state). Surprisingly, if the given formula is Until-free or Release-free, the Buechi automaton can be obtained directly in this manner. For a general formula, the construction is slightly involved: an additional component will be needed for each formula that helps us to identify the set of accepting states. Notably, our construction is an on-the-fly construction, and the resulting Buechi automaton has in worst case 2^{2n+1} states where n denotes the number of subformulas. Moreover, it has a better bound 2^{n+1} when the formula is Until- (or Release-) free.Comment: 23 page

Obesogenic Neighborhoods: The Impact of Neighborhood Restaurants and Convenience Stores on Adolescents\u27 Food Consumption Behaviors

To examine the relationship between the neighbourhood food environment and dietary intake among adolescents. Cross-sectional design using: (i) a geographic information system to assess characteristics of the neighbourhood food environment and neighbourhood socio-economic status; (ii) the modified Healthy Eating Index (HEI) to assess participants\u27 overall diet quality; and (iii) generalized linear models to examine associations between HEI and home and school food environmental correlates. Mid-sized Canadian city in Ontario, Canada. Participants Grade 7 and 8 students (n 810) at twenty-one elementary schools. Students living in neighbourhoods with a lower diversity of land-use types, compared with their higher diversity counterparts, had higher HEI scores (P \u3c 0.05). Students with more than 1 km between their home and the nearest convenience store had higher HEI scores than those living within 1 km (P \u3c 0.01). Students attending schools with a distance further than 1 km from the nearest convenience store (P \u3c 0.01) and fast-food outlet (P \u3c 0.05) had higher HEI scores than those within 1 km. Those attending schools with three or more fast-food outlets within 1 km had lower HEI scores than those attending schools with no fast-food outlet in the school surroundings (P \u3c 0.05). Close proximity to convenience stores in adolescents\u27 home environments is associated with low HEI scores. Within adolescents\u27 school environments, close proximity to convenience and fast-food outlets and a high density of fast-food outlets are associated with low HEI scores

The Influence of Local Food Environments on Adolescents’ Food Purchasing Behaviors

This study examined the relationship between the neighborhood food environment and the food purchasing behaviors among adolescents. Grade 7 and 8 students (n = 810) at 21 elementary schools in London, Ontario, Canada completed a questionnaire assessing their food purchasing behaviors. Parents of participants also completed a brief questionnaire providing residential address and demographic information. A Geographic Information System (GIS) was used to assess students’ home and school neighborhood food environment and land use characteristics. Logistic regression analysis was conducted to assess the influence of the home neighborhood food environment on students’ food purchasing behaviors, while two-level Hierarchical Non-Linear Regression Models were used to examine the effects of school neighborhood food environment factors on students’ food purchasing behaviors. The study showed that approximately 65% of participants reported self-purchasing foods from fast-food outlets or convenience stores. Close proximity (i.e., less than 1 km) to the nearest fast-food outlet or convenience store in the home neighborhood increased the likelihood of food purchasing from these food establishments at least once per week by adolescents (p < 0.05). High fast-food outlet density in both home and school neighborhoods was associated with increased fast-food purchasing by adolescents (i.e., at least once per week; p < 0.05). In conclusion, macro-level regulations and policies are required to amend the health-detracting neighborhood food environment surrounding children and youth’s home and school

Differential expression of collectins in human placenta and role in inflammation during spontaneous Labor.

© 2014 Yadav et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.Collectins, collagen-containing Ca2+ dependent C-type lectins and a class of secretory proteins including SP-A, SP-D and MBL, are integral to immunomodulation and innate immune defense. In the present study, we aimed to investigate their placental transcript synthesis, labor associated differential expression and localization at feto-maternal interface, and their functional implication in spontaneous labor. The study involved using feto-maternal interface (placental/decidual tissues) from two groups of healthy pregnant women at term (≥37 weeks of gestation), undergoing either elective C-section with no labor ('NLc' group, n = 5), or normal vaginal delivery with spontaneous labor ('SLv' group, n = 5). The immune function of SP-D, on term placental explants, was analyzed for cytokine profile using multiplexed cytokine array. SP-A, SP-D and MBL transcripts were observed in the term placenta. The 'SLv' group showed significant up-regulation of SP-D (p = 0.001), and down-regulation of SP-A (p = 0.005), transcripts and protein compared to the 'NLc' group. Significant increase in 43 kDa and 50 kDa SP-D forms in placental and decidual tissues was associated with the spontaneous labor (p<0.05). In addition, the MMP-9-cleaved form of SP-D (25 kDa) was significantly higher in the placentae of 'SLv' group compared to the 'NLc' group (p = 0.002). Labor associated cytokines IL-1α, IL-1β, IL-6, IL-8, IL-10, TNF-α and MCP-1 showed significant increase (p<0.05) in a dose dependent manner in the placental explants treated with nSP-D and rhSP-D. In conclusion, the study emphasizes that SP-A and SP-D proteins associate with the spontaneous labor and SP-D plausibly contributes to the pro-inflammatory immune milieu of feto-maternal tissues.Funding provided by BT/PR15227/BRB/10/906/2011) Department of Biotechnology (DBT), Government of India http://dbtindia.nic.in/index.asp (TM) and Indian Council of Medical Research (ICMR) Junior Research Fellowship (JRF)/Senior Research Fellowship (SRF), Government of India, www.icmr.nic.in (AKY)

MDM: A Mode Diagram Modeling Framework

Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive computing in their modes. Despite the fact that such control systems are widely used in the above-mentioned safety-critical embedded domains, there is lack of domain-specific formal modelling languages for such systems in the relevant industry. To address this problem, we propose a formal visual modeling framework called mode diagram as a concise and precise way to specify and analyze such systems. To capture the temporal properties of periodic control systems, we provide, along with mode diagram, a property specification language based on interval logic for the description of concrete temporal requirements the engineers are concerned with. The statistical model checking technique can then be used to verify the mode diagram models against desired properties. To demonstrate the viability of our approach, we have applied our modelling framework to some real life case studies from industry and helped detect two design defects for some spacecraft control systems.Comment: In Proceedings FTSCS 2012, arXiv:1212.657

Detection and identification by PCR of Clostridium chauvoei in clinical isolates, bovine faeces and substrates from biogas plant

<p>Abstract</p> <p>Background</p> <p><it>Clostridium chauvoei </it>causes blackleg, an acute disease associated with high mortality in ruminants. The apparent primary port of entry is oral, during grazing on pasture contaminated by spores. Cases of blackleg can occur year after year on contaminated pastures. A method to determine the prevalence of <it>C. chauvoei </it>spores on pasture would be useful.</p> <p>The standard method for <it>C. chauvoei </it>detection is culture and biochemical identification, which requires a pure culture. In most muscle samples from cattle dead from blackleg the amount of <it>C. chauvoei </it>in samples is high and the bacterium can easily be cultured, although some samples may be contaminated. Detection by PCR would be faster and independent of contaminating flora.</p> <p>Digested residues from biogas plants provide an excellent fertiliser, but it is known that spore-forming baeria such as <it>Clostridium </it>spp. are not reduced by pasteurisation. The use of digested residues as fertiliser may contribute to the spread of <it>C. chauvoei</it>. Soil, manure and substrate from biogas plants are contaminated with other anaerobic bacteria which outgrow <it>C. chauvoei</it>. Therefore, detection by PCR is would be useful. This study applied a PCR-based method to detect of <it>C. chauvoei </it>in 25 muscle and blood samples, 114 manure samples, 84 soil samples and 33 samples from the biogas process.</p> <p>Methods</p> <p>Muscle tissues from suspected cases of blackleg were analysed both by the standard culture method followed by biochemical identification and by PCR, with and without preculture. To investigate whether muscle tissue samples are necessary, samples taken by swabs were also investigated. Samples from a biogas plant and manure and soil from farms were analysed by culture followed by PCR. The farms had proven cases of blackleg. For detection of <it>C. chauvoei </it>in the samples, a specific PCR primer pair complementary to the spacer region of the 16S-23S rRNA gene was used.</p> <p>Results</p> <p><it>Clostridium chauvoei </it>was detected in 32% of muscle samples analysed by culture with identification by biochemical methods and in 56% of cases by culture in combination with PCR. <it>Clostridium chauvoei </it>was detected in 3 (out of 11) samples from the biogas plants collected before pasteurisation, but samples taken after pasteurisation and after digestion all tested negative. <it>Clostridium chauvoei </it>was not detected in any soil or silage samples and only one manure samples tested positive.</p> <p>Conclusion</p> <p>The diagnostic method used for <it>C. chauvoei </it>was not applicable in estimating the risk of blackleg on particular pastures from manure or soil samples, but found to be highly useful for clinical samples.</p