Optimal Bounds in Parametric LTL Games

We consider graph games of infinite duration with winning conditions in parameterized linear temporal logic, where the temporal operators are equipped with variables for time bounds. In model checking such specifications were introduced as "PLTL" by Alur et al. and (in a different version called "PROMPT-LTL") by Kupferman et al.. We present an algorithm to determine optimal variable valuations that allow a player to win a game. Furthermore, we show how to determine whether a player wins a game with respect to some, infinitely many, or all valuations. All our algorithms run in doubly-exponential time; so, adding bounded temporal operators does not increase the complexity compared to solving plain LTL games.Comment: In Proceedings GandALF 2011, arXiv:1106.081

Transrectal ultrasound-integrated spectral optical tomography of hypoxic progression of a regressing tumor in a canine prostate

The objective of this study was to evaluate if transrectal optical tomography implemented at three wavelength bands for spectral detection could monitor changes of the hemoglobin oxygen saturation (SₜO₂) in addition to those of the total hemoglobin concentration ([HbT]) in lesions of a canine prostate, including an induced tumor modeling canine prostate cancer. Near-infrared (NIR) optical tomography was integrated with ultrasound (US) for transrectal imaging. Multi-spectral detection at 705 nm, 785 nm and 808 nm rendered measurements of [HbT] and SₜO₂. Canine transmissible venereal tumor (TVT) cells were injected into the right lobe of a dog's prostate gland, which had a pre-existing cyst in the left lobe. Longitudinal assessments of the prostate were performed weekly over a 63-day duration by NIR imaging concurrent with grey-scale and Doppler US. Ultrasonography revealed a bi-lobular tumor-mass regressing from day-49 to day-63. At day-49 this tumor-mass developed a hypoxic core that became larger and more intense by day-56 and expanded further by day-63. The tumor-mass presented a strong hyper-[HbT] feature on day-56 that was inconsistent with US-visualized blood flow. Histology confirmed two necrotic TVT foci within this tumor-mass. The cyst appeared to have a large anoxic-like interior that was greater in size than its ultrasonographically delineated lesion, and a weak lesional elevation of [HbT]. On day-56, the cyst presented a strong hyper-[HbT] feature consistent with US-resolved blood flow. Histology revealed acute and chronic hemorrhage in the periphery of the cyst. The NIR imaging features of two other TVT nodules and a metastatic lymph node were evaluated retrospectively. Transrectal US-integrated spectral optical tomography seems to enable longitudinal monitoring of intra-lesional oxygenation dynamics in addition to the hemoglobin content of lesions in the canine prostate.Electrical & Computer EngineeringVeterinary Clinical Science

Pre-divorce problems in 3-year-olds: a prospective study in boys and girls

Objective: We examined to what extent internalizing and externalizing problems at age 3 preceded and predicted parental divorce, and if divorce and the time lapse since divorce were related to internalizing and externalizing problems at age 12. Methods: Parental ratings of internalizing and externalizing problems were collected with the Child Behavior Checklist (CBCL) in a large sample (N = 6,426) of 3-yearold children. All these children were followed through the age of 12 years, at which parents completed the CBCL again, while teachers completed the Teacher's Report Form. Children whose parents divorced between age 3 and age 12 were compared with children whose families remained intact. Results: Girls whose parents divorced between ages 3 and 12 already showed more externalizing problems at age 3 than girls whose parents stayed married. Higher levels of externalizing problems in girls at age 3 predicted later parental divorce. Parental reports indicated that 12-year-olds with divorced parents showed more internalizing and externalizing problems than children with married parents. Levels of teacher-reported problems were not different between children with married versus divorced parents. However, children whose parents divorced between ages 3 and 12 showed more teacher-rated internalizing problems at age 12 when the divorce was more recent than when the divorce was less recent. Parental ratings of both internalizing and externalizing problems at age 12 were not associated with the time lapse since divorce. Conclusion: Externalizing problems in girls precede and predict later parental divorce. Post-divorce problems in children vary by raters, and may depend on the time lapse since divorce

Molecular basis of FIR-mediated c-myc transcriptional control

The far upstream element (FUSE) regulatory system promotes a peak in the concentration of c-Myc during cell cycle. First, the FBP transcriptional activator binds to the FUSE DNA element upstream of the c-myc promoter. Then, FBP recruits its specific repressor (FIR), which acts as an on/off transcriptional switch. Here we describe the molecular basis of FIR recruitment, showing that the tandem RNA recognition motifs of FIR provide a platform for independent FUSE DNA and FBP protein binding and explaining the structural basis of the reversibility of the FBP-FIR interaction. We also show that the physical coupling between FBP and FIR is modulated by a flexible linker positioned sequentially to the recruiting element. Our data explain how the FUSE system precisely regulates c-myc transcription and suggest that a small change in FBP-FIR affinity leads to a substantial effect on c-Myc concentration.MRC Grant-in-aid U11757455

Are autistic traits in the general population stable across development?

There is accumulating evidence that autistic traits (AT) are on a continuum in the general population, with clinical autism representing the extreme end of a quantitative distribution. While the nature and severity of symptoms in clinical autism are known to persist over time, no study has examined the long-term stability of AT among typically developing toddlers. The current investigation measured AT in 360 males and 400 males from the general population close to two decades apart, using the Pervasive Developmental Disorder subscale of the Child Behavior Checklist in early childhood (M = 2.14 years; SD = 0.15), and the Autism-Spectrum Quotient in early adulthood (M = 19.50 years; SD = 0.70). Items from each scale were further divided into social (difficulties with social interaction and communication) and non-social (restricted and repetitive behaviours and interests) AT. The association between child and adult measurements of AT as well the influence of potentially confounding sociodemographic, antenatal and obstetric variables were assessed using Pearson's correlations and linear regression. For males, Total AT in early childhood were positively correlated with total AT (r = .16, p = .002) and social AT (r = .16, p = .002) in adulthood. There was also a positive correlation for males between social AT measured in early childhood and Total (r = .17, p = .001) and social AT (r = .16, p = .002) measured in adulthood. Correlations for non-social AT did not achieve significance in males. Furthermore, there was no significant longitudinal association in AT observed for males or females. Despite the constraints of using different measures and different raters at the two ages, this study found modest developmental stability of social AT from early childhood to adulthood in boys

Targeting Epigenetic Regulation of miR-34a for Treatment of Pancreatic Cancer by Inhibition of Pancreatic Cancer Stem Cells

MicroRNA-34a (miR-34a) is a transcriptional target of p53 and is down-regulated in pancreatic cancer. This study aimed to investigate the functional significance of miR-34a in pancreatic cancer progression through its epigenetic restoration with chromatin modulators, demethylating agent 5-Aza-2'-deoxycytidine (5-Aza-dC) and HDAC inhibitor Vorinostat (SAHA).Re-expression of miR-34a in human pancreatic cancer stem cells (CSCs) and in human pancreatic cancer cell lines upon treatment with 5-Aza-dC and SAHA strongly inhibited the cell proliferation, cell cycle progression, self-renewal, epithelial to mesenchymal transition (EMT) and invasion. In pancreatic CSCs, modulation of miR-34a induced apoptosis by activating caspase-3/7. Treatment of pancreatic CSCs with the chromatin-modulating agents resulted in the inhibition of Bcl-2, CDK6 and SIRT1, which are the putative targets of miR-34a. MiR-34a upregulation by these agents also induced acetylated p53, p21(WAF1), p27(KIP1) and PUMA in pancreatic CSCs. Inhibition of miR-34a by antagomiR abrogates the effects of 5-Aza-dC and SAHA, suggesting that 5-Aza-dC and SAHA regulate stem cell characteristics through miR-34a. In CSCs, SAHA inhibited Notch pathway, suggesting its suppression may contribute to inhibition of the self-renewal capacity and induction of apoptosis. Interestingly, treatment of pancreatic CSCs with SAHA resulted in the inhibition of EMT with the transcriptional up-regulation of E-Cadherin and down-regulation of N-Cadherin. Expression of EMT inducers (Zeb-1, Snail and Slug) was inhibited in CSCs upon treatment with SAHA. 5-Aza-dC and SAHA also retard in vitro migration and invasion of CSCs.The present study thus demonstrates the role of miR-34a as a critical regulator of pancreatic cancer progression by the regulating CSC characteristics. The restoration of its expression by 5-Aza-dC and SAHA in CSCs will not only provide mechanistic insight and therapeutic targets for pancreatic cancer but also promising reagents to boost patient response to existing chemotherapies or as a standalone cancer drug by eliminating the CSC characteristics

Preoperative cardiac risk assessment in geriatric patients with hip fractures: an orthopedic surgeons’ perspective

Hip fracture is one of the most common orthopedic conditions and is associated with significant morbidity and mortality. With a progressively aging population, the annual incidence of hip fracture is expected to increase substantially. Emerging evidence suggests that early surgery (<24 h) minimizes complications secondary to immobilization, including orthostatic pneumonia and venous thromboembolism. Delayed surgical repair (>48 h) has been consistently demonstrated to be associated with an increased risk of 30-day and 1-year mortality. Nonetheless, early surgery necessitates a shorter time for preoperative medical preparation, in particular cardiac assessment. Patients who undergo emergent orthopedic surgery are therefore at greater risk of perioperative cardiac events than those who undergo elective surgery. In addition, the prompt triage system for preoperative cardiac assessment not only identifies patients at high risk of perioperative cardiac complications but also reduces unnecessary cardiac consultations for low-risk patients. We review the current recommendations for preoperative cardiac assessment adapted for patients with hip fracture and describe our current triage system for preoperative cardiac consultation

High frequency of CHD7 mutations in congenital hypogonadotropic hypogonadism

Congenital hypogonadotropic hypogonadism (CHH) is characterized by lack of normal pubertal development due to deficient gonadotropin-releasing hormone (GnRH) secretion or action, and is caused by genetic defects in several genes. Mutations in the CHD7 gene cause CHARGE syndrome (Coloboma of the eye, Heart defects, Atresia of the choanae, Retardation of growth and development, Genital hypoplasia and Ear abnormalities), but have also been found in patients with isolated CHH. The aim of this study was to identify CHD7 mutations in patients with CHH. Fifty Portuguese patients with CHH were screened for mutations in the CHD7 gene by DNA sequencing. Eight (16%) patients had CHD7 rare sequence variants that consisted of six missense (p.Gly388Glu, p.His903Pro, p.Thr1082Ile, p.Val1452Leu, p.Asp1854Gly, and p.Arg2065His) and two synonymous (p.Ser559Ser, and p.Ala2785Ala) mutations. Five of these mutations have never been reported before. Three CHD7 mutations occurred in patients that had mutations in additional CHH-genes. This study uncovered novel genetic variants that expand the known spectrum of mutations associated with CHH. The frequency of CHD7 mutations in this cohort was higher than that of other major CHH-genes and confirms the importance of including CHD7 in the genetic testing of CHH, even in the absence of additional CHARGE features.info:eu-repo/semantics/publishedVersio

Diagnosing Autism Spectrum Disorders in Adults: the Use of Autism Diagnostic Observation Schedule (ADOS) Module 4

Autism Diagnostic Observation Schedule (ADOS) module 4 was investigated in an independent sample of high-functioning adult males with an autism spectrum disorder (ASD) compared to three specific diagnostic groups: schizophrenia, psychopathy, and typical development. ADOS module 4 proves to be a reliable instrument with good predictive value. It can adequately discriminate ASD from psychopathy and typical development, but is less specific with respect to schizophrenia due to behavioral overlap between autistic and negative symptoms. However, these groups differ on some core items and explorative analyses indicate that a revision of the algorithm in line with Gotham et al. (J Autism Dev Disord 37: 613–627, 2007) could be beneficial for discriminating ASD from schizophrenia

Randomised control trial of the effectiveness of an integrated psychosocial health promotion intervention aimed at improving health and reducing substance use in established psychosis (IMPaCT)

© 2017 The Author(s). Background: People with psychosis have a reduced life expectancy of 10-20years, largely due to cardiovascular disease. This trial aimed to determine the effectiveness of a modular health promotion intervention (IMPaCT Therapy) in improving health and reducing cardiovascular risk in psychosis. Methods: A multicentre, two arm, parallel cluster RCT was conducted across five UK mental health NHS trusts. Community care coordinators (CC) were randomly assigned to training and supervision in delivering IMPaCT Therapy or treatment as usual (TAU) to current patients with psychosis (cluster). The primary outcome was the physical and mental health subscales of the Short form-36 (SF-36) questionnaire. Results: Of 104 care coordinators recruited, 52 (with 213 patients) were randomised to deliver IMPaCT therapy and 52 (with 193 patients) randomised to TAU. Of 406 patients, 318 (78%) and 301 (74%) attended 12- and 15-month follow-up respectively. IMPaCT therapy showed no significant effect on the physical or mental health component SF-36 scores versus TAU at 12 or 15months. No effect was observed for cardiovascular risk indicators, except for HDL cholesterol, which improved more with IMPACT therapy than TAU (Treatment effect (95% CI); 0.085 (0.007 to 0.16); p= 0.034). The 22% of patients who received > 180min of IMPACT Therapy in addition to usual care achieved a greater reduction in waist circumference than did controls, which was clinically significant. Conclusion: Training and supervising community care coordinators to use IMPaCT therapy in patients with psychosis is insufficient to significantly improve physical or mental health quality of life. The search for effective, pragmatic interventions deliverable in health care services continues. Trial registration: The trial was retrospectively registered with ISRCTN registry on 23/4/2010 at ISRCTN58667926 ; recruitment started on 01/03/2010 with first randomization on 09.08.2010 ISRCTN58667926