On defining rules for cancer data fabrication

Funding: This research is partially funded by the Data Lab, and the EU H2020 project Serums: Securing Medical Data in Smart Patient-Centric Healthcare Systems (grant 826278).Data is essential for machine learning projects, and data accuracy is crucial for being able to trust the results obtained from the associated machine learning models. Previously, we have developed machine learning models for predicting the treatment outcome for breast cancer patients that have undergone chemotherapy, and developed a monitoring system for their treatment timeline showing interactively the options and associated predictions. Available cancer datasets, such as the one used earlier, are often too small to obtain significant results, and make it difficult to explore ways to improve the predictive capability of the models further. In this paper, we explore an alternative to enhance our datasets through synthetic data generation. From our original dataset, we extract rules to generate fabricated data that capture the different characteristics inherent in the dataset. Additional rules can be used to capture general medical knowledge. We show how to formulate rules for our cancer treatment data, and use the IBM solver to obtain a corresponding synthetic dataset. We discuss challenges for future work.Postprin

Effects of chronic exercise on severity, quality of life and functionality in an elderly Parkinson’s disease patient: case report

Exercise produces potential influences on physical and mental capacity in patients with neuropsychiatric disor- ders, and can be made a viable form of therapy to treat Parkinson’s disease (PD). We report the chronic effects of a regu- lar physical exercise protocol on cognitive and motor functions, functional capacity, and symptoms in an elderly PD pa- tient without dementia. The patient participated of a program composed of proprioceptive, aerobic and flexibility exer- cises, during 1 hour, three days a week, for nine months. Patient used 600 mg of L-DOPA daily, and 1 hour prior to each exercise session. Assessment was conducted in three stages, 0-3, 3-6 and 6 to 9 months, using percentual variation to the scales Hoehn and Yahr, Mini-Mental State Examination (MMSE), Parkinson Activity Scale (PAS), Beck Depression In- ventory (BDI), and Unified Parkinson's Disease Rating Scale (UPDRS-III). Reassessment showed clear changes in clini- cal parameters for Hoehn and Yahr (4 to 2.5), MMSE (14 to 22), PAS (13 to 29), BDI (9 to 7) and UPDRS-III (39 to 27) at the end of 9 months. According to our data, exercise seems to be effective in promoting the functional capacity and the maintenance of cognitive and motor functions of PD patients. Regular exercise protocols can be implemented as an ad- junctive treatment for reducing the severity of PD

A CDCL-style calculus for solving non-linear constraints

In this paper we propose a novel approach for checking satisfiability of non-linear constraints over the reals, called ksmt. The procedure is based on conflict resolution in CDCL style calculus, using a composition of symbolical and numerical methods. To deal with the non-linear components in case of conflicts we use numerically constructed restricted linearisations. This approach covers a large number of computable non-linear real functions such as polynomials, rational or trigonometrical functions and beyond. A prototypical implementation has been evaluated on several non-linear SMT-LIB examples and the results have been compared with state-of-the-art SMT solvers.Comment: 17 pages, 3 figures; accepted at FroCoS 2019; software available at <http://informatik.uni-trier.de/~brausse/ksmt/

Bit-Vector Model Counting using Statistical Estimation

Approximate model counting for bit-vector SMT formulas (generalizing \#SAT) has many applications such as probabilistic inference and quantitative information-flow security, but it is computationally difficult. Adding random parity constraints (XOR streamlining) and then checking satisfiability is an effective approximation technique, but it requires a prior hypothesis about the model count to produce useful results. We propose an approach inspired by statistical estimation to continually refine a probabilistic estimate of the model count for a formula, so that each XOR-streamlined query yields as much information as possible. We implement this approach, with an approximate probability model, as a wrapper around an off-the-shelf SMT solver or SAT solver. Experimental results show that the implementation is faster than the most similar previous approaches which used simpler refinement strategies. The technique also lets us model count formulas over floating-point constraints, which we demonstrate with an application to a vulnerability in differential privacy mechanisms

Self-Mating in the Definitive Host Potentiates Clonal Outbreaks of the Apicomplexan Parasites Sarcocystis neurona and Toxoplasma gondii

Tissue-encysting coccidia, including Toxoplasma gondii and Sarcocystis neurona, are heterogamous parasites with sexual and asexual life stages in definitive and intermediate hosts, respectively. During its sexual life stage, T. gondii reproduces either by genetic out-crossing or via clonal amplification of a single strain through self-mating. Out-crossing has been experimentally verified as a potent mechanism capable of producing offspring possessing a range of adaptive and virulence potentials. In contrast, selfing and other life history traits, such as asexual expansion of tissue-cysts by oral transmission among intermediate hosts, have been proposed to explain the genetic basis for the clonal population structure of T. gondii. In this study, we investigated the contributing roles self-mating and sexual recombination play in nature to maintain clonal population structures and produce or expand parasite clones capable of causing disease epidemics for two tissue encysting parasites. We applied high-resolution genotyping against strains isolated from a T. gondii waterborne outbreak that caused symptomatic disease in 155 immune-competent people in Brazil and a S. neurona outbreak that resulted in a mass mortality event in Southern sea otters. In both cases, a single, genetically distinct clone was found infecting outbreak-exposed individuals. Furthermore, the T. gondii outbreak clone was one of several apparently recombinant progeny recovered from the local environment. Since oocysts or sporocysts were the infectious form implicated in each outbreak, the expansion of the epidemic clone can be explained by self-mating. The results also show that out-crossing preceded selfing to produce the virulent T. gondii clone. For the tissue encysting coccidia, self-mating exists as a key adaptation potentiating the epidemic expansion and transmission of newly emerged parasite clones that can profoundly shape parasite population genetic structures or cause devastating disease outbreaks

Satisfiability Checking and Symbolic Computation

Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities.Comment: 3 page Extended Abstract to accompany an ISSAC 2016 poster. Poster available at http://www.sc-square.org/SC2-AnnouncementPoster.pd

Evolução na utilização e nos gastos de uma operadora de saúde

Brazil’s aging population and the rising number of people reliant upon the country’s supplementary healthcare system have elicited the concern of public and private managers regarding the increase in healthcare costs. In this paper, the costs per gender, per type of medical expenses and per age group of a major Brazilian self-managed healthcare provider between 2007 and 2013 were analyzed. This healthcare provider is of interest because, besides portraying a single condition of revenue growth restricted to the existing contributors, it also replicates the demographic profile expected for Brazil in 2050, when approximately one-third of its population will be over 60 years of age. The analyses confirm the current literature as they show an increase in healthcare plan usage by the elderly and the difference between admission rates by gender. They also reveal an increase in average length of stay in hospital and the increase in medical costs far above inflation, especially for materials and medicines. It is hoped that this study will help scholars and others interested in comparisons of medical expense trends, especially by age and sex, and that it encourages further collaboration on the sustainability of health insurance providers in Brazil

Seroepidemiology of Toxoplasma gondii infection in psychiatric inpatients in a northern Mexican city

BACKGROUND: Patients with psychiatric disorders were found to show a high seroprevalence of Toxoplasma gondii infection. There is scarce information about the epidemiology of T. gondii infection in psychiatric patients in Mexico. Therefore, we sought to determine the prevalence of T. gondii infection and associated socio-demographic, clinical and behavioural characteristics in a population of psychiatric patients in Durango City, Mexico. Seroprevalence in patients was compared with that obtained in a control population. METHODS: One hundred and thirty seven inpatients of a public psychiatric hospital and 180 controls were examined for the presence of IgG and IgM antibodies against T. gondii by enzyme-linked immunoassay (Diagnostic Automation Inc., Calabasas, CA, USA). The control population consisted of blood donors of a public blood bank and elderly persons attending a senior center in the same city. Age in controls (42 years +/- 20.2) was comparable with that of the psychiatric patients (43.7 years +/-13.8) (p = 0.42). Socio-demographic, clinical and behavioral characteristics from the patients were also obtained. RESULTS: Anti-T. gondii IgG antibodies indicating latent infection with T. gondii was found in 25 (18.2%) of 137 psychiatric inpatients and 16 (8.9%) of 180 controls (p = 0.02). Ten (26.3%) of 38 schizophrenic patients had latent infection and this prevalence was also significantly higher than that observed in controls (p = 0.005). Prevalence of anti-T. gondii IgM antibodies was comparable among patients and controls (4.4% vs 2.2%, respectively, p = 0.22). Multivariate analysis showed that T. gondii infection in inpatients was positively associated with sexual promiscuity (adjusted OR = 15.8; 95% CI: 3.8–64.8), unwashed raw fruit consumption (adjusted OR = 5.19; 95% CI: 2.3–11.3), and a history of surgery (adjusted OR = 6.5; 95% CI: 2.6–16), and negatively associated with lamb meat consumption (adjusted OR = 0.26; 95% CI: 0.10–0.63). CONCLUSION: In the present study, psychiatric inpatients in Durango, Mexico, in general and schizophrenia inpatients in particular had a significantly higher prevalence of T. gondii infection than the control group. Results suggest that unwashed raw fruit consumption might be the most important route of T. gondii transmission in our psychiatric inpatients while lamb meat consumption the less important. Additional studies will have to elucidate the causative relation between infection with T. gondii and psychiatric disorders