نتایج جستجو برای: first top
تعداد نتایج: 1541463 فیلتر نتایج به سال:
Background and purpose: Gastrointestinal symptoms along with respiratory symptoms recorded in patients with Covid-19 indicate the role of microbiota in this disease. The purpose of this scientometric study was to assess the articles published on the relationship between microbiota and Covid-19 in order to control the pandemic by reaching new strategies. Materials and methods: Relevant articl...
در بخش نظری این پایان نامه، سهم کوارک نوع پائین از کوارکهای نسل چهارم (b?)، در ممان دوقطبی الکتریکی کوارک top، تنها با در نظر گرفتن نمودارهای تک حلقه مطالعه شده است. با استفاده از قیود شناخته شده بر روی ممان دو قطبی الکتریکی کوارک top، حدی بر روی جرم کوارک b? گذاشته شده است. سپس با استفاده از نسبت جرم های کوارک های نسل چهارم که از سایر مطالعات بدست آمده، و همچنین قید به دست آمده بر روی mb? ناشی...
این پژوهش سعی بر آن داشت تا سه کتاب رایج آموزش زبان انگلیسی در موسسات اصفهان را مورد ارزیابی قرار دهد. به این منظور، ابتدا پیمایشی انجام شد که نشان داد سه کتاب four corners،top notchو interchange بیشتر از دیگرکتابهای موجود در بازار مورد استقبال و استفاده این موسسات قرار گرفته اند. پس از انتخاب کتابها برای ارزیابی، این پژوهش در دو مرحله انجام گرفت. در مرحله اول، برای تعیین ملاک های ارزیابی سه کت...
در این رساله به مطالعه ی رفتار گروه های هموتوپی شبه توپولوژیکی فضاهای حدمعکوس می پردازیم. به طور دقیق تر شرایطی را ارائه خواهیم داد که تحت این شرایط گروه های هموتوپی فضاهای حد معکوس و به طور خاص تر فضاهای حاصلضرب، گروه توپولوژیکی شوند. همچنین شرایطی را برای شمارایی گروه های هموتوپی ارائه خواهیم داد. یک توپولوژی روی گروه های هموتوپی شکل قرار خواهیم داد که آن را با ? ?_k^top (x,x) نشان می ده...
Working within a semantic framework for sequent calculi developed in [3], we propose a couple of extensions to the concepts of correct answers and correct resultants which can be applied to the full first order logic. With respect to previous proposals, this is based on proof theory rather than model theory. We motivate our choice with several examples and we show how to use correct answers to ...
In automated reasoning it is common that first-order formulas need to be translated into clausal normal form for proof search. The structure of this normal form can have a large impact on the performance of first-order theorem provers, influencing whether a proof can be found and how quickly. It is common folklore that transformations should ideally minimise both the size of the generated claus...
Fallbasiertes Schlie§en (case-based reasoning; CBR) hat Ð gegenber anderen Methoden Ð den Vorteil der inhrenten Kombination von Problemlsen und kontinuierlichem Lernen aus Erfahrung. Diese Kombination ist ein au§erordentlich interessantes Thema, zu dem gengend Erfahrung vorliegt, um es systematisch zu untersuchen. Hierzu haben wir begonnen, ein Instrumentarium (framework) zur Analyse von CB...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید