Logic programming in the context of multiparadigm programming: the Oz experience

Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease. This article has two goals: to give a tutorial of logic programming in Oz and to show how logic programming fits naturally into the wider context of multiparadigm programming. Our experience shows that there are two classes of problems, which we call algorithmic and search problems, for which logic programming can help formulate practical solutions. Algorithmic problems have known efficient algorithms. Search problems do not have known efficient algorithms but can be solved with search. The Oz support for logic programming targets these two problem classes specifically, using the concepts needed for each. This is in contrast to the Prolog approach, which targets both classes with one set of concepts, which results in less than optimal support for each class. To explain the essential difference between algorithmic and search programs, we define the Oz execution model. This model subsumes both concurrent logic programming (committed-choice-style) and search-based logic programming (Prolog-style). Instead of Horn clause syntax, Oz has a simple, fully compositional, higher-order syntax that accommodates the abilities of the language. We conclude with lessons learned from this work, a brief history of Oz, and many entry points into the Oz literature.Comment: 48 pages, to appear in the journal "Theory and Practice of Logic Programming

The political phenomenology of war reporting

Drawing on interviews with war correspondents, editors, political and military personnel, this article investigates the political dimension of the structuration and structuring effects of the reporter’s experience of journalism. Self-reflection and judgements about colleagues confirm that there are dominant norms for interpreting and acting in conflict scenarios which, while contingent upon socio-historical context, are interpreted as natural. But the prevalence of such codes masks the systematically misrecognized symbolic systems of mystification and ambivalence – systems which reproduce hierarchies and gatekeeping structures in the field, but which are either experienced as unremarkable, dismissed with irony and cynicism, or not present to the consciousness of the war correspondent. The article builds on recent theories of journalistic disposition, ideology, discourse and professionalism, and describes the political dimension of journalistic practice perceived in the field as apolitical. It addresses the gendering of war correspondence, the rise of the journalist as moral authority, and questions the extent to which respondent reflections can be defensibly analytically determined

Constraining the Dark Matter decay lifetime with very deep observations of the Perseus cluster with the MAGIC telescopes

We present preliminary results on Dark Matter searches from observations of the Perseus galaxy cluster with the MAGIC Telescopes. MAGIC is a system of two Imaging Atmospheric Cherenkov Telescopes located in the Canary island of La Palma, Spain. Galaxy clusters are the largest known gravitationally bound structures in the Universe, with masses of ~10^15 Solar masses. There is strong evidence that galaxy clusters are Dark Matter dominated objects, and therefore promising targets for Dark Matter searches, particularly for decay signals. MAGIC has taken almost 300 hours of data on the Perseus Cluster between 2009 and 2015, the deepest observational campaign on any galaxy cluster performed so far in the very high energy range of the electromagnetic spectrum. We analyze here a small sample of this data and search for signs of dark matter in the mass range between 100 GeV and 20 TeV. We apply a likelihood analysis optimized for the spectral and morphological features expected in the dark matter decay signals. This is the first time that a dedicated Dark Matter optimization is applied in a MAGIC analysis, taking into account the inferred Dark Matter distribution of the source. The results with the full dataset analysis will be published soon by the MAGIC Collaboration

Overcoming the risk of inaction from emissions uncertainty in smallholder agriculture

The potential for improving productivity and increasing the resilience of smallholder agriculture, while also contributing to climate change mitigation, has recently received considerable political attention (Beddington et al 2012). Financial support for improving smallholder agriculture could come from performance-based funding including sale of carbon credits or certified commodities, payments for ecosystem services, and nationally appropriate mitigation action (NAMA) budgets, as well as more traditional sources of development and environment finance. Monitoring the greenhouse gas fluxes associated with changes to agricultural practice is needed for performance-based mitigation funding, and efforts are underway to develop tools to quantify mitigation achieved and assess trade-offs and synergies between mitigation and other livelihood and environmental priorities (Olander 2012)

The potential impact of Ocean Thermal Energy Conversion (OTEC) on fisheries

The commercial development of ocean thermal energy conversion (OTEC) operations will involve some environmental perturbations for which there is no precedent experience. The pumping of very large volumes of warm surface water and cold deep water and its subsequent discharge will result in the impingement, entrainment, and redistribution of biota. Additional stresses to biota will be caused by biocide usage and temperature depressions. However, the artificial upwelling of nutrients associated with the pumping of cold deep water, and the artificial reef created by an OTEC plant may have positive effects on the local environment. Although more detailed information is needed to assess the net effect of an OTEC operation on fisheries, certain assumptions and calculations are made supporting the conclusion that the potential risk to fisheries is not significant enough to deter the early development of IDEe. It will be necessary to monitor a commercial-scale plant in order to remove many of the remaining uncertainties. (PDF file contains 39 pages.

Potential role for clinical calibration to increase engagement with and application of home telemonitoring: a report from the HeartCycle programme

Aims: There is a need for alternative strategies that might avoid recurrent admissions in patients with heart failure. Home Telemonitoring (HTM) to monitor patient’s symptoms from a distance may be useful. This study attempts to assess changes in HTM vital signs in response to daily life activities (variations in medication, salt intake, exercise and stress) and to stablish which variations affect weight, blood pressure (BP) and heart rate (HR). Methods and results: We assessed 76 patients with heart failure (mean age 76 ± 10.8 years, 75% male, mainly in NYHA class II/III and from ischaemic etiology cause). Patients were given a calendar of interventions scheduling activities approximately twice-a-week before measuring their vital signs. Eating salty food or a large meal were the activities that had a significant impact on weight gain (+0.3 kg; p<0.001 and p=0.006, respectively). Exercise and skipping a dose of medication other than diuretics increased heart rate (+3 bpm, p=0.001 and almost +2 bpm, p=0.016, respectively). Conclusions: Our HTM system was able to detect small changes in vital signs related to these activities. Further studies should assess if providing such a schedule of activities might be useful for patient education and could improve long-term adherence to recommended lifestyle changes

Quantifying Information Leaks Using Reliability Analysis

acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4We report on our work-in-progress into the use of reliability analysis to quantify information leaks. In recent work we have proposed a software reliability analysis technique that uses symbolic execution and model counting to quantify the probability of reaching designated program states, e.g. assert violations, under uncertainty conditions in the environment. The technique has many applications beyond reliability analysis, ranging from program understanding and debugging to analysis of cyber-physical systems. In this paper we report on a novel application of the technique, namely Quantitative Information Flow analysis (QIF). The goal of QIF is to measure information leakage of a program by using information-theoretic metrics such as Shannon entropy or Renyi entropy. We exploit the model counting engine of the reliability analyzer over symbolic program paths, to compute an upper bound of the maximum leakage over all possible distributions of the confidential data. We have implemented our approach into a prototype tool, called QILURA, and explore its effectiveness on a number of case studie

Sistem Pengaturan Lampu Lalu Lintas secara Sentral dari Jarak Jauh

Scheme of traffic light system arrangement in central from long distance to help Dinas Perhubungan (Dishub) in arranging the traffic the traffic light according to the traffic situation

Symplectic structure free Chern-Simons Theory

The second class constraints algebra of the abelian Chern-Simons theory is rigorously studied in terms of the Hamiltonian embedding in order to obtain the first class constraint system. The symplectic structure of fields due to the second class constraints disappears in the resulting system. Then we obtain a new type of Chern-Simons action which has an infinite set of the irreducible first class constraints and exhibits new extended local gauge symmetries implemented by these first class constraints.Comment: 12 pages, LaTex, no figure