SMT-Based Verification of NGAC Policies
Dubrovenski, Vladislav, Erzhuo Chen, and Dianxiang Xu. 2023. “SMT-Based Verification of NGAC Policies”. In IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC’23).
Search
Search results
764 results found
Mauris felis ante montes rhoncus semper, iaculis nisl facilisis malesuada maecenas
Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2019. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.
Depression and risk of fracture and bone loss: an updated meta-analysis of prospective studies
Wu, Q., B. Liu, and S. Tonmoy. 2018. “Depression and Risk of Fracture and Bone Loss: An Updated Meta-Analysis of Prospective Studies”. Osteoporosis International: A Journal Established As Result of Cooperation Between the European Foundation for Osteoporosis and the National Osteoporosis Foundation of the USA 29 (6): 1303-12.
Statistical analysis of the photodegradation of imazethapyr on the surface of extracted soybean (Glycine max) and corn (Zea mays) epicuticular waxes
Anderson, Scott C, Amy Christiansen, Alexa Peterson, Logan Beukelman, and Amanda M Nienow. 2016. “Statistical Analysis of the Photodegradation of Imazethapyr on the Surface of Extracted Soybean (Glycine Max) and Corn (Zea Mays) Epicuticular Waxes”. Environmental Science: Processes & Impacts 18 (10): 1305-15.
Mauris felis ante montes rhoncus semper, iaculis nisl facilisis malesuada maecenas
Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2019. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.
Associations between communication climate and the frequency of medical error reporting among pharmacists within an inpatient setting.
Patterson, Mark E, Heather A Pace, and Jack E Fincham. 2013. “Associations Between Communication Climate and the Frequency of Medical Error Reporting Among Pharmacists Within an Inpatient Setting.”. Journal of Patient Safety 9 (3): 129-33.
Resource use and costs of treatment with anticoagulation and antiplatelet agents: results of the WATCH trial economic evaluation.
Patterson, Mark E, William C Grant, Seth W Glickman, Barry M Massie, Susan E Ammon, Paul W Armstrong, John G F Cleland, et al. 2009. “Resource Use and Costs of Treatment With Anticoagulation and Antiplatelet Agents: Results of the WATCH Trial Economic Evaluation.”. Journal of Cardiac Failure 15 (10): 819-27.
Community health improvement plan: Study protocol for Kansas City's intervention and implementation evaluation.
Lightner, Joseph S, Lana McKinney, Kate Hoppe, Nancy Ziegler, Kelsey Gardiner, Scott Clardy, Tyler Prochnow, and Vicki Collie-Akers. 2022. “Community Health Improvement Plan: Study Protocol for Kansas City’s Intervention and Implementation Evaluation.”. Public Health in Practice (Oxford, England) 4: 100340.
Designing an Adaptive Adolescent Physical Activity and Nutrition Intervention for COVID-19-Related Health Challenges: Formative Research Study.
Grimes, Amanda, Joseph S Lightner, Kimberly Pina, Evelyn S Donis de Miranda, Emily Meissen-Sebelius, Robin P Shook, and Emily A Hurley. 2022. “Designing an Adaptive Adolescent Physical Activity and Nutrition Intervention for COVID-19-Related Health Challenges: Formative Research Study.”. JMIR Formative Research 6 (1): e33322.
Physical Activity and Nutrition Intervention for Middle Schoolers (Move More, Get More): Protocol for a Quasi-Experimental Study.
Grimes, Amanda, Joseph S Lightner, Katlyn Eighmy, Bridget D Wray, Ella Valleroy, and Maya Baughn. 2022. “Physical Activity and Nutrition Intervention for Middle Schoolers (Move More, Get More): Protocol for a Quasi-Experimental Study.”. JMIR Research Protocols 11 (5): e37126.