نتایج جستجو برای: for application easiness
تعداد نتایج: 10564189 فیلتر نتایج به سال:
We illustrate the use of intersection types as a semantic tool for proving easiness result on λ-terms. We single out the notion of simple easiness for λ-terms as a useful semantic property for building filter models with special purpose features. Relying on the notion of easy intersection type theory, given λ-terms M and E, with E simple easy, we successfully build a filter model which equates ...
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
due to extraordinary large amount of information and daily sharp increasing claimant for ui benefits and because of serious constraint of financial barriers, the importance of handling fraud detection in order to discover, control and predict fraudulent claims is inevitable. we use the most appropriate data mining methodology, methods, techniques and tools to extract knowledge or insights from ...
3d imagination of human's organs has become feasible by digital image processing techniques and algorithms via ct or mri images in recent years. in this study, a new method for reverse engineering and biomodelling of hard tissues by catia cloud points' concept has been considered. comparing with the current softwares (e.g. biobuild or mimics) has shown the new method's easiness of implementing ...
projects execution is an important way to implement organizational strategies, especially in the project-based organizations. in such organizations, the decision-makers usually encounter a problem of the project portfolio selection. of course, regarding the decision-makers’ risk attitude, they tend to direct organizational resources toward projects with low threats and high opportunities. this ...
A closed λ-termM is easy if, for any other closed termN , the lambda theory generated by M = N is consistent, while it is simple easy if, given an arbitrary intersection type τ , one can find a suitable pre-order on types which allows to derive τ forM . Simple easiness implies easiness. The question whether easiness implies simple easiness constitutes Problem 19 in the TLCA list of open problem...
a novel silver (ag) nanocomposite electrode was proposed that fabricated from metal nanostructures and ionic liquids. the combined application of unique properties of nanomaterials and ionic liquids in the design of this ag nanocomposite results in electrodes with interesting advantages compared to the conventional metal disk electrode. in the first part of this thesis, the elecrocatalytic eff...
Besides, the use of these agents in MAS provides a lot of advantages: scalability, fault tolerance, easiness for distribution, easiness for optimising, technology independence. 1 THE PROBLEM One of the main difficulties that the education currently must face is the growing demand, which implies the loss of the personal instruction concept. With all these characteristics, a cooperative agents sy...
A closed λ-termM is easy if, for any other closed termN , the lambda theory generated by M = N is consistent, while it is simple easy if, given an arbitrary intersection type τ , one can find a suitable pre-order on types which allows to derive τ forM . Simple easiness implies easiness. The question whether easiness implies simple easiness constitutes Problem 19 in the TLCA list of open problem...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید