نتایج جستجو برای: formalize them in modern modal and relevant logics

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

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

one of the most important goals for increasing recognition and treatment revenue is transmitting vital data to medical care team, more quickly. nowadays, use of new technologies for transmitting data will deploy more and more daily. in this article, for transmitting electrocardiogram, first we code the signal into a suite of codes, then we will use bluetooth technology to transmit data from off...

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

this study investigated the functions, types and frequencies of code switching in the teachers and students discourse in elt classrooms. to this end, the participants of this study including two groups of teachers and students were selected. the first group of participants were two efl teachers teaching general english courses (at two different levels of proficiency) in an institutional program...

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

based on the latest records of typhlops vermicularis merrem, 1820 from iran, this species is distributed in the northern and southern regions of the country. in this study, new records of typhlops vermicularis are presented and it is shown that distribution range of this species is extended towards the eastern and western iran, and according to the new distribution map, it can be assumed that t...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده زبانهای خارجی 1391

abstract: proverbs are of the language materials which of the food of any language depends on the quality and quantity of these same materials. in the present research, the researcher tried to present the ramsarian proverbs according to four variables of color, fruit, plantsand animals that selected from the book of the members of each of these four variables, put them into the spss system fo...

2006
Lutz Schröder Till Mossakowski

We extend the algebraic-coalgebraic specification language CoCasl by full coalgebraic modal logic based on predicate liftings for functors. This logic is more general than the modal logic previously used in CoCasl and supports the specification of a variety of modal logics, such as graded modal logic, majority logic, and probabilistic modal logic. CoCasl thus becomes a modern modal language tha...

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

abstract the current study sets out 1) to investigate the strategic needs of iranian efl learners in reading literary and non-literary texts; 2) to shed some light on the differences between reading literary and non-literary texts; and 3) to specify the differences in the interaction of participants with texts while reading two literary subgenres ( i.e., short story and literary essays). to ...

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

anxiety is one common disorder during childhood. in curing anxiety disorders, there are different types of psychological remedies, pharmotherapy, family therapy, and music therapy that can improve the individual’s anxiety, but we need some other remedies to improve social and emotional relationship and interactions. considering the importance of curing the anxiety disorders, the effect of sand ...

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

چکیده : آرای صادره از دادگاه ها علاوه بر شیوه های عادی از طریق فوق العاده نیز قابل اعتراض و رسیدگی مجدد هستند. در مواقعی که رای دادگاه مخل به حقوق ثالث باشد وی می تواند به ان اعتراض کند. قلمرو شمول اعتراض ثالث به تصمیمات قضایی که از آن به رای تعبیر شده محدود می گردد. ولی در مورد قرارها که به اعدادی و نهایی تفکیک می شوند، چون هیچ رویه ثابت و مشخصی در این زمینه در دادگاهها وجود نداشته و همچنین ا...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده ادبیات و زبانهای خارجی 1390

the present paper offers a postcolonial reading of two of the best novels by v. s. naipaul – half a life and the mimic men – in five chapters. the focus of this research is on different notions of postcolonial criticism and their application on the two novels as discussed from homi bhabha’s and frantz fanons points of view. having introduced the life and literary career of v. s. naipaul in th...

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

the aim of this study is investigating the effect of teaching “metacognitive strategies” on the way which scientific information retrieval workes by the using of google scholar searching machine on the students of ms in the psycology & education faculty of allameh tabatabayi university in 2007-2008 academic year. the statistical community was the students of ms in psychology & education facult...

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

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