USTOPIA REQUIREMENTS THOUGHTS ON A USER-FRIENDLY SYSTEM FOR TRANSFORMATION OF PROGRAMS IN ABSTRACTO

Transformational programming is a program development method which is usually applied using 'pen and paper'. Since this requires a lot of clerical work (copying expressions, con- sistent substitution) which is tiresome and prone to error, some form of machine support is desirable. In this paper a number of systems are described that have already been built to this aim. Some of their shortcomings and limitations are identified. Based on experience with program transformation and transformation systems, a long list of features is given that would be useful in an 'utopian' transformation system. This list is presented using an orthogonal division of the problem area. A number of problems with the realisation of some aspects of our 'utopian' system are identified, and some areas for further research are indicated

Comparison of Longitudinal Membrane Function in Peritoneal Dialysis Patients According to Dialysis Fluid Biocompatibility

Introduction: Preservation of peritoneal function is essential in long-term peritoneal dialysis. Biocompatible dialysis solutions might prevent or postpone the membrane alteration resulting in ultrafiltration failure and consecutive morbidity and mortality. Methods: We conducted an observational cohort study in which we made a longitudinal comparison between the course of peritoneal solute and fluid transport during treatment with conventional and biocompatible solutions. Therefore, prospectively collected peritoneal transport data from the yearly standard peritoneal permeability analysis were analyzed in 251 incident patients treated between 1994 and censoring in 2016. Fluid transport included small pore and free water transport. Solute transport was assessed by creatinine mass transfer area coefficient and glucose absorption. Linear mixed models including change point analyses were performed. Interaction with peritonitis was examined. Results: One hundred thirty-five patients received conventional and 116 biocompatible solutions. Sixtyseven percent (conventional) and 64% (biocompatible) of these underwent minimally three transport measurements. Initially, biocompatible fluids showed higher small solute transport and lower ultrafiltration than conventional fluids up to 3 years. Thereafter, conventional fluids showed an increase in small solute transport (+2.7 ml/min per year; 95% confidence interval [CI]: 0.9 to 4.5) and a decrease of free water transport (-28.0 ml/min per year; 95% CI: -60.4 to 4.4). These were minor or absent in biocompatible treatment. Peritonitis induced a decrease of transcapillary ultrafiltration after 2 years on dialysis with conventional solutions (-291 ml/min per year; 95% CI: -550 to -32) while this was absent in biocompatible treatment. Conclusion: Despite a higher initial solute transport with biocompatible solutions, these have less influence on functional long-term peritoneal alterations than conventional solutions. (C) 2020 International Society of Nephrology. Published by Elsevier Inc

Speckle-tracking echocardiography in comparison with ejection fraction for prediction of cardiovascular mortality in patients with end-stage renal disease

Background. Cardiovascular disease is the major cause of death in end-stage renal disease (ESRD). To develop better means to assess cardiovascular risk in these patients, we compared conventional echocardiography-derived left ventricular ejection fraction (EF) with the novel method of 2D speckle-tracking echocardiography to determine cardiac strain.Methods. Predictive performances of conventional EF and speckle-tracking echocardiography-derived global longitudinal strain (GLS) were compared using receiver-operator curve (ROC) analyses and calibration by calibration plots. We also took into account other known cardiovascular risk factors through multivariable logistic regression analysis.Results. The study comprised 171 ESRD patients (mean age 64 years, 64% male) on maintenance dialysis therapy (93% haemodialysis, 7% peritoneal dialysis) for an average period of 39 months. During 2.1 years of follow-up, 42 patients (25%) died from cardiovascular disease. ROC analysis of GLS resulted in an area under the curve of 0.700 [95% confidence interval (CI) 0.603-0.797] compared with an area under the curve of EF of 0.615 (95% CI 0.514-0.716) (P = 0.059 for difference). The total absolute deviation between predicted and observed outcome frequencies obtained by calibration plots were 13.8% for EF compared with only 6.4% for GLS. Best results of ROC analysis (area under the curve = 0.759; P = 0.06), calibration and goodness-of-fit (chi(2) = 28.34, P <= 0.0001, R-2 = 0.25) were achieved for GLS added to a baseline model consisting of known cardiovascular risk factors in a multivariate regression analysis.Conclusions. In summary, in chronic dialysis patients, GLS is a more precise predictor of cardiovascular mortality than conventional echocardiography-derived EF.Clinical epidemiolog

Optimized Trigger for Ultra-High-Energy Cosmic-Ray and Neutrino Observations with the Low Frequency Radio Array

When an ultra-high energy neutrino or cosmic ray strikes the Lunar surface a radio-frequency pulse is emitted. We plan to use the LOFAR radio telescope to detect these pulses. In this work we propose an efficient trigger implementation for LOFAR optimized for the observation of short radio pulses.Comment: Submitted to Nuclear Instruments and Methods in Physics Research Section

Characterising the Apertif primary beam response

Context. Phased Array Feeds (PAFs) are multi element receivers in the focal plane of a telescope that make it possible to form simultaneously multiple beams on the sky by combining the complex gains of the individual antenna elements. Recently the Westerbork Synthesis Radio Telescope (WSRT) was upgraded with PAF receivers and carried out several observing programs including two imaging surveys and a time domain survey. The Apertif imaging surveys use a configuration, where 40 partially overlapping compound beams (CBs) are simultaneously formed on the sky and arranged in an approximately rectangular shape. Aims. This manuscript aims to characterise the response of the 40 Apertif CBs to create frequency-resolved, I, XX and YY polarization empirical beam shapes. The measured CB maps can be used for image deconvolution, primary beam correction and mosaicing of Apertif imaging data. Methods. We use drift scan measurements to measure the response of each of the 40 CBs of Apertif. We derive beam maps for all individual beams in I, XX and YY polarisation in 10 or 18 frequency bins over the same bandwidth as the Apertif imaging surveys. We sample the main lobe of the beams and the side lobes up to a radius of 0.6 degrees from the beam centres. In addition, we derive beam maps for each individual WSRT dish as well. Results. We present the frequency and time dependence of the beam shapes and sizes. We compare the compound beam shapes derived with the drift scan method to beam shapes derived with an independent method using a Gaussian Process Regression comparison between the Apertif continuum images and the NRAO VLA Sky Survey (NVSS) catalogue. We find a good agreement between the beam shapes derived with the two independent methods.Comment: Accepted for publication by A&A, 14 pages, 15 figure

Characterising the Apertif primary beam response

Context. Phased array feeds (PAFs) are multi-element receivers in the focal plane of a telescope that make it possible to simultaneously form multiple beams on the sky by combining the complex gains of the individual antenna elements. Recently, the Westerbork Synthesis Radio Telescope (WSRT) was upgraded with PAF receivers to carry out several observing programs, including two imaging surveys and a time-domain survey. The Apertif imaging surveys use a configuration of 40 partially overlapping compound beams (CBs) simultaneously formed on the sky and arranged in an approximately rectangular shape. Aims. This work is aimed at characterising the response of the 40 Apertif CBs to create frequency-resolved I, XX, and YY polarization empirical beam shapes. The measured CB maps can be used for the image deconvolution, primary beam correction, and mosaicking processes of Apertif imaging data. Methods. We used drift scan measurements to measure the response of each of the 40 Apertif CBs. We derived beam maps for all individual beams in I, XX, and YY polarisation in 10 or 18 frequency bins over the same bandwidth as the Apertif imaging surveys. We sampled the main lobe of the beams and the side lobes up to a radius of 0.6 degrees from the beam centres. In addition, we derived beam maps for each individual WSRT dish. Results. We present the frequency and time dependence of the beam shapes and sizes. We compared the compound beam shapes derived with the drift scan method to beam shapes derived with an independent method using a Gaussian Process Regression comparison between the Apertif continuum images and the NRAO VLA Sky Survey (NVSS) catalogue. We find a good agreement between the beam shapes derived with the two independent methods

Deletion of hematopoietic Dectin-2 or CARD9 does not protect against atherosclerotic plaque formation in hyperlipidemic mice

Inflammatory reactions activated by pattern recognition receptors (PRRs) on the membrane of innate immune cells play an important role in atherosclerosis. Whether the PRRs of the C-type lectin receptor (CLR) family including Dectin-2 may be involved in the pathogenesis of atherosclerosis remains largely unknown. Recently, the CLR-adaptor molecule caspase recruitment domain family member 9 (CARD9) has been suggested to play a role in cardiovascular pathologies as it provides the link between CLR activation and transcription of inflammatory cytokines as well as immune cell recruitment. We therefore evaluated whether hematopoietic deletion of Dectin-2 or CARD9 reduces inflammation and atherosclerosis development. Low-density lipoprotein receptor (Ldlr)- knockout mice were transplanted with bone marrow from wild-type, Dectin-2- or Card9-knockout mice and fed a Western-type diet containing 0.1% (w/w) cholesterol. After 10 weeks, lipid and inflammatory parameters were measured and atherosclerosis development was determined. Deletion of hematopoietic Dectin-2 or CARD9 did not influence plasma triglyceride and cholesterol levels. Deletion of hematopoietic Dectin-2 did not affect atherosclerotic lesion area, immune cell composition, ex vivo cytokine secretion by peritoneal cells or bone marrow derived macrophages. Unexpectedly, deletion of hematopoietic CARD9 increased atherosclerotic lesion formation and lesion severity. Deletion of hematopoietic CARD9 did also not influence circulating immune cell composition and peripheral cytokine secretion. Besides a tendency to a reduced macrophage content within these lesions, plasma MCP-1 levels decreased upon WTD feeding. Deletion of hematopoietic Dectin-2 did not influence atherosclerosis development in hyperlipidemic mice. The absence of CARD9 unexpectedly increased atherosclerotic lesion size and severity, suggesting that the presence of CARD9 may protect against initiation of atherosclerosis development

Repeating fast radio bursts with WSRT/Apertif

Context. Repeating fast radio bursts (FRBs) present excellent opportunities to identify FRB progenitors and host environments as well as to decipher the underlying emission mechanism. Detailed studies of repeating FRBs might also hold clues as to the origin of FRBs as a population. Aims. We aim to detect bursts from the first two repeating FRBs, FRB 121102 (R1) and FRB 180814.J0422+73 (R2), and to characterise their repeat statistics. We also want to significantly improve the sky localisation of R2 and identify its host galaxy. Methods. We used the Westerbork Synthesis Radio Telescope to conduct extensive follow-up of these two repeating FRBs. The new phased-array feed system, Apertif, allows one to cover the entire sky position uncertainty of R2 with fine spatial resolution in a single pointing. The data were searched for bursts around the known dispersion measures of the two sources. We characterise the energy distribution and the clustering of detected R1 bursts. Results. We detected 30 bursts from R1. The non-Poissonian nature is clearly evident from the burst arrival times, which is consistent with earlier claims. Our measurements indicate a dispersion measure (DM) of 563.5(2) pc cm(-3), suggesting a significant increase in DM over the past few years. Assuming a constant position angle across the burst, we place an upper limit of 8% on the linear polarisation fraction for the brightest burst in our sample. We did not detect any bursts from R2. Conclusions. A single power-law might not fit the R1 burst energy distribution across the full energy range or widely separated detections. Our observations provide improved constraints on the clustering of R1 bursts. Our stringent upper limits on the linear polarisation fraction imply a significant depolarisation, either intrinsic to the emission mechanism or caused by the intervening medium at 1400 MHz, which is not observed at higher frequencies. The non-detection of any bursts from R2, despite nearly 300 h of observations, implies either a highly clustered nature of the bursts, a steep spectral index, or a combination of the two assuming that the source is still active. Another possibility is that R2 has turned off completely, either permanently or for an extended period of time

First release of Apertif imaging survey data

Context. Apertif is a phased-array feed system for the Westerbork Synthesis Radio Telescope, providing forty instantaneous beams over 300 MHz of bandwidth. A dedicated survey program utilizing this upgrade started on 1 July 2019, with the last observations taken on 28 February 2022. The imaging survey component provides radio continuum, polarization, and spectral line data. Aims. Public release of data is critical for maximizing the legacy of a survey. Toward that end, we describe the release of data products from the first year of survey operations, through 30 June 2020. In particular, we focus on defining quality control metrics for the processed data products. Methods. The Apertif imaging pipeline, Apercal, automatically produces non-primary beam corrected continuum images, polarization images and cubes, and uncleaned spectral line and dirty beam cubes for each beam of an Apertif imaging observation. For this release, processed data products are considered on a beam-by-beam basis within an observation. We validate the continuum images by using metrics that identify deviations from Gaussian noise in the residual images. If the continuum image passes validation, we release all processed data products for a given beam. We apply further validation to the polarization and line data products and provide flags indicating the quality of those data products. Results. We release all raw observational data from the first year of survey observations, for a total of 221 observations of 160 independent target fields, covering approximately one thousand square degrees of sky. Images and cubes are released on a per beam basis, and 3374 beams (of 7640 considered) are released. The median noise in the continuum images is 41.4 uJy beam(-1), with a slightly lower median noise of 36.9 uJy beam(-1) in the Stokes V polarization image. The median angular resolution is 11.6 \u27\u27/sin delta. The median noise for all line cubes, with a spectral resolution of 36.6 kHz, is 1.6 mJy beam(-1), corresponding to a 3-sigma H i column density sensitivity of 1.8 x 10(20) atoms cm(-2) over 20 km s(-1) (for a median angular resolution of 24 \u27\u27 x 15 \u27\u27). Line cubes at lower frequency have slightly higher noise values, consistent with the global RFI environment and overall Apertif system performance. We also provide primary beam images for each individual Apertif compound beam. The data are made accessible using a Virtual Observatory interface and can be queried using a variety of standard tools

A Geospatial Modelling Approach Integrating Archaeobotany and Genetics to Trace the Origin and Dispersal of Domesticated Plants

Background: The study of the prehistoric origins and dispersal routes of domesticated plants is often based on the analysis of either archaeobotanical or genetic data. As more data become available, spatially explicit models of crop dispersal can be used to combine different types of evidence. Methodology/Principal Findings: We present a model in which a crop disperses through a landscape that is represented by a conductance matrix. From this matrix, we derive least-cost distances from the geographical origin of the crop and use these to predict the age of archaeological crop remains and the heterozygosity of crop populations. We use measures of the overlap and divergence of dispersal trajectories to predict genetic similarity between crop populations. The conductance matrix is constructed from environmental variables using a number of parameters. Model parameters are determined with multiple-criteria optimization, simultaneously fitting the archaeobotanical and genetic data. The consilience reached by the model is the extent to which it converges around solutions optimal for both archaeobotanical and genetic data. We apply the modelling approach to the dispersal of maize in the Americas. Conclusions/Significance: The approach makes possible the integrative inference of crop dispersal processes, whil