A Cross-Sectional Study of People with Epilepsy and Neurocysticercosis in Tanzania: Clinical Characteristics and Diagnostic Approaches.

Neurocysticercosis (NCC) is a major cause of epilepsy in regions where pigs are free-ranging and hygiene is poor. Pork production is expected to increase in the next decade in sub-Saharan Africa, hence NCC will likely become more prevalent. In this study, people with epilepsy (PWE, n=212) were followed up 28.6 months after diagnosis of epilepsy. CT scans were performed, and serum and cerebrospinal fluid (CSF) of selected PWE were analysed. We compared the demographic data, clinical characteristics, and associated risk factors of PWE with and without NCC. PWE with NCC (n=35) were more likely to be older at first seizure (24.3 vs. 16.3 years, p=0.097), consumed more pork (97.1% vs. 73.6%, p=0.001), and were more often a member of the Iraqw tribe (94.3% vs. 67.8%, p=0.005) than PWE without NCC (n=177). PWE and NCC who were compliant with anti-epileptic medications had a significantly higher reduction of seizures (98.6% vs. 89.2%, p=0.046). Other characteristics such as gender, seizure frequency, compliance, past medical history, close contact with pigs, use of latrines and family history of seizures did not differ significantly between the two groups. The number of NCC lesions and active NCC lesions were significantly associated with a positive antibody result. The electroimmunotransfer blot, developed by the Centers for Disease Control and Prevention, was more sensitive than a commercial western blot, especially in PWE and cerebral calcifications. This is the first study to systematically compare the clinical characteristics of PWE due to NCC or other causes and to explore the utility of two different antibody tests for diagnosis of NCC in sub-Saharan Africa

Probing elastic and inelastic breakup contributions to intermediate-energy two-proton removal reactions

The two-proton removal reaction from 28Mg projectiles has been studied at 93 MeV/u at the NSCL. First coincidence measurements of the heavy 26Ne projectile residues, the removed protons and other light charged particles enabled the relative cross sections from each of the three possible elastic and inelastic proton removal mechanisms to be determined. These more final-state-exclusive measurements are key for further interrogation of these reaction mechanisms and use of the reaction channel for quantitative spectroscopy of very neutron-rich nuclei. The relative and absolute yields of the three contributing mechanisms are compared to reaction model expectations - based on the use of eikonal dynamics and sd-shell-model structure amplitudes.Comment: Accepted for publication in Physical Review C (Rapid Communication

Elastic breakup cross sections of well-bound nucleons

The 9Be(28Mg,27Na) one-proton removal reaction with a large proton separation energy of Sp(28Mg)=16.79 MeV is studied at intermediate beam energy. Coincidences of the bound 27Na residues with protons and other light charged particles are measured. These data are analyzed to determine the percentage contributions to the proton removal cross section from the elastic and inelastic nucleon removal mechanisms. These deduced contributions are compared with the eikonal reaction model predictions and with the previously measured data for reactions involving the re- moval of more weakly-bound protons from lighter nuclei. The role of transitions of the proton between different bound single-particle configurations upon the elastic breakup cross section is also quantified in this well-bound case. The measured and calculated elastic breakup fractions are found to be in good agreement.Comment: Phys. Rev. C 2014 (accepted

Design principles for riboswitch function

Scientific and technological advances that enable the tuning of integrated regulatory components to match network and system requirements are critical to reliably control the function of biological systems. RNA provides a promising building block for the construction of tunable regulatory components based on its rich regulatory capacity and our current understanding of the sequence–function relationship. One prominent example of RNA-based regulatory components is riboswitches, genetic elements that mediate ligand control of gene expression through diverse regulatory mechanisms. While characterization of natural and synthetic riboswitches has revealed that riboswitch function can be modulated through sequence alteration, no quantitative frameworks exist to investigate or guide riboswitch tuning. Here, we combined mathematical modeling and experimental approaches to investigate the relationship between riboswitch function and performance. Model results demonstrated that the competition between reversible and irreversible rate constants dictates performance for different regulatory mechanisms. We also found that practical system restrictions, such as an upper limit on ligand concentration, can significantly alter the requirements for riboswitch performance, necessitating alternative tuning strategies. Previous experimental data for natural and synthetic riboswitches as well as experiments conducted in this work support model predictions. From our results, we developed a set of general design principles for synthetic riboswitches. Our results also provide a foundation from which to investigate how natural riboswitches are tuned to meet systems-level regulatory demands

On the Generalizability of Experimental Results

The age-old question of the generalizability of the results of experiments that are conducted in artificial laboratory settings to more realistic inferential and decision making situations is considered in this paper. Conservatism in probability revision provides an example of a result that 1) has received wide attention, including attention in terms of implications for real-world decision making, on the basis of experiments conducted in artificial settings and 2) is now apparently thought by many to be highly situational and not at all a ubiquitous phenomenon, in which case its implications for real-world decision making are not as extensive as originally claimed. In this paper we consider the questions of generalizations from the laboratory to the real world in some detail, both within the context of the experiments regarding conservatism and within a more general context. In addition, we discuss some of the difficulties inherent in experimentation in realistic settings, suggest possible procedures for avoiding or at least alleviating such difficulties, and make a plea for more realistic experiments

A [4Fe-4S]-Fe(CO)(CN)-L-cysteine intermediate is the first organometallic precursor in [FeFe] hydrogenase H-cluster bioassembly.

Biosynthesis of the [FeFe] hydrogenase active site (the 'H-cluster') requires the interplay of multiple proteins and small molecules. Among them, the radical S-adenosylmethionine enzyme HydG, a tyrosine lyase, has been proposed to generate a complex that contains an Fe(CO)2(CN) moiety that is eventually incorporated into the H-cluster. Here we describe the characterization of an intermediate in the HydG reaction: a [4Fe-4S][(Cys)Fe(CO)(CN)] species, 'Complex A', in which a CO, a CN- and a cysteine (Cys) molecule bind to the unique 'dangler' Fe site of the auxiliary [5Fe-4S] cluster of HydG. The identification of this intermediate-the first organometallic precursor to the H-cluster-validates the previously hypothesized HydG reaction cycle and provides a basis for elucidating the biosynthetic origin of other moieties of the H-cluster

'It felt like it was night all the time' : listening to the experiences of birth mothers whose children have been taken into care or adopted

The child care literature consistently reports a lack of support for birth mothers following their child being taken into care or adopted. This is despite consistent evidence of the long-term consequences of the removal of children on their mental health. The aim of this study is to explore the effects of separation, the subsequent sense of identity and the experience of contact and support throughout the process. Semi-structured interviews were conducted with seven mothers recruited from birth mother support groups and the transcripts analysed using Interpretative Phenomenological Analysis (IPA). Four themes emerged: ‘no one in my corner’; disconnecting from emotion; renegotiating identity; and the children are gone but still here. The findings contribute to our understanding of the experiences of birth mothers whose children are removed from their care and are discussed within a range of psychological theories.Peer reviewedFinal Accepted Versio

Immunological characterization of chromogranins A and B and secretogranin II in the bovine pancreatic islet

Antisera against chromogranin A and B and secretogranin II were used for analysing the bovine pancreas by immunoblotting and immunohistochemistry. All three antigens were found in extracts of fetal pancreas by one dimensional immunoblotting. A comparison with the soluble proteins of chromaffin granules revealed that in adrenal medulla and in pancreas antigens which migrated identically in electrophoresis were present. In immunohistochemistry, chromogranin A was found in all pancreatic endocrine cell types with the exception of most pancreatic polypeptide-(PP-) producing cells. For chromogranin B, only a faint immunostaining was obtained. For secretorgranin II, A-and B-cells were faintly positive, whereas the majority of PP-cells exhibited a strong immunostaining for this antigen. These results establish that chromogranins A and B and secretogranin II are present in the endocrine pancreas, but that they exhibit a distinct cellular localization

Automatically Proving and Disproving Feasibility Conditions

[EN] In the realm of term rewriting, given terms s and t, a reachability condition s>>t is called feasible if there is a substitution O such that O(s) rewrites into O(t) in zero or more steps; otherwise, it is called infeasible. Checking infeasibility of (sequences of) reachability conditions is important in the analysis of computational properties of rewrite systems like confluence or (operational) termination. In this paper, we generalize this notion of feasibility to arbitrary n-ary relations on terms defined by first-order theories. In this way, properties of computational systems whose operational semantics can be given as a first-order theory can be investigated. We introduce a framework for proving feasibility/infeasibility, and a new tool, infChecker, which implements it.Supported by EU (FEDER), and projects RTI2018-094403-B-C32, PROMETEO/2019/098, and SP20180225. Also by INCIBE program "Ayudas para la excelencia de los equipos de investigación avanzada en ciberseguridad" (Raul Gutiérrez).Gutiérrez Gil, R.; Lucas Alba, S. (2020). Automatically Proving and Disproving Feasibility Conditions. Springer Nature. 416-435. https://doi.org/10.1007/978-3-030-51054-1_27S416435Andrianarivelo, N., Réty, P.: Over-approximating terms reachable by context-sensitive rewriting. In: Bojańczyk, M., Lasota, S., Potapov, I. (eds.) RP 2015. LNCS, vol. 9328, pp. 128–139. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24537-9_12Dershowitz, N.: Termination of rewriting. J. Symb. Comput. 3(1/2), 69–116 (1987). https://doi.org/10.1016/S0747-7171(87)80022-6Giesl, J., Thiemann, R., Schneider-Kamp, P., Falke, S.: Mechanizing and improving dependency pairs. J. Autom. Reasoning 37(3), 155–203 (2006). https://doi.org/10.1007/s10817-006-9057-7Goguen, J.A., Meseguer, J.: Models and equality for logical programming. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds.) TAPSOFT 1987. LNCS, vol. 250, pp. 1–22. Springer, Heidelberg (1987). https://doi.org/10.1007/BFb0014969Gutiérrez, R., Lucas, S.: Automatic generation of logical models with AGES. In: Fontaine, P. (ed.) CADE 2019. LNCS (LNAI), vol. 11716, pp. 287–299. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-29436-6_17Kojima, Y., Sakai, M.: Innermost reachability and context sensitive reachability properties are decidable for linear right-shallow term rewriting systems. In: Voronkov, A. (ed.) RTA 2008. LNCS, vol. 5117, pp. 187–201. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-70590-1_13Kojima, Y., Sakai, M., Nishida, N., Kusakari, K., Sakabe, T.: Context-sensitive innermost reachability is decidable for linear right-shallow term rewriting systems. Inf. Media Technol. 4(4), 802–814 (2009)Kojima, Y., Sakai, M., Nishida, N., Kusakari, K., Sakabe, T.: Decidability of reachability for right-shallow context-sensitive term rewriting systems. IPSJ Online Trans. 4, 192–216 (2011)Lucas, S.: Analysis of rewriting-based systems as first-order theories. In: Fioravanti, F., Gallagher, J.P. (eds.) LOPSTR 2017. LNCS, vol. 10855, pp. 180–197. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94460-9_11Lucas, S.: Context-sensitive computations in functional and functional logic programs. J. Funct. Logic Program. 1998(1) (1998). http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-01/A98-01.htmlLucas, S.: Proving semantic properties as first-order satisfiability. Artif. Intell. 277 (2019). https://doi.org/10.1016/j.artint.2019.103174Lucas, S.: Using well-founded relations for proving operational termination. J. Autom. Reasoning 64(2), 167–195 (2019). https://doi.org/10.1007/s10817-019-09514-2Lucas, S., Gutiérrez, R.: Use of logical models for proving infeasibility in term rewriting. Inf. Process. Lett. 136, 90–95 (2018). https://doi.org/10.1016/j.ipl.2018.04.002Lucas, S., Marché, C., Meseguer, J.: Operational termination of conditional term rewriting systems. Inf. Process. Lett. 95(4), 446–453 (2005). https://doi.org/10.1016/j.ipl.2005.05.002Lucas, S., Meseguer, J.: Proving operational termination of declarative programs in general logics. In: Chitil, O., King, A., Danvy, O. (eds.) Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, 8–10 September 2014, pp. 111–122. ACM (2014). https://doi.org/10.1145/2643135.2643152Lucas, S., Meseguer, J., Gutiérrez, R.: The 2D dependency pair framework for conditional rewrite systems. Part I: definition and basic processors. J. Comput. Syst. Sci. 96, 74–106 (2018). https://doi.org/10.1016/j.jcss.2018.04.002Lucas, S., Meseguer, J., Gutiérrez, R.: The 2D dependency pair framework for conditional rewrite systems—Part II: advanced processors and implementation techniques. J. Autom. Reasoning (2020, in press)McCune, W.: Prover9 and Mace4. https://www.cs.unm.edu/~mccune/mace4/Meßner, F., Sternagel, C.: nonreach – a tool for nonreachability analysis. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11427, pp. 337–343. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-17462-0_19Middeldorp, A., Nagele, J., Shintani, K.: Confluence competition 2019. In: Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.) TACAS 2019. LNCS, vol. 11429, pp. 25–40. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-17502-3_2Nishida, N., Maeda, Y.: Narrowing trees for syntactically deterministic conditional term rewriting systems. In: Kirchner, H. (ed.) Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction. FSCD 2018. Leibniz International Proceedings in Informatics (LIPIcs), vol. 108, pp. 26:1–26:20. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2018). https://doi.org/10.4230/LIPIcs.FSCD.2018.26Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer, Heidelberg (2002). http://www.springer.com/computer/swe/book/978-0-387-95250-5Prawitz, D.: Natural Deduction: A Proof-Theoretical Study. Dover, New York (2006)Sternagel, C., Sternagel, T., Middeldorp, A.: CoCo 2018 Participant: ConCon 1.5. In: Felgenhauer, B., Simonsen, J. (eds.) Proceedings of the 7th International Workshop on Confluence. IWC 2018, p. 66 (2018). http://cl-informatik.uibk.ac.at/events/iwc-2018/Sternagel, C., Yamada, A.: Reachability analysis for termination and confluence of rewriting. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11427, pp. 262–278. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-17462-0_15Winkler, S., Moser, G.: MædMax: a maximal ordered completion tool. In: Galmiche, D., Schulz, S., Sebastiani, R. (eds.) IJCAR 2018. LNCS (LNAI), vol. 10900, pp. 472–480. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94205-6_3

Quantum physics meets biology

Quantum physics and biology have long been regarded as unrelated disciplines, describing nature at the inanimate microlevel on the one hand and living species on the other hand. Over the last decades the life sciences have succeeded in providing ever more and refined explanations of macroscopic phenomena that were based on an improved understanding of molecular structures and mechanisms. Simultaneously, quantum physics, originally rooted in a world view of quantum coherences, entanglement and other non-classical effects, has been heading towards systems of increasing complexity. The present perspective article shall serve as a pedestrian guide to the growing interconnections between the two fields. We recapitulate the generic and sometimes unintuitive characteristics of quantum physics and point to a number of applications in the life sciences. We discuss our criteria for a future quantum biology, its current status, recent experimental progress and also the restrictions that nature imposes on bold extrapolations of quantum theory to macroscopic phenomena.Comment: 26 pages, 4 figures, Perspective article for the HFSP Journa