Least Generalizations and Greatest Specializations of Sets of Clauses

The main operations in Inductive Logic Programming (ILP) are generalization and specialization, which only make sense in a generality order. In ILP, the three most important generality orders are subsumption, implication and implication relative to background knowledge. The two languages used most often are languages of clauses and languages of only Horn clauses. This gives a total of six different ordered languages. In this paper, we give a systematic treatment of the existence or non-existence of least generalizations and greatest specializations of finite sets of clauses in each of these six ordered sets. We survey results already obtained by others and also contribute some answers of our own. Our main new results are, firstly, the existence of a computable least generalization under implication of every finite set of clauses containing at least one non-tautologous function-free clause (among other, not necessarily function-free clauses). Secondly, we show that such a least generalization need not exist under relative implication, not even if both the set that is to be generalized and the background knowledge are function-free. Thirdly, we give a complete discussion of existence and non-existence of greatest specializations in each of the six ordered languages.Comment: See http://www.jair.org/ for any accompanying file

Learning Points and Routes to Recommend Trajectories

The problem of recommending tours to travellers is an important and broadly studied area. Suggested solutions include various approaches of points-of-interest (POI) recommendation and route planning. We consider the task of recommending a sequence of POIs, that simultaneously uses information about POIs and routes. Our approach unifies the treatment of various sources of information by representing them as features in machine learning algorithms, enabling us to learn from past behaviour. Information about POIs are used to learn a POI ranking model that accounts for the start and end points of tours. Data about previous trajectories are used for learning transition patterns between POIs that enable us to recommend probable routes. In addition, a probabilistic model is proposed to combine the results of POI ranking and the POI to POI transitions. We propose a new F$_1$ score on pairs of POIs that capture the order of visits. Empirical results show that our approach improves on recent methods, and demonstrate that combining points and routes enables better trajectory recommendations

Presymmetry beyond the Standard Model

We go beyond the Standard Model guided by presymmetry, the discrete electroweak quark-lepton symmetry hidden by topological effects which explain quark fractional charges as in condense matter physics. Partners of the particles of the Standard Model and the discrete symmetry associated with this partnership appear as manifestations of a residual presymmetry and its extension from matter to forces. This duplication of the spectrum of the Standard Model keeps spin and comes nondegenerated about the TeV scale.Comment: 6 pages, 11 figures. To be published in the proceedings of DPF-2009, Detroit, MI, July 2009, eConf C09072

Perfluoro (Imidoylamidine) diamidines

Perfluoroether triazine elastomers having improved properties are prepared from oligomeric imidoylamidines that were in turn, prepared by the process of: (1) reacting a perfluorodinitrile with liquid ammonia to yield a perfluorodiamidine, (2) isolating the perfluorodiamidine, (3) reacting the isolated diamidine with a perfluorodinitrile to yield a perfluoro(imidoylamidine) dinitrile, and then repeating the steps to sequentially grow an oligomer of desired molecular size. The isolated amidine and nitrile intermediates are also disclosed. The elastomers can be fashioned into seals, gaskets, and sealing components and the like

Enhancement of perfluorooctanoate and perfluorooctanesulfonate activity at acoustic cavitation bubble interfaces

Acoustic cavitation driven by ultrasonic irradiation decomposes and mineralizes the recalcitrant perfluorinated surfactants perfluorooctanesulfonate (PFOS) and perfluorooctanoate (PFOA). Pyrolytic cleavage of the ionic headgroup is the rate-determining step. In this study, we examine the sonochemical adsorption of PFOX, where X = S for PFOS and A for PFOA, by determining kinetic order and absolute rates over an initial PFOX concentration range of 20 nM to 200 μM. Sonochemical PFOX kinetics transition from pseudo-first-order at low initial concentrations, [PFOX]_i 40 μM, as the bubble interface sites are saturated. At PFOX concentrations below 100 μM, concentration-dependent rates were modeled with Langmuir−Hinshelwood (LH) kinetics. Empirically determined rate maximums, V_(Max)^(−PFOA) = 2230 ± 560 nM min^−1 and V_(Max)^(−PFOS) = 230 ± 60 nM min^−1, were used in the LH model, and sonochemical surface activities were estimated to be K_(Sono)^(PFOS) = 120000 M^−1 and K_(Sono)^(PFOA) = 28500 M^−1, 60 and 80 times greater than equilibrium surface activities, K_(Eq)^(PFOS) and K_(Eq)^(PFOA). These results suggest enhanced sonochemical degradation rates for PFOX when the bubble interface is undersaturated. The present results are compared to previously reported sonochemical kinetics of nonvolatile surfactants

Coexistence and competition of multiple charge-density-wave orders in rare-earth tri-telluride RTe3

The occurrences of collective quantum states, such as superconductivity (SC) and charge- or spin-densitywaves (CDWs or SDWs), are among the most fascinating phenomena in solids. To date much effort has been made to explore the interplay between different orders, yet little is known about the relationship of multiple orders of the same type. Here we report optical spectroscopy study on CDWs in the rare-earth tri-telluride compounds RTe3 (R = rare earth elements). Besides the prior reported two CDW orders, the study reveals unexpectedly the presence of a third CDW order in the series which evolves systematically with the size of R element. With increased chemical pressure, the first and third CDW orders are both substantially suppressed and compete with the second one by depleting the low energy spectral weight. A complete phase diagram for the multiple CDW orders in this series is established.Comment: 7 pages, 4 figures, 1 tabl

Discovery of gamma-ray emission from the supernova remnant Kes 17 with Fermi Large Area Telescope

We report the discovery of GeV emission at the position of supernova remnant Kes 17 by using the data from the Large Area Telescope on board the Fermi Gamma-ray Space Telescope. Kes 17 can be clearly detected with a significance of ~12 sigma in the 1 - 20 GeV range. Moreover, a number of gamma-ray sources were detected in its vicinity. The gamma-ray spectrum of Kes 17 can be well described by a simple power-law with a photon index of ~ 2.4. Together with the multi-wavelength evidence for its interactions with the nearby molecular cloud, the gamma-ray detection suggests that Kes 17 is a candidate acceleration site for cosmic-rays.Comment: 13 pages, 3 figures, 1 table, accepted for publication in ApJ Lette