نتایج جستجو برای: pseudo typing
تعداد نتایج: 71527 فیلتر نتایج به سال:
In this paper, we study the theory of pseudo knots, which are knots with some missing crossing information, and introduce tied links knotoids. particular, first present a braiding algorithm for then L-moves in that setting, use formulate sharpened version analogue Markov theorem braids. Then, links, generalize notion exploit relation between singular links. We an L-move braid equivalence monoid...
Background and Aim: Staphylococcus aureus pseudintermedius are widespread skin mucous membrane colonizers may cause opportunistic infections in humans animals. This study aimed to identify characterize methicillin-resistant S. (MRSA) (MRSP) isolates from domestic stray dogs cats pet owners Malaysia using molecular epidemiology antimicrobial profiling. Materials Methods: Three hundred fifty oral...
چکیده: به منظور بررسی روند، میزان و موقعیت تخریب گستره جنگل در یک دوره 50 ساله تحقیقی در قسمتی از جنگل های کاکارضای شهرستان خرم آباد با مساحت 65/5090 هکتار انجام گرفت. برای مدلسازی احتمال تخریب و کاهش گستره جنگل با عوامل فیزیوگرافی شامل شیب، ارتفاع و جهت دامنه و متغیرهای اقتصادی- اجتماعی شامل درصد باسوادی، میزان جمعیت، نوع معیشت، و فاصله از جاده، رودخانه، روستا، مناطق جنگلی و غیرجنگلی از رگرسی...
We present two type systems for graph rewriting: conventional typing and (polymorphic) uniqueness typing. The latter is introduced as a natural extension of simple algebraic and higher-order uniqueness typing. The systems are given in natural deduction style using an inductive syntax of graph denotations with familiar constructs such as let and case. The conventional system resembles traditiona...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید