نتایج جستجو برای: 2 formal
تعداد نتایج: 2625621 فیلتر نتایج به سال:
An enantioselective chiral phosphoric acid catalyzed formal [4+2] cycloaddition between 2-benzothiazolimines and N-H-1,3-dienecarbamates is described. A divergence in reaction pathways was observed depending on the dienes employed. The performed with 4-substituted produced benzothiazolopyrimidines as major product yields ranging from 42 to 67%, single diastereoisomer enantioselectivity 93 99%. ...
this paper reports on the results of a research carried out during 1993-94 aiming at studying street sellers as an informal sector activity and a source of socio-economic problems in shiraz, iran. this study makes use of two logit models in order to present a unified framework depiciting the factors that seem to affect the developmeht of informal sector activities. the first model looks at thos...
abstract given the importance of the text’s formal aspects, in addition to its content, poetry presents special challenges to translators. poetry has its own distinctive features that cannot be rendered into another language easily. the translation of poetry into poetry entails preserving the rhyme, figurative language and the general tone of the original. the present study was an attempt to i...
thesis of cephalotaxine (1), the major alkaloid of the Cephalotaxus species, because of its unique structural features and antileukemic activity of its ester derivatives, harringtonine (2) and homoharringtonine (3). So far, eight total syntheses of (6)-1 including ours have been reported and the synthesis of (2)-1 has recently been achieved by Mori’s and Nagasaka’s groups. As a part of our own ...
Cadiag-2-where "Cadiag" stands for "computer-assisted diagnosis"- is an expert system based on fuzzy logic assisting in the differential diagnosis in internal medicine. With its aid, it is possible to derive from possibly vague information about a patient's symptoms, signs, laboratory test results, and clinical findings conjectures about present diseases. In this paper, we provide a mathematica...
We provide a formal framework within which an Information System (IS) could be modelled, analysed, and verified in a compositional manner. Our work is based on Interval Temporal Logic (ITL) and its programming language subset Tempura. This is achieved by considering IS, of an enterprise, as a class of reactive systems in which it is continually reacting to asynchronously occurring events within...
This paper reports on the results of a research carried out during 1993-94 aiming at studying street sellers as an informal sector activity and a source of socio-economic problems in Shiraz, Iran. This study makes use of two Logit models in order to present a unified framework depiciting the factors that seem to affect the developmeht of informal sector activities. The first model looks at thos...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید