نتایج جستجو برای: syntax and its functions

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان - دانشکده فنی 1392

due to lack of knowledge management system in the organization of technical and vocational university of iran (tvuni) and losing good employees because of retirement and substitution causes huge amount of costs to replace the similar expertise. there is no any suitable system in the tvuni to store, to document, and to distribute knowledge. based on the university’s features such as it has diffe...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان 1390

section{introduction} the concept of {sl cartan geometry} appeared at the beginning of the twentieth century, when {e}lie cartan was working on the so-called {sl equivalence problem}, the aim of which is to determine whether two given geometric structures can be mapped bijectively onto each other by some diffeomorphism. this problem can be considered in many different contexts, such as ...

Journal: :Proceedings of the ACM on programming languages 2021

We study a syntax for specifying quantitative assertions —functions mapping program states to numbers—for probabilistic verification. prove that our is expressive in the following sense: Given any C , if function f expressible syntax, then each initial state σ expected value of evaluated final reached after termination on (also called weakest preexpectation wp[ ]( )) also syntax. As consequence...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان 1388

copper extraction from heap 3 low grade ore at sarchechmeh is limited due to its mixed composition (copper oxide and sulphide minerals). changing this heap to a bioheap could improve the copper recovery.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه سمنان - دانشکده علوم انسانی 1393

postcolonial feminism, also dubbed as third world feminism, is an innovative approach, demonstrating the way women of colonized countries suffer from both native patriarchies and imperial ideology. also due to this double-colonization, postcolonial feminists contend that third world women are subjected to both colonial domination of empire and male domination of patriarchy. while western femini...

2016

@article{gdp:lcf-as-pl, author={Plotkin, G. D.}, title={LCF Considered as a Programming Language}, journal={Theoretical Computer Science}, pages={223--255}, year=1977 } Summary: Plotkin investigates the relation between the denotational and the operational semantics of a programming language. As a working example, he picks PCF a language based on Scott’s Logic of Computable Functions. He demons...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - پژوهشکده زبانشناسی 1389

a professional is someone whose work involves performing a certain function with some degree of expertise. but a narrower definition limits the term to apply to people such as teachers and doctors, whose expertise involves not only skill and knowledge but also the exercise of highly sophisticated judgment, and whose accreditation necessitates extensive study, often university-based as well as p...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ادبیات و علوم انسانی 1392

abstract this study aimed at investigating the translation of interjections from english into persian in dubbing. to carry out this study the expressive secondary interjections found in the film four weddings and a funeral and their equivalent in persian dubbed version were analyzed through the strategies proposed by cuenca. the descriptive analysis of the corpus showed that (strategy b) i.e...

2003
SAMUEL KOTZ

Abstract The Fairlie-Gumbel-Morgenstern (FGM) family has been investigated in detail for various continuous marginals such as Cauchy, normal, exponential, gamma, Weibull, lognormal and others. It has been a popular model for the bivariate distribution with mild dependence. However, bivariate FGM’s with continuous marginals on a bounded support discussed in the literature are only those with uni...

2009
F. Hirsch

Abstract We give some adequate extension, in the framework of a general Lévy process, of our previous construction of processes with one-dimensional martingale marginals, done originally in the set-up of Brownian motion. The Lévy process framework allows us to streamline our previous arguments, as well as to reach a larger class of such processes, even in the Brownian case. We give some illustr...

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

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