نتائج البحث

Statistical Model Checking for SystemC Models

• Authors : Ngo, van Chan; Legay, Axel; Quilbeuf, Jean ...

Subjects: Runtime Verification; Probabilistic Assertion; Statis-tical Model CheckingOrlando; Florida; United States

• Source: High Assurance Systems Engineering Symposium ; https://hal.inria.fr/hal-01238162 ; High Assurance Systems Engineering Symposium, Jan 2016, Orlando, Florida, United

تفاصيل العنوان

Analysis of Methods to Estimate Abundance of River Cooters, Pseudemys concinna: An Example from the Santa Fe River, Florida.

• Authors : Casteel, Jamie L.¹ ; Moore, Jennifer F.¹ ; Pine III, William E.¹

• Source: Ichthyology & Herpetology. Jul2022, Vol. 110 Issue 2, p354-363. 10p.

تفاصيل العنوان

Prevalence and predictors of stroke among individuals with prediabetes and diabetes in Florida.

• Authors : Khan, Md Marufuzzaman¹; Roberson, Shamarial²; Reid, Keshia²

Subjects: *PREDIABETIC state; *DIABETES; *STROKEFLORIDA

• Source: BMC Public Health. 2/6/2022, Vol. 22 Issue 1, p1-11. 11p. 1 Diagram, 3 Charts.

تفاصيل العنوان

Development and validation of a model for individualized prediction of hospitalization risk in 4,536 patients with COVID-19.

• Authors : Jehi, Lara¹ (AUTHOR) ; Ji, Xinge² (AUTHOR); Milinovich, Alex² (AUTHOR)

Subjects: *COVID-19; *DEATH forecasting; *PANDEMICSFLORIDA; OHIO

• Source: PLoS ONE. 8/11/2020, Vol. 15 Issue 8, p1-15. 15p.

تفاصيل العنوان

Statistical Prediction of Waterspout Probability for the Florida Keys.

• Authors : Devanas, Andrew¹ ; Stefanova, Lydia²

• Source: Weather & Forecasting. Apr2018, Vol. 33 Issue 2, p389-410. 22p.

تفاصيل العنوان

Association of Atmospheric Particulate Matter and Ozone with Gestational Diabetes Mellitus.

• Authors : Hu, Hui¹; Ha, Sandie¹; Henderson, Barron H.²

Subjects: *Air pollution; *Ozone; *Environmental exposureFlorida

• Source: Environmental Health Perspectives. Sep2015, Vol. 123 Issue 9, p853-859. 7p. 3 Charts, 1 Graph.

تفاصيل العنوان

Hurricane Clusters in the Vicinity of Florida.

• Authors : Jagger, Thomas H.; Elsner, James B.

• Source: Journal of Applied Meteorology & Climatology. May2012, Vol. 51 Issue 5, p869-877. 9p.

تفاصيل العنوان

Prevalence of 2009 Pandemic Influenza A (H1N1) Virus Antibodies, Tampa Bay Florida - November-December, 2009.

• Authors : Cox, Chad M.^1,2 ; Goodin, Kate³; Fisher, Emily⁴

Subjects: *SWINE influenza; *H1N1 influenza; *PANDEMICSFLORIDA

• Source: PLoS ONE. 2011, Vol. 6 Issue 12, p1-6. 6p.

تفاصيل العنوان

Risk assessment of hurricane winds for Eglin air force base in northwestern Florida, USA.

• Authors : Scheitlin, Kelsey¹ ; Elsner, James¹; Lewers, Shawn¹

• Source: Theoretical & Applied Climatology. Oct2011, Vol. 105 Issue 3-4, p287-296. 10p. 2 Charts, 3 Graphs, 4 Maps.

تفاصيل العنوان

PROJECT READING AND WRITING (R.A.W.): HOME VISITATIONS AND THE SCHOOL INVOLVEMENT OF HIGH-RISK FAMILIES.

• Authors : Reglin, Dr. Gary

• Source: Education. Fall2002, Vol. 123 Issue 1, p153. 8p.

تفاصيل العنوان