Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

The role of salt abuse on risk for hypercalciuria

<p>Abstract</p> <p>Background</p> <p>Elevated sodium excretion in urine resulting from excessive sodium intake can lead to hypercalciuria and contribute to the formation of urinary stones. The aim of this study was to evaluate salt intake in patients with urinary lithiasis and idiopathic hypercalciuria (IH).</p> <p>Methods</p> <p>Between August 2007 and June 2008, 105 lithiasic patients were distributed into 2 groups: Group 1 (n = 55): patients with IH (urinary calcium excretion > 250 mg in women and 300 mg in men with normal serum calcium); Group 2 (n = 50): normocalciuric patients (NC). Inclusion criteria were: age over 18 years, normal renal function (creatinine clearance ≥ 60 ml/min), absent proteinuria and negative urinary culture. Pregnant women, patients with intestinal pathologies, chronic diarrhea or using corticoids were excluded. The protocol of metabolic investigation was based on non-consecutive collection of two 24-hour samples for dosages of: calcium, sodium, uric acid, citrate, oxalate, magnesium and urinary volume. Food intake was evaluated by the three-day dietary record quantitative method, and the Body Mass Index (BMI) was calculated and classified according to the World Health Organization (WHO). Sodium intake was evaluated based on 24-hour urinary sodium excretion.</p> <p>Results</p> <p>The distribution in both groups as regards mean age (42.11 ± 10.61 vs. 46.14 ± 11.52), weight (77.14 ± 16.03 vs. 75.99 ± 15.80), height (1.64 ± 0.10 vs. 1.64 <b>± plusorminus </b>0.08) and BMI (28.78 ± 5.81 vs. 28.07 ± 5.27) was homogeneous. Urinary excretion of calcium (433.33 ± 141.92 vs. 188.93 ± 53.09), sodium (280.08 ± 100.94 vs. 200.44.93 ± 65.81), uric acid (880.63 ± 281.50 vs. 646.74 ± 182.76) and magnesium (88.78 ± 37.53 vs. 64.34 ± 31.84) was significantly higher in the IH group (p < 0.05). There was no statistical difference in calcium intake between the groups, and there was significantly higher salt intake in patients with IH than in NC.</p> <p>Conclusions</p> <p>This study showed that salt intake was higher in patients with IH as compared to NC.</p

Neuroinflammation, Mast Cells, and Glia: Dangerous Liaisons

The perspective of neuroinflammation as an epiphenomenon following neuron damage is being replaced by the awareness of glia and their importance in neural functions and disorders. Systemic inflammation generates signals that communicate with the brain and leads to changes in metabolism and behavior, with microglia assuming a pro-inflammatory phenotype. Identification of potential peripheral-to-central cellular links is thus a critical step in designing effective therapeutics. Mast cells may fulfill such a role. These resident immune cells are found close to and within peripheral nerves and in brain parenchyma/meninges, where they exercise a key role in orchestrating the inflammatory process from initiation through chronic activation. Mast cells and glia engage in crosstalk that contributes to accelerate disease progression; such interactions become exaggerated with aging and increased cell sensitivity to stress. Emerging evidence for oligodendrocytes, independent of myelin and support of axonal integrity, points to their having strong immune functions, innate immune receptor expression, and production/response to chemokines and cytokines that modulate immune responses in the central nervous system while engaging in crosstalk with microglia and astrocytes. In this review, we summarize the findings related to our understanding of the biology and cellular signaling mechanisms of neuroinflammation, with emphasis on mast cell-glia interactions

Inflation and Dark Energy from spectroscopy at z > 2

The expansion of the Universe is understood to have accelerated during two epochs: in its very first moments during a period of Inflation and much more recently, at z < 1, when Dark Energy is hypothesized to drive cosmic acceleration. The undiscovered mechanisms behind these two epochs represent some of the most important open problems in fundamental physics. The large cosmological volume at 2 < z < 5, together with the ability to efficiently target high-$z$ galaxies with known techniques, enables large gains in the study of Inflation and Dark Energy. A future spectroscopic survey can test the Gaussianity of the initial conditions up to a factor of ~50 better than our current bounds, crossing the crucial theoretical threshold of $\sigma(f_{NL}^{\rm local})$ of order unity that separates single field and multi-field models. Simultaneously, it can measure the fraction of Dark Energy at the percent level up to $z = 5$, thus serving as an unprecedented test of the standard model and opening up a tremendous discovery space

Prevalence of age-related hearing loss in Europe: a review

Populations are becoming progressively older thus presenting symptoms of diminished organ function due to degenerative processes. These may be physiological or caused by additional factors damaging the organ. Presbyacusis refers to the physiological age-related changes of the peripheral and central auditory system leading to hearing impairment and difficulty understanding spoken language. In contrast to epidemiological data of other continents, the prevalence of age-related hearing loss (ARHL) in Europe is not well defined, due in part to the use of different classification systems. We performed a systematic literature review with the aim of gaining a picture of the prevalence of ARHL in Europe. The review included only population and epidemiological studies in English since 1970 with samples in European countries with subjects aged 60 years and above. Nineteen studies met our selection criteria and additional five studies reported self-reported hearing impairment. When these data were crudely averaged and interpolated, roughly 30% of men and 20% of women in Europe were found to have a hearing loss of 30 dB HL or more by age 70 years, and 55% of men and 45% of women by age 80 years. Apparent problems in comparing the available data were the heterogeneity of measures and cut-offs for grades of hearing impairment. Our systematic review of epidemiological data revealed more information gaps than information that would allow gaining a meaningful picture of prevalence of ARHL. The need for standardized procedures when collecting and reporting epidemiological data on hearing loss has become evident. Development of hearing loss over time in conjunction with the increase in life expectancy is a major factor determining strategies of detection and correction of ARHL. Thus, we recommend using the WHO classification of hearing loss strictly and including standard audiometric measures in population-based health surveys

The Formation and Evolution of the First Massive Black Holes

The first massive astrophysical black holes likely formed at high redshifts (z>10) at the centers of low mass (~10^6 Msun) dark matter concentrations. These black holes grow by mergers and gas accretion, evolve into the population of bright quasars observed at lower redshifts, and eventually leave the supermassive black hole remnants that are ubiquitous at the centers of galaxies in the nearby universe. The astrophysical processes responsible for the formation of the earliest seed black holes are poorly understood. The purpose of this review is threefold: (1) to describe theoretical expectations for the formation and growth of the earliest black holes within the general paradigm of hierarchical cold dark matter cosmologies, (2) to summarize several relevant recent observations that have implications for the formation of the earliest black holes, and (3) to look into the future and assess the power of forthcoming observations to probe the physics of the first active galactic nuclei.Comment: 39 pages, review for "Supermassive Black Holes in the Distant Universe", Ed. A. J. Barger, Kluwer Academic Publisher

Exchange of nutrients and oxygen across the sediment-water interface below a Sparus aurata marine fish farm in the north-western Mediterranean Sea

Purpose: This study analyzes the effects of aquaculture activities in open seawater in the north-western coastal waters of the Mediterranean Sea. It is the first of its kind to be based on benthic flux data gathered in situ below fish farms for this particular area. Materials and methods: Samples were collected on four sampling campaigns over a 1-year cycle under a Sparus aurata fish farm facility where benthic fluxes were measured in situ using light and dark benthic chambers. Bottom water and sediment samples were also collected. Data were compared to those for a nearby control station. Results and discussion: Significant differences were found (ANOVA, p < 0. 05) between concentrations of organic matter (OM), total phosphorus and redox potentials in sediments located under the cages and those of the control station. The consumption of dissolved oxygen (DO) by sediment and positive ammonium (NH4 +) fluxes was stimulated by OM content, with correlations of r = -0. 60 (p < 0. 01) and r = 0. 70 (p < 0. 01), respectively. The OM content of sediments was found to be consistently higher under the cages than at the control station, with the highest value (1. 8 ± 0. 7 %) under the cages observed during the early summer; values of DO and NH4 + fluxes were -64 ± 17 and 12. 7 ± 1. 0 mmol m-2 day-1, respectively. PO4 3- fluxes were consistently higher in the fish farm sediments (between 0. 58 and 0. 98 mmol m-2 day-1) than those observed at the control station. Nitrate (NO3 -) fluxes were found to be consistently negative due to denitrification occurring in the sediments and were related to the concentration of NO3 - in bottom waters (r = 0. 92, p < 0. 01). Si fluxes were shown to be associated with water temperature (r = 0. 59, p < 0. 05). Conclusions: The results imply that sediments located below cages accumulate organic matter originating from aquaculture activities, especially during summer months when this activity increases. Sediments undergo biogeochemical changes that mainly affect fluxes of DO, NH4 + and soluble reactive phosphorus, although these do not seem to have a significant impact on the quality of the water column due to the hydrodynamic characteristics of the area. © 2012 Springer-Verlag.We would like to thank the Caja del Mediterraneo for a predoctoral fellowship fund for this research and Antonio Asuncion Acuigroup Maremar manager for the facilities and support in conducting the study. The translation of this paper was funded by the Universidad Politecnica de Valencia, Spain. We are grateful for the valuable comments of the anonymous reviewers on previous versions of the manuscript.Morata Higón, T.; Sospedra, J.; Falco Giaccaglia, SL.; Rodilla Alama, M. (2012). Exchange of nutrients and oxygen across the sediment-water interface below a Sparus aurata marine fish farm in the north-western Mediterranean Sea. Journal of Soils and Sediments. 12(10):1623-1632. doi:10.1007/s11368-012-0581-2S162316321210APHA, AWWA, and WEF (2005) Standard methods for the examination of water wastewater, 21st edn. American Public Health Association, WashingtonAksu M, Kocatas A (2007) Environmental effects of the three fish farms in Izmir Bay (Aegean Sea-Turkey) on water column and sediment. Rapport du 38e Congrés de la Commission Internationale Pour L’exploration Scientifique de la Mer Méditerranée 38, 414Aminot A, Chaussepied M (1983) Manuel des analyses chimiques en milieu marin. Centre National pour l’Explotation des Oceans, BrestArocena R, Conde D (1999) Sedimento. Métodos en ecología de aguas continentales. Universidad de la República, Montevideo, pp 40–52Asociación Empresarial de Productores de Cultivos Marinas (APROMAR) (2010) La Acuicultura Marina de Peces en España, pp. 69Baumgarten MGZ, Rocha JM, Niencheski LFH (1996) Manual de análises em oceanografia química, Rio GrandeBelias C, Dassenakis M, Scoullos M (2007) Study of the N, P and Si fluxes between fish farm sediment and seawater. Results of simulation experiments employing a benthic chamber under various redox conditions. Mar Chem 103:266–275Berelson WM, McManus J, Coale KH, Johnson KS, Burdige D, Kilgore T, Colodner D, Chavez F, Kudela R, Boucher J (2003) A time series of benthic flux measurements from Monterey Bay, CA. Cont Shelf Res 23:457–481Black KD, McDougall N (2002) Hydrography of four Mediterranean marine cage sites. J Appl Ichthyol 18:129–133Borja A, Rodríguez JG, Black K, Bodoy A, Emblow C, Fernandes TF, Forte J, Karakassis I, Muxika I, Nickell TD, Papageorgiou N, Pranovi F, Sevastou K, Tomassetti P, Angel D (2009) Assessing the suitability of a range of benthic indices in the evaluation of environmental impact of fin and shellfish aquaculture located in sites across Europe. Aquaculture 293:231–240Cermelj B, Ogrinc N, Faganeli J (2001) Anoxic mineralization of biogenic debris in near-shore marine sediments (Gulf of Trieste, northern Adriatic). Sci Total Environ 266:143–152Dell’Anno A, Mei ML, Pusceddu A, Danovaro R (2002) Assessing the trophic state and eutrophication of coastal marine systems: a new approach based on the biochemical composition of sediment organic matter. Mar Pollut Bull 44:611–622Dosdat A (2001) Environmental impact of aquaculture in the Mediterranean: nutritional and feeding aspects. Environmental impact assessment of Mediterranean aquaculture farms. Cah Options Méditerr CIHEAM-FAO 55:23–36Ferrón S, Ortega T, Forja JM (2009) Benthic fluxes in a tidal salt marsh creek by fish farm activities: Río San Pedro (Bay of Cádiz, SW Spain). Mar Chem 113:50–62Freitas U, Niencheski LFH, Zarzur S, Manzolli RP, Vieira JPP, Rosa LC (2008) Influência de um cultivo de camaraô sobre o metabolismo béntico e a qualidade da agua. Rev Bras Eng Agríc Ambient 12:293–301Hall POJ, Holby O, Kollberg S, Samuelsson MO (1992) Chemical fluxes and mass balances in a marine fish cage farm: IV. Nitrogen. Mar Ecol Prog Ser 89:81–91Hargrave B (2005) Environmental effects of marine finfish aquaculture. The handbook of environmental. chemistry, vol. 5. Part M. Springer, BerlinHargrave BT, Phillips GA, Doucette LI, White MJ, Milligan TG, Wildish DJ, Cranston RE (1997) Assessing benthic impacts of organic enrichment from marine aquaculture. Water Air Soil Pollut 99:641–650Heilskov AC, Holmer M (2001) Effects of benthic fauna on organic matter mineralization in fish-farm sediments: importance of size and abundance. ICES J Mar Sci 58:427–434Herbert RA (1999) Nitrogen cycling in coastal marine ecosystems. FEMS Microbiol Rev 23:563–590Holby O, Hall POJ (1991) Chemical fluxes and mass balances in a marine fish cage farm. 11. Phosphorus. Mar Ecol Prog Ser 70:263–272Holby O, Hall POJ (1994) Chemical fluxes and mass balances in a marine fish cage farm. III. Silicon. Aquaculture 120:305–318Jackson C, Preston N, Thompson PJ (2004) Intake and discharge nutrient loads at three intensive shrimp farms. Aquacult Res 35:1053–1061Karakassis I, Tsapakis M, Hatziyanni E (1998) Seasonal variability in sediment profiles beneath fish farm cages in the Mediterranean. Mar Ecol Prog Ser 162:243–252Kaymakci A, Aksu M, Egemen O (2010) Impacts of the fish farms on the water column nutrient concentrations and accumulation of heavy metals in the sediments in the eastern Aegean Sea (Turkey). Environ Monit Assess 162:439–451Lorenti M, De Falco G (2004) Measurements and characterization of abiotic variables. In: Gambi MC, Diappiano M (eds) Mediterranean marine benthos: a manual of methods for its sampling and study. Societa Italiana di Biologia Marina, Genova, pp 1–37Maldonado M, Carmona MC, Echeverría Y, Riesgo A (2005) The environmental impact of Mediterranean cage fish farms at semi-exposed locations: does it need a re-assessment? Helgol Mar Res 59:121–135Mantzavrakos E, Kornaros M, Lyberatos G, Kaspiris P (2007) Impacts of a marine fish farm in Argolikos Gulf (Greece) on the water column and the sediment. Desalination 210:110–124Mazzola A, Mirto S, La Rosa T, Fabiano M, Danovaro R (2000) Fish-farming effects on benthic community structure in coastal sediments: analysis of meiofaunal recovery. ICES J Mar Sci 57:1454–1461Molina L, Vergara JM (2005) Impacto ambiental de jaulas flotantes: estado actual de conocimientos y conclusiones prácticas. Bol Inst Esp Oceanogr 21:75–81Morán XAG, Estrada M (2005) Winter pelagic photosynthesis in the NW Mediterranean Deep-Sea. Research I 52:1806–1822Neofitou N, Klaoudatos S (2008) Effect of fish farming on the water column nutrient concentration in a semi-enclosed gulf of the Eastern Mediterranean. Aquac Res 39:482–490Niencheski LF, Jahnke RA (2002) Benthic respiration and inorganic nutrient fluxes in the estuarine región of Patos Lagoon (Brazil). Aquat Geochem 8:135–152Nizzoli D, Bartoli M, Viaroli P (2007) Oxygen and ammonium dynamics during a farming cycle of the bivalve Tapes philippinarum. Hydrobiologia 587:25–36Pergent-Martini C, Boudouresque CF, Pasqualini V, Pergent G (2006) Impact of fish farming facilities on Posidonia oceanica meadows: a review. Mar Ecol 27:310–319Pitta P, Karakassis I, Tsapakis M, Zivanovic S (1999) Natural versus mariculture induced variability in nutrients and plankton in the Eastern Mediterranean. Hydrobiologia 391:181–194Redfield AC, Ketchum BH, Richards FA (1963) The influence of organisms on the composition of seawater. In: Hill MN (ed) The sea, vol 2. Interscience, New YorkRiise JC, Roos N (1997) Benthic metabolism and the effects of bioturbation in a fertilized polyculture fish pond in northeast Thailand. Aquaculture 150:45–62Rodríguez J (1999) Ecología. Ed. Pirámide. pp 411Sakamaki T, Nishimura O, Sudo R (2006) Tidal time-scale variation in nutrient flux across the sediment-water interface of an estuarine tidal flat. Estuar Coast Shelf Sci 67:653–663Sarà G, Scilipoti D, Milazzo M, Modica A (2006) Use of stable isotopes to investigate dispersal of waste from fish farms as a function of hydrodynamics. Mar Ecol Prog Ser 313:261–270Shepard FP (1954) Nomenclature based on sand-silt-clay relations. J Sediment Petrol 24:151–158Siokou-Frangou I, Christaki U, Mazzocchi MG, Montresor M, Ribera d’Alcalá M, Vaqué D, Zingone A (2010) Plankton in the open Mediterranean Sea: a review. BG 7:1543–1586Warnken KW, Gill GA, Lehman R, Dellapenna T, Allison MA (2002) The effects of shrimp trawling on sediment oxygen demand and the release of trace metals and nutrients from estuarine sediments. Estuar Coast Shelf Sci 57:25–42Yucel-Gier G, Kucuksezgin F, Kocak F (2007) Effects of fish farming on nutrients and benthic community structure in the Eastern Aegean (Turkey). Aquac Res 38:256–26

The association of patient trust and self-care among patients with diabetes mellitus

BACKGROUND: Diabetes requires significant alterations to lifestyle and completion of self management tasks to obtain good control of disease. The objective of this study was to determine if patient trust is associated with reduced difficulty and hassles in altering lifestyle and completing self care tasks. METHODS: A cross-sectional telephone survey and medical record review was performed to measure patient trust and difficulty in completing diabetes tasks among 320 medically underserved patients attending diabetes programs in rural North Carolina, USA. Diabetes tasks were measured three ways: perceived hassles of diabetic care activities, difficulty in completing diabetes-related care activities, and a global assessment of overall ability to complete diabetes care activities. The association of patient trust with self-management was examined after controlling for patient demographics, physical functioning, mental health and co-morbidities. RESULTS: Level of patient trust was high (median 22, possible max 25). Higher trust levels were associated with lower levels of hassles (p = 0.006) and lower difficulty in completing care activities (p = 0.001). Patients with higher trust had better global assessments of overall ability to complete diabetes care activities (p < 0.0001). CONCLUSION: Higher patient trust in physicians is associated with reduced difficulty in completing disease specific tasks by patients. Further studies are needed to determine the causal relationship of this association, the effect of trust on other outcomes, and the potential modifiability of trus

Effects of social approval bias on self-reported fruit and vegetable consumption: a randomized controlled trial

<p>Abstract</p> <p>Background</p> <p>Self-reports of dietary intake in the context of nutrition intervention research can be biased by the tendency of respondents to answer consistent with expected norms (social approval bias). The objective of this study was to assess the potential influence of social approval bias on self-reports of fruit and vegetable intake obtained using both food frequency questionnaire (FFQ) and 24-hour recall methods.</p> <p>Methods</p> <p>A randomized blinded trial compared reported fruit and vegetable intake among subjects exposed to a potentially biasing prompt to that from control subjects. Subjects included 163 women residing in Colorado between 35 and 65 years of age who were randomly selected and recruited by telephone to complete what they were told would be a future telephone survey about health. Randomly half of the subjects then received a letter prior to the interview describing this as a study of fruit and vegetable intake. The letter included a brief statement of the benefits of fruits and vegetables, a 5-A-Day sticker, and a 5-a-Day refrigerator magnet. The remainder received the same letter, but describing the study purpose only as a more general nutrition survey, with neither the fruit and vegetable message nor the 5-A-Day materials. Subjects were then interviewed on the telephone within 10 days following the letters using an eight-item FFQ and a limited 24-hour recall to estimate fruit and vegetable intake. All interviewers were blinded to the treatment condition.</p> <p>Results</p> <p>By the FFQ method, subjects who viewed the potentially biasing prompts reported consuming more fruits and vegetables than did control subjects (5.2 vs. 3.7 servings per day, p < 0.001). By the 24-hour recall method, 61% of the intervention group but only 32% of the control reported eating fruits and vegetables on 3 or more occasions the prior day (p = 0.002). These associations were independent of age, race/ethnicity, education level, self-perceived health status, and time since last medical check-up.</p> <p>Conclusion</p> <p>Self-reports of fruit and vegetable intake using either a food frequency questionnaire or a limited 24-hour recall are both susceptible to substantial social approval bias. Valid assessments of intervention effects in nutritional intervention trials may require objective measures of dietary change.</p

Surgical site infections in Italian Hospitals: a prospective multicenter study

<p>Abstract</p> <p>Background</p> <p>Surgical site infections (SSI) remain a major clinical problem in terms of morbidity, mortality, and hospital costs. Nearly 60% of SSI diagnosis occur in the postdischarge period. However, literature provides little information on risk factors associated to in-hospital and postdischarge SSI occurrence. A national prospective multicenter study was conducted with the aim of assessing the incidence of both in-hospital and postdisharge SSI, and the associated risk factors.</p> <p>Methods</p> <p>In 2002, a one-month, prospective national multicenter surveillance study was conducted in General and Gynecological units of 48 Italian hospitals. Case ascertainment of SSI was carried out using standardized surveillance methodology. To assess potential risk factors for SSI we used a conditional logistic regression model. We also reported the odds ratios of in-hospital and postdischarge SSI.</p> <p>Results</p> <p>SSI occurred in 241 (5.2%) of 4,665 patients, of which 148 (61.4%) during in-hospital, and 93 (38.6%) during postdischarge period. Of 93 postdischarge SSI, sixty-two (66.7%) and 31 (33.3%) were detected through telephone interview and questionnaire survey, respectively. Higher SSI incidence rates were observed in colon surgery (18.9%), gastric surgery (13.6%), and appendectomy (8.6%). If considering risk factors for SSI, at multivariate analysis we found that emergency interventions, NNIS risk score, pre-operative hospital stay, and use of drains were significantly associated with SSI occurrence. Moreover, risk factors for total SSI were also associated to in-hospital SSI. Additionally, only NNIS, pre-operative hospital stay, use of drains, and antibiotic prophylaxis were associated with postdischarge SSI.</p> <p>Conclusion</p> <p>Our study provided information on risk factors for SSI in a large population in general surgery setting in Italy. Standardized postdischarge surveillance detected 38.6% of all SSI. We also compared risk factors for in-hospital and postdischarge SSI, thus providing additional information to that of the current available literature. Finally, a large amount of postdischarge SSI were detected through telephone interview. The evaluation of the cost-effectiveness of the telephone interview as a postdischarge surveillance method could be an issue for further research.</p