HORACE, THE LIAR PERSONA AND THE POETRY OF DISSIMULATIO: THE CASE OF EPISTLES 1

In this paper I examine Horace’s Epistles 1 and argue that Horace constructed the main speaker of this collection as a duplicitous ‘liar persona’. Horace’s persona of Epistles 1 admits that his past relationship with his patron Maecenas was paramount to slavery and appears determined to restore himself to freedom. Nevertheless, Horace employs various strategies to make us question the sincerity of his persona’s resolve and to suspect we may be being addressed by a slave dissimulating as a free man. Furthermore, Horace seems to have implicated the Epistles as a whole in this pretence; they are poems written to a patron’s demand but ‘pose’ as his personal letters. I argue that Horace created this poetic dynamic, the liar persona in his false letters, in order to ‘unmask’ himself and disclose his real view of the nature of his relationship with Maecenas

Explicit and implicit self-esteem and their associations with symptoms of anxiety and depression in children and adolescents

Negative self-esteem is an important transdiagnostic factor underlying various youth psychological problems. Most studies so far have examined the role of more conscious, explicit self-esteem, assessed with self-report questionnaires. Our study investigated the role of explicit as well as implicit self-esteem (with Rosenberg’s self-esteem scale and the implicit association test, respectively), and the nature of their interaction in explaining children’s and adolescents’ internalizing symptomatology. Self-esteem, depression, and anxiety symptoms were assessed in 279 youths (mean age: 13.92; 52% females). Explicit self-esteem (ESE) was consistently negatively related to internalizing symptoms, whereas implicit self-esteem (ISE) was not. For DSM-related anxiety symptoms, the interaction between ISE and ESE was significant: in youths who displayed low to average ESE, higher ISE predicted more anxiety symptoms, whereas for youths with high ESE, increased ISE was associated with lower levels of anxiety symptoms. Overall, our results suggest that explicit self-esteem is an important factor in explaining internalizing symptomatology for children and adolescents.</p

Efficient Certified Resolution Proof Checking

We present a novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking. The benefits of this format are demonstrated by implementing a proof checker in C, which outperforms a state-of-the-art checker by two orders of magnitude. We then formalize the theory underlying propositional proof checking in Coq, and extract a correct-by-construction proof checker for our format from the formalization. An empirical evaluation using 280 unsatisfiable instances from the 2015 and 2016 SAT competitions shows that this certified checker usually performs comparably to a state-of-the-art non-certified proof checker. Using this format, we formally verify the recent 200 TB proof of the Boolean Pythagorean Triples conjecture

Integrating microRNA and mRNA expression profiles of neuronal progenitors to identify regulatory networks underlying the onset of cortical neurogenesis

<p>Abstract</p> <p>Background</p> <p>Cortical development is a complex process that includes sequential generation of neuronal progenitors, which proliferate and migrate to form the stratified layers of the developing cortex. To identify the individual microRNAs (miRNAs) and mRNAs that may regulate the genetic network guiding the earliest phase of cortical development, the expression profiles of rat neuronal progenitors obtained at embryonic day 11 (E11), E12 and E13 were analyzed.</p> <p>Results</p> <p>Neuronal progenitors were purified from telencephalic dissociates by a positive-selection strategy featuring surface labeling with tetanus-toxin and cholera-toxin followed by fluorescence-activated cell sorting. Microarray analyses revealed the fractions of miRNAs and mRNAs that were up-regulated or down-regulated in these neuronal progenitors at the beginning of cortical development. Nearly half of the dynamically expressed miRNAs were negatively correlated with the expression of their predicted target mRNAs.</p> <p>Conclusion</p> <p>These data support a regulatory role for miRNAs during the transition from neuronal progenitors into the earliest differentiating cortical neurons. In addition, by supplying a robust data set in which miRNA and mRNA profiles originate from the same purified cell type, this empirical study may facilitate the development of new algorithms to integrate various "-omics" data sets.</p

Efficient Certified RAT Verification

Clausal proofs have become a popular approach to validate the results of SAT solvers. However, validating clausal proofs in the most widely supported format (DRAT) is expensive even in highly optimized implementations. We present a new format, called LRAT, which extends the DRAT format with hints that facilitate a simple and fast validation algorithm. Checking validity of LRAT proofs can be implemented using trusted systems such as the languages supported by theorem provers. We demonstrate this by implementing two certified LRAT checkers, one in Coq and one in ACL2

Implementing a psychosocial intervention DIALOG+ for patients with psychotic disorders in low and middle income countries in South Eastern Europe: protocol for a hybrid effectiveness-implementation cluster randomized clinical trial (IMPULSE)

Psychotic disorders have large treatment gap in low- and middle-income countries (LMICs) in South-Eastern Europe, where up to 45% of affected people do not receive care for their condition. This study will assess the implementation of a generic psychosocial intervention called DIALOG+ in mental health care services and its effectiveness at improving patients’ clinical and social outcomes.This is a protocol for a multi-country, pragmatic, hybrid effectiveness–implementation, cluster-randomised, clinical trial. The trial aims to recruit 80 clinicians and 400 patients across 5 South-Eastern European LMICs: Bosnia and Herzegovina, Kosovo*, Montenegro, Republic of North Macedonia and Serbia. Clusters are clinicians working with patients with psychosis, and each clinician will deliver the intervention to five patients. After patient baseline assessments, clinicians will be randomly assigned to either the DIALOG+ intervention or treatment as usual, with an allocation ratio of 1:1. The intervention will be delivered six times over 12 months during routine clinical meetings. TThe primary outcome measure is the quality of life at 12 months [Manchester Short Assessment of Quality of Life (MANSA)]; the secondary outcomes include mental health symptoms [Brief Psychiatric Rating Scale (BPRS), Clinical Assessment Interview for Negative Symptoms (CAINS), Brief Symptom Inventory (BSI)], satisfaction with services [Client Satisfaction Questionnaire (CSQ-8)] and economic costs at 12 months [based on Client Service Receipt Inventory (CSRI), EQ-5D-5L and Recovering Quality of Life (ReQOL-10)]. The study will assess the intervention fidelity and the experience of clinicians and patients’ about implementing DIALOG+ in real-life mental health care settings. In the health economic assessment, the incremental cost-effectiveness ratio is calculated with effectiveness measured by quality-adjusted life year. Data will also be collected on sustainability and reach to inform guidelines for potentially scaling up and implementing the intervention widely. Conclusion: The study is expected to generate new scientific knowledge on the treatment of people with psychosis in health care systems with limited resources. The learning from LMICs could potentially help other countries to expand the access to care and alleviate the suffering of patients with psychosis and their families. Trial registration: ISRCTN 11913964This study has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 779334

Increased sleep need and daytime sleepiness 6 months after traumatic brain injury: a prospective controlled clinical trial

In a controlled, prospective, electrophysiological study, Imbach et al. demonstrate increased sleep need and excessive daytime sleepiness 6 months after traumatic brain injury. Sleep is more consolidated after brain trauma, and an increase in sleep need is associated with intracranial haemorrhage. Trauma patients underestimate their increased sleep need and sleepines

Reduced Regional NREM Sleep Slow-Wave Activity Is Associated With Cognitive Impairment in Parkinson Disease

Growing evidence implicates a distinct role of disturbed slow-wave sleep in neurodegenerative diseases. Reduced non-rapid eye movement (NREM) sleep slow-wave activity (SWA), a marker of slow-wave sleep intensity, has been linked with age-related cognitive impairment and Alzheimer disease pathology. However, it remains debated if SWA is associated with cognition in Parkinson disease (PD). Here, we investigated the relationship of regional SWA with cognitive performance in PD. In the present study, 140 non-demented PD patients underwent polysomnography and were administered the Montréal Cognitive Assessment (MoCA) to screen for cognitive impairment. We performed spectral analysis of frontal, central, and occipital sleep electroencephalography (EEG) derivations to measure SWA, and spectral power in other frequency bands, which we compared to cognition using linear mixed models. We found that worse MoCA performance was associated with reduced 1–4 Hz SWA in a region-dependent manner (F2, 687 =11.67, p < 0.001). This effect was driven by reduced regional SWA in the lower delta frequencies, with a strong association of worse MoCA performance with reduced 1–2 Hz SWA (F2, 687 =18.0, p < 0.001). The association of MoCA with 1–2 Hz SWA (and 1–4 Hz SWA) followed an antero-posterior gradient, with strongest, weaker, and absent associations over frontal (rho = 0.33, p < 0.001), central (rho = 0.28, p < 0.001), and occipital derivations, respectively. Our study shows that cognitive impairment in PD is associated with reduced NREM sleep SWA, predominantly in lower delta frequencies (1–2 Hz) and over frontal regions. This finding suggests a potential role of reduced frontal slow-wave sleep intensity in cognitive impairment in PD

Obesity hypoventilation syndrome treated with non-invasive ventilation:Is a switch to CPAP therapy feasible?

Background and objective: Obesity hypoventilation syndrome (OHS) can be treated with either continuous positive airway pressure (CPAP) or non-invasive ventilation (NIV) therapy; the device choice has important economic and operational implications. Methods: This multicentre interventional trial investigated the safety and short-term efficacy of switching stable OHS patients who were on successful NIV therapy for ≥3 months to CPAP therapy. Patients underwent an autotitrating CPAP night under polysomnography (PSG); if the ensuing parameters were acceptable, they were sent home on a fixed CPAP for a 4–6-week period. It was hypothesized that blood gas analysis, PSG parameters and lung function tests would remain unchanged. Results: A total of 42 OHS patients were recruited, of whom 37 patients were switched to CPAP therapy. All patients had a history of severe obstructive sleep apnoea syndrome; chronic obstructive pulmonary disease (COPD) (Global Initiative for Obstructive Lung Disease (GOLD) I/II) was present in 52%. Regarding the primary outcome, 30 of 42 patients (71%, 95% CI: 55–84%) maintained daytime partial pressure of carbon dioxide (PaCO2) levels ≤45 mm Hg after the home CPAP period. There was no further impairment in quality of life, sleep parameters or lung function. Interestingly, 24 patients (65%) preferred CPAP as their long-term therapy, despite the high pressure levels used (mean: 13.8 ± 1.8 mbar). After the CPAP period, 7 of 37 patients were categorized as CPAP failure, albeit only due to mild hypercapnia (mean: 47.9 ± 2.7 mm Hg). Conclusion: It is feasible to switch most stable OHS patients from NIV to CPAP therapy, a step that could significantly reduce health-related costs. The auto-adjusted CPAP device, used in combination with the analysis of the PSG and capnometry, is a valid titration method in OHS patients