نتایج جستجو برای: mu verification
تعداد نتایج: 95679 فیلتر نتایج به سال:
Preparations of murine recombinant interferon (Mu-rIFN)-alpha, -beta and -gamma were assessed for their influence on in vitro growth of mast cells from normal mouse spleen cells (Sp C). Mast cell growth was inhibited by Mu-rIFNs when Sp C were exposed throughout the entire culture period to Mu-rIFNs. The most potent inhibitor of mast cell growth was Mu-rIFN-gamma, followed by Mu-rIFN-beta; Mu-r...
Treatment of Ca or Sr metal with Hg(C(6)F(5))(2) and 2,4,6-trimethylphenol (HOmes) in 1,2-dimethoxyethane (dme) at room temperature resulted in C-F bond activation, giving rise to the unique fluoro(aryloxo)alkaline earth cages [Ca(5)(mu(4)-F)(mu(3)-F)(4)(mu-Omes)(4)(Omes)(dme)(4)] 1 and [Sr(10)(mu(4)-F)(4)(mu(3)-F)(4)(mu-Omes)(12)(dme)(4)] 2, which can be viewed as arrested fluorite structures.
(ii) (Lazard’s Theorem) L is the polynomial algebra Z[x1, x2, ...]. We proved Lazard’s theorem last semester. We also proved that MU∗ is isomorphic to Z[x1, x2, ...], so MU∗ and L are both polynomial algebras with generators in even degrees (positive even degrees in MU∗, and negative even degrees in L). The usual complex orientation on MU gives rise to a formal group law, and thus we have a hom...
One of the outstanding problems in physics is that of "explaining" the quark masses and mixings. The standard electroweak model, in spite of its dazzling empirical successes, provides only a partial solution to this problem by predicting that the quark mixing matrix is unitary. However, the values of the mixing parameters or the quark masses cannot be predicted. For example, if there are three ...
During social interactions, there is a tendency for people to mimic the gestures and mannerisms of others, which increases liking and rapport. Psychologists have extensively studied the antecedents and consequences of mimicry at the social level, but the neural basis of this behavior remains unclear. Many researchers have speculated that mimicry is related to activity in the human mirror system...
Two experimental investigations were made in order to reduce background counts in neutron detectors. Each investigation relied upon the fact that neutron background is largely due to cosmic ray interactions with the air and ground. The first attempt was to look at neutron arrival times. Neutron events close in time were taken to have been of a common origin due to cosmic rays. The second invest...
We report results of a search for oscillations involving a light sterile neutrino over distances of 1.04 and 735 km in a ν_{μ}-dominated beam with a peak energy of 3 GeV. The data, from an exposure of 10.56×10^{20} protons on target, are analyzed using a phenomenological model with one sterile neutrino. We constrain the mixing parameters θ_{24} and Δm_{41}^{2} and set limits on parameters of th...
In this paper, we define a new realizability semantics for the simply typed λμ-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability semantics using a particular term model. This paper corrects some errors in [21] by the first author and Saber.
An evaluation of the capabilities of a commercially available camera-based electronic portal imaging system for intensity-modulated radiotherapy verification is presented. Two modifications to the system are demonstrated which use a novel method to tag each image acquired with the delivered dose measured by the linac monitor chamber and reduce optical cross-talk in the imager. A detailed perfor...
Among the approximation methods for the verification of counter systems, one of them consists in model-checking their flat unfoldings. Unfortunately, the complexity characterization of model-checking problems for such operational models is not always well studied except for reachability queries or for Past LTL. In this paper, we characterize the complexity of model-checking problems on flat cou...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید