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

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

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

the current study aimed at investigating the relationship between motivation and test preparation strategies (tpss) used by iranian pre-university students in their preparation period for the university entrance exam (uee). due to the importance of uee in iran, this study also attempted to show its impact on these two important variables. to this end, 100 pre-university students in an iranian p...

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

bekenstein and hawking by introducing temperature and every black hole has entropy and using the first law of thermodynamic for black holes showed that this entropy changes with the event horizon surface. bekenstein and hawking entropy equation is valid for the black holes obeying einstein general relativity theory. however, from one side einstein relativity in some cases fails to explain expe...

ژورنال: پژوهشنامه اخلاق 2012

The efficacies of hadith in Islamic ethics is concerned with the authenticity and inauthenticity of ethical hadiths. The authenticity of ethical ahadith is deeply connected to the problem of tolerance in the proofs of sunan which has led to the two views of tolerance and intolerance. In this paper, it has been argued that ethics and jurisprudence are two distinct fields and one can not agree wi...

Journal: :Fractal and fractional 2023

We obtain existence and uniqueness results for the solutions of a system Caputo fractional differential equations which contain sequential derivatives, integral terms, two positive parameters, supplemented with general coupled Riemann–Stieltjes boundary conditions. The proofs our are based on Banach fixed point theorem Leray–Schauder alternative.

Journal: :Siam Journal on Mathematical Analysis 2022

The weak-strong uniqueness for Maxwell--Stefan systems and some generalized is proved. corresponding parabolic cross-diffusion equations are considered in a bounded domain with no-flux boundary conditions. key points of the proofs various inequalities relative entropy associated analysis spectrum quadratic form capturing frictional dissipation. latter task complicated by singular nature diffusi...

2013
Nicolai Kraus Martín Hötzel Escardó Thierry Coquand Thorsten Altenkirch

As the groupoid interpretation by Hofmann and Streicher shows, uniqueness of identity proofs (UIP) is not provable. Generalizing a theorem by Hedberg, we give new characterizations of types that satisfy UIP. It turns out to be natural in this context to consider constant endofunctions. For such a function, we can look at the type of its fixed points. We show that this type has at most one eleme...

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

language learning courseware has been receiving growing attention by english educators since its advent. a variety of softwares have been designed by software designers and resorted to by language educators to supplement language textbooks. this experimental study investigated how the application of computerized version of language textbooks and the reception of the entire course through comput...

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

abstract nowadaysphotovoltaic solar cells (pvs) areacknowledged the fastest growing energy technology in the word, however, they only account for only fraction of current global renewable energy capacity. it isrecognized that this incomplete market penetration has been largely a result of the technology’sexcessive cost. so researchers are trying to find innovative, economic way with theaim of ...

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

in this study reference as one of the five cohesive devices in the achievement of textuality in english and persian narrative/descripitive written texts is focused on and analysed . to do so , the theoretical framework elaborated by halliday and hasan (1976) and its version adapted by the writer to match the sub-types of reference in farsi are applied to the analysis of reference in english and...

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

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