Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages

Dynamically typed languages lack information about the types of variables in the source code. Developers care about this information as it supports program comprehension. Ba- sic type inference techniques are helpful, but may yield many false positives or negatives. We propose to mine information from the software ecosys- tem on how frequently given types are inferred unambigu- ously to improve the quality of type inference for a single system. This paper presents an approach to augment existing type inference techniques by supplementing the informa- tion available in the source code of a project with data from other projects written in the same language. For all available projects, we track how often messages are sent to instance variables throughout the source code. Predictions for the type of a variable are made based on the messages sent to it. The evaluation of a proof-of-concept prototype shows that this approach works well for types that are sufficiently popular, like those from the standard librarie, and tends to create false positives for unpopular or domain specific types. The false positives are, in most cases, fairly easily identifiable. Also, the evaluation data shows a substantial increase in the number of correctly inferred types when compared to the non-augmented type inference.

Effect of large doses of parenteral vitamin D on glycaemic control and calcium/phosphate metabolism in patients with stable type 2 diabetes mellitus: a randomised, placebo-controlled, prospective pilot study.

OBJECTIVE Vitamin D (D₃) status is reported to correlate negatively with insulin production and insulin sensitivity in patients with type 2 diabetes mellitus (T2DM). However, few placebo-controlled intervention data are available. We aimed to assess the effect of large doses of parenteral D3 on glycosylated haemoglobin (HbA(₁c)) and estimates of insulin action (homeostasis model assessment insulin resistance: HOMA-IR) in patients with stable T2DM. MATERIALS AND METHODS We performed a prospective, randomised, double-blind, placebo-controlled pilot study at a single university care setting in Switzerland. Fifty-five patients of both genders with T2DM of more than 10 years were enrolled and randomised to either 300,000 IU D₃ or placebo, intramuscularly. The primary endpoint was the intergroup difference in HbA(₁c) levels. Secondary endpoints were: changes in insulin sensitivity, albuminuria, calcium/phosphate metabolism, activity of the renin-aldosterone axis and changes in 24-hour ambulatory blood pressure values. RESULTS After 6 months of D₃ supply, there was a significant intergroup difference in the change in HbA(₁c) levels (relative change [mean ± standard deviation] +2.9% ± 1.5% in the D₃ group vs +6.9% ± 2.1% the in placebo group, p = 0.041) as HOMA-IR decreased by 12.8% ± 5.6% in the D₃ group and increased by 10% ± 5.4% in the placebo group (intergroup difference, p = 0.032). Twenty-four-hour urinary albumin excretion decreased in the D₃ group from 200 ± 41 to 126 ± 39, p = 0.021). There was no significant intergroup difference for the other secondary endpoints. CONCLUSIONS D₃ improved insulin sensitivity (based on HOMA-IR) and affected the course of HbA(₁c) positively compared with placebo in patients with T2DM.

Drug-eluting balloon versus standard balloon angioplasty for infrapopliteal arterial revascularization in critical limb ischemia: 12-month results from the IN.PACT DEEP randomized trial.

BACKGROUND Drug-eluting balloons (DEB) may reduce infrapopliteal restenosis and reintervention rates versus percutaneous transluminal angioplasty (PTA) and improve wound healing/limb preservation. OBJECTIVES The goal of this clinical trial was to assess the efficacy and safety of IN.PACT Amphirion drug-eluting balloons (IA-DEB) compared to PTA for infrapopliteal arterial revascularization in patients with critical limb ischemia (CLI). METHODS Within a prospective, multicenter, randomized, controlled trial with independent clinical event adjudication and angiographic and wound core laboratories 358 CLI patients were randomized 2:1 to IA-DEB or PTA. The 2 coprimary efficacy endpoints through 12 months were clinically driven target lesion revascularization (CD-TLR) and late lumen loss (LLL). The primary safety endpoint through 6 months was a composite of all-cause mortality, major amputation, and CD-TLR. RESULTS Clinical characteristics were similar between the 2 groups. Significant baseline differences between the IA-DEB and PTA arms included mean lesion length (10.2 cm vs. 12.9 cm; p = 0.002), impaired inflow (40.7% vs. 28.8%; p = 0.035), and previous target limb revascularization (32.2% vs. 21.8%; p = 0.047). Primary efficacy results of IA-DEB versus PTA were CD-TLR of 9.2% versus 13.1% (p = 0.291) and LLL of 0.61 ± 0.78 mm versus 0.62 ± 0.78 mm (p = 0.950). Primary safety endpoints were 17.7% versus 15.8% (p = 0.021) and met the noninferiority hypothesis. A safety signal driven by major amputations through 12 months was observed in the IA-DEB arm versus the PTA arm (8.8% vs. 3.6%; p = 0.080). CONCLUSIONS In patients with CLI, IA-DEB had comparable efficacy to PTA. While primary safety was met, there was a trend towards an increased major amputation rate through 12 months compared to PTA. (Study of IN.PACT Amphirion™ Drug Eluting Balloon vs. Standard PTA for the Treatment of Below the Knee Critical Limb Ischemia [INPACT-DEEP]; NCT00941733).

Carbohydrate Estimation by a Mobile Phone-Based System Versus Self-Estimations of Individuals With Type 1 Diabetes Mellitus: A Comparative Study

Background: Diabetes mellitus is spreading throughout the world and diabetic individuals have been shown to often assess their food intake inaccurately; therefore, it is a matter of urgency to develop automated diet assessment tools. The recent availability of mobile phones with enhanced capabilities, together with the advances in computer vision, have permitted the development of image analysis apps for the automated assessment of meals. GoCARB is a mobile phone-based system designed to support individuals with type 1 diabetes during daily carbohydrate estimation. In a typical scenario, the user places a reference card next to the dish and acquires two images using a mobile phone. A series of computer vision modules detect the plate and automatically segment and recognize the different food items, while their 3D shape is reconstructed. Finally, the carbohydrate content is calculated by combining the volume of each food item with the nutritional information provided by the USDA Nutrient Database for Standard Reference. Objective: The main objective of this study is to assess the accuracy of the GoCARB prototype when used by individuals with type 1 diabetes and to compare it to their own performance in carbohydrate counting. In addition, the user experience and usability of the system is evaluated by questionnaires. Methods: The study was conducted at the Bern University Hospital, “Inselspital” (Bern, Switzerland) and involved 19 adult volunteers with type 1 diabetes, each participating once. Each study day, a total of six meals of broad diversity were taken from the hospital’s restaurant and presented to the participants. The food items were weighed on a standard balance and the true amount of carbohydrate was calculated from the USDA nutrient database. Participants were asked to count the carbohydrate content of each meal independently and then by using GoCARB. At the end of each session, a questionnaire was completed to assess the user’s experience with GoCARB. Results: The mean absolute error was 27.89 (SD 38.20) grams of carbohydrate for the estimation of participants, whereas the corresponding value for the GoCARB system was 12.28 (SD 9.56) grams of carbohydrate, which was a significantly better performance ( P=.001). In 75.4% (86/114) of the meals, the GoCARB automatic segmentation was successful and 85.1% (291/342) of individual food items were successfully recognized. Most participants found GoCARB easy to use. Conclusions: This study indicates that the system is able to estimate, on average, the carbohydrate content of meals with higher accuracy than individuals with type 1 diabetes can. The participants thought the app was useful and easy to use. GoCARB seems to be a well-accepted supportive mHealth tool for the assessment of served-on-a-plate meals.

Physician's adherence to the standard protocol for diabetes treatment in Brooke Army Medical Center (BAMC)

The level of compliance with clinical practice guidelines for patients with Type II Diabetes Mellitus was evaluated in 157 patients treated at BAMC from 1 January 2006 to 1 January 2007. This retrospective analysis was conducted reviewing data from medical records and following the VA/DOD protocols that health care providers are expected to follow at this facility. Data collected included patient’s age and gender, presence or absence of complications of diabetes, physical examination findings, glycemic and lipid control, eye care, foot care, kidney function, and self-management and education. Subjects were selected performing systematic random sampling, and included both male and female patients, from a variety of ages and ethnic groups. The Diabetes complications screened for included glycemic and lipid complications, retinopathy, cardiovascular complications, peripheral circulation complications, and nephropathy. The results revealed that 19.10% had no complications and that the most common complications were: cardiovascular (49.68%), glycemic and lipid control (10.82%), retinopathy and peripheral circulation (8.28% each), and nephropathy (2.54%). Only 2.54% of the records reviewed did not include information on complications. Strictly following the Department of Defense guidelines, six treatment modules were evaluated independently and together to get a final percentage of adherence to the clinical practice guidelines. It was established that the level of adherence was going to be graded as follows: Extremely deficient: 0-15%; very poor: 16-30%; Poor and in need of improvement: 31-45%. Acceptable: 46-60%; Good: 61-80%, and Excellent: 81-100%. The results indicated that the percentage of physicians' adherence to each protocol was as follows: 88.31%, 89.93%, 90.63%, 89.42%, 89.42% and 89.64%. When the results were pooled, the level of adherence to the clinical practice guidelines was 89.55%, proving my hypothesis that Brooke Army Medical Center physicians have excellent adherence to the standard protocols for Diabetes Type II to treat their patients. ^

Assessing the relationship between obesity and type II diabetes among South Asian Indians in Houston A population based study

Objective: My study aimed at determining the association between obesity and diabetes prevalence in South Asian Indian immigrants in Houston, Texas. To also compare the prevalence odds of diabetes given obesity, using WHO-BMI criteria and recommended Asian ethnic-specific BMI criteria for obesity, as well as using WHO-standard waist circumference criteria and ethnic-specific criteria for abdominal obesity, across gender and age, in this population. ^ Methods: My study was a secondary data analysis based on a cross-sectional study carried out on adult South Asian Indians who attended a local community health fair in Houston, in 2007. They recruited 213 voluntary, eligible, South Asian Indian participants aged between 18 to 79 years. Self reported history of Diabetes was obtained and height, weight, waist and hip circumference were measured. I classified BMI based on WHO-standard and ethnic-specific criteria, according to gender and age groups of 18–35 years, 36–64 years and 65 years and over. Waist circumference was also classified based on WHO-standard NCEP criteria and currently recommended ethnic-specific IDF criteria and analysis was done stratifying by gender and age groups. ^ Results: The prevalence of diabetes in this population was 14.6%, significantly higher in older age groups (25.8%) and males (19.2%). The prevalence of DM was statistically similar in individuals who were overweight/obese compared to those not overweight/obese, however in overweight/obese individuals, there was a statistically significant difference in the prevalence of DM between WHO and ethnic-specific criteria for both BMI and waist circumference. In older adults and in males, ethnic-specific criteria identified significantly more as overweight/obese compared to WHO-standard criteria. ^ Conclusions: Ethnic-specific criteria for both BMI and waist circumference give a better estimate for obesity in this South Asian Indian population. Diabetes is highly prevalent in migrant South Asian Indians even at low BMI or waist circumference levels and significantly more in males and older age groups, hence adequate awareness should be created for early prevention and intervention.^

Sedimentology on 19 cores from the South China Sea

Based on the study of 10 sediment cores and 40 core-top samples from the South China Sea (SCS) we obtained proxy records of past changes in East Asian monsoon climate on millennial to bidecadal time scales over the last 220,000 years. Climate proxies such as global sea level, estimates of paleotemperature, salinity, and nutrients in surface water, ventilation of deep water, paleowind strength, freshwater lids, fluvial and/or eolian sediment supply, and sediment winnowing on the sea floor were derived from planktonic and benthic stable-isotope records, the distribution of siliciclastic grain sizes, planktonic foraminifera species, and the UK37 biomarker index. Four cores were AMS-14C-dated. Two different regimes of monsoon circulation dominated the SCS over the last two glacial cycles, being linked to the minima and maxima of Northern Hemisphere solar insolation. (1) Glacial stages led to a stable estuarine circulation and a strong O2-minimum layer via a closure of the Borneo sea strait. Strong northeast monsoon and cool surface water occurred during winter, in part fed by an inflow from the north tip of Luzon. In contrast, summer temperatures were as high as during interglacials, hence the seasonality was strong. Low wetness in subtropical South China was opposed to large river input from the emerged Sunda shelf, serving as glacial refuge for tropical forest. (2) Interglacials were marked by a strong inflow of warm water via the Borneo sea strait, intense upwelling southeast of Vietnam and continental wetness in China during summer, weaker northeast monsoon and high sea-surface temperatures during winter, i.e. low seasonality. On top of the long-term variations we found millennial- to centennial-scale cold and dry, warm and humid spells during the Holocene, glacial Terminations I and II, and Stage 3. The spells were coeval with published variations in the Indian monsoon and probably, with the cold Heinrich and warm Dansgaard-Oeschger events recorded in Greenland ice cores, thus suggesting global climatic teleconnections. Holocene oscillations in the runoff from South China centered around periodicities of 775 years, ascribed to subharmonics of the 1500-year cycle in oceanic thermohaline circulation. 102/84-year cycles are tentatively assigned to the Gleissberg period of solar activity. Phase relationships among various monsoon proxies near the onset of Termination IA suggest that summer-monsoon rains and fluvial runoff from South China had already intensified right after the last glacial maximum (LGM) insolation minimum, coeval with the start of Antarctic ice melt, prior to the d18O signals of global sea-level rise. Vice versa, the strength of winter-monsoon winds decreased in short centennial steps only 3000-4000 years later, along with the melt of glacial ice sheets in the Northern Hemisphere.

Bulk components and planktonic foraminifera of the Chilean continental margin

A multiparameter investigation including organic carbon, carbonate, opal, and planktic foraminifera was carried out on five sediment cores from the coastal upwelling area between 24°S and 33°S along the Peru-Chile Current to reconstruct the history of the paleoproductivity and its driving mechanisms during the last 40,000 years. Inferred from our data, we conclude that the Antarctic Circumpolar Current as the main nutrient source in this region mainly drives the productivity by its latitudinal shifts associated with climate change. Simplified, its northerly position during the last glacial led to enhanced productivities, and its southerly position during the Holocene caused lower productivities. At 33°S the paleoproductivity was additionally affected by the southern westerlies and records highest levels during the Last Glacial Maximum (LGM). North of 33°S, several factors (e.g., position and strength of the South Pacific anticyclone, wind stress, continental runoff, and El Niño Southern Oscillation events) supplementary influenced upwelling and paleoproductivity, where maximum values occurred prior to the LGM and during the deglaciation.

A multi-proxy investigation of sediment core GeoB7165-1 and AMS 14C dating points from sediment cores off Conceptión (~ 36°S)

A high-resolution sea surface temperature and paleoproductivity reconstruction on a sedimentary record collected at 36°S off central-south Chile (GeoB 7165-1, 36°33'S, 73°40'W, 797 m water depth, core length 750 cm) indicates that paleoceanographic conditions changed abruptly between 18 and 17 ka. Comparative analysis of several cores along the Chilean continental margin (30°-41°S) suggests that the onset and the pattern of deglacial warming was not uniform off central-south Chile due to the progressive southward migration of the Southern Westerlies and local variations in upwelling. Marine productivity augmented rather abruptly at 13-14 ka, well after the oceanographic changes.We suggest that the late deglacial increase in paleoproductivity off central-south Chile reflects the onset of an active upwelling system bringing nutrient-rich, oxygen-poor Equatorial SubsurfaceWater to the euphotic zone, and a relatively higher nutrient load of the Antarctic Circumpolar Current. During the Last Glacial Maximum, when the Southern Westerlies were located further north, productivity off central-south Chile, in contrast to off northern Chile, was reduced due to direct onshore-blowing winds that prevented coastal upwelling and export production.