نتایج جستجو برای: z3 06 percent
تعداد نتایج: 122112 فیلتر نتایج به سال:
Two frequently used parametric statistics of person-fit with the dichotomous Rasch model (RM) are adjusted and compared to each other and to their original counterparts in terms of power to detect aberrant response patterns in short tests (10, 20, and 30 items). Specifically, the cube root transformation of the mean square for the unweighted person-fit statistic, t, and the standardized likelih...
A graph G is k-triangular if each edge of G is in at least k triangles. It is conjectured that every 4-edge-connected 1-triangular graph admits a nowhere-zero Z3-flow. However, it has been proved that not all such graphs are Z3-connected. In this paper, we show that every 4-edge-connected 2-triangular graph is Z3-connected. The result is best possible. This result provides evidence to support t...
Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) solver available from Microsoft Research. It is used as a logic engine in several program analysis, test-generation and verification systems. Z3 exposes a number of APIs for these applications, but is in itself a low-level tool. We discuss the design trade-offs we have faced and different ways we lower the barrier of entry to use Z3....
By means of thin-layer chromatography (TLC), electroantennogram (EAG), gas chromatography (GC), gas chromatography-mass spectrometry (GC-MS) and field tests, (Z)-3-tetradecenyl acetate(Z3-14:Ac), (E)-3-tetradecen-1-ol(E3-14:OH), and (Z)-3-tetradecen-1-ol(Z3-14:OH) at a ratio of 51:39:10 were identified from the female sex pheromone gland extracts of the carpenterworm, Holcocerus insularis Staud...
Our main purpose is to classify the finite dimensional central simple associative division Z3-algebras over a field K of characteristic 0, and then study the existence of Z3-involutions on Z3-algebra A = Mp+q+p(D), where D is a central division algebra over a field K of characteristic 0 and p, q > 0. Mathematics Subject Classification (2000): 16W10
It is presented an analysis on lepton flavour violating transitions, leptonic magnetic dipole moments and electric dipole moments in a class of models characterized by the flavour symmetry A4 × Z3 × U(1)FN , whose choice is motivated by the approximate Tri-Bimaximal mixing observed in neutrino oscillations. A low-energy effective Lagrangian is constructed, where these effects are dominated by d...
An integer-valued sequence π = (d1, . . . , dn) is graphic if there is a simple graph G with degree sequence of π . We say the π has a realization G. Let Z3 be a cyclic group of order three. A graph G is Z3-connected if for every mapping b : V (G) → Z3 such that v∈V (G) b(v) = 0, there is an orientation of G and amapping f : E(G) → Z3−{0} such that for each vertex v ∈ V (G), the sum of the va...
We conducted trapping experiments for the emerald ash borer, Agrilus planipennis Fairmaire (Coleoptera: Buprestidae) in Michigan, U.S.A., and Ontario, Canada, to compare unbaited light green sticky prism traps with traps baited with phoebe oil, (Z)-3-hexenol (Z3-6:OH), or blends of other green leaf volatiles (GLVs) with Z3-6:OH. Traps were placed in the lower canopy of ash trees (Fraxinus spp.)...
We construct three-family supersymmetric GUT models from heterotic string. We investigate compactifications on non-factorizable torus defined by E6 root lattice, which admits automorphism of Z3 × Z3. Interestingly some of the twisted sectors from the Z3 × Z3 orbifold on E6 root lattice have just three fixed tori respectively, and generate three degenerate massless states. We assume only non-sta...
We classify N = 1 orbifolds on the E6 root lattice and investigate explicit model constructions on the Z3×Z3 orbifold in heterotic string theory. Interestingly some of the twisted sectors from the Z3×Z3 orbifold on the E6 root lattice have just three fixed tori respectively, and generate three degenerate massless states. We also found three point functions with flavor mixing terms. We assume on...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید