Understanding jumping to conclusions in patients with persecutory delusions: working memory and intolerance of uncertainty

Background. Persecutory delusions are a key psychotic experience. A reasoning style known as ‘jumping to conclusions’ (JTC) – limited information gathering before reaching certainty in decision making – has been identified as a contributory factor in the occurrence of delusions. The cognitive processes that underpin JTC need to be determined in order to develop effective interventions for delusions. In the current study two alternative perspectives were tested: that JTC partially results from impairment in information-processing capabilities and that JTC is a motivated strategy to avoid uncertainty.Method. A group of 123 patients with persistent persecutory delusions completed assessments of JTC (the 60:40 beads task), IQ, working memory, intolerance of uncertainty, and psychiatric symptoms. Patients showing JTC were compared with patients not showing JTC.Results. A total of 30 (24%) patients with delusions showed JTC. There were no differences between patients who did and did not jump to conclusions in overall psychopathology. Patients who jumped to conclusions had poorer working memory performance, lower IQ, lower intolerance of uncertainty and lower levels of worry.Working memory and worry independently predicted the presence of JTC.Conclusions. Hasty decision making in patients with delusions may partly arise from difficulties in keeping information in mind. Interventions for JTC are likely to benefit from addressing working memory performance, while in vivo techniques for patients with delusions will benefit from limiting the demands on working memory. The study provides little evidence for a contribution to JTC from top down motivational beliefs about uncertainty

Tidal influence on Rutford Ice Stream, West Antarctica: observations of surface flow and basal processes from closely-spaced GPS and passive seismic stations

High-resolution surface velocity measurements and passive seismic observations from Rutford Ice Stream, West Antarctica, 40 km upstream from the grounding line are presented. These measurements indicate a complex relationship between the ocean tides and currents, basal conditions and ice-stream flow. Both the mean basal seismicity and the velocity of the ice stream are modulated by the tides. Seismic activity increases twice during each semi-diurnal tidal cycle. The tidal analysis shows the largest velocity variation is at the fortnightly period, with smaller variations superimposed at diurnal and semi-diurnal frequencies. The general pattern of the observed velocity is two velocity peaks during each semi-diurnal tidal cycle, but sometimes three peaks are observed. This pattern of two or three peaks is more regular during spring tides, when the largest-amplitude velocity variations are observed, than during neap tides. This is the first time that velocity and level of seismicity are shown to correlate and respond to tidal forcing as far as 40 km upstream from the grounding line of a large ice stream

Chiral Reductions in the Salam-Sezgin Model

Reductions from six to four spacetime dimensions are considered for a class of supergravity models based on the six-dimensional Salam-Sezgin model, which is a chiral theory with a gauged U(1) R-symmetry and a positive scalar-field potential. Reduction on a sphere and monopole background of such models naturally yields four-dimensional theories without a cosmological constant. The question of chirality preservation in such a reduction has been a topic of debate. In this article, it is shown that the possibilities of dimensional reduction bifurcate into two separate consistent dimensional-reduction schemes. One of these retains the massless SU(2) vector gauge triplet arising from the sphere's isometries, but it produces a non-chiral four-dimensional theory. The other consistent scheme sets to zero the SU(2) gauge fields, but retains the gauged U(1) from six dimensions and preserves chirality although the U(1) is spontaneously broken. Extensions of the Salam-Sezgin model to include larger gauge symmetries produce genuinely chiral models with unbroken gauge symmetries.Comment: 37 page

Antimatter production in proton-proton and heavy-ion collisions at ultrarelativistic energies

One of the striking features of particle production at high beam energies is the near equal abundance of matter and antimatter in the central rapidity region. In this paper we study how this symmetry is reached as the beam energy is increased. In particular, we quantify explicitly the energy dependence of the approach to matter/antimatter symmetry in proton-proton and in heavy-ion collisions. Expectations are presented also for the production of more complex forms of antimatter like antihypernuclei.Comment: 7 pages, 5 figure

High pressure Ca-VI phase between 158-180 GPa: Stability, electronic structure and superconductivity

We have performed ab initio calculations for new high-pressure phase of Ca-VI between 158-180 GPa. The study includes elastic parameters of mono- and poly-crystalline aggregates, electronic band structure, lattice dynamics and superconductivity. The calculations show that the orthorhombic Pnma structure is mechanically and dynamically stable in the pressure range studied. The structure is superconducting in the entire pressure range and the calculated Tc (~25K) is maximum at ~172 GPa, where the transfer of charges from 4s to 3d may be thought to be completed.Comment: 8 pages, 4 figures; PACS number(s): 74.70.Ad, 62.20.de, 71.20.-b, 74.20.Pq, 74.25.Kc, 74.62.Fj; Keywords: Calcium; High pressure; Electronic band structure; Phonon spectrum; Elastic constants; Superconducto

On analytical tools for assessing the raindrop erosion of wind turbine blades

In renewable energy, wind capture has been expanding to now have one of the largest presences in the global green energy sector. With the drive to expand low carbon technologies; maintenance of the engineering components of wind turbines is crucial and in particular the monitoring of the leading edge of turbine blades which experience high impact velocities in service. Surface changes due to rain drop erosion can reduce energy conversion due to a loss of aerodynamic efficiency. This is one of the key areas of interest, as even small aerodynamic changes can lead to 2–3% loss in annual energy. Inspection methodologies of turbine blades are basic, involving an observation and high-definition photographs of the damage. Recent studies on the rain erosion of turbine blade materials show that this standard procedure often fails to characterise the loss of aerodynamic efficiency in these turbine blades in. With the industry moving in the direction of leading-edge profile samples, there is a consensus that whirling arm type test rigs are the most applicable testing regimes. Presently there is little overlap in the analysis used in different studies. This review considers various techniques which may be used to inspect and characterise the materials performance following exposure to rain drop erosion. These techniques will be evaluated based on their potential use within the industry. Findings conclude that a combination of techniques is optimal to analyse surface defects and that subsurface analysis is an important factor that must be considered in any investigation of long-term blade integrity

Review of analytical techniques for assessing rain drop erosion resistance of materials

In the industry of renewable energy, wind has been expanding to become one of the biggest markets. With this increase in popularity, the maintenance of wind turbines is crucial, especially the care of the turbine blades. Rain erosion is widely accepted as one of the key areas of interest, as a even a 2-3% loss in annual energy output significantly reduces the energy efficiency. Inspection of turbine blades as of late is very basic, simply involving a visual observation which is accompanied by photographs of the damage. Recent studies investigating the rain erosion of turbine blade materials show that this standard procedure fails to characterise the loss of aerodynamic efficiency in these turbine blades or evaluate their performance in an inter-study comparative approach. Previous studies have focused on using smaller test coupons and the industry moving in the direction of leading edge profile samples, there is a broad consensus that whirling arm type test rigs are the most applicable testing regimes. However, there is little overlap in the analysis used in different studies. This review will look into the various techniques used to inspect and characterise the samples, materials and performance used in rain erosion testing. The focus will be on their practicality, benefit and application to overall use within the industry of wind energy

Physical properties of thermoelectric zinc antimonide using first-principles calculations

We report first principles calculations of the structural, electronic, elastic and vibrational properties of the semiconducting orthorhombic ZnSb compound. We study also the intrinsic point defects in order to eventually improve the thermoelectric properties of this already very promising thermoelectric material. Concerning the electronic properties, in addition to the band structure, we show that the Zn (Sb) crystallographically equivalent atoms are not exactly equivalent from the electronic point of view. Lattice dynamics, elastic and thermodynamic properties are found to be in good agreement with experiments and they confirm the non equivalency of the zinc and antimony atoms from the vibrational point of view. The calculated elastic properties show a relatively weak anisotropy and the hardest direction is the y direction. We observe the presence of low energy modes involving both Zn and Sb atoms at about 5-6 meV, similarly to what has been found in Zn4Sb3 and we suggest that the interactions of these modes with acoustic phonons could explain the relatively low thermal conductivity of ZnSb. Zinc vacancies are the most stable defects and this explains the intrinsic p-type conductivity of ZnSb.Comment: 33 pages, 8 figure

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic

International audienceThis paper describes a novel decision procedure for quantifier-free linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domain and then proceed either by projection (e.g. Omega-Test) or by branching/cutting methods (branch-and-bound, branch-and-cut, Gomory cuts). Our approach tries to bridge the gap between the two techniques: it interleaves an exhaustive search for a model with bounds inference. These bounds are computed provided an oracle capable of finding constant positive linear combinations of affine forms. We also show how to design an efficient oracle based on the Simplex procedure. Our algorithm is proved sound, complete, and terminating and is implemented in the Alt-Ergo theorem prover. Experimental results are promising and show that our approach is competitive with state-of-the-art SMT solvers