نتایج جستجو برای: prevalence of quantity

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

1997
Thomas A. Henzinger Orna Kupferman

In temporal-logic model checking, we verify the correctness of a program with respect to a desired behavior by checking whether a structure that models the program satis es a temporal-logic formula that speci es the behavior. The model-checking problem for the branching-time temporal logic CTL can be solved in linear running time, and model-checking tools for CTL are used successfully in indust...

Journal: :Journal of Political Economy 1921

Journal: :European Journal of Political Economy 2019

Journal: :Journal of Mathematical Economics 1988

Journal: :Canadian Psychiatric Association Journal 1969

Background and Objectives: Meat products are rich sources of proteins. Due to the high prices of raw meats, there is a possibility of fraud in these products. The objectives of this study were to assess chemical characteristics and estimate proportion of skeletal muscle in meat products using histology and image analysis. Materials and Methods:  Totally, 50 sausage samples (27 sausages and 23 B...

2017
Duangporn Duangthip Sherry Shiqian Gao Edward Chin Man Lo Chun Hung Chu

OBJECTIVE The aim of this study was to examine the prevalence and experience of early childhood caries among 5- to 6-year-old children in Southeast Asia. METHODS A literature search was conducted of three electronic databases (PubMed, EMBASE and ISI Web of Science) to identify publications from the years 2006 to 2015. Additional hand searches of government reports and national studies were pe...

Journal: :Journal of Mathematical Analysis and Applications 1990

Journal: :American Journal of Public Health and the Nations Health 1940

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

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