Unifying Class-Based Representation Formalisms

The notion of class is ubiquitous in computer science and is central in many formalisms for the representation of structured knowledge used both in knowledge representation and in databases. In this paper we study the basic issues underlying such representation formalisms and single out both their common characteristics and their distinguishing features. Such investigation leads us to propose a unifying framework in which we are able to capture the fundamental aspects of several representation languages used in different contexts. The proposed formalism is expressed in the style of description logics, which have been introduced in knowledge representation as a means to provide a semantically well-founded basis for the structural aspects of knowledge representation systems. The description logic considered in this paper is a subset of first order logic with nice computational characteristics. It is quite expressive and features a novel combination of constructs that has not been studied before. The distinguishing constructs are number restrictions, which generalize existence and functional dependencies, inverse roles, which allow one to refer to the inverse of a relationship, and possibly cyclic assertions, which are necessary for capturing real world domains. We are able to show that it is precisely such combination of constructs that makes our logic powerful enough to model the essential set of features for defining class structures that are common to frame systems, object-oriented database languages, and semantic data models. As a consequence of the established correspondences, several significant extensions of each of the above formalisms become available. The high expressiveness of the logic we propose and the need for capturing the reasoning in different contexts forces us to distinguish between unrestricted and finite model reasoning. A notable feature of our proposal is that reasoning in both cases is decidable. We argue that, by virtue of the high expressive power and of the associated reasoning capabilities on both unrestricted and finite models, our logic provides a common core for class-based representation formalisms

A Quantitative Analysis of Charmonium Suppression in Nuclear Collisions

Data from J/psi and psi' production in p-A collisions are used to determine the cross section for absorption of pre-resonance charmonium in nuclear matter. The J/psi suppression in O-Cu, O-U and S-U collisions is fully reproduced by the corresponding nuclear absorption, while Pb-Pb collisions show an additional suppression increasing with centrality. We study the onset of this change in terms of hadronic comover interactions and conclude that so far no conventional hadronic description can consistently account for all data. Deconfinement, starting at a critical point determined by central S-U collisions, is in accord with the observed suppression pattern.Comment: 37 pages, 12 figures, uses epsfig style, LaTe

Evidence on entrepreneurs in the United States: data from the 1989–2004 survey of consumer finances

Using data from the Federal Reserve Board’s Survey of Consumer Finances, the authors examine characteristics of entrepreneurs and the businesses they run. Their analysis confirms that business owners are important sources of saving and wealth creation in the U.S. and that they are less risk averse than other wealthy households. This discounts the notion that the wealth of entrepreneurs disproportionately reflects a buildup of precautionary balances to guard against financial risk.Consumer surveys ; Business enterprises

Intersection of reality and fiction in art perception: pictorial space, body sway and mental imagery

Background The thesis of embodied cognition claims that perception of the environment entails a complex set of multisensory processes which forms a basis for the agent’s potential and immediate actions. However, in the case of artworks, an agent becomes an observer and action turns into a reaction. This raises questions about the presence of embodied or situated cognition involved in art reception. Aims The study aimed to assess the bodily correlates of perceiving fictional pictorial spaces in the absence of a possibility of an actual physical immersion or manipulation of represented forms. Method The subjects were presented with paintings by Vermeer and De Hooch, whilst their body sway and eye movements were recorded. Moreover, test and questionnaires on mental imagery (MRT, VVIQ and OSIQ) were administered. Results Three major results were obtained: (1) the degree of pictorial depth did not influence body sway; (2) fixations to distant elements in paintings (i.e. backgrounds) were accompanied by an increase in body sway; and (3) mental rotation test scores correlated positively with body sway. Conclusions Our results suggest that in certain cases— despite the fictional character of art—observers’ reactions resemble reactions to real stimuli. It is proposed that these reactions are mediated by mental imagery (e.g. mental rotation) that contributes to the act of representing alternative to real artistic spaces

μ\mu-ee conversion in nuclei and Z′^\prime physics

Together with the existence of new neutral gauge bosons, models based on extended gauge groups (rank $> 4$) often predict also new charged fermions. A mixing of the known fermions with new states with {\it exotic} weak-isospin assignments (left-handed singlets and right-handed doublets) will induce tree level flavour changing neutral interactions mediated by $Z$ exchange, while if the mixing is only with new states with {\it ordinary} weak-isospin assignments, the flavour changing neutral currents are mainly due to the exchange of the lightest new neutral gauge boson $Z^\prime$. We show that the present experimental limits on $\mu-e$ conversion in nuclei give a nuclear-model-independent bound on the $Z$-$e$-$\mu$ vertex which is twice as strong as that obtained from $\mu\to e e e$. In the case of E$_6$ models these limits provide quite stringent constraints on the $Z^\prime$ mass and on the $Z-Z^\prime$ mixing angle. We point out that the proposed experiments to search for $\mu-e$ conversion in nuclei have good chances to find evidence of lepton flavour violation, either in the case that new exotic fermions are present at the electroweak scale, or if a new neutral gauge boson $Z^\prime$ of E$_6$ origin lighter than a few TeV exists.Comment: Plain Tex, 24 pages, + 2 PostScript figure appended after \bye (and available upon request), UM-TH 93--08, FTUV 93-1

Graph-based task libraries for robots: generalization and autocompletion

In this paper, we consider an autonomous robot that persists over time performing tasks and the problem of providing one additional task to the robot's task library. We present an approach to generalize tasks, represented as parameterized graphs with sequences, conditionals, and looping constructs of sensing and actuation primitives. Our approach performs graph-structure task generalization, while maintaining task ex- ecutability and parameter value distributions. We present an algorithm that, given the initial steps of a new task, proposes an autocompletion based on a recognized past similar task. Our generalization and auto- completion contributions are eective on dierent real robots. We show concrete examples of the robot primitives and task graphs, as well as results, with Baxter. In experiments with multiple tasks, we show a sig- nicant reduction in the number of new task steps to be provided

Biodiesel Mandate Laws in Argentina and Brazil: An Estimation of Soybean Oil Foregone Export Revenues

Replaced with revised version of paper 02/22/08.Research and Development/Tech Change/Emerging Technologies,

Z', new fermions and flavor changing processes, constraints on E6_6 models from μ\mu --> eee

We study a new class of flavor changing interactions, which can arise in models based on extended gauge groups (rank $>$4) when new charged fermions are present together with a new neutral gauge boson. We discuss the cases in which the flavor changing couplings in the new neutral current coupled to the $Z^\prime$ are theoretically expected to be large, implying that the observed suppression of neutral flavor changing transitions must be provided by heavy $Z^\prime$ masses together with small $Z$-$Z^\prime$ mixing angles. Concentrating on E$_6$ models, we show how the tight experimental limit on $\mu \rightarrow eee$ implies serious constraints on the $Z^\prime$ mass and mixing angle. We conclude that if the value of the flavor changing parameters is assumed to lie in a theoretically natural range, in most cases the presence of a $Z^\prime$ much lighter than 1 TeV is unlikely.Comment: plain tex, 22 pages + 2 pages figures in PostScript (appended after `\bye'), UM-TH 92-1

Signals of Unconventional E6_6 Models at e+e−e^+e^- Colliders

Generation dependent discrete symmetries often appear in models derived from superstring theories. In particular, in the framework of E$_6$ models the presence of such symmetries is required in order to allow for the radiative generation of naturally small neutrino masses. Recently it was shown that by imposing suitable generation dependent discrete symmetries, a class of models can be consistently constructed in which the three sets of known fermions in each generation do not have the same assignments with respect to the {\bf 27} representation of E$_6$. In this scenario, the different embedding in the gauge group of the three generations implies in particular that the known charged leptons couple in a non--universal way to the new neutral gauge bosons $(Z_\beta)$ present in these models. We exploit this fact to study the signature of this class of models at present and future $e^+e^-$ colliders. We show that some signals of deviation from lepton universality as well as some other discrepancies with the standard model predictions which have been observed at the TRISTAN collider in the production rate of $\mu$ and $\tau$, can be accounted for if the $Z_\beta$ mass is not much heavier than 300 GeV. We also study the discovery limits for lepton universality violation of this type at LEP-2 and at the 500 GeV $e^+e^-$ Next Linear Collider (NLC). We show that models predicting unconventional assignments for the leptons will give an unmistakable signature, when the $Z_\beta$ mass is as heavy as $\sim 800$ GeV (LEP-2) and $\sim 2$ TeV (NLC).Comment: Plain Tex, 20 pages. 4 PostScript figures (uses `epsf.tex'). Modified file-format. No changes in the tex

Gluon saturation effects on J/Psi production in heavy ion collisions

We consider a novel mechanism for J/Psi production in nuclear collisions arising due to the high density of gluons. We calculate the resulting J/Psi production cross section as a function of rapidity and centrality. We evaluate the nuclear modification factor and show that the rapidity distribution of the produced J/Psi's is significantly more narrow in AA collisions due to the gluon saturation effects. Our results indicate that gluon saturation in the colliding nuclei is a significant source of J/Psi suppression that can be disentangled from the quark-gluon plasma effects.Comment: 5 pages, 3 figures; v2: typos corrected; presentation improve