نتایج جستجو برای: the proofs supporting its uniqueness

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه یزد - دانشکده علوم اجتماعی 1392

this study aims to investigate value conflicts between mothers and their daughters among families and influential factors on this conflict in yazd city. this study adopted a survey method and a questionnaire was used that its validity through construct validity (factor analysis) and its reliability by cronbach alpha were measured. the population of this study consists of all yazdian families th...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه امام رضا علیه السلام - دانشکده زبانهای خارجی 1391

abstract this study tried to investigate whether there was any significant relationship between technical translation quality of the senior english translation students and their levels of verbal-linguistic, visual-spatial and interpersonal intelligences. in order to investigate the research questions, the researcher selected a hundred senior english translation students from three universitie...

Journal: :Electr. Notes Theor. Comput. Sci. 1995
Erik Barendsen Sjaak Smetsers

2003
Tobias Wrigstad Dave Clarke

External uniqueness is a novel form of unique pointers that fit more natural with object-oriented programming. External uniqueness enforces the structural property that a unique pointer is a dominating node to the aggregate it references—there may be no other pointer from outside the aggregate to objects in it in the rest of the system. This paper completes previous work by the authors (Clarke ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی (نوشیروانی) بابل - دانشکده مهندسی مکانیک 1389

due to the limiting workspace of parallel manipulator and regarding to finding the trajectory planning of singularity free at workspace is difficult, so finding a best solution that can develop a technique to determine the singularity-free zones in the workspace of parallel manipulators is highly important. in this thesis a simple and new technique are presented to determine the maximal singula...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 1381

deposite the different criticisms on contrastive analysis it has been proved that the results of it(when processed)can be usuful in a tefl environment,specially at the level of phonology.this study is an attempt to compare and contrast the sound systems of kurdish and english for pedagogical aims. the consonants,vowels,stress and intonation of the twolanguages are described by the same model-ta...

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده ادبیات و علوم انسانی 1393

abstract target-oriented approaches to translation studies are regarded as recent theories of translation. one of the most famous theories among these approaches is descriptive translation studies presented by toury (1995). this theory gives a new dimension to translation studies and gives importance to the descriptive rather than prescriptive studies. it also identifies three sets of transla...

2008

A minimal formula of a given logic L is a formula which is provable in L and is not a non-trivial substitution instance of other provable formulas in L. In [5], Y. Komori asked whether normal proofs of minimal formulas are unique in the implicational fragments of natural deduction systems for the intuitionistic logic and the logic BCK. It was already shown that the answer is positive for BCK, w...

Journal: :J. Computational Applied Mathematics 2012
Philip Korman Yi Li

For the problem (here u = u(x)) ∆u− u + αu + βu = 0, x ∈ R, lim |x|→∞ u(x) = 0 , with constants 1 ≤ p < q < r < n+2 n−2 , and α, β > 0, uniqueness of radial solution (called ground state solution) is not known. We present a procedure, which opens the way to produce computer assisted proofs of uniqueness for specific p, q, r, and n.

2014
Guanghui Hu Xiaodong Liu

In this paper, we prove uniqueness in determining a sound-soft ball or polyhedral scatterer in the inverse acoustic scattering problem with a single incident point source wave in RN (N = 2, 3). Our proofs rely on the reflection principle for the Helmholtz equation with respect to a Dirichlet hyperplane or sphere, which is essentially a ’point-to-point’ extension formula. The method has been ada...

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

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