863 research outputs found
Life events, anxious depression and personality: a prospective and genetic study.
Background: The association between life events and anxious depression might be due to causality or to gene-environment correlation. We examined unidirectional and reciprocal causality and a gene-environment correlation model, in which genes that influence the vulnerability for anxious depression also increase the risk of exposure to life events. The effect of genes that influence environmental exposure might be mediated through personality and we therefore also examined the association between life events and personality (neuroticism and extraversion). Method: Information on life events, anxious depression, neuroticism and extraversion was collected in 5782 monozygotic (MZ) and dizygotic (DZ) twins who participated in a longitudinal survey study of the Netherlands Twin Register. To examine causality, data were analysed longitudinally. To examine gene-environment correlation, the co-twin control method was used. Results: Anxious depression and, to a lesser extent, neuroticism scores increased after exposure to life events. Anxious depression and neuroticism also predicted the experience of life events. Prospectively, extraversion was not associated with life events. Anxious depression, neuroticism and extraversion scores did not differ between the non-exposed subjects of MZ and DZ twin pairs and unrelated subjects discordant for life events. Conclusions: Our findings suggest that reciprocal causation explains the relationship between life events and anxious depression and between life events and neuroticism. Extraversion is not related to life events. No evidence was found for gene-environment correlation, i.e. the genes that influence anxious depression, neuroticism or extraversion do not overlap with the genes that increase the risk of exposure to life events
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
Unravelings are transformations from a conditional term rewriting system
(CTRS, for short) over an original signature into an unconditional term
rewriting systems (TRS, for short) over an extended signature. They are not
sound w.r.t. reduction for every CTRS, while they are complete w.r.t.
reduction. Here, soundness w.r.t. reduction means that every reduction sequence
of the corresponding unraveled TRS, of which the initial and end terms are over
the original signature, can be simulated by the reduction of the original CTRS.
In this paper, we show that an optimized variant of Ohlebusch's unraveling for
a deterministic CTRS is sound w.r.t. reduction if the corresponding unraveled
TRS is left-linear or both right-linear and non-erasing. We also show that
soundness of the variant implies that of Ohlebusch's unraveling. Finally, we
show that soundness of Ohlebusch's unraveling is the weakest in soundness of
the other unravelings and a transformation, proposed by Serbanuta and Rosu, for
(normal) deterministic CTRSs, i.e., soundness of them respectively implies that
of Ohlebusch's unraveling.Comment: 49 pages, 1 table, publication in Special Issue: Selected papers of
the "22nd International Conference on Rewriting Techniques and Applications
(RTA'11)
Evidence-based approach to thrombophilia testing
Thrombophilia can be identified in about half of all patients presenting with VTE. Testing has increased tremendously for various indications, but whether the results of such tests help in the clinical management of patients has not been settled. I use evidence from observational studies to conclude that testing for hereditary thrombophilia generally does not alter the clinical management of patients with VTE, with occasional exceptions for women at fertile age. Because testing for thrombophilia only serves limited purpose this should not be performed on a routine basis
Bacterial flagellar motors and osmoelectric molecular rotation by an axially transmembrane well and turnstile mechanism
AbstractBacterial ion-driven flagellar motors are the smallest known rotatory mechanical devices, natural or artificial, their overall diameter being only about 25 nm or one millionth of an inch. They are unique in the fields of biology and engineering. This paper develops a possible osmoelectric or local electrokinetic mechanism of molecular rotatory motion in bilayer membranes, which may help to explain how bacterial flagellar motors work, and may incidentally encourage new developments in the bioenergetics and biomechanics of enzyme, osmoenzyme and porter action
The role of tunneling in enzyme catalysis of C–H activation
AbstractRecent data from studies of enzyme catalyzed hydrogen transfer reactions implicate a new theoretical context in which to understand C–H activation. This is much closer to the Marcus theory of electron transfer, in that environmental factors influence the probability of effective wave function overlap from donor to acceptor atoms. The larger size of hydrogen and the availability of three isotopes (H, D and T) introduce a dimension to the kinetic analysis that is not available for electron transfer. This concerns the role of gating between donor and acceptor atoms, in particular whether the system in question is able to tune distance between reactants to achieve maximal tunneling efficiency. Analysis of enzyme systems is providing increasing evidence of a role for active site residues in optimizing the inter-nuclear distance for nuclear tunneling. The ease with which this optimization can be perturbed, through site-specific mutagenesis or an alteration in reaction conditions, is also readily apparent from an analysis of the changes in the temperature dependence of hydrogen isotope effects
Do environmental effects indexed by parental genetic variation influence common psychiatric symptoms in childhood?
Parental genes may indirectly influence offspring psychiatric outcomes through the environment that parents create for their children. These indirect genetic effects, also known as genetic nurture, could explain individual differences in common internalising and externalising psychiatric symptoms during childhood. Advanced statistical genetic methods leverage data from families to estimate the overall contribution of parental genetic nurture effects. This study included up to 10,499 children, 5990 mother–child pairs, and 6,222 father–child pairs from the Norwegian Mother Father and Child Study. Genome-based restricted maximum likelihood (GREML) models were applied using software packages GCTA and M-GCTA to estimate variance in maternally reported depressive, disruptive, and attention-deficit hyperactivity disorder (ADHD) symptoms in 8-year-olds that was explained by direct offspring genetic effects and maternal or paternal genetic nurture. There was no strong evidence of genetic nurture in this sample, although a suggestive paternal genetic nurture effect on offspring depressive symptoms (variance explained (V) = 0.098, standard error (SE) = 0.057) and a suggestive maternal genetic nurture effect on ADHD symptoms (V = 0.084, SE = 0.058) was observed. The results indicate that parental genetic nurture effects could be of some relevance in explaining individual differences in childhood psychiatric symptoms. However, robustly estimating their contribution is a challenge for researchers given the current paucity of large-scale samples of genotyped families with information on childhood psychiatric outcomes
Marital resemblance for obsessive–compulsive, anxious and depressive symptoms in a population-based sample.
Background. Resemblance between spouses can be due to phenotypic assortment, social homogamy and/or marital interaction. A significant degree of assortment can have consequences for the genetic architecture of a population. We examined the existence and cause(s) of assortment for obsessive-compulsive (OC), anxious and depressive symptoms in a population-based twin-family sample. Method. OC, anxious and depressive symptoms were measured in around 1400 twin-spouse pairs and >850 parent pairs. Correlations of twins and their spouse, twin and co-twin's spouse, spouses of both twins and parents of twins were obtained to consider phenotypic assortment versus social homogamy as possible causes of marital resemblance. The association of length of relationship with marital resemblance was also investigated. Finally, we examined whether within-trait or cross-trait processes play a primarily role in marital resemblance. Results. Small but significant within-trait correlations of between 0.1 and 0.2 were seen for spouse similarity in OC, anxious and depressive symptoms. Cross-correlations were significant but lower. There was no correlation between length of relationship and marital resemblance. From the pattern of correlations for twin-spouse, co-twin-spouse and spouses of both twins, phenotypic assortment could not be distinguished from social homogamy. Both within- and cross-assortment processes play a role in marital resemblance. Conclusions. Small within- and across-trait correlations exist for OC, anxious and depressive symptoms. No evidence for marital interaction was found. Spouse correlations are small, which makes it difficult to distinguish between social homogamy and phenotypic assortment. It is unlikely that correlations of this size will have a large impact on genetic studies. © 2008 Cambridge University Press
A retrospective study on persistent pain after childbirth in the Netherlands
Reported prevalence rates of persistent postpartum pain (PPP) range from less than 1% to almost 20%. The aim of this study was to examine the prevalence of PPP in a Dutch cohort and to evaluate a possible causal role for specific risk factors on the development of chronic pain after childbirth. A questionnaire was sent to 960 postpartum women approximately 2 years after delivery. Primary outcome was pain that arose from childbirth at follow-up, and secondary outcomes included quality of life (QoL) and Hospital Anxiety and Depression Scale scores. Tested risk factors included mode of labor analgesia, history of negative effect, history of chronic pain, delivery route, parity, and ethnicity. A total of 495 (51.6%) women participated. At a mean time of 2.3 postpartum years, 7.3% of women reported any pain and 6.1% reported significant pain related to the delivery. Compared to spontaneous delivery, cesarean delivery provided protection against persistent pain (odds ratio, 0.12; 95% CI, 0.01–0.63, P<0.05). None of the other risk factors, including remifentanil use for labor pain, were of influence on the prevalence of persistent pain. Women with PPP experienced greater negative effects and had lower QoL scores compared to women without pain. In this cohort of Dutch patients, PPP is a serious problem with a great impact on the physical and mental health of women
CMV infection of liver transplant recipients: comparison of antigenemia and molecular biology assays
BACKGROUND: CMV is a major clinical problem in transplant recipients. Thus, it is important to use sensitive and specific diagnostic techniques to rapidly and accurately detect CMV infection and identify patients at risk of developing CMV disease. In the present study, CMV infection after liver transplantation was monitored retrospectively by two molecular biology assays - a quantitative PCR assay and a qualitative NASBA assay. The results were compared with those obtained by prospective pp65 antigenemia determinations. MATERIALS AND METHODS: 87 consecutive samples from 10 liver transplanted patients were tested for CMV by pp65 antigenemia, and CMV monitor and NASBA pp67 mRNA assay. RESULTS: CMV infection was detected in all patients by antigenemia and CMV monitor, whereas NASBA assay identified only 8/10 patients with viremia. Furthermore, CMV infection was never detected earlier by molecular biology assays than by antigenemia. Only 5/10 patients with CMV infection developed CMV disease. Using a cut off value of 8 cells/50,000, antigenemia was found to be the assay that better identified patients at risk of developing CMV disease. However, the kinetics of the onset of infection detected by NASBA and CMV monitor seemed to have better identified patients at risk of developing CMV disease. Furthermore, before onset of disease, CMV pp67 mRNA was found to have similar or better negative and positive predictive values for the development of CMV disease. CONCLUSIONS: The present data, suggests that the concomitant use of antigenemia and pp67 mRNA assay gives the best identification of patients at risk of developing CMV disease
A Finite Representation of the Narrowing Space
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-14125-1_4Narrowing basically extends rewriting by allowing free variables
in terms and by replacing matching with unification. As a consequence,
the search space of narrowing becomes usually infinite, as in
logic programming. In this paper, we introduce the use of some operators
that allow one to always produce a finite data structure that still represents
all the narrowing derivations. Furthermore, we extract from this
data structure a novel, compact equational representation of the (possibly
infinite) answers computed by narrowing for a given initial term.
Both the finite data structure and the equational representation of the
computed answers might be useful in a number of areas, like program
comprehension, static analysis, program transformation, etc.Nishida, N.; Vidal, G. (2013). A Finite Representation of the Narrowing Space. En Logic-Based Program Synthesis and Transformation. Springer. 54-71. doi:10.1007/978-3-319-14125-1_4S5471Albert, E., Vidal, G.: The Narrowing-Driven Approach to Functional Logic Program Specialization. New Generation Computing 20(1), 3–26 (2002)Alpuente, M., Falaschi, M., Vidal, G.: Partial Evaluation of Functional Logic Programs. ACM Transactions on Programming Languages and Systems 20(4), 768–844 (1998)Alpuente, M., Falaschi, M., Vidal, G.: Compositional Analysis for Equational Horn Programs. In: RodrĂguez-Artalejo, M., Levi, G. (eds.) ALP 1994. LNCS, vol. 850, pp. 77–94. Springer, Heidelberg (1994)Antoy, S., Ariola, Z.: Narrowing the Narrowing Space. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 1–15. Springer, Heidelberg (1997)Arts, T., Giesl, J.: Termination of term rewriting using dependency pairs. Theoretical Computer Science 236(1–2), 133–178 (2000)Arts, T., Zantema, H.: Termination of Logic Programs Using Semantic Unification. In: Proietti, M. (ed.) LOPSTR 1995. LNCS, vol. 1048, pp. 219–233. Springer, Heidelberg (1996)Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)Bae, K., Escobar, S., Meseguer, J.: Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. In: Proceedings of the 24th International Conference on Rewriting Techniques and Applications. LIPIcs, vol. 21, pp. 81–96. Schloss Dagstuhl - Leibniz-Zentrum fĂĽr Informatik (2013)De Schreye, D., GlĂĽck, R., Jørgensen, J., Leuschel, M., Martens, B., Sørensen, M.: Conjunctive partial deduction: foundations, control, algorihtms, and experiments. Journal of Logic Programming 41(2&3), 231–277 (1999)Escobar, S., Meadows, C., Meseguer, J.: A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theoretical Computer Science 367(1–2), 162–202 (2006)Escobar, S., Meseguer, J.: Symbolic Model Checking of Infinite-State Systems Using Narrowing. In: Baader, F. (ed.) RTA 2007. LNCS, vol. 4533, pp. 153–168. Springer, Heidelberg (2007)Fribourg, L.: SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. In: Proceedings of the Symposium on Logic Programming, pp. 172–185. IEEE Press (1985)Gnaedig, I., Kirchner, H.: Proving weak properties of rewriting. Theoretical Computer Science 412(34), 4405–4438 (2011)Hanus, M.: The integration of functions into logic programming: From theory to practice. Journal of Logic Programming 19&20, 583–628 (1994)Hanus, M. (ed.): Curry: An integrated functional logic language (vers. 0.8.3) (2012). http://www.curry-language.orgHermenegildo, M., Rossi, F.: On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. In: Lusk, E., Overbeck, R. (eds.) Proceedings of the 1989 North American Conf. on Logic Programming, pp. 369–389. The MIT Press, Cambridge (1989)Hölldobler, S. (ed.): Foundations of Equational Logic Programming. LNCS, vol. 353. Springer, Heidelberg (1989)Meseguer, J., Thati, P.: Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. Electronic Notes in Theoretical Computer Science 117, 153–182 (2005)Middeldorp, A., Okui, S.: A Deterministic Lazy Narrowing Calculus. Journal of Symbolic Computation 25(6), 733–757 (1998)Nishida, N., Sakai, M., Sakabe, T.: Generation of Inverse Computation Programs of Constructor Term Rewriting Systems. IEICE Transactions on Information and Systems J88–D–I(8), 1171–1183 (2005) (in Japanese)Nishida, N., Sakai, M., Sakabe, T.: Partial Inversion of Constructor Term Rewriting Systems. In: Giesl, J. (ed.) RTA 2005. LNCS, vol. 3467, pp. 264–278. Springer, Heidelberg (2005)Nishida, N., Vidal, G.: Program inversion for tail recursive functions. In: Schmidt-SchauĂź, M. (ed.) Proceedings of the 22nd International Conference on Rewriting Techniques and Applications. LIPIcs, vol. 10, pp. 283–298. Schloss Dagstuhl - Leibniz-Zentrum fĂĽr Informatik (2011)Nishida, N., Vidal, G.: Computing More Specific Versions of Conditional Rewriting Systems. In: Albert, E. (ed.) LOPSTR 2012. LNCS, vol. 7844, pp. 137–154. Springer, Heidelberg (2013)Nutt, W., RĂ©ty, P., Smolka, G.: Basic Narrowing Revisited. Journal of Symbolic Computation 7(3/4), 295–317 (1989)Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer, London, UK (2002)Palamidessi, C.: Algebraic Properties of Idempotent Substitutions. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol. 443, pp. 386–399. Springer, Heidelberg (1990)Ramos, J.G., Silva, J., Vidal, G.: Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems. In: Danvy, O., Pierce, B.C. (eds.) Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, pp. 228–239. ACM Press (2005)Slagle, J.R.: Automated theorem-proving for theories with simplifiers, commutativity and associativity. Journal of the ACM 21(4), 622–642 (1974
- …