On the Hierarchy of Block Deterministic Languages

A regular language is $k$-lookahead deterministic (resp. $k$-block deterministic) if it is specified by a $k$-lookahead deterministic (resp. $k$-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood ($k$-lookahead determinism) and by Giammarresi et al. ($k$-block determinism) as a possible extension of one-unambiguous languages defined and characterized by Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the inclusion links of these families. We first show that each $k$-block deterministic language is the alphabetic image of some one-unambiguous language. Moreover, we show that the conversion from a minimal DFA of a $k$-block deterministic regular language to a $k$-block deterministic automaton not only requires state elimination, and that the proof given by Han and Wood of a proper hierarchy in $k$-block deterministic languages based on this result is erroneous. Despite these results, we show by giving a parameterized family that there is a proper hierarchy in $k$-block deterministic regular languages. We also prove that there is a proper hierarchy in $k$-lookahead deterministic regular languages by studying particular properties of unary regular expressions. Finally, using our valid results, we confirm that the family of $k$-block deterministic regular languages is strictly included into the one of $k$-lookahead deterministic regular languages by showing that any $k$-block deterministic unary language is one-unambiguous

Constraints on Non-Newtonian Gravity from Recent Casimir Force Measurements

Corrections to Newton's gravitational law inspired by extra dimensional physics and by the exchange of light and massless elementary particles between the atoms of two macrobodies are considered. These corrections can be described by the potentials of Yukawa-type and by the power-type potentials with different powers. The strongest up to date constraints on the corrections to Newton's gravitational law are reviewed following from the E\"{o}tvos- and Cavendish-type experiments and from the measurements of the Casimir and van der Waals force. We show that the recent measurements of the Casimir force gave the possibility to strengthen the previously known constraints on the constants of hypothetical interactions up to several thousand times in a wide interaction range. Further strengthening is expected in near future that makes Casimir force measurements a prospective test for the predictions of fundamental physical theories.Comment: 20 pages, crckbked.cls is used, to be published in: Proceedings of the 18th Course of the School on Cosmology and Gravitation: The Gravitational Constant. Generalized Gravitational Theories and Experiments (30 April- 10 May 2003, Erice). Ed. by G. T. Gillies, V. N. Melnikov and V. de Sabbata, 20pp. (Kluwer, in print, 2003

Inclusive top-pair production phenomenology with TOPIXS

We discuss various aspects of inclusive top-quark pair production based on TOPIXS, a new, flexible program that computes the production cross section at the Tevatron and LHC at next-to-next-to-leading logarithmic accuracy in soft and Coulomb resummation, including bound-state effects and the complete next-to-next-to-leading order result in the q-qbar channel, which has recently become available. We present the calculation of the top-pair cross section in pp collisions at 8 TeV centre-of-mass energy, as well as the cross sections for hypothetical heavy quarks in extensions of the standard model. The dependence on the parton distribution input is studied. Further we investigate the impact of LHC top cross section measurements at sqrt(s)=7 TeV on global fits of the gluon distribution using the NNPDF re-weighting method.Comment: 27 pages, 5 figures; v2: corrected typos in Eqs. (2.8) and (6.2) and the text, added footnote on page 4, matches published versio

GPs’ strategies in exploring the preschool child’s wellbeing in the paediatric consultation

Background: Although General Practitioners (GPs) are uniquely placed to identify children with emotional, social, and behavioural problems, they succeed in identifying only a small number of them. The aim of this article is to explore the strategies, methods, and tools employed by GPs in the assessment of the preschool child’s emotional, mental, social, and behavioural health. We look at how GPs address parental care of the child in general and in situations where GPs have a particular awareness of the child. Method: Twenty-eight Danish GPs were purposively selected to take part in a qualitative study which combined focus-group discussions, observation of child consultations, and individual interviews with GPs. Results: Analysis of the data suggests that GPs have developed a set of methods, and strategies to assess the preschool child and parental care of the child. They look beyond paying narrow attention to the physical health of the child and they have expanded their practice to include the relations and interactions in the consultation room. The physical examination of the child continues to play a central role in doctor-child communication. Conclusion: The participating GPs’ strategies helped them to assess the wellbeing of the preschool child but they often find it difficult to share their impressions with parents

Absence of association between behavior problems in childhood and hypertension in midlife

Background It is known that behavior in childhood is associated with certain physical and mental health problems in midlife. However, there is limited evidence on the role of childhood behavior problems in the development of hypertension in adulthood. The present study aimed to examine whether behavior problems in childhood influenced the risk of hypertension in midlife in the United Kingdom 1958 birth cohort. Methods The 1958 British birth cohort comprised 17,638 individuals born in the first week of March 1958 in the United Kingdom. Behavior problems were assessed at 7, 11, and 16 years of age by parents and teachers. At age 45, blood pressure was measured and hypertension was recorded if blood pressure was ≥140/90 mm Hg or if the participants were informed by their health professionals that they had high blood pressure. Behavioral information was reported according to the Rutter Children's Behaviour Questionnaire (RCBQ) and the Bristol Social Adjustment Guide (BSAG). Odds ratios (ORs) and 95% confidence intervals (CIs) were calculated to examine behavior problems in childhood in relation to hypertension at 45 years of age according to logistic regression analysis, with adjustment for sex, social class in childhood and adulthood, childhood cognition, birth weight, gestational age at birth, body mass index (BMI), smoking, alcohol consumption, and physical activity. Results Behavior problems reported by parents at 7, 11, and 16 years were not associated with hypertension in midlife (OR, 0.93; 95% CI, 0.81, 1.07; OR, 0.95; 95% CI, 0.81, 1.11; OR, 0.98; 95% CI, 0.85, 1.12, respectively). Similarly, teacher-reported behavior problems at 7, 11, and 16 years were not associated with hypertension in midlife (OR, 0.92; 95% CI, 0.72, 1.18; OR, 0.92; 95% CI, 0.84, 1.02; OR, 1.03; 95% CI, 0.92, 1.15, respectively). Further separate analyses showed similar results for males and females. Conclusion There is no association between behavior problems in childhood and hypertension in midlife

Position Automaton Construction for Regular Expressions with Intersection

Positions and derivatives are two essential notions in the conversion methods from regular expressions to equivalent finite automata. Partial derivative based methods have recently been extended to regular expressions with intersection. In this paper, we present a position automaton construction for those expressions. This construction generalizes the notion of position making it compatible with intersection. The resulting automaton is homogeneous and has the partial derivative automaton as its quotient

Connectivity-based parcellation of the thalamus explains specific cognitive and behavioural symptoms in patients with bilateral thalamic infarct

A novel approach based on diffusion tractography was used here to characterise the cortico-thalamic connectivity in two patients, both presenting with an isolated bilateral infarct in the thalamus, but exhibiting partially different cognitive and behavioural profiles. Both patients (G.P. and R.F.) had a pervasive deficit in episodic memory, but only one of them (R.F.) suffered also from a dysexecutive syndrome. Both patients had an MRI scan at 3T, including a T1-weighted volume. Their lesions were manually segmented. T1-volumes were normalised to standard space, and the same transformations were applied to the lesion masks. Nineteen healthy controls underwent a diffusion-tensor imaging (DTI) scan. Their DTI data were normalised to standard space and averaged. An atlas of Brodmann areas was used to parcellate the prefrontal cortex. Probabilistic tractography was used to assess the probability of connection between each voxel of the thalamus and a set of prefrontal areas. The resulting map of corticothalamic connections was superimposed onto the patients' lesion masks, to assess whether the location of the thalamic lesions in R.F. (but not in G. P.) implied connections with prefrontal areas involved in dysexecutive syndromes. In G.P., the lesion fell within areas of the thalamus poorly connected with prefrontal areas, showing only a modest probability of connection with the anterior cingulate cortex (ACC). Conversely, R.F.'s lesion fell within thalamic areas extensively connected with the ACC bilaterally, with the right dorsolateral prefrontal cortex, and with the left supplementary motor area. Despite a similar, bilateral involvement of the thalamus, the use of connectivity-based segmentation clarified that R.F.'s lesions only were located within nuclei highly connected with the prefrontal cortical areas, thus explaining the patient's frontal syndrome. This study confirms that DTI tractography is a useful tool to examine in vivo the effect of focal lesions on interconnectivity brain patterns

An essential function for the ATR-Activation-Domain (AAD) of TopBP1 in mouse development and cellular senescence

ATR activation is dependent on temporal and spatial interactions with partner proteins. In the budding yeast model, three proteins – Dpb11TopBP1, Ddc1Rad9 and Dna2 - all interact with and activate Mec1ATR. Each contains an ATR activation domain (ADD) that interacts directly with the Mec1ATR:Ddc2ATRIP complex. Any of the Dpb11TopBP1, Ddc1Rad9 or Dna2 ADDs is sufficient to activate Mec1ATR in vitro. All three can also independently activate Mec1ATR in vivo: the checkpoint is lost only when all three AADs are absent. In metazoans, only TopBP1 has been identified as a direct ATR activator. Depletion-replacement approaches suggest the TopBP1-AAD is both sufficient and necessary for ATR activation. The physiological function of the TopBP1 AAD is, however, unknown. We created a knock-in point mutation (W1147R) that ablates mouse TopBP1-AAD function. TopBP1-W1147R is early embryonic lethal. To analyse TopBP1-W1147R cellular function in vivo, we silenced the wild type TopBP1 allele in heterozygous MEFs. AAD inactivation impaired cell proliferation, promoted premature senescence and compromised Chk1 signalling following UV irradiation. We also show enforced TopBP1 dimerization promotes ATR-dependent Chk1 phosphorylation. Our data suggest that, unlike the yeast models, the TopBP1-AAD is the major activator of ATR, sustaining cell proliferation and embryonic development

Past Achievements and Future Challenges in 3D Photonic Metamaterials

Photonic metamaterials are man-made structures composed of tailored micro- or nanostructured metallo-dielectric sub-wavelength building blocks that are densely packed into an effective material. This deceptively simple, yet powerful, truly revolutionary concept allows for achieving novel, unusual, and sometimes even unheard-of optical properties, such as magnetism at optical frequencies, negative refractive indices, large positive refractive indices, zero reflection via impedance matching, perfect absorption, giant circular dichroism, or enhanced nonlinear optical properties. Possible applications of metamaterials comprise ultrahigh-resolution imaging systems, compact polarization optics, and cloaking devices. This review describes the experimental progress recently made fabricating three-dimensional metamaterial structures and discusses some remaining future challenges

miR-132/212 knockout mice reveal roles for these miRNAs in regulating cortical synaptic transmission and plasticity

miR-132 and miR-212 are two closely related miRNAs encoded in the same intron of a small non-coding gene, which have been suggested to play roles in both immune and neuronal function. We describe here the generation and initial characterisation of a miR-132/212 double knockout mouse. These mice were viable and fertile with no overt adverse phenotype. Analysis of innate immune responses, including TLR-induced cytokine production and IFNβ induction in response to viral infection of primary fibroblasts did not reveal any phenotype in the knockouts. In contrast, the loss of miR-132 and miR-212, while not overtly affecting neuronal morphology, did affect synaptic function. In both hippocampal and neocortical slices miR-132/212 knockout reduced basal synaptic transmission, without affecting paired-pulse facilitation. Hippocampal long-term potentiation (LTP) induced by tetanic stimulation was not affected by miR-132/212 deletion, whilst theta burst LTP was enhanced. In contrast, neocortical theta burst-induced LTP was inhibited by loss of miR-132/212. Together these results indicate that miR-132 and/or miR-212 play a significant role in synaptic function, possibly by regulating the number of postsynaptic AMPA receptors under basal conditions and during activity-dependent synaptic plasticity