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
59 indexed results
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the
Recent controversy about the space group of the low temperature superlattice phase of Pb(Zr0.52Ti0.48)O3 is settled. It is shown that
We speculate on a possible interpretation of events selected by the SELEX collaboration and stress an insufficient evidence for the
The two-phase (space groups $Cc$ and $Cm$) structural model recently proposed for the modeling of the neutron powder diffaction pattern
A method for detecting the transition numu->nutau in long-baseline accelerator experiments, that consists in comparing the far-to-near ratios of the
This thesis consists of two parts. In the first part heavy quark production in neutral current and charged current DIS
The two-particle hadronic decays of B_c meson into S-wave and P-wave charmonium states X_cc are considered in the framework of
In this paper we pursue a consistent leptoquark interpretation for HERA anomalies in the framework of Technicolor. We find that:
We describe WSAT(cc), a local-search solver for computing models of theories in the language of propositional logic extended by cardinality
We use the thread model for linear chains of interacting monomers, and the ``polymer reference interaction site model'' (PRISM) formalism
We have developed systems of two types for NTCIR2. One is an enhenced version of the system we developed for
The SELEX experiment (E781) at Fermilab has candidates for high mass states decaying to Lambda_c+ K- pi+ and Lambda_c+ K-
We extend the analysis of weak decays of heavy hadrons to the case of doubly charmed baryons, Ξ_{cc}^{++}, Ξ_{cc}^{+} and
In this paper we study the physics potential of the KamLAND detector in probing neutrino oscillation parameters through observation of
The CHORUS experiment was designed to search for $ν_μ\to ν_τ$ oscillation by detecting the decay topology of the $τ$ in
High-Q^2 NC and CC DIS cross sections have been measured by H1 and ZEUS at HERA. Both NC and CC
We study all possible $U(1)$-extensions of the standard model (SM) in the framework of noncommutative geometry (NCG) with the algebra
Single and double differential cross sections ds/dQ^2, ds/dx, ds/dy and d^2s/dQ^2dx of the inclusive neutral current (NC) measurement from the
With excellent angular resolution, good energy resolution and broad energy band, the Chandra ACIS is the best instrument for studying
A natural theoretical framework is presented which allows for small departures from quark-lepton universality such that different G_F and sin^2(theta_W)
It is shown that in the framework of GIM model,the parity-violating (PV) $Σ^{+}(uus) \Rightarrow p(uud) + γ$ decay amplitude does
The computational complexity of internal diffusion-limited aggregation (DLA) is examined from both a theoretical and a practical point of view.
Including the effects of the ${\cal{O}}(\gtrsim 1 {\rm GeV})$ masses of the charm quark, $τ$ lepton and target nucleon in
The distribution function of relaxation times in disordered dielectrics has been calculated in the random field theory framework. For this