Lithium Prescribing during Pregnancy: A UK Primary Care Database Study

Women taking lithium must decide whether to continue the medication if they conceive or plan to conceive. Little is known about the extent of prescribing of lithium during pregnancy

A generic cyclic theorem prover

We describe the design and implementation of an automated theorem prover realising a fully general notion of cyclic proof. Our tool, called CYCLIST, is able to construct proofs obeying a very general cycle scheme in which leaves may be linked to any other matching node in the proof, and to verify the general, global infinitary condition on such proof objects ensuring their soundness. CYCLIST is based on a new, generic theory of cyclic proofs that can be instantiated to a wide variety of logics. We have developed three such concrete instantiations, based on: (a) first-order logic with inductive definitions; (b) entailments of pure separation logic; and (c) Hoare-style termination proofs for pointer programs. Experiments run on these instantiations indicate that CYCLIST offers significant potential as a future platform for inductive theorem proving. © Springer-Verlag Berlin Heidelberg 2012

Antiepileptic drugs prescribed in pregnancy and prevalence of major congenital malformations: comparative prevalence studies.

OBJECTIVE: The aim of this study was to examine the prevalence of major congenital malformations associated with antiepileptic drug (AED) treatment in pregnancy. PATIENTS AND METHODS: Using data from The Health Improvement Network, we identified women who have given live birth and their offspring. Four subgroups were selected based on the AED treatment in early pregnancy, valproate, carbamazepine, lamotrigine and women not receiving AED treatment. We compared the prevalence of major congenital malformations within children of these four groups and estimated prevalence ratios (PRs) using Poisson regression adjusted for maternal age, sex of child, quintiles of Townsend deprivation score and indication for treatment. RESULTS: In total, 240,071 women were included in the study. A total of 229 women were prescribed valproate in pregnancy, 357 were prescribed lamotrigine and 334 were prescribed carbamazepine and 239,151 women were not prescribed AEDs. Fifteen out of 229 (6.6%) women prescribed valproate gave birth to a child with a major congenital malformation. The figures for lamotrigine, carbamazepine and women not prescribed AEDs were 2.7%, 3.3% and 2.2%, respectively. The prevalence of major congenital malformation was similar for women prescribed lamotrigine or carbamazepine compared to women with no AED treatment in pregnancy. For women prescribed valproate in polytherapy, the prevalence was fourfold higher. After adjustments, the effect of estimates attenuated, but the prevalence remained two- to threefold higher in women prescribed valproate. CONCLUSION: The results of our study suggest that lamotrigine and carbamazepine are safer treatment options than valproate in pregnancy and should be considered as alternative treatment options for women of childbearing potential and in pregnancy

Initiation and duration of selective serotonin reuptake inhibitor prescribing over time: UK cohort study

BACKGROUND: Recent media reports have focused on the large increase in antidepressants dispensed in England. We investigated this, focusing on selective serotonin reuptake inhibitors (SSRIs). AIMS: To examine the rate of initiation of SSRIs over time and changes over time in the duration of prescribing episodes. METHOD: We estimated initiation and duration of SSRI prescribing from 7 025 802 individuals aged over 18 years and registered with a general practice that contributed data to The Health Improvement Network. RESULTS: Rates of SSRI initiation increased from 1.03 per 100 person-years in 1995 to 2.15 in 2001, but remained stable from then to 2012. The median duration of prescribing episodes increased from 112 to 169 days for episodes starting in 1995 to 2010. CONCLUSIONS: Despite media reports describing an increasing rate of antidepressant prescribing, SSRI initiation rates have stabilised since 2001. However, our results suggest that individuals who take SSRIs are receiving treatment for longer

Muscle fiber conduction velocity is more affected after eccentric than concentric exercise

It has been shown that mean muscle fiber conduction velocity (CV) can be acutely impaired after eccentric exercise. However, it is not known whether this applies to other exercise modes. Therefore, the purpose of this experiment was to compare the effects of eccentric and concentric exercises on CV, and amplitude and frequency content of surface electromyography (sEMG) signals up to 24 h post-exercise. Multichannel sEMG signals were recorded from biceps brachii muscle of the exercised arm during isometric maximal voluntary contraction (MVC) and electrically evoked contractions induced by motor-point stimulation before, immediately after and 2 h after maximal eccentric (ECC group, N = 12) and concentric (CON group, N = 12) elbow flexor exercises. Isometric MVC decreased in CON by 21.7 ± 12.0% (± SD, p < 0.01) and by 30.0 ± 17.7% (p < 0.001) in ECC immediately post-exercise when compared to baseline. At 2 h post-exercise, ECC showed a reduction in isometric MVC by 24.7 ± 13.7% (p < 0.01) when compared to baseline, while no significant reduction (by 8.0 ± 17.0%, ns) was observed in CON. Similarly, reduction in CV was observed only in ECC both during the isometric MVC (from baseline of 4.16 ± 0.3 to 3.43 ± 0.4 m/s, p < 0.001) and the electrically evoked contractions (from baseline of 4.33 ± 0.4 to 3.82 ± 0.3 m/s, p < 0.001). In conclusion, eccentric exercise can induce a greater and more prolonged reduction in muscle force production capability and CV than concentric exercis

Quantifying trading behavior in financial markets using Google Trends

Crises in financial markets affect humans worldwide. Detailed market data on trading decisions reflect some of the complex human behavior that has led to these crises. We suggest that massive new data sources resulting from human interaction with the Internet may offer a new perspective on the behavior of market participants in periods of large market movements. By analyzing changes in Google query volumes for search terms related to finance, we find patterns that may be interpreted as “early warning signs” of stock market moves. Our results illustrate the potential that combining extensive behavioral data sets offers for a better understanding of collective human behavior

A novel approach to improve cardiac performance: cardiac myosin activators

Decreased systolic function is a central factor in the pathogenesis of heart failure, yet there are no safe medical therapies to improve cardiac function in patients. Currently available inotropes, such as dobutamine and milrinone, increase cardiac contractility at the expense of increased intracellular concentrations of calcium and cAMP, contributing to increased heart rate, hypotension, arrhythmias, and mortality. These adverse effects are inextricably linked to their inotropic mechanism of action. A new class of pharmacologic agents, cardiac myosin activators, directly targets the kinetics of the myosin head. In vitro studies have demonstrated that these agents increase the rate of effective myosin cross-bridge formation, increasing the duration and amount of myocyte contraction, and inhibit non-productive consumption of ATP, potentially improving myocyte energy utilization, with no effect on intracellular calcium or cAMP. Animal models have shown that this novel mechanism increases the systolic ejection time, resulting in improved stroke volume, fractional shortening, and hemodynamics with no effect on myocardial oxygen demand, culminating in significant increases in cardiac efficiency. A first-in-human study in healthy volunteers with the lead cardiac myosin activator, CK-1827452, as well as preliminary results from a study in patients with stable chronic heart failure, have extended these findings to humans, demonstrating significant increases in systolic ejection time, fractional shortening, stroke volume, and cardiac output. These studies suggest that cardiac myosin activators offer the promise of a safe and effective treatment for heart failure. A program of clinical studies are being planned to test whether CK-1827452 will fulfill that promise

Discontinuation of antipsychotic medication in pregnancy: A cohort study.

Women prescribed antipsychotics face the dilemma on whether to continue medication in pregnancy in terms of balancing risks and benefits. Previous research on other psychotropic medications suggests that many women discontinue treatment in early pregnancy. However, very limited evidence exists on discontinuation of antipsychotic medication