نتایج جستجو برای: meyer method
تعداد نتایج: 1636319 فیلتر نتایج به سال:
Background: Alkaloids are a group of nitrogenous compounds with potential effects on the physiological behavior of human and animals. Some of these compounds are considered important drugs in modern medicine, such as atropine and morphine. Plants are considered the most important source of alkaloids. Therefore, investigating the presence of alkaloids in different plants is very important. Usual...
This paper presents a bisimulation-based method for establishing the soundness of equations between terms constructed using operations whose semantics is specified by rules in the GSOS format of Bloom, Istrail and Meyer. The method is inspired by de Simone’s FH-bisimilarity and uses transition rules as schematic transitions in a bisimulation-like relation between open terms. The soundness of th...
Meyer and Kadane (1992) report a method for reconstructing the adjusted population (by age, race, and sex) for the half of the census blocks in Florida not made available to them. This article studies the full adjusted data set, which is now available, to examine how well the original reconstruction was done. This is a rare opportunity to learn the exact value of quantities estimated. The resul...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید