CLAIRE: Combining Sets, Search And Rules To Better Express Algorithms
This paper presents a programming language which includes paradigms that are usually associated with declarative languages, such as sets, rules
arxiv.orgrank this link
Refine results · kind
Express
113 indexed results
Does Standard Cosmology Express Cosmological Principle Faithfully?
In 1+1 dimensional case, Einstein equation cannot give us any information on the evolution of the universe because the Einstein
arxiv.orgrank this link
Mechanizing Coinduction and Corecursion in Higher-order Logic
A theory of recursive and corecursive definitions has been developed in higher-order logic (HOL) and mechanized using Isabelle. Least fixedpoints
arxiv.orgrank this link
A Consistency-Based Model for Belief Change: Preliminary Report
We present a general, consistency-based framework for belief change. Informally, in revising K by A, we begin with A and
arxiv.orgrank this link
Coupling of Gravitation and Electromagnetism in the Weak Field Approximation
Using the weak field approximation, we can express the theory of general relativity in a Maxwell-type structure comparable to electromagnetism.
arxiv.orgrank this link
CP Violation and Rare Decays of K and B Mesons
These lectures describe CP violation and rare decays of K and B mesons and consist of ten chapters: i) Grand
arxiv.orgrank this link
Parametric Connectives in Disjunctive Logic Programming
Disjunctive Logic Programming (\DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). \DLP is very expressive in a
arxiv.orgrank this link
A CHR-based Implementation of Known Arc-Consistency
In classical CLP(FD) systems, domains of variables are completely known at the beginning of the constraint propagation process. However, in
arxiv.orgrank this link
A Clifford Dyadic Superfield from Bilateral Interactions of Geometric Multispin Dirac Theory
Multivector quantum mechanics utilizes wavefunctions which are Clifford aggregates (e.g. sum of scalar, vector, bivector). This is equivalent to multi-
arxiv.orgrank this link
A comment on the Outgoing Radiation Condition and the Peeling Theorem
The connection between the Bondi-Sachs (BS) and the Newman-Penrose (NP) framework for the study of the asymptotics of the gravitational
arxiv.orgrank this link
A Flexible Thread Scheduler for Hierarchical Multiprocessor Machines
With the current trend of multiprocessor machines towards more and more hierarchical architectures, exploiting the full computational power requires careful
arxiv.orgrank this link
A Galois correspondence for II_1 factors and quantum groupoids
We establish a Galois correspondence for finite quantum groupoid actions on II_1 factors and show that every finite index and
arxiv.orgrank this link
Aharonov-Bohm and Coulomb Scattering Near the Forward Direction
The exact wave functions that describe scattering of a charged particle by a confined magnetic field (Aharonov-Bohm effect) and by
arxiv.orgrank this link
An attempt to construct pion distribution amplitude from the PCAC relation in the nonlocal chiral quark model
Using the PCAC relation, we derive a compact formula for the pion decay constant $F_π$ in the nonlocal chiral quark
arxiv.orgrank this link
A new field-theoretical formulation for the motion of an electron in a quenched disorder potential
Following a proposal by Aronov and Ioselevich, we express the Green functions (GF) of a noninteracting disordered Fermi system as
arxiv.orgrank this link
A New Mean-Field Theory of the Kondo Resonance at Finite Bias
We introduce a new slave-boson mean-field treatment of the Kondo effect in a quantum dot attached to the leads, when
arxiv.orgrank this link
Angular and Linear Momentum in General Relativity: Their Geometric Structure and Interrelation
Generalized definitions for angular and linear momentum are given and shown to reduce to the ADM (at spatial infinity) definitions
arxiv.orgrank this link
A Perturbative Improvement of the Hierarchical Approximation
We propose a perturbative improvement of the hierarchical approximation for gaussian models. The procedure is based on a relabeling of
arxiv.orgrank this link
Application of Tomita-Takesaki theory in algebraic euclidean field theories
The construction of the known interacting quantum field theory models is mostly based on euclidean techniques. The expectation values of
arxiv.orgrank this link
A Simple Formulation of the Fast Multipole Method: Pseudo-Particle Multipole Method
We present the pseudo-particle multipole method (P2M2), a new method to handle multipole expansion in fast multipole method and treecode.
arxiv.orgrank this link
Attractors and the Holomorphic Anomaly
Motivated by the recently proposed connection between N=2 BPS black holes and topological strings, I study the attractor equations and
arxiv.orgrank this link
Bloch function description of a Bose-Einstein condensate in a finite optical lattice
We consider stationary and propagating solutions for a Bose-Einstein condensate in a periodic optical potential with an additional confining optical
arxiv.orgrank this link
cc-Golog: Towards More Realistic Logic-Based Robot Controllers
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the
arxiv.orgrank this link
Coherent stochastic resonance in one dimensional diffusion with one reflecting and one absorbing boundaries
It is shown that the single-step periodic signal (periodic telegraph signal) can not produce coherent stochastic resonance for diffusion on
arxiv.orgrank this link