نتایج جستجو برای: quantification

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

Journal: :JDIM 2013
Li Zhang Weixi Zhang

This paper discussed how to use computer to directly transfer the simulative low pass prototype design to all kinds of needed principles and design methods. This method’s advantage is that it is very direct, and universal. So, this method is simple, convenient, practical and fast.

2004
Pekka K. Sinervo

Systematic uncertainties in high energy physics and astrophysics are often significant contributions to the overall uncertainty in a measurement, in many cases being comparable to the statistical uncertainties. However, consistent definition and practice is elusive, as there are few formal definitions and there exists significant ambiguity in what is defined as a systematic and statistical unce...

Journal: :Formalized Mathematics 2009
Michal Trybulec

For simplicity, we adopt the following convention: x, y, X denote sets, E denotes a non empty set, e denotes an element of E, u, u1, v, v1, v2, w denote elements of Eω, F denotes a subset of Eω, i, k, l denote natural numbers, T denotes a non empty transition-system over F , and S, T denote subsets of T. One can prove the following propositions: (1) If i ≥ k + l, then i ≥ k. (2) For all finite ...

2008
IAN KIMING

Lemma 1. Let k be a field and let (a, b, c), (α, β, γ) ∈ P(k) be distinct points. Then there is a unique line through these points, and it is given by the equation: ∣∣∣∣∣ x y z a b c α β γ ∣∣∣∣∣ = 0 . Two lines given by equations ux+ vy+wz = 0 and u′x+ v′y+w′z = 0 coincide if and only if the points (u, v, w) and (u′, v′, w′) coincide as points in P(k). Two distinct lines in P(k) intersect in pr...

Journal: :J. Semantics 2009
Nina Gierasimczuk Jakub Szymanik

We discuss the thesis formulated by Hintikka (1973) that certain natural language sentences require non-linear quantification to express their meaning. We investigate sentences with combinations of quantifiers similar to Hintikka’s examples and propose a novel alternative reading expressible by linear formulae. This interpretation is based on linguistic and logical observations. We report on ou...

Gh. Haeri, H. Rajabi, Sh. Akhlaghpoor,

Background: Finding a suitable method for rapid, accurate and reliable estimation of absorbed dose has high priority in management of the radiation exposed persons. Shortly after radiation exposure, apoptosis is a major detriment in proliferative tissues such as the hematopoietic system. Therefore, quantification of apoptosis in these tissues could be useful for rapid estimation of radiation ex...

Journal: :European Radiology 1999

Journal: :Eur. J. Comb. 2009
Jacob Fox János Pach

Let r be a fixed positive integer. It is shown that, given any partial orders >1, . . ., >r on the same n-element set P , there exist disjoint subsets A,B ⊂ P , each with at least n1−o(1) elements, such that one of the following two conditions is satisfied: (1) there is an i (1 ≤ i ≤ r) such that every element of A is larger than any element of B in the partial order >i, or (2) no element of A ...

2008
Virendra Gupta

If the unitary quarkmixing matrix, V , is moduli symmetric then it depends on three real parameters. This means that there is a relation between the four parameters needed to parametrize a general V . It is shown that there exists a very simple relation involving |V11|, |V33|, ρ and η. This relation is compared with the present experimental data. It is concluded that a moduli symmetric V is not...

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

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