نتایج جستجو برای: pseudo typing
تعداد نتایج: 71527 فیلتر نتایج به سال:
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of shape Γ ` A : B, our systems just have judgments of shape A : B. A key feature is that we distinguish free and bound variables even in pseudo-terms. Specifically we give the rules of the ‘Pure Type System’ class of type theories in this style. We prove that the typing judgm...
the aim of this paper is to generalize thenotion of pseudo-almost valuation domains to arbitrary commutative rings. it is shown that the classes of chained rings and pseudo-valuation rings are properly contained in the class of pseudo-almost valuation rings; also the class of pseudo-almost valuation rings is properly contained in the class of quasi-local rings with linearly ordere...
in this paper, some results of the chebyshev type integral inequality for the pseudo-integral are proven. the obtained results, are related to the measure of a level set of the maximum and the sum of two non-negative integrable functions. finally, we applied our results to the case of comonotone functions.
ABSTRACT Typing of bacteria is an important part of epidemiological studies on nosocomial infections. Bacterial identification methods have dramatically improved in recent years, which is mainly due to advancements in the field of molecular biotechnology. In many cases, molecular techniques have replaced phenotypic typing methods. Currently, a wide r...
abstract: the present thesis includes ; one preface and 11speeches , that each speech considered in different researches . the prefact part , studied grammer back ground , the first speech considered a brief description about grammatical credits . the second speech considered the different typs of sentences , from structure and meaning points of view . the third speech considered the verb es...
Abstract Background and Objective: A high level of homogeneity observed within all bacteria in the Mycobacterium tuberculosis complex makes a property that seriously challenges traditional biochemical-based identification methods of these pathogens in the laboratory. The work presented here was conducted to characterize Mycobacterium tuberculosis complex isolates in Golestan, Northern Iran. ...
background: fusobacterium necrophorum as a non-spore-forming gram-negative anaerobic bacillus is an important human and animal pathogen. it may cause severe systemic infections (lemierre's syndrome) and some other infections. the aim of this study was to subtype fusobacterium necrophorum by using pcr methods. materials and methods: twenty five strains of fusobacterium necrophorum subspecies fun...
background and purpose: by using advanced detection/identification methods, the list of emerging uncommon opportunistic yeast infections is rapidly expanding worldwide. our aim in the present study was sequence-based species delineation of previously unidentified yeasts obtained from a clinically yeast collection. materials and methods: a total of twenty three out of the 855 (5.7%) yeast isolat...
Conidia of Aspergillus species are widely distributed and ubiquitous in outdoor and hospital environments. There are high numbers of patients with weakened immune systems, therefore Aspergillus infections are increasing in hospitals. Molecular typing of Aspergillus strains obtained from patients and their environment is an important tool for epidemiological and public health studies. Fingerprin...
abstract background and objective: a high level of homogeneity observed within all bacteria in the mycobacterium tuberculosis complex makes a property that seriously challenges traditional biochemical-based identification methods of these pathogens in the laboratory. the work presented here was conducted to characterize mycobacterium tuberculosis complex isolates in golestan, northern iran. mat...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید