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 influence of perfusion solution on renal graft viability assessment

BACKGROUND: Kidneys from donors after cardiac or circulatory death are exposed to extended periods of both warm ischemia and intra-arterial cooling before organ recovery. Marshall’s hypertonic citrate (HOC) and Bretschneider’s histidine-tryptophan-ketoglutarate (HTK) preservation solutions are cheap, low viscosity preservation solutions used clinically for organ flushing. The aim of the present study was to evaluate the effects of these two solutions both on parameters used in clinical practice to assess organ viability prior to transplantation and histological evidence of ischemic injury after reperfusion. METHODS: Rodent kidneys were exposed to post-mortem warm ischemia, extended intra-arterial cooling (IAC) (up to 2 h) with preservation solution and reperfusion with either Krebs-Hensleit or whole blood in a transplant model. Control kidneys were either reperfused directly after retrieval or stored in 0.9% saline. Biochemical, immunological and histological parameters were assessed using glutathione-S-transferase (GST) enzymatic assays, polymerase chain reaction and mitochondrial electron microscopy respectively. Vascular function was assessed by supplementing the Krebs-Hensleit perfusion solution with phenylephrine to stimulate smooth muscle contraction followed by acetylcholine to trigger endothelial dependent relaxation. RESULTS: When compared with kidneys reperfused directly post mortem, 2 h of IAC significantly reduced smooth muscle contractile function, endothelial function and upregulated vascular cellular adhesion molecule type 1 (VCAM-1) independent of the preservation solution. However, GST release, vascular resistance, weight gain and histological mitochondrial injury were dependent on the preservation solution used. CONCLUSIONS: We conclude that initial machine perfusion viability tests, including ischemic vascular resistance and GST, are dependent on the perfusion solution used during in situ cooling. HTK-perfused kidneys will be heavier, have higher GST readings and yet reduced mitochondrial ischemic injury when compared with HOC-perfused kidneys. Clinicians should be aware of this when deciding which kidneys to transplant or discard

Mathematical treatment of adiabatic fast passage pulses for the computation of nuclear spin relaxation rates in proteins with conformational exchange

Although originally designed for broadband inversion and decoupling in NMR spectroscopy, recent methodological developments have introduced adiabatic fast passage (AFP) pulses into the field of protein dynamics. AFP pulses employ a frequency sweep, and have not only superior inversion properties with respect to offset effects, but they are also easily implemented into a pulse sequence. As magnetization is dragged from the +z to the −z direction, Larmor precession is impeded since magnetization becomes spin-locked, which is a potentially useful feature for the investigation of microsecond to millisecond dynamics. A major drawback of these pulses as theoretical prediction is concerned, however, results from their time-dependent offset: simulations of spin density matrices under the influence of a time-dependent Hamiltonian with non-commuting elements are costly in terms of computational time, rendering data analysis impracticable. In this paper we suggest several ways to reduce the computational time without compromising accuracy with respect to effects such as cross-correlated relaxation and modulation of the chemical shift

3D Multicolor Super-Resolution Imaging Offers Improved Accuracy in Neuron Tracing

The connectivity among neurons holds the key to understanding brain function. Mapping neural connectivity in brain circuits requires imaging techniques with high spatial resolution to facilitate neuron tracing and high molecular specificity to mark different cellular and molecular populations. Here, we tested a three-dimensional (3D), multicolor super-resolution imaging method, stochastic optical reconstruction microscopy (STORM), for tracing neural connectivity using cultured hippocampal neurons obtained from wild-type neonatal rat embryos as a model system. Using a membrane specific labeling approach that improves labeling density compared to cytoplasmic labeling, we imaged neural processes at 44 nm 2D and 116 nm 3D resolution as determined by considering both the localization precision of the fluorescent probes and the Nyquist criterion based on label density. Comparison with confocal images showed that, with the currently achieved resolution, we could distinguish and trace substantially more neuronal processes in the super-resolution images. The accuracy of tracing was further improved by using multicolor super-resolution imaging. The resolution obtained here was largely limited by the label density and not by the localization precision of the fluorescent probes. Therefore, higher image resolution, and thus higher tracing accuracy, can in principle be achieved by further improving the label density

Seagrass Canopy Photosynthetic Response Is a Function of Canopy Density and Light Environment: A Model for Amphibolis griffithii

A three-dimensional computer model of canopies of the seagrass Amphibolis griffithii was used to investigate the consequences of variations in canopy structure and benthic light environment on leaf-level photosynthetic saturation state. The model was constructed using empirical data of plant morphometrics from a previously conducted shading experiment and validated well to in-situ data on light attenuation in canopies of different densities. Using published values of the leaf-level saturating irradiance for photosynthesis, results show that the interaction of canopy density and canopy-scale photosynthetic response is complex and non-linear, due to the combination of self-shading and the non-linearity of photosynthesis versus irradiance (P-I) curves near saturating irradiance. Therefore studies of light limitation in seagrasses should consider variation in canopy structure and density. Based on empirical work, we propose a number of possible measures for canopy scale photosynthetic response that can be plotted to yield isoclines in the space of canopy density and light environment. These plots can be used to interpret the significance of canopy changes induced as a response to decreases in the benthic light environment: in some cases canopy thinning can lead to an equivalent leaf level light environment, in others physiological changes may also be required but these alone may be inadequate for canopy survival. By providing insight to these processes the methods developed here could be a valuable management tool for seagrass conservation during dredging or other coastal developments

Malaria mosquito control using edible fish in western Kenya: preliminary findings of a controlled study

<p>Abstract</p> <p>Background</p> <p>Biological control methods are once again being given much research focus for malaria vector control. This is largely due to the emerging threat of strong resistance to pesticides. Larvivorous fish have been used for over 100 years in mosquito control and many species have proved effective. In the western Kenyan highlands the larvivorous fish <it>Oreochromis niloticus </it>L. (Perciformes: Cichlidae) (formerly <it>Tilapia nilotica</it>) is commonly farmed and eaten but has not been previously tested in the field for malaria mosquito control.</p> <p>Methods</p> <p>This fish was introduced into abandoned fishponds at an altitude of 1,880 m and the effect measured over six months on the numbers of mosquito immatures. For comparison an untreated control pond was used. During this time, all ponds were regularly cleared of emergent vegetation and fish re-stocking was not needed. Significant autocorrelation was removed from the time series data, and t-tests were used to investigate within a pond and within a mosquito type any differences before and after the introduction of <it>O. niloticus</it>. Mulla's formula was also used on the raw data to calculate the percentage reduction of the mosquito larvae.</p> <p>Results</p> <p>After <it>O. niloticus </it>introduction, mosquito densities immediately dropped in the treated ponds but increased in the control pond. This increase was apparently due to climatic factors. Mulla's formula was applied which corrects for that natural tendency to increase. The results showed that after 15 weeks the fish caused a more than 94% reduction in both <it>Anopheles gambiae s.l</it>. and <it>Anopheles funestus </it>(Diptera: Culicidae) in the treated ponds, and more than 75% reduction in culicine mosquitoes. There was a highly significantly reduction in <it>A. gambiae s.l</it>. numbers when compared to pre-treatment levels.</p> <p>Conclusion</p> <p>This study reports the first field trial data on <it>O. niloticus </it>for malaria mosquito control and shows that this species, already a popular food fish in western Kenya, is an apparently sustainable mosquito control tool which also offers a source of protein and income to people in rural areas. There should be no problem with acceptance of this malaria control method since the local communities already farm this fish species.</p

Anticancer Gene Transfer for Cancer Gene Therapy

Gene therapy vectors are among the treatments currently used to treat malignant tumors. Gene therapy vectors use a specific therapeutic transgene that causes death in cancer cells. In early attempts at gene therapy, therapeutic transgenes were driven by non-specific vectors which induced toxicity to normal cells in addition to the cancer cells. Recently, novel cancer specific viral vectors have been developed that target cancer cells leaving normal cells unharmed. Here we review such cancer specific gene therapy systems currently used in the treatment of cancer and discuss the major challenges and future directions in this field

Satellite Tracking Reveals Long Distance Coastal Travel and Homing by Translocated Estuarine Crocodiles, Crocodylus porosus

Crocodilians have a wide distribution, often in remote areas, are cryptic, secretive and are easily disturbed by human presence. Their capacity for large scale movements is poorly known. Here, we report the first study of post-release movement patterns in translocated adult crocodiles, and the first application of satellite telemetry to a crocodilian. Three large male Crocodylus porosus (3.1–4.5 m) were captured in northern Australia and translocated by helicopter for 56, 99 and 411 km of coastline, the last across Cape York Peninsula from the west coast to the east coast. All crocodiles spent time around their release site before returning rapidly and apparently purposefully to their capture locations. The animal that circumnavigated Cape York Peninsula to return to its capture site, travelled more than 400 km in 20 days, which is the longest homeward travel yet reported for a crocodilian. Such impressive homing ability is significant because translocation has sometimes been used to manage potentially dangerous C. porosus close to human settlement. It is clear that large male estuarine crocodiles can exhibit strong site fidelity, have remarkable navigational skills, and may move long distances following a coastline. These long journeys included impressive daily movements of 10–30 km, often consecutively

Quasi-Normal Modes of Stars and Black Holes

Perturbations of stars and black holes have been one of the main topics of relativistic astrophysics for the last few decades. They are of particular importance today, because of their relevance to gravitational wave astronomy. In this review we present the theory of quasi-normal modes of compact objects from both the mathematical and astrophysical points of view. The discussion includes perturbations of black holes (Schwarzschild, Reissner-Nordstr\"om, Kerr and Kerr-Newman) and relativistic stars (non-rotating and slowly-rotating). The properties of the various families of quasi-normal modes are described, and numerical techniques for calculating quasi-normal modes reviewed. The successes, as well as the limits, of perturbation theory are presented, and its role in the emerging era of numerical relativity and supercomputers is discussed.Comment: 74 pages, 7 figures, Review article for "Living Reviews in Relativity