Width and size of regular resolution proofs

This paper discusses the topic of the minimum width of a regular resolution refutation of a set of clauses. The main result shows that there are examples having small regular resolution refutations, for which any regular refutation must contain a large clause. This forms a contrast with corresponding results for general resolution refutations.Comment: The article was reformatted using the style file for Logical Methods in Computer Scienc

Mapping adaptation of barley to droughted environments

Identifying barley genomic regions influencing the response of yield and its components to water deficits will aid in our understanding of the genetics of drought tolerance and the development of more drought tolerant cultivars. We assembled a population of 192 genotypes that represented landraces, old, and contemporary cultivars sampling key regions around the Mediterranean basin and the rest of Europe. The population was genotyped with a stratified set of 50 genomic and EST derived molecular markers, 49 of which were Simple Sequence Repeats (SSRs), which revealed an underlying population sub-structure that corresponded closely to the geographic regions in which the genotypes were grown. A more dense whole genome scan was generated by using Diversity Array Technology (DArT®) to generate 1130 biallelic markers for the population. The population was grown at two contrasting sites in each of seven Mediterranean countries for harvest 2004 and 2005 and grain yield data collected. Mean yield levels ranged from 0.3 to 6.2 t/ha, with highly significant genetic variation in low-yielding environments. Associations of yield with barley genomic regions were then detected by combining the DArT marker data with the yield data in mixed model analyses for the individual trials, followed by multiple regression of yield on markers to identify a multi-locus subset of significant markers/QTLs. QTLs exhibiting a pre-defined consistency across environments were detected in bins 4, 6, 6 and 7 on barley chromosomes 3H, 4H, 5H and 7H respectivel

Football in the community schemes: Exploring the effectiveness of an intervention in promoting healthful behaviour change

This study aims to examine the effectiveness of a Premier League football club’s Football in the Community (FitC) schemes intervention in promoting positive healthful behaviour change in children. Specifically, exploring the effectiveness of this intervention from the perspectives of the participants involved (i.e. the researcher, teachers, children and coaches). A range of data collection techniques were utilized including the principles of ethnography (i.e. immersion, engagement and observations), alongside conducting focus groups with the children. The results allude to the intervention merely ‘keeping active children active’ via (mostly) fun, football sessions. Results highlight the important contribution the ‘coach’ plays in the effectiveness of the intervention. Results relating to working practice (i.e. coaching practice and coach recruitment) are discussed and highlighted as areas to be addressed. FitC schemes appear to require a process of positive organizational change to increase their effectiveness in strategically attending to the health agenda

Aspects of the electroweak phase transition in the Minimal Supersymmetric Standard Model

We study the finite-temperature effective potential of the Minimal Supersymmetric Standard Model in the full (mA, tan(beta)) parameter space. As for the features of the electroweak phase transition, we identify two possible sources of significant differences with respect to the Standard Model: a stop sector with little supersymmetry breaking makes the phase transition more strongly first-order, whereas a light CP-odd neutral boson weakens its first-order nature. After including the leading plasma effects, T=0 radiative corrections due to top and stop loops, and the most important experimental constraints, we find that the danger of washing out any baryon asymmetry created at the electroweak scale is in general no less than in the Standard Model.Comment: 13 pages, 3 figures appended at the end as uuencoded ps-files, preprint CERN-TH.7057/9

The Five Factor Model of personality and evaluation of drug consumption risk

The problem of evaluating an individual's risk of drug consumption and misuse is highly important. An online survey methodology was employed to collect data including Big Five personality traits (NEO-FFI-R), impulsivity (BIS-11), sensation seeking (ImpSS), and demographic information. The data set contained information on the consumption of 18 central nervous system psychoactive drugs. Correlation analysis demonstrated the existence of groups of drugs with strongly correlated consumption patterns. Three correlation pleiades were identified, named by the central drug in the pleiade: ecstasy, heroin, and benzodiazepines pleiades. An exhaustive search was performed to select the most effective subset of input features and data mining methods to classify users and non-users for each drug and pleiad. A number of classification methods were employed (decision tree, random forest, $k$-nearest neighbors, linear discriminant analysis, Gaussian mixture, probability density function estimation, logistic regression and na{\"i}ve Bayes) and the most effective classifier was selected for each drug. The quality of classification was surprisingly high with sensitivity and specificity (evaluated by leave-one-out cross-validation) being greater than 70\% for almost all classification tasks. The best results with sensitivity and specificity being greater than 75\% were achieved for cannabis, crack, ecstasy, legal highs, LSD, and volatile substance abuse (VSA).Comment: Significantly extended report with 67 pages, 27 tables, 21 figure

The Leptonic Higgs as a Messenger of Dark Matter

We propose that the leptonic cosmic ray signals seen by PAMELA and ATIC result from the annihilation or decay of dark matter particles via states of a leptonic Higgs doublet to $\tau$ leptons, linking cosmic ray signals of dark matter to LHC signals of the Higgs sector. The states of the leptonic Higgs doublet are lighter than about 200 GeV, yielding large $\bar{\tau} \tau$ and $\bar{\tau} \tau \bar{\tau} \tau$ event rates at the LHC. Simple models are given for the dark matter particle and its interactions with the leptonic Higgs, for cosmic ray signals arising from both annihilations and decays in the galactic halo. For the case of annihilations, cosmic photon and neutrino signals are on the verge of discovery.Comment: 34 pages, 9 figures, minor typos corrected, references adde

Elegizing an Aristocracy: The Anglo-Irish Protestant Gentry in the Poetry of Richard Murphy

The Irish poet Richard Murphy was a minority within a minority: an Anglo-Irish Protestant of the landed gentry. His privilege, property, and Anglican background set him apart from the common people of an independent Ireland which was Catholic, Gaelic, and nationalist in character. As the last major poetic representative of his culture, Murphy holds a special place in the Irish literary tradition. However, he lived and wrote during a time of significant decline for his patrician caste. His poems documenting the decay of Ireland’s once powerful and prominent Protestant elite is the subject of this paper’s critical inquiry. With greater consideration for the cultural climate and historical circumstances of his time, a clearer and more accurate understanding of Murphy’s conception of the complex facets of Irish identity will be achieved in this analysis

Abundances of the elements in the solar system

A review of the abundances and condensation temperatures of the elements and their nuclides in the solar nebula and in chondritic meteorites. Abundances of the elements in some neighboring stars are also discussed.Comment: 42 pages, 11 tables, 8 figures, chapter, In Landolt- B\"ornstein, New Series, Vol. VI/4B, Chap. 4.4, J.E. Tr\"umper (ed.), Berlin, Heidelberg, New York: Springer-Verlag, p. 560-63