Probabilistic (logic) programming concepts

A multitude of different probabilistic programming languages exists today, all extending a traditional programming language with primitives to support modeling of complex, structured probability distributions. Each of these languages employs its own probabilistic primitives, and comes with a particular syntax, semantics and inference procedure. This makes it hard to understand the underlying programming concepts and appreciate the differences between the different languages. To obtain a better understanding of probabilistic programming, we identify a number of core programming concepts underlying the primitives used by various probabilistic languages, discuss the execution mechanisms that they require and use these to position and survey state-of-the-art probabilistic languages and their implementation. While doing so, we focus on probabilistic extensions of logic programming languages such as Prolog, which have been considered for over 20 years

Recommendations for a standardised educational program in robot assisted gynaecological surgery: consensus from the Society of European Robotic Gynaecological Surgery (SERGS)

Background: the Society of European Robotic Gynaecological Surgery (SERGS) aims at developing a European consensus on core components of a curriculum for training and assessment in robot assisted gynaecological surgery. Methods: a Delphi process was initiated among a panel of 12 experts in robot assisted surgery invited through the SERGS. An online questionnaire survey was based on a literature search for standards in education in gynaecological robot assisted surgery. The survey was performed in three consecutive rounds to reach optimal consensus. The results of this survey were discussed by the panel and led to consensus recommendations on 39 issues, adhering to general principles of medical education. Results: on review there appeared to be no accredited training programs in Europe, and few in the USA. Recommendations for requirements of training centres, educational tools and assessment of proficiency varied widely. Stepwise and structured training together with validated assessment based on competencies rather than on volume emerged as prerequisites for adequate and safe learning. An appropriate educational environment and tools for training were defined. Although certification should be competence based, the panel recommended additional volume based criteria for both accreditation of training centres and certification of individual surgeons. Conclusions: consensus was reached on minimum criteria for training in robot assisted gynaecological surgery. To transfer results into clinical practice, experts recommended a curriculum and guidelines that have now been endorsed by SERGS to be used to establish training programmes for robot assisted surgery

Generating Random Logic Programs Using Constraint Programming

Testing algorithms across a wide range of problem instances is crucial to ensure the validity of any claim about one algorithm's superiority over another. However, when it comes to inference algorithms for probabilistic logic programs, experimental evaluations are limited to only a few programs. Existing methods to generate random logic programs are limited to propositional programs and often impose stringent syntactic restrictions. We present a novel approach to generating random logic programs and random probabilistic logic programs using constraint programming, introducing a new constraint to control the independence structure of the underlying probability distribution. We also provide a combinatorial argument for the correctness of the model, show how the model scales with parameter values, and use the model to compare probabilistic inference algorithms across a range of synthetic problems. Our model allows inference algorithm developers to evaluate and compare the algorithms across a wide range of instances, providing a detailed picture of their (comparative) strengths and weaknesses.Comment: This is an extended version of the paper published in CP 202

Optic Flow Stimuli in and Near the Visual Field Centre: A Group fMRI Study of Motion Sensitive Regions

Motion stimuli in one visual hemifield activate human primary visual areas of the contralateral side, but suppress activity of the corresponding ipsilateral regions. While hemifield motion is rare in everyday life, motion in both hemifields occurs regularly whenever we move. Consequently, during motion primary visual regions should simultaneously receive excitatory and inhibitory inputs. A comparison of primary and higher visual cortex activations induced by bilateral and unilateral motion stimuli is missing up to now. Many motion studies focused on the MT+ complex in the parieto-occipito-temporal cortex. In single human subjects MT+ has been subdivided in area MT, which was activated by motion stimuli in the contralateral visual field, and area MST, which responded to motion in both the contra- and ipsilateral field. In this study we investigated the cortical activation when excitatory and inhibitory inputs interfere with each other in primary visual regions and we present for the first time group results of the MT+ subregions, allowing for comparisons with the group results of other motion processing studies. Using functional magnetic resonance imaging (fMRI), we investigated whole brain activations in a large group of healthy humans by applying optic flow stimuli in and near the visual field centre and performed a second level analysis. Primary visual areas were activated exclusively by motion in the contralateral field but to our surprise not by central flow fields. Inhibitory inputs to primary visual regions appear to cancel simultaneously occurring excitatory inputs during central flow field stimulation. Within MT+ we identified two subregions. Putative area MST (pMST) was activated by ipsi- and contralateral stimulation and located in the anterior part of MT+. The second subregion was located in the more posterior part of MT+ (putative area MT, pMT)

Is standard breast-conserving therapy (BCT) in elderly breast cancer patients justified? A prospective measurement of acute toxicity according CTC-classification

<p>Abstract</p> <p>Background</p> <p>Breast conserving therapy (BCT) is an accepted treatment for early-stage breast cancer. This study aimed to measure prospectively acute radiation-related toxicity and to create a comprehensive data base for long-term temporal analyses of 3D conformal adjuvant radiotherapy. The specific aspect of age has been neglected by traditional research. Therefore, the impact of age on acute BCT toxicity should be also specifically adressed.</p> <p>Methods</p> <p>Toxicity was measured in 109 patients at initiation (t1), during radiotherapy (t2-t7), and 6 weeks after treatment completion (t8) using a new topographic module. Organ systems were recorded in 15 scales and scored according to symptom intensity (grade 0-5) based on CTC (Common Toxicity Criteria) -classification. Radiotherapy was virtually CT-based planned and applied with 6-MeV-photons. Mean total dose was 60.1 Gy. Patients were stratified by age in 3 Groups: <50, 50-60, and >60 years.</p> <p>Results</p> <p>Registered toxicity was generally low. Mean overall-grade climbed from 0.29-0.40 (t1-t7), and dropped to 0.23 (t8). Univariate analyses revealed slightly higher toxicity in older (> 60 years) versus young patients (< 50 years) in 2 scales only: breast-symmetry (p = 0.033), and arm function (p = 0.007). However, in the scale "appetite" toxicity was higher in younger (< 50 years) versus older (> 60 years) patients (p = 0.039). Toxicity differences in all other scales were not significant. Between older (> 60 years) and midaged patients (50-60 years) no significant differences in toxicity were found. This was also true for the comparison between young (< 50 years) versus midaged patient groups (50-60 years).</p> <p>Conclusion</p> <p>The treatment concept of BCT for breast cancer is generally well tolerated. The toxicity-measurement with the new topographic module is feasible. Not modified standard treatment for BC should be performed in elderly women.</p

Targeting Mitochondrial Cell Death Pathway to Overcome Drug Resistance with a Newly Developed Iron Chelate

Background: Multi drug resistance (MDR) or cross-resistance to multiple classes of chemotherapeutic agents is a major obstacle to successful application of chemotherapy and a basic problem in cancer biology. The multidrug resistance gene, MDR1, and its gene product P-glycoprotein (P-gp) are an important determinant of MDR. Therefore, there is an urgent need for development of novel compounds that are not substrates of P-glycoprotein and are effective against drug-resistant cancer. Methodology/Principal Findings: In this present study, we have synthesized a novel, redox active Fe (II) complex (chelate), iron N- (2-hydroxy acetophenone) glycinate (FeNG). The structure of the complex has been determined by spectroscopic means. To evaluate the cytotoxic effect of FeNG we used doxorubicin resistant and/or sensitive T lymphoblastic leukemia cells and show that FeNG kills both the cell types irrespective of their MDR phenotype. Moreover, FeNG induces apoptosis in doxorubicin resistance T lymphoblastic leukemia cell through mitochondrial pathway via generation reactive oxygen species (ROS). This is substantiated by the fact that the antioxidant N-acetyle-cysteine (NAC) could completely block ROS generation and, subsequently, abrogated FeNG induced apoptosis. Therefore, FeNG induces the doxorubicin resistant T lymphoblastic leukemia cells to undergo apoptosis and thus overcome MDR. Conclusion/Significance: Our study provides evidence that FeNG, a redox active metal chelate may be a promising ne