601 research outputs found
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
Recommended from our members
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
Evaluation of the sensitivity and specificity of criteria for isolation of patients admitted to a specialized cancer hospital
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
- …