A Bootstrap Approach to Automatically Generating Lexical Transfer Rules
We describe a method for automatically generating Lexical Transfer Rules (LTRs) from word equivalences using transfer rule templates. Templates are
arxiv.orgrank this link
Refine results · kind
fred
32 indexed results
A Generalization of the Lifting Lemma for Logic Programming
Since the seminal work of J. A. Robinson on resolution, many lifting lemmas for simplifying proofs of completeness of resolution
arxiv.orgrank this link
An Improved Non-Termination Criterion for Binary Constraint Logic Programs
On one hand, termination analysis of logic programs is now a fairly established research topic within the logic programming community.
arxiv.orgrank this link
A Two-Dimensional Model with Chiral Condensates and Cooper Pairs Having QCD-like Phase Structure
We describe how a generalization of the original Gross-Neveu model from U(N) to O(N) flavor symmetry leads to the appearance
arxiv.orgrank this link
A Unified Example-Based and Lexicalist Approach to Machine Translation
We present an approach to Machine Translation that combines the ideas and methodologies of the Example-Based and Lexicalist theoretical frameworks.
arxiv.orgrank this link
Baryon Number Diffusion and Instabilities in the Quark/Hadron Phase Transition
Hadron bubbles that nucleate with radius $R_{nuc}$ in a quark sea (if the phase transition is first order) are shown
arxiv.orgrank this link
Competing Condensates in Two Dimensions
We generalize our previous 2-dimensional model in which a pairing condensate psi-psi was generated at large N. In the present
arxiv.orgrank this link
Computing Convex Hulls with a Linear Solver
A programming tactic involving polyhedra is reported that has been widely applied in the polyhedral analysis of (constraint) logic programs.
arxiv.orgrank this link
cTI: A constraint-based termination inference tool for ISO-Prolog
We present cTI, the first system for universal left-termination inference of logic programs. Termination inference generalizes termination analysis and checking.
arxiv.orgrank this link
Dynamical Approach to Pair Production from Strong Fields
Lectures Given at the Nato Advanced Study Institute-Particle Production in Highly Excited Matter Il Ciocco, Italy July 1992 figure available
arxiv.orgrank this link
Explanation-based Learning for Machine Translation
In this paper we present an application of explanation-based learning (EBL) in the parsing module of a real-time English-Spanish machine
arxiv.orgrank this link
Formation of Compact Binaries in Globular Clusters
We report here on two complementary population synthesis studies which relate directly to the formation and evolution of neutron star
arxiv.orgrank this link
From Landau's Hydrodynamical Model to Field Theory Models of Multiparticle Production: A Tribute to Peter Carruthers on his 61st Birthday
We review the assumptions and domain of applicability of Landau's Hydrodynamical Model. By considering two models of particle production, pair
arxiv.orgrank this link
Heavy Elements in QSOs: Star Formation and Galaxy Evolution at High Redshifts
Intrinsic emission and absorption lines of QSOs provide several independent probes of the metal abundances in QSO environments. They indicate
arxiv.orgrank this link
High Redshift Quasars and Star Formation History
Quasars are among the most luminous objects in the universe, and they can be studied in detail up to the
arxiv.orgrank this link
Inhomogeneous Absorbers and Derived Column Densities
We study the dependence of column densities derived from absorption lines on the spatial distribution of the ions in an
arxiv.orgrank this link
Initial Value Problems in Quantum Field Theory
We review our work on initial value problems in Quantum Field Theory which is based on using Schwinger's Closed Time
arxiv.orgrank this link
Intrinsic AGN Absorption Lines
Strong absorption lines are common in rest-frame UV spectra of AGNs due to a variety of resonant transitions, for example
arxiv.orgrank this link
Nonequilibrium problems in quantum field theory and Schwinger's Closed Time Path formalism
We review the closed time path formalism of Schwinger using a path integral approach. We apply this formalism to the
arxiv.orgrank this link
Non-Termination Inference of Logic Programs
We present a static analysis technique for non-termination inference of logic programs. Our framework relies on an extension of the
arxiv.orgrank this link
Non-Zero Magnetic Screening Mass in QED and QCD at One Loop Level in Non-Equilibrium
Using the Schwinger-Keldysh closed time path integral formalism we show that the magnetic screening mass in QED and QCD at
arxiv.orgrank this link
PG 1254+047: An Intrinsically X-ray Weak, Heavily Absorbed BALQSO?
We present \textit{Chandra} observations of the radio-quiet Broad Absorption Line (BAL) QSO PG 1254+047. We find that it is a
arxiv.orgrank this link
Probing the High-Redshift Universe with Quasar Elemental Abundances
The heavy elements near QSOs provide unique measures of the star formation and chemical evolution in young galactic nuclei or
arxiv.orgrank this link
SIMP (Strongly Interacting Massive Particle) Search
We consider laboratory experiments that can detect stable, neutral strongly interacting massive particles (SIMPs). We explore the SIMP annihilation cross
arxiv.orgrank this link