Searching Arxiv, refresh for possibly better results.

total 723took 0.12s

The MMT API: A Generic MKM SystemJun 13 2013The MMT language has been developed as a scalable representation and interchange language for formal mathematical knowledge. It permits natural representations of the syntax and semantics of virtually all declarative languages while making MMT-based MKM ... More

A Logic-Independent IDEOct 30 2014The author's MMT system provides a framework for defining and implementing logical systems. By combining MMT with the jEdit text editor, we obtain a logic-independent IDE. The IDE functionality includes advanced features such as context-sensitive auto-completion, ... More

A Query Language for Formal Mathematical LibrariesApr 20 2012One of the most promising applications of mathematical knowledge management is search: Even if we restrict attention to the tiny fragment of mathematics that has been formalized, the amount exceeds the comprehension of an individual human. Based on the ... More

Optimal Time-Abstract Schedulers for CTMDPs and Markov GamesJun 26 2010We study time-bounded reachability in continuous-time Markov decision processes for time-abstract scheduler classes. Such reachability problems play a paramount role in dependability analysis and the modelling of manufacturing and queueing systems. Consequently, ... More

A Scalable Module SystemMay 03 2011Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But such systems rely on explicitly or implicitly represented mathematical knowledge ... More

Oskar Klein and the fifth dimensionSep 16 2013After a short biographical summary of the scientific life of Oskar Klein, a more detailed and hopefully didactic presentation of his derivation of the relativistic Klein-Gordon wave equation is given. It was a result coming out of his unification of electromagnetism ... More

Symmetric and conserved energy-momentum tensors in moving mediaJul 25 2011Sep 09 2011A symmetric and conserved energy-momentum tensor for a scalar field in a moving medium is derived using the Gordon metric. When applied to an electromagnetic field, the method gives a similar result. This approach thus points a way out of the old Abraham-Minkowski ... More

Electromagnetism and photons in continuous mediaOct 10 2008Different theoretical and experimental aspects of electromagnetic phenomena in media is reviewed. The 100 year old Minkowski theory is in agreement with most experiments, but has theoretical problems related to its implied validity in all inertial frames. ... More

How I got to work with Feynman on the covariant quark modelNov 03 2014In the period 1968 - 1974 I was a graduate student and then a postdoc at Caltech and was involved with the developments of the quark and parton models. Most of this time I worked in close contact with Richard Feynman and thus was present from the parton ... More

Fibrations of predicates and bicategories of relationsFeb 27 2015We reconcile the two different category-theoretic semantics of regular theories in predicate logic. A 2-category of `regular fibrations' is constructed, as well as a 2-category of `regular proarrow equipments', and it is shown that the two are equivalent. ... More

Scalar Gravitation and Extra DimensionsMay 06 2004Gunnar Nordstrom constructed the first relativistic theory of gravitation formulated in terms of interactions with a scalar field. It was an important precursor to Einstein's general theory of relativity a couple of years later. He was also the first ... More

Electromagnetic energy-momentum tensors in mediaMay 16 2008Sep 30 2008It is pointed out that the previous energy-momentum tensors of Minkowski and Abraham for the electromagnetic field in continuous media are based on a covariant formulation which does not reflect a symmetry inherent to the system. Instead, taking into ... More

Effective Field Theory of QED Vacuum FluctuationsJun 10 1998Jun 18 1998Plenary talk at PASCOS-98, Boston, Massachusetts, USA, March 22-29, 1998.

Band gap and stability in the ternary intermetallic compounds NiSnM (M = Ti, Zr, Hf): A first principles studyOct 27 1994May 12 1995The structural stability and electronic properties of the ternary intermetallic compounds NiSnM (M = Ti, Zr, Hf) and the closely related Heusler compounds Ni$_2$SnM are discussed using the results of ab initio pseudopotential total energy and band-structure ... More

Epitaxial strain effects on magnetic ordering and spin-phonon couplings in the (SrMnO$_3$)$_1$/(LaMnO$_3$)$_1$ superlattice from first principlesMay 29 2013We have studied the influence of epitaxial strain on magnetic orderings and the couplings between the spin and polar phonons in the 1:1 SrMnO$_3$/LaMnO$_3$ superlattice from first principles. Magnetic phase transitions of the superlattice induced by epitaxial ... More

On the Casimir effect in a continuous mediumMar 16 2009It is pointed out that the Casimir energy in a medium can be obtained most directly from the zero-point energy of the electromagnetic field because of its reduced propagation velocity. This brings to the fore again the old problem related to how the principle ... More

Effective electromagnetic theory for dielectric mediaApr 24 2008Sep 25 2008Light in a dielectric medium moves slower than in vacuum. The corresponding electromagnetic field equations are then no longer invariant under ordinary Lorentz transformations, but only under such transformations corresponding to this reduced velocity. ... More

Applications of Effective LagrangiansAug 25 1997Effective Lagrangians were originally used only at the tree level as so-called phenomenological Lagrangians since they were in general non-renormalizable. Today they are treated as effective field theories valid below a characteristic energy scale. Quantum ... More

Temperature-dependent dielectric and piezoelectric response of ferroelectrics from first principlesApr 06 1998A method for the calculation of the temperature dependence of dielectric and piezoelectric responses, based on the use of a first-principles effective Hamiltonian, is described. Results are presented for the ferroelectric perovskite PbTiO3. While the ... More

Enhancement of piezoelectricity in a mixed ferroelectricDec 18 1997We use first-principles density-functional total energy and polarization calculations to calculate the piezoelectric tensor at zero temperature for both cubic and simple tetragonal ordered supercells of Pb_3GeTe_4. The largest piezoelectric coefficient ... More

Anomalous effective charges and far IR optical absorption of Al$_2$Ru from first principlesAug 13 1996For the orthorhombic intermetallic semiconductor Al$_2$Ru, the bandstructure, valence charge density, zone center optical phonon frequencies, and Born effective charge and electronic dielectric tensors are calculated using variational density functional ... More

Synthesis of Boolean Functions with Clausal AbstractionAug 27 2018Nov 19 2018Dependency quantified Boolean formulas (DQBF) is a logic admitting existential quantification over Boolean functions, which allows us to elegantly state synthesis problems in planning and verification. In this paper, we lift the clausal abstraction algorithm ... More

Determination of ground-state and low-energy structures of perovskite superlattices from first principlesMar 12 2014In the development of first-principles high-throughput searches for materials with desirable functional properties, there is a clear need for an efficient method to determine the ground state and low-energy alternative structures of superlattices. A method ... More

Epitaxially strained [001]-(PbTiO$_3$)$_1$(PbZrO$_3$)$_1$ superlattice and PbTiO$_3$ from first principlesDec 02 2003The effect of layer-by-layer heterostructuring and epitaxial strain on lattice instabilities and related ferroelectric properties is investigated from first principles for the [001]-(PbTiO$_3$)$_1$(PbZrO$_3$)$_1$ superlattice and pure PbTiO$_3$ on a cubic ... More

A Microscopic Model of Ferroelectricity in Stress-free PbTiO3 Ultrathin FilmsNov 22 1999Mar 16 2000The ground-state polarization of PbTiO3 thin films is studied using a microscopic effective Hamiltonian with parameters obtained from first-principles calculations. Under short-circuit electrical boundary conditions, (001) films with thickness as low ... More

Strain-Induced Hybrid Improper Ferroelectricity in Simple Perovskites from First PrinciplesJun 07 2013Aug 25 2013We performed first principles calculations for epitaxially strained orthorhombic CaTiO$_3$. The computational results reveal the existence of a metastable ferroelectric phase at compressive strain with unexpected in-plane polarization. Symmetry analysis ... More

Polymorphism and metastability in NbN: Structural predictions from first principlesMay 17 1995We use ab initio pseudopotential total energy calculations with a plane wave basis set to investigate the structural energetics of various phases of polymorphic NbN. Particular attention is given to its recently discovered superconducting phase with a ... More

Clausal Abstraction for DQBF (full version)Aug 27 2018May 07 2019Dependency quantified Boolean formulas (DQBF) is a logic admitting existential quantification over Boolean functions, which allows us to elegantly state synthesis problems in verification such as the search for invariants, programs, or winning regions ... More

Configuration dependence of physical properties of a ferroelectric solid solutionApr 08 1998In this article, we motivate the detailed comparison of the physical properties of individual configurations of a ferroelectric solid solution as a means toward developing first principles models for these systems. We compare energies, dielectric constants ... More

Coupled nonpolar-polar metal-insulator transition in 1:1 SrCrO$_3$/SrTiO$_3$ superlattices: A first-principles studyFeb 23 2015Using first principles calculations, we determined the epitaxial-strain dependence of the ground state of the 1:1 SrCrO$_3$/SrTiO$_3$ superlattice. The superlattice layering leads to significant changes in the electronic states near the Fermi level, derived ... More

Magnetic-induced phonon anisotropy in ZnCr$_2$O$_4$ from first principlesFeb 21 2006We have studied the influence of magnetic order on the optical phonons of the geometrically frustrated spinel ZnCr$_2$O$_4$ from first-principles. By mapping the first-principles phonon calculations onto a Heisenberg-like model, we developed a method ... More

Epitaxial-strain-induced multiferroicity in SrMnO$_{3}$ from first principlesOct 28 2009Dec 21 2009First-principles density-functional calculations reveal a large spin-phonon coupling in cubic SrMnO$_{3}$, with ferromagnetic ordering producing a polar instability. Through combination of this coupling with the strain-polarization coupling characteristic ... More

Ab initio statistical mechanics of the ferroelectric phase transition in PbTiO3Aug 01 1996An effective Hamiltonian for the ferroelectric transition in PbTiO3 is constructed from first-principles density-functional-theory total-energy and linear-response calculations through the use of a localized, symmetrized basis set of ``lattice Wannier ... More

Anomalous enhancement of tetragonality in PbTiO3 induced by negative pressureJun 09 2003Using a first-principles approach based on density-functional theory, we find that a large tetragonal strain can be induced in PbTiO3 by application of a negative hydrostatic pressure. The structural parameters and the dielectric and dynamical properties ... More

First-principles study of epitaxial strain in perovskitesJun 29 2005Using an extension of a first-principles method developed by King-Smith and Vanderbilt [Phys. Rev. B {\bf 49}, 5828 (1994)], we investigate the effects of in-plane epitaxial strain on the ground-state structure and polarization of eight perovskite oxides: ... More

A Temporal Logic for HyperpropertiesJun 27 2013Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths. Standard temporal logics can only refer to a single path at a time, and therefore cannot express ... More

A Foundational View on Integration ProblemsMay 13 2011The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems ... More

The ferroelectric transition in YMnO$_3$ from first principlesApr 21 2005Oct 18 2005We have studied the structural phase transition of multiferroic YMnO$_3$ from first principles. Using group-theoretical analysis and first-principles density functional calculations of the total energy and phonons, we perform a systematic study of the ... More

Localized Basis for Effective Lattice Hamiltonians: Lattice Wannier FunctionsNov 17 1994Aug 27 1995A systematic method is presented for constructing effective Hamiltonians for general phonon-related structural transitions. The key feature is the application of group theoretical methods to identify the subspace in which the effective Hamiltonian acts ... More

Ferroelectricity in the Dion-Jacobson CsBiNb$_2$O$_7$ from first principlesMar 06 2006We have studied ferroelectricity in Dion-Jacobson CsBiNb$_2$O$_7$ from first principles. Using group-theoretical analysis and first-principles density functional calculations of the total energy and phonons, we perform a systematic study of the energy ... More

Interface enhancement of ferroelectricity in CaTiO$_3$/BaTiO$_3$ superlatticesSep 08 2010We carry out first-principles calculations for CaTiO$_3$/BaTiO$_3$ superlattices with epitaxial strain corresponding to growth on a SrTiO$_3$ substrate, and consider octahedral rotations as well as ferroelectric distortions. The calculations are done ... More

Theory of structural response to macroscopic electric fields in ferroelectric systemsMay 21 2002We have developed and implemented a formalism for computing the structural response of a periodic insulating system to a homogeneous static electric field within density-functional perturbation theory (DFPT). We consider the thermodynamic potentials E(R,eta,e) ... More

Surface polarization and edge chargesMay 01 2015The term "surface polarization" is introduced to describe the in-plane polarization existing at the surface of an insulating crystal when the in-plane surface inversion symmetry is broken. Here, the surface polarization is formulated in terms of a Berry ... More

Greybody Factors for Black Holes in Four Dimensions: Particles with SpinDec 11 1997We compute the emission spectrum of minimally coupled particles with spin that are Hawking radiated from four dimensional black holes in string theory. For a range of the black hole parameters the result has a product structure that may be interpreted ... More

The Laser Interferometer Gravitational-wave Observatory Scientific Data ArchiveMar 30 1999LIGO --- The Laser Interferometer Gravitational-Wave Observatory --- is one of several large projects being undertaken in the United States, Europe and Japan to detect gravitational radiation. The novelty and precision of these instruments is such that ... More

Defining a Research Environment: LIGO and the Gravitational Physics Research CommunityFeb 01 1996Feb 07 1996The LIGO Research Community (LRC) is an independent organization of researchers interested in the scientific opportunities created by the construction and operation of the Laser Interferometer Gravitational-wave Observatory (LIGO). Membership is open ... More

Observational constraints on the neutron star mass distributionSep 22 1994Radio observations of neutron star binary pulsar systems have constrained strongly the masses of eight neutron stars. Assuming neutron star masses are uniformly distributed between lower and upper bounds $m_l$ and $m_u$, the observations determine with ... More

Detection, Measurement and Gravitational RadiationSep 24 1992Here I examine how to determine the sensitivity of the LIGO, VIRGO, and LAGOS gravitational wave detectors to sources of gravitational radiation by considering the process by which data are analyzed in a noisy detector. By constructing the probability ... More

How do Markov approximations compare with other methods for large spatial data sets?Jun 10 2011Nov 04 2011The Mat\'ern covariance function is a popular choice for modeling dependence in spatial environmental data. Standard Mat\'ern covariance models are, however, often computationally infeasible for large data sets. In this work, recent results for Markov ... More

A new ANEW: Evaluation of a word list for sentiment analysis in microblogsMar 15 2011Sentiment analysis of microblogs such as Twitter has recently gained a fair amount of attention. One of the simplest sentiment analysis approaches compares the words of a posting against a labeled word list, where each word has been scored for valence, ... More

Proton-Proton Scattering Lengths from Effective Field TheoryNov 20 1998Mar 27 1999Using a recently developed effective field theory for the interactions of nucleons at non-relativistic energies, we calculate the Coulomb corrections to proton-proton scattering. Including the dimension-eight derivative interaction in PDS regularization ... More

Non-Relativistic Pion Interactions and the Pionium LifetimeMay 18 1998Jun 08 1998We construct an effective Lagrangian for interacting pions with non-relativistic energies. The coupling constants can be expressed in terms of the different scattering lengths and slopes. When used in the calculation of the pionium decay rate, the scattering ... More

Currents and Moduli in the (4,0) theorySep 13 1999Sep 23 1999We consider black strings in five dimensions and their description as a (4,0) CFT. The CFT moduli space is described explicitly, including its subtle global structure. BPS conditions and global symmetries determine the spectrum of charged excitations, ... More

Quantifying the uncertainty of contour mapsJul 07 2015Jul 08 2016Contour maps are widely used to display estimates of spatial fields. Instead of showing the estimated field, a contour map only shows a fixed number of contour lines for different levels. However, despite the ubiquitous use of these maps, the uncertainty ... More

Quantum Corrections to Supergravity on AdS$_2\times S^2$Nov 26 2014Feb 20 2015We compute the off-shell spectrum of supergravity on AdS$_2\times S^2$ by explicit diagonalization of the equations of motion for an effective AdS$_2$ theory where all fields are dualized to scalars and spin-${1\over 2}$ fermions. Classifying all bulk ... More

Binary neutron star inspiral, LIGO, and cosmologyFeb 06 1995Recent work on the expected event rate of neutron star inspiral signals in the LIGO detector is summarized. The observed signals will be from inspirals at cosmological distances, and the important cosmological effects on the event rate and spectrum are ... More

Black Holes with Intrinsic SpinJun 17 2014We analyze the general black hole solutions to the four dimensional STU model recently constructed by Chow and Compere. We define a dilute gas limit where the black holes can be interpreted as excited states of an extremal ground state. In this limit ... More

Near Horizon Geometry of Rotating Black Holes in Five DimensionsMay 18 1998We interpret the general rotating black holes in five dimensions as rotating black strings in six dimensions. In the near horizon limit the geometry is locally AdS_3 x S_3, as in the nonrotating case. However, the global structure couples the AdS_3 and ... More

Black Hole Horizons and the Thermodynamics of StringsAug 16 1997Sep 03 1997We review the classical thermodynamics and the greybody factors of general (rotating) non-extreme black holes and discuss universal features of their near-horizon geometry. We motivate a microscopic interpretation of general black holes that relates the ... More

Greybody factors for rotating black holes in four dimensionsJun 10 1997Aug 14 1997We present the wave equation for a minimally coupled scalar field in the background of a rotating four-dimensional black hole that is parametrized by its mass, angular momentum, and four independent U(1) charges. The near horizon structure is identical ... More

Poisson equations, higher derivative automorphic forms and string parameter limitsJan 18 2014Apr 03 2014This paper considers the higher derivative terms in the effective action of type II string theory and in particular the behaviour of the automorphic forms they contain in all the different possible limits of the string parameters. The automorphic forms ... More

On the Negative Case of the Singular Yamabe ProblemJan 16 1996The negative case of the Singular Yamabe Problem concerns the existence and behavior of complete metrics with constant negative scalar curvature on the complement of a closed set in a compact Riemannian manifold which are conformally equivalent to a smooth ... More

Deep Visual Foresight for Planning Robot MotionOct 03 2016A key challenge in scaling up robot learning to many skills and environments is removing the need for human supervision, so that robots can collect their own data and improve their own performance without being limited by the cost of requesting human ... More

Proton-Proton Fusion in Effective Field TheoryApr 17 2000The rate for the fusion process $p + p \ra d + e^+ + \nu_e$ is calculated using non-relativistic effective field theory. Including the four-nucleon derivative interaction, results are obtained in next-to-leading order in the momentum expansion. This reproduces ... More

Coulomb Effects in Low Energy Proton-Proton ScatteringMar 30 1999Using a recently developed effective field theory for the interactions of nucleons at non-relativistic energies, we calculate non-perturbatively Coulomb corrections to proton-proton scattering. Including the dimension-eight derivative interaction in the ... More

Quantum Corrections to the QED Vacuum EnergyMar 02 1998Mar 11 1998At energies much less than the electron mass $m$ the effects of quantum fluctuations in the vacuum due to virtual electron loops can be included by extending the Maxwell Lagrangian by additional non-renormalizable terms corresponding to the Uehling and ... More

Effective-Range Corrections to the Proton-Proton Fusion RateApr 23 1999Oct 22 1999Proton-proton fusion is considered in the effective field theory of Kaplan, Savage and Wise. Coulomb effects are included systematically in a non-perturbative way. Including the dimension-eight derivative coupling which determines the effective ranges ... More

Radiative Corrections to the Casimir EnergyMar 12 1997The lowest radiative correction to the Casimir energy density between two parallel plates is calculated using effective field theory. Since the correlators of the electromagnetic field diverge near the plates, the regularized energy density is also divergent. ... More

A closer look at the stacks of stable pointed curvesJun 08 2011Apr 03 2012In the theory of the moduli-stacks of n-pointed stable curves, there are two fundamental functors, contraction and stabilization. These functors are constructed in [4], where they are used to show that the various \bar{M_{g,n}}'s are DM-stacks. We give ... More

Divergences and Boundary Modes in N=8 SupergravityAug 14 2015We reconsider the one loop divergence of ${\cal N}=8$ supergravity in four dimensions. We compute the finite effective potential of ${\cal N}=8$ anti-deSitter supergravity and interpret it as logarithmic running of the cosmological constant. We find that ... More

Partition Sums and Entropy Bounds in Weakly Coupled CFTSep 29 2000We use the partition functions on S^1 x S^n of various conformal field theories in four and six dimensions in the limit of vanishing coupling to study the high temperature thermodynamics. Certain modular properties exhibited by the partition functions ... More

Prediction with Restricted Resources and Finite AutomataDec 10 2008We obtain an index of the complexity of a random sequence by allowing the role of the measure in classical probability theory to be played by a function we call the generating mechanism. Typically, this generating mechanism will be a finite automata. ... More

Classical Hair in String Theory II: Explicit CalculationsSep 10 1996After emphasizing the importance of obtaining a space-time understanding of black hole entropy, we further elaborate our program to identify the degrees of freedom of black holes with classical space-time degrees of freedom. The Cveti\v{c}-Youm dyonic ... More

Internal Structure of Black HolesNov 09 1995We present a number of qualitative arguments which strongly suggest that extremal dyonic black holes in the 4--dimensional low energy, classical field theory limit of toroidally compactified heterotic string theory represent largely degenerate classes ... More

Issues in gravitational wave data analysisSep 29 1997Data analysis is the application of probability and statistics to draw inference from observation. Is a signal present or absent? Is the source an inspiraling binary system or a supernova? At what point in the sky is the radiation incident from? In these ... More

Binary inspiral, gravitational radiation, and cosmologyJan 31 1996Observations of binary inspiral in a single interferometric gravitational wave detector can be cataloged according to signal-to-noise ratio $\rho$ and chirp mass $\cal M$. The distribution of events in a catalog composed of observations with $\rho$ greater ... More

Extremal Branes as Elementary ParticlesOct 10 1996Mar 06 1997The supersymmetric p-branes of Type II string theory can be interpreted after compactification as extremal black holes with zero entropy and infinite temperature. We show how the p-branes avoid this apparent, catastrophic instability by developing an ... More

Scalar Field Fluctuations between Parallel PlatesAug 26 2004Sep 15 2004Quantum fluctuations of a scalar field and its derivatives are calculated when the field is confined between two parallel plates satisfying Dirichlet or Neumann boundary conditions. After regulation these fluctuations diverge in general when one approaches ... More

What is the Regularized Casimir Vacuum Energy Density?Jan 17 1997The regularized total Casimir energy in spacetimes with boundaries is not in general equal to the integral of the regularized energy density. This paradoxical phenomenon is most transparently analyzed in the simple example of a massless scalar field in ... More

Vertex theorems for capillary drops on support planesJul 07 1997We consider a capillary drop that contacts several planar bounding walls so as to produce singularities (vertices) in the boundary of its free surface. It is shown under various conditions that when the number of vertices is less than or equal to three, ... More

On the Capillarity Equation in Two DimensionsMar 23 2016We study the capillarity equation from the global point of view of behavior of its solutions without explicit regard to boundary conditions. We show its solutions to be constrained in ways, that have till now not been characterized in literature known ... More

A Sufficient Statistics Construction of Bayesian Nonparametric Exponential Family Conjugate ModelsJan 10 2016Conjugate pairs of distributions over infinite dimensional spaces are prominent in statistical learning theory, particularly due to the widespread adoption of Bayesian nonparametric methodologies for a host of models and applications. Much of the existing ... More

Clustering of scientific citations in WikipediaMay 08 2008Jun 12 2008The instances of templates in Wikipedia form an interesting data set of structured information. Here I focus on the cite journal template that is primarily used for citation to articles in scientific journals. These citations can be extracted and analyzed: ... More

Scientific citations in WikipediaMay 15 2007The Internet-based encyclopaedia Wikipedia has grown to become one of the most visited web-sites on the Internet. However, critics have questioned the quality of entries, and an empirical study has shown Wikipedia to contain errors in a 2005 sample of ... More

General Rotating Black Holes in String Theory: Greybody Factors and Event HorizonsMay 26 1997Aug 14 1997We derive the wave equation for a minimally coupled scalar field in the background of a general rotating five-dimensional black hole. It is written in a form that involves two types of thermodynamic variables, defined at the inner and outer event horizon, ... More

No statistical excess in Explorer/Nautilus observations in the year 2001Jan 23 2003A recent report on gravitational wave detector data from the NAUTILUS and EXPLORER detector groups claims a statistically significant excess of coincident events when the detectors are oriented in a way that maximizes their sensitivity to gravitational ... More

LIGO's "Science Reach"Apr 14 2001Technical discussions of the Laser Interferometer Gravitational Wave Observatory (LIGO) sensitivity often focus on its effective sensitivity to gravitational waves in a given band; nevertheless, the goal of the LIGO Project is to ``do science.'' Exploiting ... More

Upper limits based on "loudest" eventsJul 22 1999Jun 23 2000This paper has been withdrawn due to a crucial error in combining the two probability sectors represented in equations 13 and 14. Corrected, one can recover, in the limit of no background, the results of Allen et al. The general result that an analysis ... More

A numerical approach to binary black hole coalescenceMar 05 1996The nature of binary black hole coalescence is the final, uncharted frontier of the relativistic Kepler problem. In the United States, binary black hole coalescence has been identified as a computational ``Grand Challenge'' whose solution is the object ... More

Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (1996)Apr 13 2013Aug 28 2014This is the Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence, which was held in Portland, OR, August 1-4, 1996

Cautious Propagation in Bayesian NetworksFeb 20 2013Consider the situation where some evidence e has been entered to a Bayesian network. When performing conflict analysis, sensitivity analysis, or when answering questions like "What if the finding on X had been y instead of x?" you need probabilities P ... More

On D-Branes and Black Holes in Four DimensionsApr 30 1996May 13 1996We find extremal four dimensional black holes with finite area constructed entirely from intersecting D-branes. We argue that the microscopic degeneracy of these configurations agrees with the Bekenstein-Hawking entropy formula. The absence of solitonic ... More

Spatial models generated by nested stochastic partial differential equations, with an application to global ozone mappingApr 18 2011A new class of stochastic field models is constructed using nested stochastic partial differential equations (SPDEs). The model class is computationally efficient, applicable to data on general smooth manifolds, and includes both the Gaussian Mat\'{e}rn ... More

Matrix product construction for Koornwinder polynomials and fluctuations of the current in the open ASEPOct 26 2016Starting from the deformed current-counting transition matrix for the open boundary ASEP, we prove that with a further deformation, the symmetric Koornwinder polynomials for partitions with equal row lengths appear as the normalisation of the twice deformed ... More

Relativistic corrections to the Pionium LifetimeMay 28 1999Oct 20 1999Next to leading order contributions to the pionium lifetime are considered within non-relativistic effective field theory. A more precise determination of the coupling constants is then needed in order to be consistent with the relativistic pion-pion ... More

Higher Order Hadronic Energy Level Shifts in ProtoniumMar 23 1998Using effective field theory for a proton and antiproton bound in a Coulomb potential, the shift of the ground state energy level is calculated to arbitrary order in the scattering length. Including the next order contact interaction, the correction due ... More

Holographic Gravitational AnomaliesAug 29 2005Sep 16 2005In the AdS/CFT correspondence one encounters theories that are not invariant under diffeomorphisms. In the boundary theory this is a gravitational anomaly, and can arise in 4k+2 dimensions. In the bulk, there can be gravitational Chern-Simons terms which ... More

Partition functions and elliptic genera from supergravityJul 20 2006We develop the spacetime aspects of the computation of partition functions for string/M-theory on AdS(3) xM. Subleading corrections to the semi-classical result are included systematically, laying the groundwork for comparison with CFT partition functions ... More

Boundary String Field Theory of the DDbar SystemDec 20 2000Jan 22 2001We develop the boundary string field theory approach to tachyon condensation on the DDbar system. Particular attention is paid to the gauge fields, which combine with the tachyons in a natural way. We derive the RR-couplings of the system and express ... More

The Force Singularity for Partially Immersed Parallel PlatesMar 23 2016In earlier work, we provided a general description of the forces of attraction and repulsion, encountered by two parallel vertical plates of infinite extent and of possibly differing materials, when partially immersed in an infinite liquid bath and subject ... More