نتایج جستجو برای: count normalization

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

1999
Antonio Bucciarelli Silvia De Lorenzis Adolfo Piperno Ivano Salvo

This paper presents a new method for comparing computational properties of λ-terms typeable with intersection types with respect to terms typeable with Curry types. In particular, strong normalization and λ-definability are investigated. A translation is introduced from intersection typing derivations to Curry typeable terms; the main feature of the proposed technique is that the translation is...

متن کامل
ژورنال: Anatomical Sciences Journal 2010
FaghaniLangroudi, Masoumeh, Mohammad Ghasemi, Fahimeh, Falah Karkan , Morteza,

Purpose: The aim of this study was to investigate the protective effect of melatonin on sperm parameters, epididymis and seminal vesicle morphology in adult mouse under chemotherapy. Materials and Methods: Male adult NMRI mice were divided into four groups. The control group received a single dose of DMSO, Group 2 received a single dose of busulfan 20mg/kg. Group 3 was administered melatonin 10...

متن کامل
Journal: :Information Processing & Management 1996

متن کامل
Journal: :Econometric Reviews 2007

متن کامل
Journal: :Biostatistics 2017

متن کامل
Journal: :Journal of Symbolic Logic 2003

متن کامل
Journal: :Symmetry 2019

متن کامل
Journal: :Journal of Algebra 2006

متن کامل
Journal: :Journal of Symbolic Computation 2010

متن کامل
Journal: :Behavior Research Methods 2016

متن کامل

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

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