Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis

The classical approach to automatic cost analysis consists of two phases. Given a program and some measure of cost, we first produce recurrence relations (RRs) which capture the cost of our program in terms of the size of its input data. Second, we convert such RRs into closed form (i.e., without recurrences). Whereas the first phase has received considerable attention, with a number of cost analyses available for a variety of programming languages, the second phase has received comparatively little attention. In this paper we first study the features of RRs generated by automatic cost analysis and discuss why existing computer algebra systems are not appropriate for automatically obtaining closed form solutions nor upper bounds of them. Then we present, to our knowledge, the first practical framework for the fully automatic generation of reasonably accurate upper bounds of RRs originating from cost analysis of a wide range of programs. It is based on the inference of ranking functions and loop invariants and on partial evaluation

Using honey to heal diabetic foot ulcers

Diabetic ulcers seem to be arrested in the inflammatory/proliferative stage of the healing process, allowing infection and inflammation to preclude healing. Antibiotic-resistant bacteria have become a major cause of infections, including diabetic foot infections. It is proposed here that the modern developments of an ancient and traditional treatment for wounds, dressing them with honey, provide the solution to the problem of getting diabetic ulcers to move on from the arrested state of healing. Honeys selected to have a high level of antibacterial activity have been shown to be very effective against antibiotic-resistant strains of bacteria in laboratory and clinical studies. The potent anti-inflammatory action of honey is also likely to play an important part in overcoming the impediment to healing that inflammation causes in diabetic ulcers, as is the antioxidant activity of honey. The action of honey in promotion of tissue regeneration through stimulation of angiogenesis and the growth of fibroblasts and epithelial cells, and its insulin-mimetic effect, would also be of benefit in stimulating the healing of diabetic ulcers. The availability of honey-impregnated dressings which conveniently hold honey in place on ulcers has provided a means of rapidly debriding ulcers and removing the bacterial burden so that good healing rates can be achieved with neuropathic ulcers. With ischemic ulcers, where healing cannot occur because of lack of tissue viability, these honey dressings keep the ulcers clean and prevent infection occurring

Adaptive Filtering Enhances Information Transmission in Visual Cortex

Sensory neuroscience seeks to understand how the brain encodes natural environments. However, neural coding has largely been studied using simplified stimuli. In order to assess whether the brain's coding strategy depend on the stimulus ensemble, we apply a new information-theoretic method that allows unbiased calculation of neural filters (receptive fields) from responses to natural scenes or other complex signals with strong multipoint correlations. In the cat primary visual cortex we compare responses to natural inputs with those to noise inputs matched for luminance and contrast. We find that neural filters adaptively change with the input ensemble so as to increase the information carried by the neural response about the filtered stimulus. Adaptation affects the spatial frequency composition of the filter, enhancing sensitivity to under-represented frequencies in agreement with optimal encoding arguments. Adaptation occurs over 40 s to many minutes, longer than most previously reported forms of adaptation.Comment: 20 pages, 11 figures, includes supplementary informatio

An investigation into the effect of rate of stirring of bath electrolyte on the properties of electrodeposited CdTe thin film semiconductors

Electrodeposition (ED) has been recognized as a low cost and scalable technique available for fabrication of CdS/CdTe solar cells. Photovoltaic activity of these electrodeposited semiconductor materials drastically depends on the ED growth parameters namely; electrodeposition potential, concentrations and ratios of concentrations of precursors used to prepare the bath electrolyte, pH of the electrolyte, deposition temperature and rate of stirring of the electrolyte. In order to grow thin films with good photovoltaic properties, it is essential to maintain these variables at their optimum ranges of values during electrodepositions. Hence, this study was conducted to investigate the dependence of the properties of electrodeposited CdTe thin film material on the rate of stirring of the bath electrolyte. The CdTe material was grown on glass/FTO (23 cm2) and glass/FTO/CdS (23 cm2) surfaces in bath electrolytes containing 1.0 mol/L CdSO4 and 1.0 mmol/L TeO2 solutions at different rates of stirring within the range of 0-350 rpm while keeping the values of pH of the electrolyte, deposition temperature and cathodic deposition potential with respect to the saturated calomel electrode at 2.3, 65 °C and 650 mV respectively. After the heat treatment at 400 °C in air atmosphere, the deposited samples with a good visual appearance were selected and evaluated based on their morphological, elemental, structural, optical and electrical properties in order to identify the optimum range of rate of stirring for electrodeposition of CdTe thin film semiconductors. Results revealed that, rates of stirring in the range of 60-85 rpm in a 100 mL volume of electrolyte containing the substrate and the counter electrodes in the center of the bath with a separation of 2.0 cm between them can electrodeposit CdTe layers exhibiting required levels of morphological, structural, optical and electrical properties on both glass/FTO and glass/FTO/CdS surfaces

Extracorporeal Irradiation and Reimplantation with Total Hip Arthroplasty for Periacetabular Pelvic Resections: A Review of 9 Cases

We report the early results of nine patients with periacetabular malignancies treated with Enneking and Dunham type 2 resection and reconstruction using extracorporeally irradiated (ECI) tumour bone combined with total hip arthroplasty (THA). Diagnosis was chondrosarcoma in six patients, osteosarcoma in two patients, and metastatic renal cell carcinoma in one patient. All patients underwent surgical resection and the resected specimen was irradiated with 50 Gy in a single fraction before being prepared for reimplantation as a composite autograft. The mean follow-up was 21 months (range, 3–59). All patients were alive at latest follow-up. No local recurrence was observed. One patient serially developed three pulmonary metastases, all of which were resected. One experienced hip dislocation due to incorrect seating of an acetabular liner. This was successfully treated with revision of the liner with no further episodes of instability. There were no cases of deep infection or loss of graft. The average Musculoskeletal Tumor Society (MSTS) score was 75% (range, 57–87%). Type 2 pelvic reconstruction with ECI and THA has shown excellent early oncological and functional results in our series. Preservation of the gluteus maximus and hip abductors is important for joint stability and prevention of infection

Recent Innovations & Daily Problems. A new prosthesis in inguinal hernia repair:preliminary results of a pilot study.

Introduction: Elective surgery for inguinal hernia is affected by very low mortality « 1 per 10000 operation); in contrast, when surgery is carried out for complicated inguinal hernia, risks of postoperative complication are higher. TAPP is a world-wide accepted surgical practice in the treatment of elective bilateral or recurrent inguinal hernia, above all in young patients. Few exploratory studies were published on laparoscopic approach in the treatment of urgent complicated inguinal hernia. Aim of this study was to analyze feasibility (operative time, conversion rate), safety (postoperative morbidity, length of hospital stay) and quality of life (acute and chronic pain, return to work) of trans-abdominal pre-peritoneal laparoscopic hernia repair in acute incarcerated inguinal hernia. Rationale of laparoscopic trans-abdominal approach is the easier hernia reduction under vision and a better exploration of the abdominal cavity. Methods: from September 2012 to September 2013, 15 consecutive patients admitted in emergency at the Division of General Surgery of University "Sapienza", Polo Pontino, for acute incarcerated inguinal hernia were submitted to TAPP using 3 trocars (1 of 10 mm and 2 of 5mm) and polyester prosthesis fixed by fibrin glue. Exclusion criteria for laparoscopic approach were age III, previous abdominal surgery, signs of strangulated hernia. All of them were evaluated for operative time, conversion rate, postoperative morbidity, organ resection or other surgery required. All patients were scored for pain by Visual Analogic Scale (VAS) during postoperative in hospital stay at 7 days, 1,6 and 12 months after surgery. Results: median follow-up was 16 months and 12 as minimum. In all cases reduction of hernia was always possible and none conversion to open surgery was recorded, median operative time was 89 minutes (55-137 as range), omental resection was carried out in one patient (6,6%), no other organ resections needed, whereas contralateral hernia was diagnosed and repaired at the same time in 4 patients (26,6%). No major complications were observed, median blood loss was 100 ml, minor morbidity was contained to 18% represented by fever and wound infection of surgical umbilical scar. Median in hospital stay was 1,5 days with 1-5 days as range. Postoperative median acute pain, measured by visual analogic scale (VAS), was 2 (range:0-4), none patient referred any pain during follow-up. Median time of return to work was 6,5 days, ranged between 3 to 15 days. Patients' compliance to treatment and to follow-up was complete as well their satisfaction. Conclusions: In centres skilled for laparoscopy in emergency, TAPP could be considered a feasible and safe technique. In well-selected patients (especially if emolled in controlled clinical trial) TAPP could represent an alternative surgical approach for complicated incarcerated inguinal hernia to conventional open surgery even in urgency. The main advantages of laparoscopic approach are the ability to perform surgical hernia reduction under vision, a better exploration and evaluation of abdominal cavity and diagnosis and treatment of eventual contralateral defect of wall, otherwise often missed. Finally, the good control of acute and chronic pain, faster return to normal activity and work, better aesthetic results contributed to total satisfaction and compliance of the patients

Purinergic signalling links mechanical breath profile and alveolar mechanics with the pro-inflammatory innate immune response causing ventilation-induced lung injury

Severe pulmonary infection or vigorous cyclic deformation of the alveolar epithelial type I (AT I) cells by mechanical ventilation leads to massive extracellular ATP release. High levels of extracellular ATP saturate the ATP hydrolysis enzymes CD39 and CD73 resulting in persistent high ATP levels despite the conversion to adenosine. Above a certain level, extracellular ATP molecules act as danger-associated molecular patterns (DAMPs) and activate the pro-inflammatory response of the innate immunity through purinergic receptors on the surface of the immune cells. This results in lung tissue inflammation, capillary leakage, interstitial and alveolar oedema and lung injury reducing the production of surfactant by the damaged AT II cells and deactivating the surfactant function by the concomitant extravasated serum proteins through capillary leakage followed by a substantial increase in alveolar surface tension and alveolar collapse. The resulting inhomogeneous ventilation of the lungs is an important mechanism in the development of ventilation-induced lung injury. The high levels of extracellular ATP and the upregulation of ecto-enzymes and soluble enzymes that hydrolyse ATP to adenosine (CD39 and CD73) increase the extracellular adenosine levels that inhibit the innate and adaptive immune responses rendering the host susceptible to infection by invading microorganisms. Moreover, high levels of extracellular adenosine increase the expression, the production and the activation of pro-fibrotic proteins (such as TGF-β, α-SMA, etc.) followed by the establishment of lung fibrosis

Global, regional, and national comparative risk assessment of 84 behavioural, environmental and occupational, and metabolic risks or clusters of risks for 195 countries and territories, 1990–2017 : a systematic analysis for the Global Burden of Disease Study 2017

Background: The Global Burden of Diseases, Injuries, and Risk Factors Study (GBD) 2017 comparative risk assessment (CRA) is a comprehensive approach to risk factor quantification that offers a useful tool for synthesising evidence on risks and risk outcome associations. With each annual GBD study, we update the GBD CRA to incorporate improved methods, new risks and risk outcome pairs, and new data on risk exposure levels and risk outcome associations. Methods: We used the CRA framework developed for previous iterations of GBD to estimate levels and trends in exposure, attributable deaths, and attributable disability-adjusted life-years (DALYs), by age group, sex, year, and location for 84 behavioural, environmental and occupational, and metabolic risks or groups of risks from 1990 to 2017. This study included 476 risk outcome pairs that met the GBD study criteria for convincing or probable evidence of causation. We extracted relative risk and exposure estimates from 46 749 randomised controlled trials, cohort studies, household surveys, census data, satellite data, and other sources. We used statistical models to pool data, adjust for bias, and incorporate covariates. Using the counterfactual scenario of theoretical minimum risk exposure level (TMREL), we estimated the portion of deaths and DALYs that could be attributed to a given risk. We explored the relationship between development and risk exposure by modelling the relationship between the Socio-demographic Index (SDI) and risk-weighted exposure prevalence and estimated expected levels of exposure and risk-attributable burden by SDI. Finally, we explored temporal changes in risk-attributable DALYs by decomposing those changes into six main component drivers of change as follows: (1) population growth; (2) changes in population age structures; (3) changes in exposure to environmental and occupational risks; (4) changes in exposure to behavioural risks; (5) changes in exposure to metabolic risks; and (6) changes due to all other factors, approximated as the risk-deleted death and DALY rates, where the risk-deleted rate is the rate that would be observed had we reduced the exposure levels to the TMREL for all risk factors included in GBD 2017. Findings: In 2017,34.1 million (95% uncertainty interval [UI] 33.3-35.0) deaths and 121 billion (144-1.28) DALYs were attributable to GBD risk factors. Globally, 61.0% (59.6-62.4) of deaths and 48.3% (46.3-50.2) of DALYs were attributed to the GBD 2017 risk factors. When ranked by risk-attributable DALYs, high systolic blood pressure (SBP) was the leading risk factor, accounting for 10.4 million (9.39-11.5) deaths and 218 million (198-237) DALYs, followed by smoking (7.10 million [6.83-7.37] deaths and 182 million [173-193] DALYs), high fasting plasma glucose (6.53 million [5.23-8.23] deaths and 171 million [144-201] DALYs), high body-mass index (BMI; 4.72 million [2.99-6.70] deaths and 148 million [98.6-202] DALYs), and short gestation for birthweight (1.43 million [1.36-1.51] deaths and 139 million [131-147] DALYs). In total, risk-attributable DALYs declined by 4.9% (3.3-6.5) between 2007 and 2017. In the absence of demographic changes (ie, population growth and ageing), changes in risk exposure and risk-deleted DALYs would have led to a 23.5% decline in DALYs during that period. Conversely, in the absence of changes in risk exposure and risk-deleted DALYs, demographic changes would have led to an 18.6% increase in DALYs during that period. The ratios of observed risk exposure levels to exposure levels expected based on SDI (O/E ratios) increased globally for unsafe drinking water and household air pollution between 1990 and 2017. This result suggests that development is occurring more rapidly than are changes in the underlying risk structure in a population. Conversely, nearly universal declines in O/E ratios for smoking and alcohol use indicate that, for a given SDI, exposure to these risks is declining. In 2017, the leading Level 4 risk factor for age-standardised DALY rates was high SBP in four super-regions: central Europe, eastern Europe, and central Asia; north Africa and Middle East; south Asia; and southeast Asia, east Asia, and Oceania. The leading risk factor in the high-income super-region was smoking, in Latin America and Caribbean was high BMI, and in sub-Saharan Africa was unsafe sex. O/E ratios for unsafe sex in sub-Saharan Africa were notably high, and those for alcohol use in north Africa and the Middle East were notably low. Interpretation: By quantifying levels and trends in exposures to risk factors and the resulting disease burden, this assessment offers insight into where past policy and programme efforts might have been successful and highlights current priorities for public health action. Decreases in behavioural, environmental, and occupational risks have largely offset the effects of population growth and ageing, in relation to trends in absolute burden. Conversely, the combination of increasing metabolic risks and population ageing will probably continue to drive the increasing trends in non-communicable diseases at the global level, which presents both a public health challenge and opportunity. We see considerable spatiotemporal heterogeneity in levels of risk exposure and risk-attributable burden. Although levels of development underlie some of this heterogeneity, O/E ratios show risks for which countries are overperforming or underperforming relative to their level of development. As such, these ratios provide a benchmarking tool to help to focus local decision making. Our findings reinforce the importance of both risk exposure monitoring and epidemiological research to assess causal connections between risks and health outcomes, and they highlight the usefulness of the GBD study in synthesising data to draw comprehensive and robust conclusions that help to inform good policy and strategic health planning