نتایج جستجو برای: μ
تعداد نتایج: 27893 فیلتر نتایج به سال:
We show that for many pairs of infinite cardinals κ > μ+ > μ, (κ+, κ) (μ+, μ) is consistent relative to the consistency of a supercompact cardinal. We also show that it is consistent, relative to a huge cardinal that (κ+, κ) (μ+, μ) for every successor cardinal κ and every μ < κ, answering a question of Foreman.
We consider the spectral problem generated by the Sturm-Liouville equation with an arbitrary complex-valued potential q(x) ∈ L2(0, π) and irregular boundary conditions. We establish necessary and sufficient conditions for a set of complex numbers to be the spectrum of such an operator. In the present paper, we consider the eigenvalue problem for the SturmLiouvulle equation u − q(x)u + λu = 0 (1...
For the first time a single trapped antiproton (p) is used to measure the p magnetic moment μ(p). The moment μ(p)=μ(p)S/(ℏ/2) is given in terms of its spin S and the nuclear magneton (μ(N)) by μ(p)/μ(N)=-2.792 845±0.000 012. The 4.4 parts per million (ppm) uncertainty is 680 times smaller than previously realized. Comparing to the proton moment measured using the same method and trap electrodes...
In the minimal standard model (SM) with mν = 0, the 3 lepton numbers Le, Lμ, and Lτ are separately conserved. However, given the present neutrino-oscillation data, which imply that neutrinos have mass and mix with one another, the only conserved lepton number is L = Le+Lμ+Lτ if mν is Dirac, and (−1)L if mν is Majorana. As a result, lepton flavor violation must occur in τ decays, which may be cl...
In this article we prove the validity of the Dellman Optimality Equa tion a.nd related results for sequential decision problems with a general recursive structure. The characteristic feature of our approach is that also non-Markovian policies are taken into account. The theory is moti vated by some experiments with a learning robot.
Two of the most promising approaches to fighting the state explosion problem are abstraction and compositional verification. In this work we join their forces to obtain a novel fully automatic compositional technique that can determine the truth value of the full μ-calculus with respect to a given system. Given a system M = M1||M2, we view each component Mi as an abstraction Mi↑ of the global s...
Humans can use recursive combination operation in various behaviors; other primates, however, rarely perform this operation. In our previous research, using an evolutionary simulation of combination behavior, we showed that recursive combination was more adaptive than repetitive combination in cases where the robustness of production or the diversity of products was required. In this research, ...
In this paper, a possible worlds framework for representing general belief change operators is presented. In common with many approaches, an agent’s set of beliefs are specified by a subset of the set of possible worlds. The central intuition is that there is a distance given between every pair of possible worlds, giving the similarity of one world to another; the set of worlds together with th...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید