Haiku - a Scala combinator toolkit for semi-automated composition of metaheuristics

There is an emerging trend towards the automated design of metaheuristics at the software component level. In principle, metaheuristics have a relatively clean decomposition, where well-known frameworks such as ILS and EA are parametrised by variant components for acceptance, perturbation etc. Automated generation of these frameworks is not so simple in practice, since the coupling between components may be implementation specific. Compositionality is the ability to freely express a space of designs ‘bottom up’ in terms of elementary components: previous work in this area has used combinators, a modular and functional approach to componentisation arising from foundational Computer Science. In this article, we describeHaiku, a combinator tool-kit written in the Scala language, which builds upon previous work to further automate the process by automatically composing the external dependencies of components. We provide examples of use and give a case study in which a programatically-generated heuristic is applied to the Travelling Salesman Problem within an Evolutionary Strategies framework

Epidemiological Features of Infantile Hypertrophic Pyloric Stenosis in Taiwanese Children: A Nation-Wide Analysis of Cases during 1997–2007

OBJECTIVE: To describe the epidemiological characteristics of infantile hypertrophic pyloric stenosis (IHPS) in ethnic Chinese children. MATERIALS AND METHODS: We reviewed the National Health Insurance claims database and analyzed data from children less than one year of age who had been diagnosed with IHPS (ICD-9-CM 750.5) and had undergone pyloromyotomy (ICD-9-CM 43.3). We analyzed the incidence, gender, age at diagnosis, length of hospital stay, seasonal variation and cost of IHPS from data collected between January 1997 and December 2007. RESULTS: A total of 1,077 infants met inclusion criteria, including 889 boys and 188 girls. The annual incidence of IHPS ranged from 0.30 to 0.47 per 1,000 live births with a mean incidence of 0.39 per 1,000 live births. Between 2002 and 2007, the incidence showed a declining trend (P = 0.025) with coincidentally increasing trends for both exclusive breastfeeding (P = 0.014) and breastfeeding plus bottle feeding (P = 0.004). The male-to-female rate ratio was dynamic and increased from 3.03 during the first two weeks of life to 8.94 during the 8(th) through 10th weeks of life. The overall male-to-female rate ratio was 4.30. The mean age at diagnosis was 43.1 ± 2.4 days. After analyzing the months of birth and hospital admission, no seasonal variation associated with IHPS was detected. The mean length of hospital stay was 8.28 ± 7.10 days. CONCLUSIONS: The incidence of IHPS in Taiwan, a country with a majority ethnic Chinese population, was lower than observed incidences in Caucasian populations living in Western countries. Breastfeeding campaigns and low maternal smoking rates may contribute to the lower incidence of IHPS in Taiwan. However, additional studies with longer follow-up periods are needed

Drug-eluting stents appear superior to bare metal stents for vein-graft PCI in vessels up to a stent diameter of 4 mm.

BACKGROUND: Research trials have shown improved short-term outcome with drug-eluting stents (DES) over bare metal stents (BMS) in saphenous vein graft (SVG) percutaneous coronary intervention (PCI), primarily by reducing target vessel revascularization (TVR) for in-stent restenosis. We compared the outcomes in patients undergoing SVG stent implantation treated with DES or BMS. In exploratory analyses we investigated the influence of stent generation and diameter. METHODS: Data were obtained from a prospective database of 657 patients who underwent PCI for SVG lesions between 2003 and 2011. A total of 344 patients had PCI with BMS and 313 with DES. Propensity scores were developed based on 15 observed baseline covariates in a logistic regression model with stent type as the dependent variable. The nearest-neighbour-matching algorithm with Greedy 5-1 Digit Matching was used to produce two patient cohorts of 313 patients each. We assessed major adverse cardiac events (MACE) out to a median of 3.3 years (interquartile range: 2.1-4.1). MACE was defined as all-cause mortality, myocardial infarction (MI), TVR and stroke. RESULTS: There was a significant difference in MACE between the two groups in favour of DES (17.9% DES vs. 31.2% BMS group; p = 0.0017) over the 5-year follow-up period. MACE was driven by increased TVR in the BMS group. There was no difference in death, MI or stroke. Adjusted Cox analysis confirmed a decreased risk of MACE for DES compared with BMS 0.75 (95% confidence interval (CI) 0.52-0.94), with no difference in the hazard of all-cause mortality (hazard ratio: 1.08; 95% CI: 0.77-1.68). However, when looking at stent diameters greater than 4 mm, no difference was seen in MACE rates between BMS and DES. CONCLUSIONS: Overall in our cohort of patients who had PCI for SVG disease, DES use resulted in lower MACE rates compared with BMS over a 5-year follow-up period; however, for stent diameters over 4 mm no difference in MACE rates was seen

Verifying integer programming results

Software for mixed-integer linear programming can return incorrect results for a number of reasons, one being the use of inexact floating-point arithmetic. Even solvers that employ exact arithmetic may suffer from programming or algorithmic errors, motivating the desire for a way to produce independently verifiable certificates of claimed results. Due to the complex nature of state-of-the-art MIP solution algorithms, the ideal form of such a certificate is not entirely clear. This paper proposes such a certificate format designed with simplicity in mind, which is composed of a list of statements that can be sequentially verified using a limited number of inference rules. We present a supplementary verification tool for compressing and checking these certificates independently of how they were created. We report computational results on a selection of MIP instances from the literature. To this end, we have extended the exact rational version of the MIP solver SCIP to produce such certificates

Highly Pathogenic Avian Influenza Virus H5N1 Infection in a Long-Distance Migrant Shorebird under Migratory and Non-Migratory States

Corticosterone regulates physiological changes preparing wild birds for migration. It also modulates the immune system and may lead to increased susceptibility to infection, with implications for the spread of pathogens, including highly pathogenic avian influenza virus (HPAIV) H5N1. The red knot (Calidris canutus islandica) displays migratory changes in captivity and was used as a model to assess the effect of high plasma concentration of corticosterone on HPAIV H5N1 infection. We inoculated knots during pre-migration (N = 6), fueling (N = 5), migration (N = 9) and post-migration periods (N = 6). Knots from all groups shed similar viral titers for up to 5 days post-inoculation (dpi), peaking at 1 to 3 dpi. Lesions of acute encephalitis, associated with virus replication in neurons, were seen in 1 to 2 knots per group, leading to neurological disease and death at 5 to 11 dpi. Therefore, the risk of HPAIV H5N1 infection in wild birds and of potential transmission between wild birds and poultry may be similar at different times of the year, irrespective of wild birds' migratory status. However, in knots inoculated during the migration period, viral shedding levels positively correlated with pre-inoculation plasma concentration of corticosterone. Of these, knots that did not become productively infected had lower plasma concentration of corticosterone. Conversely, elevated plasma concentration of corticosterone did not result in an increased probability to develop clinical disease. These results suggest that birds with elevated plasma concentration of corticosterone at the time of migration (ready to migrate) may be more susceptible to acquisition of infection and shed higher viral titers—before the onset of clinical disease—than birds with low concentration of corticosterone (not ready for take-off). Yet, they may not be more prone to the development of clinical disease. Therefore, assuming no effect of sub-clinical infection on the likelihood of migratory take-off, this may favor the spread of HPAIV H5N1 by migratory birds over long distances

Quantification of Visual Field Loss in Age-Related Macular Degeneration

Background An evaluation of standard automated perimetry (SAP) and short wavelength automated perimetry (SWAP) for the central 10–2 visual field test procedure in patients with age-related macular degeneration (AMD) is presented in order to determine methods of quantifying the central sensitivity loss in patients at various stages of AMD. Methods 10–2 SAP and SWAP Humphrey visual fields and stereoscopic fundus photographs were collected in 27 eyes of 27 patients with AMD and 22 eyes of 22 normal subjects. Results Mean Deviation and Pattern Standard Deviation (PSD) varied significantly with stage of disease in SAP (both p<0.001) and SWAP (both p<0.001), but post hoc analysis revealed overlap of functional values among stages. In SWAP, indices of focal loss were more sensitive to detecting differences in AMD from normal. SWAP defects were greater in depth and area than those in SAP. Central sensitivity (within 1°) changed by −3.9 and −4.9 dB per stage in SAP and SWAP, respectively. Based on defect maps, an AMD Severity Index was derived. Conclusions Global indices of focal loss were more sensitive to detecting early stage AMD from normal. The SWAP sensitivity decline with advancing stage of AMD was greater than in SAP. A new AMD Severity Index quantifies visual field defects on a continuous scale. Although not all patients are suitable for SWAP examinations, it is of value as a tool in research studies of visual loss in AMD