نتایج جستجو برای: z3 06 percent

تعداد نتایج: 122112  

Journal: :Journal of applied measurement 2006
Dimiter M Dimitrov Richard M Smith

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...

Journal: :Eur. J. Comb. 2012
Xinmin Hou Hong-Jian Lai Mingquan Zhan Taoye Zhang Ju Zhou

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...

2010
Nikolaj Bjørner

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....

Journal: :Zeitschrift fur Naturforschung. C, Journal of biosciences 2001
Z Jintong H Yan M Xianzuo

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...

2010
Ameer Jaber AMEER JABER

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

2009
Luca Merlo

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...

Journal: :Discrete Mathematics 2014
Fan Yang Xiangwen Li Hong-Jian Lai

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...

Journal: :Journal of economic entomology 2011
Gary G Grant Therese M Poland Tina Ciaramitaro D Barry Lyons Gene C Jones

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.)...

2009
Kei-Jiro Takahashi

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...

2008
Kei-Jiro Takahashi

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید