Parameterized complexity of DPLL search procedures

We study the performance of DPLL algorithms on parameterized problems. In particular, we investigate how difficult it is to decide whether small solutions exist for satisfiability and other combinatorial problems. For this purpose we develop a Prover-Delayer game which models the running time of DPLL procedures and we establish an information-theoretic method to obtain lower bounds to the running time of parameterized DPLL procedures. We illustrate this technique by showing lower bounds to the parameterized pigeonhole principle and to the ordering principle. As our main application we study the DPLL procedure for the problem of deciding whether a graph has a small clique. We show that proving the absence of a k-clique requires n steps for a non-trivial distribution of graphs close to the critical threshold. For the restricted case of tree-like Parameterized Resolution, this result answers a question asked in [11] of understanding the Resolution complexity of this family of formulas

The HO Southern Galactic Plane Survey (HOPS) - I. Techniques and HO maser data

The definitive version can be found at: http://onlinelibrary.wiley.com/ Copyright Royal Astronomical SocietyWe present first results of the HO Southern Galactic Plane Survey (HOPS), using the Mopra Radio Telescope with a broad-band backend and a beam size of about 2 arcmin. We have observed 100 deg of the southern Galactic plane at 12mm (19.5-27.5GHz), including spectral line emission from HO masers, multiple metastable transitions of ammonia, cyanoacetylene, methanol and radio recombination lines. In this paper, we report on the characteristics of the survey and HO maser emission. We find 540 HO masers, of which 334 are new detections. The strongest maser is 3933Jy and the weakest is 0.7Jy, with 62 masers over 100Jy. In 14 maser sites, the spread in the velocity of the HO maser emission exceeds 100kms. In one region, the HO maser velocities are separated by 351.3kms. The rms noise levels are typically between 1 and 2Jy, with 95 per cent of the survey under 2Jy. We estimate completeness limits of 98 per cent at around 8.4Jy and 50 per cent at around 5.5Jy. We estimate that there are between 800 and 1500 HO masers in the Galaxy that are detectable in a survey with similar completeness limits to HOPS. We report possible masers in NH (11,9) and (8,6) emission towards G19.61-0.23 and in the NH (3,3) line towards G23.33-0.30.Peer reviewe

A Historiometric Examination of Machiavellianism and a New Taxonomy of Leadership

Although researchers have extensively examined the relationship between charismatic leadership and Machiavellianism (Deluga, 2001; Gardner & Avolio, 1995; House & Howell, 1992), there has been a lack of investigation of Machiavellianism in relation to alternative forms of outstanding leadership. Thus, the purpose of this investigation was to examine the relationship between Machiavellianism and a new taxonomy of outstanding leadership comprised of charismatic, ideological, and pragmatic leaders. Using an historiometric approach, raters assessed Machiavellianism via the communications of 120 outstanding leaders in organizations across the domains of business, political, military, and religious institutions. Academic biographies were used to assess twelve general performance measures as well as twelve general controls and five communication specific controls. The results indicated that differing levels of Machiavellianism is evidenced across the differing leader types as well as differing leader orientation. Additionally, Machiavellianism appears negatively related to performance, though less so when type and orientation are taken into account.Yeshttps://us.sagepub.com/en-us/nam/manuscript-submission-guideline

Velocity-space sensitivity of the time-of-flight neutron spectrometer at JET

The velocity-space sensitivities of fast-ion diagnostics are often described by so-called weight functions. Recently, we formulated weight functions showing the velocity-space sensitivity of the often dominant beam-target part of neutron energy spectra. These weight functions for neutron emission spectrometry (NES) are independent of the particular NES diagnostic. Here we apply these NES weight functions to the time-of-flight spectrometer TOFOR at JET. By taking the instrumental response function of TOFOR into account, we calculate time-of-flight NES weight functions that enable us to directly determine the velocity-space sensitivity of a given part of a measured time-of-flight spectrum from TOFOR

Relationship of edge localized mode burst times with divertor flux loop signal phase in JET

A phase relationship is identified between sequential edge localized modes (ELMs) occurrence times in a set of H-mode tokamak plasmas to the voltage measured in full flux azimuthal loops in the divertor region. We focus on plasmas in the Joint European Torus where a steady H-mode is sustained over several seconds, during which ELMs are observed in the Be II emission at the divertor. The ELMs analysed arise from intrinsic ELMing, in that there is no deliberate intent to control the ELMing process by external means. We use ELM timings derived from the Be II signal to perform direct time domain analysis of the full flux loop VLD2 and VLD3 signals, which provide a high cadence global measurement proportional to the voltage induced by changes in poloidal magnetic flux. Specifically, we examine how the time interval between pairs of successive ELMs is linked to the time-evolving phase of the full flux loop signals. Each ELM produces a clear early pulse in the full flux loop signals, whose peak time is used to condition our analysis. The arrival time of the following ELM, relative to this pulse, is found to fall into one of two categories: (i) prompt ELMs, which are directly paced by the initial response seen in the flux loop signals; and (ii) all other ELMs, which occur after the initial response of the full flux loop signals has decayed in amplitude. The times at which ELMs in category (ii) occur, relative to the first ELM of the pair, are clustered at times when the instantaneous phase of the full flux loop signal is close to its value at the time of the first ELM