نتایج جستجو برای: pseudo typing

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

Journal: :Mediterranean Journal of Mathematics 2021

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...

Journal: :Veterinary World 2023

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...

Journal: :Mathematical and Computer Modelling 1992

Journal: :Logical Methods in Computer Science 2017

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

چکیده: به منظور بررسی روند، میزان و موقعیت تخریب گستره جنگل در یک دوره 50 ساله تحقیقی در قسمتی از جنگل های کاکارضای شهرستان خرم آباد با مساحت 65/5090 هکتار انجام گرفت. برای مدلسازی احتمال تخریب و کاهش گستره جنگل با عوامل فیزیوگرافی شامل شیب، ارتفاع و جهت دامنه و متغیرهای اقتصادی- اجتماعی شامل درصد باسوادی، میزان جمعیت، نوع معیشت، و فاصله از جاده، رودخانه، روستا، مناطق جنگلی و غیرجنگلی از رگرسی...

1995
Erik Barendsen Sjaak Smetsers

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...

Journal: :British Journal of Haematology 2015

Journal: :ACM Transactions on Programming Languages and Systems 2010

Journal: :Software & Systems Modeling 2007

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

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