Scale invariant correlations and the distribution of prime numbers

Negative correlations in the distribution of prime numbers are found to display a scale invariance. This occurs in conjunction with a nonstationary behavior. We compare the prime number series to a type of fractional Brownian motion which incorporates both the scale invariance and the nonstationary behavior. Interesting discrepancies remain. The scale invariance also appears to imply the Riemann hypothesis and we study the use of the former as a test of the latter.Comment: 13 pages, 8 figures, version to appear in J. Phys.

Trace Spaces: an Efficient New Technique for State-Space Reduction

State-space reduction techniques, used primarily in model-checkers, all rely on the idea that some actions are independent, hence could be taken in any (respective) order while put in parallel, without changing the semantics. It is thus not necessary to consider all execution paths in the interleaving semantics of a concurrent program, but rather some equivalence classes. The purpose of this paper is to describe a new algorithm to compute such equivalence classes, and a representative per class, which is based on ideas originating in algebraic topology. We introduce a geometric semantics of concurrent languages, where programs are interpreted as directed topological spaces, and study its properties in order to devise an algorithm for computing dihomotopy classes of execution paths. In particular, our algorithm is able to compute a control-flow graph for concurrent programs, possibly containing loops, which is "as reduced as possible" in the sense that it generates traces modulo equivalence. A preliminary implementation was achieved, showing promising results towards efficient methods to analyze concurrent programs, with very promising results compared to partial-order reduction techniques

Advanced homology computation of digital volumes via cell complexes

Given a 3D binary voxel-based digital object V, an algorithm for computing homological information for V via a polyhedral cell complex is designed. By homological information we understand not only Betti numbers, representative cycles of homology classes and homological classification of cycles but also the computation of homology numbers related additional algebraic structures defined on homology (coproduct in homology, product in cohomology, (co)homology operations,...). The algorithm is mainly based on the following facts: a) a local 3D-polyhedrization of any 2×2×2 configuration of mutually 26-adjacent black voxels providing a coherent cell complex at global level; b) a description of the homology of a digital volume as an algebraic-gradient vector field on the cell complex (see Discrete Morse Theory [5], AT-model method [7,5]). Saving this vector field, we go further obtaining homological information at no extra time processing cost

Internal convection in thermoelectric generator models

Coupling between heat and electrical currents is at the heart of thermoelectric processes. From a thermal viewpoint this may be seen as an additional thermal flux linked to the appearance of electrical current in a given thermoelectric system. Since this additional flux is associated to the global displacement of charge carriers in the system, it can be qualified as convective in opposition to the conductive part associated with both phonons transport and heat transport by electrons under open circuit condition, as, e.g., in the Wiedemann-Franz relation. In this article we demonstrate that considering the convective part of the thermal flux allows both new insight into the thermoelectric energy conversion and the derivation of the maximum power condition for generators with realistic thermal coupling.Comment: 8 pages, 3 figure

Toward Forecasting Volcanic Eruptions using Seismic Noise

During inter-eruption periods, magma pressurization yields subtle changes of the elastic properties of volcanic edifices. We use the reproducibility properties of the ambient seismic noise recorded on the Piton de la Fournaise volcano to measure relative seismic velocity variations of less than 0.1 % with a temporal resolution of one day. Our results show that five studied volcanic eruptions were preceded by clearly detectable seismic velocity decreases within the zone of magma injection. These precursors reflect the edifice dilatation induced by magma pressurization and can be useful indicators to improve the forecasting of volcanic eruptions.Comment: Supplementary information: http://www-lgit.obs.ujf-grenoble.fr/~fbrengui/brenguier_SI.pdf Supplementary video: http://www-lgit.obs.ujf-grenoble.fr/~fbrengui/brenguierMovieVolcano.av

Accuracy of elastic fusion biopsy in daily practice: results of a multicenter study of 2115 patients

OBJECTIVES: To assess the accuracy of Koelis fusion biopsy for the detection of prostate cancer and clinically significant prostate cancer in the everyday practice. METHODS: We retrospectively enrolled 2115 patients from 15 institutions in four European countries undergoing transrectal Koelis fusion biopsy from 2010 to 2017. A variable number of target (usually 2-4) and random cores (usually 10-14) were carried out, depending on the clinical case and institution habits. The overall and clinically significant prostate cancer detection rates were assessed, evaluating the diagnostic role of additional random biopsies. The cancer detection rate was correlated to multiparametric magnetic resonance imaging features and clinical variables. RESULTS: The mean number of targeted and random cores taken were 3.9 (standard deviation 2.1) and 10.5 (standard deviation 5.0), respectively. The cancer detection rate of Koelis biopsies was 58% for all cancers and 43% for clinically significant prostate cancer. The performance of additional, random cores improved the cancer detection rate of 13% for all cancers (P < 0.001) and 9% for clinically significant prostate cancer (P < 0.001). Prostate cancer was detected in 31%, 66% and 89% of patients with lesions scored as Prostate Imaging Reporting and Data System 3, 4 and 5, respectively. Clinical stage and Prostate Imaging Reporting and Data System score were predictors of prostate cancer detection in multivariate analyses. Prostate-specific antigen was associated with prostate cancer detection only for clinically significant prostate cancer. CONCLUSIONS: Koelis fusion biopsy offers a good cancer detection rate, which is increased in patients with a high Prostate Imaging Reporting and Data System score and clinical stage. The performance of additional, random cores seems unavoidable for correct sampling. In our experience, the Prostate Imaging Reporting and Data System score and clinical stage are predictors of prostate cancer and clinically significant prostate cancer detection; prostate-specific antigen is associated only with clinically significant prostate cancer detection, and a higher number of biopsy cores are not associated with a higher cancer detection rate

Electronic thermal transport in strongly correlated multilayered nanostructures

The formalism for a linear-response many-body treatment of the electronic contributions to thermal transport is developed for multilayered nanostructures. By properly determining the local heat-current operator, it is possible to show that the Jonson-Mahan theorem for the bulk can be extended to inhomogeneous problems, so the various thermal-transport coefficient integrands are related by powers of frequency (including all effects of vertex corrections when appropriate). We illustrate how to use this formalism by showing how it applies to measurements of the Peltier effect, the Seebeck effect, and the thermal conductance.Comment: 17 pages, 4 figures, submitted to Phys. Rev.

On the Expressivity and Applicability of Model Representation Formalisms

A number of first-order calculi employ an explicit model representation formalism for automated reasoning and for detecting satisfiability. Many of these formalisms can represent infinite Herbrand models. The first-order fragment of monadic, shallow, linear, Horn (MSLH) clauses, is such a formalism used in the approximation refinement calculus. Our first result is a finite model property for MSLH clause sets. Therefore, MSLH clause sets cannot represent models of clause sets with inherently infinite models. Through a translation to tree automata, we further show that this limitation also applies to the linear fragments of implicit generalizations, which is the formalism used in the model-evolution calculus, to atoms with disequality constraints, the formalisms used in the non-redundant clause learning calculus (NRCL), and to atoms with membership constraints, a formalism used for example in decision procedures for algebraic data types. Although these formalisms cannot represent models of clause sets with inherently infinite models, through an additional approximation step they can. This is our second main result. For clause sets including the definition of an equivalence relation with the help of an additional, novel approximation, called reflexive relation splitting, the approximation refinement calculus can automatically show satisfiability through the MSLH clause set formalism.Comment: 15 page

Coaching, supervision and the social work zeitgeist

This is an Accepted Manuscript of an article published by Taylor & Francis in Practice on 20/3/2013 available online: http://wwww.tandfonline.com/10.1080/09503153.2013.775237With reference to local authorities in England, this paper acknowledges the intensified critique of the managerial context in which social work is carried out. It recognizes that professional supervision has been in jeopardy, as principles of corporate line management have overshadowed the approaches of the past, and most particularly the supportive components. However, recent developments have reinvigorated the interest in relationship based social work as well as relationship based supervision. Surprisingly or not, it is executive and business coaching that is seen as offering fruitful techniques for front line managers and practitioners, with the possibility of encouraging the progress of this particular trend