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

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

Process for preparing perfluorotriazine elastomers and precursors thereof

Perfluoroether triazine elastomers having improved properties and utility in seals, gaskets, sealing components and the like are prepared from oligomeric imidoylamidines that have, in turn, been 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 perfluoror(imidoylamidine) dinitrile, and then repeating step (1), (2), and (3) to sequentially grow an oligomer of desired molecular size. The isolated amidine and nitrile intermediates are also described

Galactic metric, dark radiation, dark pressure and gravitational lensing in brane world models

In the braneworld scenario, the four dimensional effective Einstein equation has extra terms which arise from the embedding of the 3-brane in the bulk. These non-local effects, generated by the free gravitational field of the bulk, may provide an explanation for the dynamics of the neutral hydrogen clouds at large distances from the galactic center, which is usually explained by postulating the existence of the dark matter. We obtain the exact galactic metric, the dark radiation and the dark pressure in the flat rotation curves region in the brane world scenario. Due to the presence of the bulk effects, the flat rotation curves could extend several hundred kpc. The limiting radius for which bulk effects are important is estimated and compared with the numerical values of the truncation parameter of the dark matter halos, obtained from weak lensing observations. There is a relatively good agreement between the predictions of the model and observations. The deflection of photons is also considered and the bending angle of light is computed. The bending angle predicted by the brane world models is much larger than that predicted by standard general relativistic and dark matter models. The angular radii of the Einstein rings are obtained in the small angles approximation. The predictions of the brane world model for the tangential shear are compared with the observational data obtained in the weak lensing of galaxies in the Red-Sequence Cluster Survey. Therefore the study of the light deflection by galaxies and the gravitational lensing could discriminate between the different dynamical laws proposed to model the motion of particles at the galactic level and the standard dark matter models.Comment: 33 pages, 3 figures, accepted for publication in Ap

Saline and Alkaline tolerance of wetland plants — what are the most representative evaluation indicators?

The increasing discharge of wastewater containing inorganic salts, sometimes accompanied by high pH, has been a worldwide environmental problem. Constructed wetlands (CWs) are considered a viable technology for treating saline and/or alkaline wastewater provided that saline-alkaline tolerant plant species are selected and applied. The influence of both saline and alkaline stress on four wetland plant species during their seed germination, early growth, vegetative propagation and continued growth stages was evaluated by three experiments. Principal component analysis (PCA) was conducted for selecting representative indicators for evaluating the saline and alkaline tolerance of plants during vegetative propagation and plant growth stages. The saline and alkaline stress inhibited the vegetative propagation and plant growth of all tested plant species to varying degrees, therein the influences of saline-alkaline stress on plants were more marked than saline stress. The length of new roots, Na+ accumulation in plant tissue, Na+/K+ ratios in aerial tissue and the total dry biomass were selected as most representative indicators for evaluating the saline and alkaline tolerance of plants. Iris sibirica and Lythrum salicaria showed better saline and alkaline tolerance ability among tested species and could be grown in CWs for treating saline and/or alkaline wastewater

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