Stretching the life of Twitter classifiers with time-stamped semantic graphs

Social media has become an effective channel for communicating both trends and public opinion on current events. However the automatic topic classification of social media content pose various challenges. Topic classification is a common technique used for automatically capturing themes that emerge from social media streams. However, such techniques are sensitive to the evolution of topics when new event-dependent vocabularies start to emerge (e.g., Crimea becoming relevant to War Conflict during the Ukraine crisis in 2014). Therefore, traditional supervised classification methods which rely on labelled data could rapidly become outdated. In this paper we propose a novel transfer learning approach to address the classification task of new data when the only available labelled data belong to a previous epoch. This approach relies on the incorporation of knowledge from DBpedia graphs. Our findings show promising results in understanding how features age, and how semantic features can support the evolution of topic classifiers

Verification of Java Bytecode using Analysis and Transformation of Logic Programs

State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, bounds on resource consumption, etc. The aim of this work is to automatically transfer the power of such analysis tools for LP to the analysis and verification of Java bytecode (JVML). In order to achieve our goal, we rely on well-known techniques for meta-programming and program specialization. More precisely, we propose to partially evaluate a JVML interpreter implemented in LP together with (an LP representation of) a JVML program and then analyze the residual program. Interestingly, at least for the examples we have studied, our approach produces very simple LP representations of the original JVML programs. This can be seen as a decompilation from JVML to high-level LP source. By reasoning about such residual programs, we can automatically prove in the CiaoPP system some non-trivial properties of JVML programs such as termination, run-time error freeness and infer bounds on its resource consumption. We are not aware of any other system which is able to verify such advanced properties of Java bytecode

Impact of the Algebra I End of Course Examination on African American Students Obtaining a Standard High School Diploma

The state of Florida requires all students complete Algebra I and pass the End of Course Examination (EOCE) to graduate with a standard high school diploma. Algebra I EOCE results indicate that many African American students do not pass the examination. This research sought to determine if there is a relationship between African American students’ failure to pass the Algebra I EOCE and graduate with a standard diploma. Four hypotheses, null and alternative were tested. Two ninth-grade cohorts, 2013-2014 and 2014-2015 comprised the sample. Data were analyzed using t test and one-way analyses of variance (ANOVA). Results indicate a significant relationship between African American students’ failure to pass the Algebra I EOCE and graduation with a standard high school diploma

Finite Grand Unified Theories and the Quark Mixing Matrix

In N = 1 super Yang-Mills theories, under certain conditions satisfied by the spectrum and the Yukawa couplings, the beta functions will vanish to all orders in perturbation theory. We address the generation of realistic quark mixing angles and masses in such finite Grand Unified Theories. Working in the context of finite SUSY SU(5), we present several examples with realistic quark mixing matrices. Non-Abelian discrete symmetries are found to be important in satisfying the conditions for finiteness. Our realistic examples are based on permutation symmetries and the tetrahedral symmetry $A_4$. These examples enable us to address questions such as the decay rate of the proton in finite GUTs.Comment: 16 pages, LaTeX, typos correcte

Observable Neutron-Antineutron Oscillations in Seesaw Models of Neutrino Mass

We show that in a large class of supersymmetric models with spontaneously broken B-L symmetry, neutron--antineutron oscillations occur at an observable level even though the scale of B-L breaking is very high, v_{B-L} ~ 2 x 10^{16} GeV, as suggested by gauge coupling unification and neutrino masses. We illustrate this phenomenon in the context of a recently proposed class of seesaw models that solves the strong CP problem and the SUSY phase problem using parity symmetry. We obtain an upper limit on N-\bar{N} oscillation time in these models, \tau_{N-\bar{N}} < 10^{9} -10^{10} sec. This suggests that a modest improvement in the current limit on \tau_{N-\bar{N}} of 0.86 x 10^8 sec will either lead to the discovery of N-\bar{N} oscillations, or will considerably restrict the allowed parameter space of an interesting class of neutrino mass models.Comment: 11 pages RevTeX, 1 figur

High-pressure induced switching between halogen and hydrogen bonding regimes in 1,4-dioxane iodine monochloride

The structure of the complex formed between 1,4-dioxane and iodine monochloride has been studied as a function of pressure using neutron powder diffraction. Initial compression was accompanied by a decrease in the O⋯I halogen bond length together with an increase in the intramolecular I–Cl bond length. Two phase transitions were observed at ∼2.8 and ∼4.5 GPa. The transient intermediate phase coexists with the ambient pressure phase during the initial phase transition and with the final high-pressure phase at the second phase transition, before its disappearance. The driving force for the first phase transition is a shearing motion of the complex causing a reduction in the dipolar interaction of two I–Cl moieties. The formation of the highest pressure phase is accompanied by a net reduction of 2 C–H⋯Cl hydrogen bonds per formula unit. From these changes we conclude that Cl⋯Cl halogen bonds are favoured over C–H⋯Cl hydrogen bonds at high pressures

The Fayet-Iliopoulos D-term and its renormalisation in the MSSM

We consider the renormalisation of the Fayet-Iliopoulos D-term in a softly-broken supersymmetric gauge theory with a non-simple gauge group containing an abelian factor, and present the associated beta-function through three loops. We also include in an appendix the result for several abelian factors. We specialise to the case of the minimal supersymmetric standard model (MSSM), and investigate the behaviour of the Fayet-Iliopoulos coupling for various boundary conditions at the unification scale. We focus particularly on the case of non-standard soft supersymmetry breaking couplings, for which the Fayet-Iliopoulos coupling evolves significantly between the unification scale and the weak scale.Comment: 18 pages, Revtex, 2 figures. Expanded version including general results for gauge groups with several abelian factors. Minor typos correcte

Vitamin D binding protein genotype is associated with plasma 25OHD concentration in West African children

Vitamin D is well known for its role in promoting skeletal health. Vitamin D status is determined conventionally by circulating 25-dihydroxyvitamin D (25OHD) concentration. There is evidence indicating that circulating 25OHD concentration is affected by variation in Gc, the gene encoding the vitamin D binding protein (DBP). The composite genotype of two single nucleotide polymorphisms (rs7041 and rs4588) results in different DBP isotypes (Gc1f, Gc1s and Gc2). The protein configurational differences among DBP isotypes affect DBP substrate binding affinity. The aims of this study were to determine 1) Gc variant frequencies in a population from an isolated rural region of The Gambia, West Africa (n=3129) with year-round opportunity for cutaneous vitamin D synthesis and 2) the effects of Gc variants on 25OHD concentration (n=237) in a genetically representative sub-group of children (mean (SD) age: 11.9 (4.8) years). The distribution of Gc variants was Gc1f: 0.86, Gc1s: 0.11 and Gc2: 0.03. The mean (SD) concentration of 25OHD was 59.6 (12.9) nmol/L and was significantly higher in those homozygous for Gc1f compared to other Gc variants (60.7 (13.1) vs. 56.6 (12.1) nmol/L, P=0.03). Plasma 25OHD and 1,25(OH)2D concentration was significantly associated with parathyroid hormone in Gc1f-1f but not in the other Gc variants combined. This study demonstrates that different Gc variants are associated with different 25OHD concentrations in a rural Gambian population. Gc1f-1f, thought to have the highest affinity for 25OHD, had the highest 25OHD concentration compared with lower affinity Gc variants. The considerable difference in Gc1f frequency observed in Gambians compared with other non-West African populations and associated differences in plasma 25OHD concentration, may have implications for the way in which vitamin D status should be interpreted across different ancestral groups