Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC

We present a practically appealing extension of the probabilistic model checker PRISM rendering it to handle fixed-delay continuous-time Markov chains (fdCTMCs) with rewards, the equivalent formalism to the deterministic and stochastic Petri nets (DSPNs). fdCTMCs allow transitions with fixed-delays (or timeouts) on top of the traditional transitions with exponential rates. Our extension supports an evaluation of expected reward until reaching a given set of target states. The main contribution is that, considering the fixed-delays as parameters, we implemented a synthesis algorithm that computes the epsilon-optimal values of the fixed-delays minimizing the expected reward. We provide a performance evaluation of the synthesis on practical examples

Radio-frequency dressed lattices for ultracold alkali atoms

Ultracold atomic gases in periodic potentials are powerful platforms for exploring quantum physics in regimes dominated by many-body effects as well as for developing applications that benefit from quantum mechanical effects. Further advances face a range of challenges including the realization of potentials with lattice constants smaller than optical wavelengths as well as creating schemes for effective addressing and manipulation of single sites. In this paper we propose a dressed-based scheme for creating periodic potential landscapes for ultracold alkali atoms with the capability of overcoming such difficulties. The dressed approach has the advantage of operating in a low-frequency regime where decoherence and heating effects due to spontaneous emission do not take place. These results highlight the possibilities of atom-chip technology in the future development of quantum simulations and quantum technologies, and provide a realistic scheme for starting such an exploration

Investigation of extractable organic compounds in deep-sea hydrothermal vent fluids along the Mid-Atlantic Ridge

Author Posting. © The Author(s), 2015. This is the author's version of the work. It is posted here by permission of Elsevier for personal use, not for redistribution. The definitive version was published in Geochimica et Cosmochimica Acta 156 (2015): 122-144, doi:10.1016/j.gca.2015.02.022.The possibility that deep-sea hydrothermal vents may contain organic compounds produced by abiotic synthesis or by microbial communities living deep beneath the surface has led to numerous studies of the organic composition of vent fluids. Most of these studies have focused on methane and other light hydrocarbons, while the possible occurrence of more complex organic compounds in the fluids has remained largely unstudied. To address this issue, the presence of higher molecular weight organic compounds in deep-sea hydrothermal fluids was assessed at three sites along the Mid-Atlantic Ridge that span a range of temperatures (51 to >360 °C), fluid compositions, and host-rock lithologies (mafic to ultramafic). Sample were obtained at several sites within the Lucky Strike, Rainbow, and Lost City hydrothermal fields. Three methods were employed to extract organic compounds for analysis, including liquid:liquid extraction, cold trapping on the walls of a coil of titanium tubing, and pumping fluids through cartridges filled with solid phase extraction (SPE) sorbents. The only samples to consistently yield high amounts of extractable organic compounds were the warm (51-91 °C), highly alkaline fluids from Lost City, which contained elevated concentrations of C8, C10, and C12 n-alkanoic acids and, in some cases, trithiolane, hexadecanol, squalene, and cholesterol. Collectively, the C8-C12 acids can account for about 15% of the total dissolved organic carbon in the Lost City fluids. The even-carbon-number predominance of the alkanoic acids indicates a biological origin, but it is unclear whether these compounds are derived from microbial activity occurring within the hydrothermal chimney proximal to the site of fluid discharge or are transported from deeper within the system. Hydrothermal fluids from the Lucky Strike and Rainbow fields were characterized by an overall scarcity of extractable dissolved organic compounds. Trace amounts of aromatic hydrocarbons including phenanthrenes and benzothiophene were the only compounds that could be identified as indigenous components of these fluids. Although hydrocarbons and fatty acids were observed in some samples, those compounds were likely derived from particulate matter or biomass entrained during fluid collection. In addition, extracts of some fluid samples from the Rainbow field were found to contain an unresolved complex mixture (UCM) of organic compounds. This UCM shared some characteristics with organic matter extracted from bottom seawater, suggesting that the organic matter observed in these samples might represent seawater-derived compounds that had persisted, albeit with partial alteration, during circulation through the hydrothermal system. While there is considerable evidence that Rainbow and Lost City vent fluids contain methane and other light hydrocarbons produced through abiotic reduction of inorganic carbon, we found no evidence for more complex organic compounds with an abiotic origin in the same fluids.This research was supported by the NSF Ocean Sciences directorate through grants MGG-OCE 0550800 to T.M.M. and MGG-OCE 0549829 to J.S.S. and C.R.G

Gravitational Constant and Torsion

Riemann-Cartan space time $U_{4}$ is considered here. It has been shown that when we link topological Nieh-Yan density with the gravitational constant then we get Einstein-Hilbert Lagrangian as a consequence.Comment: 8 page

Health and healthcare access among Zambia's female prisoners: a health systems analysis.

BackgroundResearch exploring the drivers of health outcomes of women who are in prison in low- and middle-income settings is largely absent. This study aimed to identify and examine the interaction between structural, organisational and relational factors influencing Zambian women prisoners' health and healthcare access.MethodsWe conducted in-depth interviews of 23 female prisoners across four prisons, as well as 21 prison officers and health care workers. The prisoners were selected in a multi-stage sampling design with a purposive selection of prisons followed by a random sampling of cells and of female inmates within cells. Largely inductive thematic analysis was guided by the concepts of dynamic interaction and emergent behaviour, drawn from the theory of complex adaptive systems.ResultsWe identified compounding and generally negative effects on health and access to healthcare from three factors: i) systemic health resource shortfalls, ii) an implicit prioritization of male prisoners' health needs, and iii) chronic and unchecked patterns of both officer- and inmate-led victimisation. Specifically, women's access to health services was shaped by the interactions between lack of in-house clinics, privileged male prisoner access to limited transport options, and weak responsiveness by female officers to prisoner requests for healthcare. Further intensifying these interactions were prisoners' differential wealth and access to family support, and appointments of senior 'special stage' prisoners which enabled chronic victimisation of less wealthy or less powerful individuals.ConclusionsThis systems-oriented analysis revealed how Zambian women's prisoners' health and access to healthcare is influenced by weak resourcing for prisoner health, administrative biases, and a prevailing organisational and inmate culture. Findings highlight the urgent need for investment in structural improvements in health service availability but also interventions to reform the organisational culture which shapes officers' understanding and responsiveness to women prisoners' health needs

Addition of a dairy fraction rich in milk fat globule membrane to a high-saturated fat meal reduces the postprandial insulinaemic and inflammatory response in overweight and obese adults.

Meals high in SFA, particularly palmitate, are associated with postprandial inflammation and insulin resistance. Milk fat globule membrane (MFGM) has anti-inflammatory properties that may attenuate the negative effects of SFA-rich meals. Our objective was to examine the postprandial metabolic and inflammatory response to a high-fat meal composed of palm oil (PO) compared with PO with an added dairy fraction rich in MFGM (PO+MFGM) in overweight and obese men and women (n 36) in a randomised, double-blinded, cross-over trial. Participants consumed two isoenergetic high-fat meals composed of a smoothie enriched with PO with v. without a cream-derived complex milk lipid fraction ( dairy fraction rich in MFGM) separated by a washout of 1-2 weeks. Serum cytokines, adhesion molecules, cortisol and markers of inflammation were measured at fasting, and at 1, 3 and 6 h postprandially. Glucose, insulin and lipid profiles were analysed in plasma. Consumption of the PO + MFGM v. PO meal resulted in lower total cholesterol (P = 0·021), LDL-cholesterol (P = 0·046), soluble intracellular adhesion molecule (P = 0·005) and insulin (P = 0·005) incremental AUC, and increased IL-10 (P = 0·013). Individuals with high baseline C-reactive protein (CRP) concentrations (≥3 mg/l, n 17) had higher (P = 0·030) insulin at 1 h after the PO meal than individuals with CRP concentrations <3 mg/l (n 19). The addition of MFGM attenuated this difference between CRP groups. The addition of a dairy fraction rich in MFGM attenuated the negative effects of a high-SFA meal by reducing postprandial cholesterol, inflammatory markers and insulin response in overweight and obese individuals, particularly in those with elevated CRP

Consumption of a high-fat meal containing cheese compared with a vegan alternative lowers postprandial C-reactive protein in overweight and obese individuals with metabolic abnormalities: a randomised controlled cross-over study.

Dietary recommendations suggest decreased consumption of SFA to minimise CVD risk; however, not all foods rich in SFA are equivalent. To evaluate the effects of SFA in a dairy food matrix, as Cheddar cheese, v. SFA from a vegan-alternative test meal on postprandial inflammatory markers, a randomised controlled cross-over trial was conducted in twenty overweight or obese adults with metabolic abnormalities. Individuals consumed two isoenergetic high-fat mixed meals separated by a 1- to 2-week washout period. Serum was collected at baseline, and at 1, 3 and 6 h postprandially and analysed for inflammatory markers (IL-6, IL-8, IL-10, IL-17, IL-18, TNFα, monocyte chemotactic protein-1 (MCP-1)), acute-phase proteins C-reactive protein (CRP) and serum amyloid-A (SAA), cellular adhesion molecules and blood lipids, glucose and insulin. Following both high-fat test meals, postprandial TAG concentrations rose steadily (P < 0·05) without a decrease by 6 h. The incremental AUC (iAUC) for CRP was significantly lower (P < 0·05) in response to the cheese compared with the vegan-alternative test meal. A treatment effect was not observed for any other inflammatory markers; however, for both test meals, multiple markers significantly changed from baseline over the 6 h postprandial period (IL-6, IL-8, IL-18, TNFα, MCP-1, SAA). Saturated fat in the form of a cheese matrix reduced the iAUC for CRP compared with a vegan-alternative test meal during the postprandial 6 h period. The study is registered at clinicaltrials.gov under NCT01803633

Expression of neurogenin3 reveals an islet cell precursor population in the pancreas

Differentiation of early gut endoderm cells into the endocrine cells forming the pancreatic islets of Langerhans depends on a cascade of gene activation events controlled by transcription factors including the basic helix-loop-helix (bHLH) proteins. To delineate this cascade, we began by establishing the position of neurogenin3, a bHLH factor found in the pancreas during fetal development. We detect neurogenin3 immunoreactivity transiently in scattered ductal cells in the fetal mouse pancreas, peaking at embryonic day 15.5. Although not detected in cells expressing islet hormones or the islet transcription factors Isl1, Brn4, Pax6 or PDX1, neurogenin3 is detected along with early islet differentiation factors Nkx6.1 and Nkx2.2, establishing that it is expressed in immature cells in the islet lineage. Analysis of transcription factor-deficient mice demonstrates that neurogenin3 expression is not dependent on neuroD1/BETA2, Mash1, Nkx2.2, Nkx6.1, or Pax6. Furthermore, early expression of neurogenin3 under control of the Pdx1 promoter is alone sufficient to drive early and ectopic differentiation of islet cells, a capability shared by the pancreatic bHLH factor, neuroD1/BETA2, but not by the muscle bHLH factor, MyoD. However, the islet cells produced in these transgenic experiments are overwhelmingly α cells, suggesting that factors other than the bHLH factors are required to deviate from a default α cell fate. These data support a model in which neurogenin3 acts upstream of other islet differentiation factors, initiating the differentiation of endocrine cells, but switching off prior to final differentiation. The ability to uniquely identify islet cell precursors by neurogenin3 expression allows us to determine the position of other islet transcription factors in the differentiation cascade and to propose a map for the islet cell differentiation pathway