نتایج جستجو برای: its totality is supported

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

1995
Kirsten Lackner Solberg Gasser

We extend the strictness and totality analysis of 12] by allowing conjunction at all levels rather than at the top-level. We prove the strictness and totality analysis correct with respect to a denotational semantics and nally construct an algorithm for inferring the strictness and totality properties .

Journal: :Electronic Notes in Theoretical Computer Science 2000

Journal: :Phenomenological Reviews 2016

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

abstract this study examines the relationship between reading anxiety and difficulty of texts as well as the relationship between reading anxiety and students perceived difficulty of the texts. since difficulty is a relative concept, i limited its definition by sticking to the readability formula. we also took students perceived difficulty levels into account. therefore, in the present study, ...

1998
Antonio Bucciarelli Ivano Salvo

1 I n t r o d u c t i o n Adding parallel constants to a p rog ramming language strict ly increase the expressive power of the language, in general. For instance, extending Scot t ' s P C F with parallel-or, one can define any finite continuous funct ion [7]. However, it is an open problem whether parallelism adds expressive power, if we restrict our attent ion to total functions. Total i ty is...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم پایه 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...

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

From Quran’s perspective, the universe and human system has been interpreted as “the best”. However, in Quranic teachings we are encountered with some concepts such as human “impatience”. Impatience means to be greedy and anxious. “Impatience” is the fact that human shows restlessness when he becomes poor, and when being in a state of wealth, he denies it from others. Regarding blaming or prais...

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

abstract: country’s fiber optic network, as one of the most important communication infrastructures, is of high importance; therefore, ensuring security of the network and its data is essential. no remarkable research has been done on assessing security of the country’s fiber optic network. besides, according to an official statistics released by ertebatat zirsakht company, unwanted disconnec...

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

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