95 research outputs found
On the Kernel of -Linear Hadamard Codes
The -additive codes are subgroups of ,
and can be seen as a generalization of linear codes over and
. A -linear Hadamard code is a binary Hadamard
code which is the Gray map image of a -additive code. It is
known that the dimension of the kernel can be used to give a complete
classification of the -linear Hadamard codes. In this paper, the
kernel of -linear Hadamard codes and its dimension are
established for . Moreover, we prove that this invariant only provides a
complete classification for some values of and . The exact amount of
nonequivalent such codes are given up to for any , by using
also the rank and, in some cases, further computations
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions
In this paper we turn the spotlight on a class of lexicographic ranking
functions introduced by Bradley, Manna and Sipma in a seminal CAV 2005 paper,
and establish for the first time the complexity of some problems involving the
inference of such functions for linear-constraint loops (without precondition).
We show that finding such a function, if one exists, can be done in polynomial
time in a way which is sound and complete when the variables range over the
rationals (or reals). We show that when variables range over the integers, the
problem is harder -- deciding the existence of a ranking function is
coNP-complete. Next, we study the problem of minimizing the number of
components in the ranking function (a.k.a. the dimension). This number is
interesting in contexts like computing iteration bounds and loop
parallelization. Surprisingly, and unlike the situation for some other classes
of lexicographic ranking functions, we find that even deciding whether a
two-component ranking function exists is harder than the unrestricted problem:
NP-complete over the rationals and -complete over the integers.Comment: Technical report for a corresponding CAV'15 pape
Chromatographic separation of radioactive noble gases from xenon
The Large Underground Xenon (LUX) experiment operates at the Sanford Underground Research Facility to detect nuclear recoils from the hypothetical Weakly Interacting Massive Particles (WIMPs) on a liquid xenon target. Liquid xenon typically contains trace amounts of the noble radioactive isotopes 85 Kr and 39 Ar that are not removed by the in situ gas purification system. The decays of these isotopes at concentrations typical of research-grade xenon would be a dominant background for a WIMP search experiment. To remove these impurities from the liquid xenon, a chromatographic separation system based on adsorption on activated charcoal was built. 400 kg of xenon was processed, reducing the average concentration of krypton from 130 ppb to 3.5 ppt as measured by a cold-trap assisted mass spectroscopy system. A 50 kg batch spiked to 0.001 g/g of krypton was processed twice and reduced to an upper limit of 0.2 ppt
The Emergence of Emotions
Emotion is conscious experience. It is the affective aspect of consciousness. Emotion arises from sensory stimulation and is typically accompanied by physiological and behavioral changes in the body. Hence an emotion is a complex reaction pattern consisting of three components: a physiological component, a behavioral component, and an experiential (conscious) component. The reactions making up an emotion determine what the emotion will be recognized as. Three processes are involved in generating an emotion: (1) identification of the emotional significance of a sensory stimulus, (2) production of an affective state (emotion), and (3) regulation of the affective state. Two opposing systems in the brain (the reward and punishment systems) establish an affective value or valence (stimulus-reinforcement association) for sensory stimulation. This is process (1), the first step in the generation of an emotion. Development of stimulus-reinforcement associations (affective valence) serves as the basis for emotion expression (process 2), conditioned emotion learning acquisition and expression, memory consolidation, reinforcement-expectations, decision-making, coping responses, and social behavior. The amygdala is critical for the representation of stimulus-reinforcement associations (both reward and punishment-based) for these functions. Three distinct and separate architectural and functional areas of the prefrontal cortex (dorsolateral prefrontal cortex, orbitofrontal cortex, anterior cingulate cortex) are involved in the regulation of emotion (process 3). The regulation of emotion by the prefrontal cortex consists of a positive feedback interaction between the prefrontal cortex and the inferior parietal cortex resulting in the nonlinear emergence of emotion. This positive feedback and nonlinear emergence represents a type of working memory (focal attention) by which perception is reorganized and rerepresented, becoming explicit, functional, and conscious. The explicit emotion states arising may be involved in the production of voluntary new or novel intentional (adaptive) behavior, especially social behavior
Notes for genera: basal clades of Fungi (including Aphelidiomycota, Basidiobolomycota, Blastocladiomycota, Calcarisporiellomycota, Caulochytriomycota, Chytridiomycota, Entomophthoromycota, Glomeromycota, Kickxellomycota, Monoblepharomycota, Mortierellomycota, Mucoromycota, Neocallimastigomycota, Olpidiomycota, Rozellomycota and Zoopagomycota)
Compared to the higher fungi (Dikarya), taxonomic and evolutionary studies on the basal clades of fungi are fewer in number. Thus, the generic boundaries and higher ranks in the basal clades of fungi are poorly known. Recent DNA based taxonomic studies have provided reliable and accurate information. It is therefore necessary to compile all available information since basal clades genera lack updated checklists or outlines. Recently, Tedersoo et al. (MycoKeys 13:1--20, 2016) accepted Aphelidiomycota and Rozellomycota in Fungal clade. Thus, we regard both these phyla as members in Kingdom Fungi. We accept 16 phyla in basal clades viz. Aphelidiomycota, Basidiobolomycota, Blastocladiomycota, Calcarisporiellomycota, Caulochytriomycota, Chytridiomycota, Entomophthoromycota, Glomeromycota, Kickxellomycota, Monoblepharomycota, Mortierellomycota, Mucoromycota, Neocallimastigomycota, Olpidiomycota, Rozellomycota and Zoopagomycota. Thus, 611 genera in 153 families, 43 orders and 18 classes are provided with details of classification, synonyms, life modes, distribution, recent literature and genomic data. Moreover, Catenariaceae Couch is proposed to be conserved, Cladochytriales Mozl.-Standr. is emended and the family Nephridiophagaceae is introduced
First Results of the LUX Dark Matter Experiment
© 2015 Elsevier B.V..LUX (Large Underground Xenon) is a dark matter direct detection experiment deployed at the 4850 level of the Sanford Underground Research Facility (SURF) in Lead, SD, operating a 370 kg dual-phase xenon TPC. Results of the first WIMP search run were presented in late 2013, for the analysis of 85.3 live-days with a fiducial volume of 118 kg, taken during the period of April to August 2013. The experiment exhibited a sensitivity to spin-independent WIMP-nucleon elastic scattering with a minimum upper limit on the cross section of 7.6×10-46cm2 at a WIMP mass of 33 GeV/c2, becoming the worlds leading WIMP search result, in conflict with several previous claimed hints of discovery
- …