Learn More
MEDFICTS is a dietary assessment instrument designed to evaluate patient adherence to the National Cholesterol Education Program Step 1 and Step 2 diets. It provides a quick way to record food intake, portion size, and frequency of intake while focusing on foods that are the primary contributors of total fat, saturated fat, and cholesterol in the average(More)
The effect of a low-fat diet on occurrence of non-melanoma skin cancer was examined in a 2-year dietary intervention trial. A total of 101 skin-cancer patients were randomized either to a control group that consumed, on average, 38% of caloric intake as fat, and in which no changes in dietary habits were introduced, or to a low-fat dietary-intervention(More)
A dietary intervention trial has shown a significant reduction in occurrence of actinic keratosis and nonmelanoma skin cancer in skin cancer patients who adopt diets in which the percentage of calories from fat is markedly lowered. The purpose of this study was to examine the dietary parameters of a low-fat diet found to be effective in reducing occurrence(More)
Population protocols are a well established model of computation by anonymous, identical finite state agents. A protocol is well-specified if from every initial configuration, all fair executions reach a common consensus. The central verification question for population protocols is the well-specification problem: deciding if a given protocol is(More)
  • 1