Modelling Digital Logic in SDL

The specification of digital logic in SDL (Specification and Description Language) is investigated. A specification approach is proposed for multi-level descriptions of hardware behaviour and structure. The modelling method exploits features introduced in SDL-92. The approach also deals with the specification, analysis and simulation of timing aspects at any level in the specification of digital logic

Overfeeding, Autonomic Regulation and Metabolic Consequences

The autonomic nervous system plays an important role in the regulation of body processes in health and disease. Overfeeding and obesity (a disproportional increase of the fat mass of the body) are often accompanied by alterations in both sympathetic and parasympathetic autonomic functions. The overfeeding-induced changes in autonomic outflow occur with typical symptoms such as adiposity and hyperinsulinemia. There might be a causal relationship between autonomic disturbances and the consequences of overfeeding and obesity. Therefore studies were designed to investigate autonomic functioning in experimentally and genetically hyperphagic rats. Special emphasis was given to the processes that are involved in the regulation of peripheral energy substrate homeostasis. The data revealed that overfeeding is accompanied by increased parasympathetic outflow. Typical indices of vagal activity (such as the cephalic insulin release during food ingestion) were increased in all our rat models for hyperphagia. Overfeeding was also accompanied by increased sympathetic tone, reflected by enhanced baseline plasma norepinephrine (NE) levels in both VMH-lesioned animals and rats rendered obese by hyperalimentation. Plasma levels of NE during exercise were, however, reduced in these two groups of animals. This diminished increase in the exercise-induced NE outflow could be normalized by prior food deprivation. It was concluded from these experiments that overfeeding is associated with increased parasympathetic and sympathetic tone. In models for hyperphagia that display a continuously elevated nutrient intake such as the VMH-lesioned and the overfed rat, this increased sympathetic tone was accompanied by a diminished NE response to exercise. This attenuated outflow of NE was directly related to the size of the fat reserves, indicating that the feedback mechanism from the periphery to the central nervous system is altered in the overfed state.

Effect of pancreatic and/or renal transplantation on diabetic autonomic neuropathy

Thirty-nine Type 1 (insulin-dependent) diabetic patients were studied prospectively after simultaneous pancreas and kidney (n=26) and kidney grafting alone (n=13) by measuring heart rate variation during various manoeuvers and answering a standardized questionnaire every 6 to 12 months post-transplant. While age, duration of diabetes, and serum creatinine (168.1±35.4 vs 132.7±17.7 mgrmol/l) were comparable, haemoglobin A1 levels were significantly lower (6.6±0.2 vs 8.5±0.3%; p<0.01) and the mean observation time longer (35±2 vs 25±3 months; p<0.05) in the pancreas recipients when compared with kidney transplanted patients. Heart rate variation during deep breathing, lying/standing and Valsalva manoeuver were very similar in both groups initially and did not improve during follow-up. However, there was a significant reduction in heart rate in the pancreas recipient group. Autonomic symptoms of the gastrointestinal and thermoregulatory system improved more in the pancreas grafted subjects, while hypoglycaemia unawareness deteriorated in the kidney recipients. This study suggests that long-term normoglycaemia by successful pancreatic grafting is able to halt the progression of autonomic dysfunction

Central Exclusive Production in QCD

We investigate the theoretical description of the central exclusive production process, h1+h2 -> h1+X+h2. Taking Higgs production as an example, we sum logarithmically enhanced corrections appearing in the perturbation series to all orders in the strong coupling. Our results agree with those originally presented by Khoze, Martin and Ryskin except that the scale appearing in the Sudakov factor, mu=0.62 \sqrt{\hat{s}}, should be replaced with mu=\sqrt{\hat{s}}, where \sqrt{\hat{s}} is the invariant mass of the centrally produced system. We confirm this result using a fixed-order calculation and show that the replacement leads to approximately a factor 2 suppression in the cross-section for central system masses in the range 100-500 GeV.Comment: 41 pages, 19 figures; minor typos fixed; version published in JHE

Probing linguistic change in Arabic vernaculars: a sociohistorical perspective

It is received wisdom in variationist sociolinguistics that linguistic and social factors go hand in hand in structuring variability in language and any consequent instances of language change. We address the complexity of such factors by exploring data from several Arabic dialects in the eastern Arab World. We demonstrate that language change does not always follow expected phonological trajectories, even in cases where older changes are reconstructed to have operated along so-called universal patterns. In our explanation of recent changes in these dialects, we emphasise the role of social motivations for language change and the interactions between these social constraints and purely linguistic ones. Our analysis of change is supported by historical accounts of variation and change in Arabic. We illustrate how general principles of sociolinguistic theory apply to the Arabic data and provide additional layers of sociolinguistic information that highlight the importance of diverse data for evaluating cross-linguistic generalisations

Corner contributions to holographic entanglement entropy

The entanglement entropy of three-dimensional conformal field theories contains a universal contribution coming from corners in the entangling surface. We study these contributions in a holographic framework and, in particular, we consider the effects of higher curvature interactions in the bulk gravity theory. We find that for all of our holographic models, the corner contribution is only modified by an overall factor but the functional dependence on the opening angle is not modified by the new gravitational interactions. We also compare the dependence of the corner term on the new gravitational couplings to that for a number of other physical quantities, and we show that the ratio of the corner contribution over the central charge appearing in the two-point function of the stress tensor is a universal function for all of the holographic theories studied here. Comparing this holographic result to the analogous functions for free CFT's, we find fairly good agreement across the full range of the opening angle. However, there is a precise match in the limit where the entangling surface becomes smooth, i.e., the angle approaches $\pi$, and we conjecture the corresponding ratio is a universal constant for all three-dimensional conformal field theories. In this paper, we expand on the holographic calculations in our previous letter arXiv:1505.04804, where this conjecture was first introduced.Comment: 62 pages, 6 figures, 1 table; v2: minor modifications to match published version, typos fixe

Assessing the psychometric and ecometric properties of neighborhood scales using adolescent survey data from urban and rural Scotland

This work was supported by NHS Health Scotland and the University of St Andrews.Background:  Despite the well-established need for specific measurement instruments to examine the relationship between neighborhood conditions and adolescent well-being outcomes, few studies have developed scales to measure features of the neighborhoods in which adolescents reside. Moreover, measures of neighborhood features may be operationalised differently by adolescents living in different levels of urban/rurality. This has not been addressed in previous studies. The objectives of this study were to: 1) establish instruments to measure adolescent neighborhood features at both the individual and neighborhood level, 2) assess their psychometric and ecometric properties, 3) test for invariance by urban/rurality, and 4) generate neighborhood level scores for use in further analysis. Methods:  Data were from the Scottish 2010 Health Behaviour in School-aged Children Survey, which included an over-sample of rural adolescents. The survey responses of interest came from questions designed to capture different facets of the local area in which each respondent resided. Intermediate data zones were used as proxies for neighborhoods. Internal consistency was evaluated by Cronbach’s alpha. Invariance was examined using confirmatory factor analysis. Multilevel models were used to estimate ecometric properties and generate neighborhood scores. Results:  Two constructs labeled neighborhood social cohesion and neighborhood disorder were identified. Adjustment was made to the originally specified model to improve model fit and measures of invariance. At the individual level, reliability was .760 for social cohesion and .765 for disorder, and between .524 and .571 for both constructs at the neighborhood level. Individuals in rural areas experienced greater neighborhood social cohesion and lower levels of neighborhood disorder compared with those in urban areas. Conclusions:  The scales are appropriate for measuring neighborhood characteristics experienced by adolescents across urban and rural Scotland, and can be used in future studies of neighborhoods and health. However, trade-offs between neighborhood sample size and reliability must be considered.Publisher PDFPeer reviewe

Effect of simvastatin on bone markers in osteopenic women: a placebo-controlled, dose-ranging trial [ISRCTN85429598]

BACKGROUND: Hydroxymethylglutaryl coenzyme A reductase inhibitors increase new bone formation in vitro and in rodents. Results of epidemiologic analyses evaluating the association between use of these cholesterol-lowering drugs, bone mineral density and fracture have been mixed. METHODS: Women (n = 24) with osteopenia, assessed by broad band ultrasound attenuation, were randomized to simvastatin 20 mg, 40 mg or identical-appearing placebo for 12 weeks. Fasting lipid profiles and biochemical markers of bone formation (bone-specific alkaline phosphatase) and resorption (N-telopeptides and C-terminal propeptide of type 1 collagen) were measured at baseline, 6 and 12 weeks. RESULTS: Plasma low density lipoprotein-cholesterol concentration fell 7%, 39% (p < 0.01 vs baseline) and 47% (p < 0.01 vs baseline) after 12 weeks of treatment with placebo, simvastatin 20 mg and 40 mg, respectively. At baseline, bone marker concentrations were similar in the three treatment groups. At 6 and 12 weeks, bone marker concentrations were not different from baseline, and no significant differences in bone marker concentrations were observed between treatment groups at either 6 or 12 weeks. CONCLUSION: Among osteopenic women, treatment with simvastatin for 12 weeks did not affect markers of bone formation or resorption

Horizontal DNA transfer mechanisms of bacteria as weapons of intragenomic conflict

Horizontal DNA transfer (HDT) is a pervasive mechanism of diversification in many microbial species, but its primary evolutionary role remains controversial. Much recent research has emphasised the adaptive benefit of acquiring novel DNA, but here we argue instead that intragenomic conflict provides a coherent framework for understanding the evolutionary origins of HDT. To test this hypothesis, we developed a mathematical model of a clonally descended bacterial population undergoing HDT through transmission of mobile genetic elements (MGEs) and genetic transformation. Including the known bias of transformation toward the acquisition of shorter alleles into the model suggested it could be an effective means of counteracting the spread of MGEs. Both constitutive and transient competence for transformation were found to provide an effective defence against parasitic MGEs; transient competence could also be effective at permitting the selective spread of MGEs conferring a benefit on their host bacterium. The coordination of transient competence with cell-cell killing, observed in multiple species, was found to result in synergistic blocking of MGE transmission through releasing genomic DNA for homologous recombination while simultaneously reducing horizontal MGE spread by lowering the local cell density. To evaluate the feasibility of the functions suggested by the modelling analysis, we analysed genomic data from longitudinal sampling of individuals carrying Streptococcus pneumoniae. This revealed the frequent within-host coexistence of clonally descended cells that differed in their MGE infection status, a necessary condition for the proposed mechanism to operate. Additionally, we found multiple examples of MGEs inhibiting transformation through integrative disruption of genes encoding the competence machinery across many species, providing evidence of an ongoing "arms race." Reduced rates of transformation have also been observed in cells infected by MGEs that reduce the concentration of extracellular DNA through secretion of DNases. Simulations predicted that either mechanism of limiting transformation would benefit individual MGEs, but also that this tactic's effectiveness was limited by competition with other MGEs coinfecting the same cell. A further observed behaviour we hypothesised to reduce elimination by transformation was MGE activation when cells become competent. Our model predicted that this response was effective at counteracting transformation independently of competing MGEs. Therefore, this framework is able to explain both common properties of MGEs, and the seemingly paradoxical bacterial behaviours of transformation and cell-cell killing within clonally related populations, as the consequences of intragenomic conflict between self-replicating chromosomes and parasitic MGEs. The antagonistic nature of the different mechanisms of HDT over short timescales means their contribution to bacterial evolution is likely to be substantially greater than previously appreciated