Transformational derivation of (parallel) programs using skeletons

We describe a framework for the derivation of programs for arbitrary (in particular, parallel) architectures, motivated by a generalization of the derivation process for sequential algorithms. The central concept in this approach is that of a skeleton: on the one hand, a higher-order function for targeting transformational derivations at, on the other hand representing an elementary computation on the architecture aimed at. Skeletons thus form a basis for intermediate languages, that can be implemented once and for all, as a process separate from individual program developments. The available knowledge on the derivation of (higher-order) functional programs can be used for deriving parallel ones. In: H. Wijshoff, ed.: Computing Science in the Netherlands 1993, pp. 97-108. Copies on email request or (probably easiest) by clicking ftp://ftp.win.tue.nl/pub/math.prog.construction/skel.ps.Z

Cholesterol-lowering effects of metformin in APOE*3-Leiden.CETP mice, a transgenic model with a human-like lipoprotein profile

Diabetes mellitus: pathophysiological changes and therap

Circulating insulin stimulates fatty acid retention in white adipose tissue via K-ATP channel activation in the central nervous system only in insulin-sensitive mice

Insulin signaling in the central nervous system (CNS) is required for the inhibitory effect of insulin on glucose production. Our aim was to determine whether the CNS is also involved in the stimulatory effect of circulating insulin on the tissue-specific retention of fatty acid (FA) from plasma. In wild-type mice, hyperinsulinemic-euglycemic clamp conditions stimulated the retention of both plasma triglyceride-derived FA and plasma albumin-bound FA in the various white adipose tissues (WAT) but not in other tissues, including brown adipose tissue (BAT). Intracerebroventricular (ICV) administration of insulin induced a similar pattern of tissue-specific FA partitioning. This effect of ICV insulin administration was not associated with activation of the insulin signaling pathway in adipose tissue. ICV administration of tolbutamide, a K-ATP channel blocker, considerably reduced (during hyperinsulinemic-euglycemic clamp conditions) and even completely blocked (during ICV administration of insulin) WAT-specific retention of FA from plasma. This central effect of insulin was absent in CD36-deficient mice, indicating that CD36 is the predominant FA transporter in insulin-stimulated FA retention by WAT. In diet-induced insulin-resistant mice, these stimulating effects of insulin (circulating or ICV administered) on FA retention in WAT were lost. In conclusion, in insulin-sensitive mice, circulating insulin stimulates tissue-specific partitioning of plasma-derived FA in WAT in part through activation of K ATP channels in the CNS. Apparently, circulating insulin stimulates fatty acid uptake in WAT but not in BAT, directly and indirectly through the CNS.-Coomans, C. P., J. J. Geerling, B. Guigas, A. M. van den Hoek, E. T. Parlevliet, D. M. Ouwens, H. Pijl, P. J. Voshol, P. C. N. Rensen, L. M. Havekes, and J. A. Romijn. Circulating insulin stimulates fatty acid retention in white adipose tissue via K-ATP channel activation in the central nervous system only in insulin-sensitive mice. J. Lipid Res. 2011. 52: 1712-1722.Diabetes mellitus: pathophysiological changes and therap

Metformin lowers plasma triglycerides by promoting vldl-triglyceride clearance by brown adipose tissue in mice

Metformin is the first-line drug for the treatment of type 2 diabetes. Besides its well-characterized antihyperglycemic properties, metformin also lowers plasma VLDL triglyceride (TG). In this study, we investigated the underlying mechanisms in APOE*3-Leiden.CETP mice, a well-established model for human-like lipoprotein metabolism. We found that metformin markedly lowered plasma total cholesterol and TG levels, an effect mostly due to a decrease in VLDL-TG, whereas HDL was slightly increased. Strikingly, metformin did not affect hepatic VLDL-TG production, VLDL particle composition, and hepatic lipid composition but selectively enhanced clearance of glycerol tri[3H]oleate-labeled VLDL-like emulsion particles into brown adipose tissue (BAT). BAT mass and lipid droplet content were reduced in metformin-treated mice, pointing to increased BAT activation. In addition, both AMP-activated protein kinase a1 (AMPKa1) expression and activity and HSL and mitochondrial content were increased in BAT. Furthermore, therapeutic concentrations of metformin increased AMPK and HSL activities and promoted lipolysis in T37i differentiated brown adipocytes. Collectively, our results identify BAT as an important player in the TG-lowering effect of metformin by enhancing VLDL-TG uptake, intracellular TG lipolysis, and subsequent mitochondrial fatty acid oxidation. Targeting BAT might therefore be considered as a future therapeutic strategy for the treatment of dyslipidemia. © 2014 by the American Diabetes Association.

Effect of general anaesthesia on functional outcome in patients with anterior circulation ischaemic stroke having endovascular thrombectomy versus standard care: a meta-analysis of individual patient data

Background: General anaesthesia (GA) during endovascular thrombectomy has been associated with worse patient outcomes in observational studies compared with patients treated without GA. We assessed functional outcome in ischaemic stroke patients with large vessel anterior circulation occlusion undergoing endovascular thrombectomy under GA, versus thrombectomy not under GA (with or without sedation) versus standard care (ie, no thrombectomy), stratified by the use of GA versus standard care. Methods: For this meta-analysis, patient-level data were pooled from all patients included in randomised trials in PuMed published between Jan 1, 2010, and May 31, 2017, that compared endovascular thrombectomy predominantly done with stent retrievers with standard care in anterior circulation ischaemic stroke patients (HERMES Collaboration). The primary outcome was functional outcome assessed by ordinal analysis of the modified Rankin scale (mRS) at 90 days in the GA and non-GA subgroups of patients treated with endovascular therapy versus those patients treated with standard care, adjusted for baseline prognostic variables. To account for between-trial variance we used mixed-effects modelling with a random effect for trials incorporated in all models. Bias was assessed using the Cochrane method. The meta-analysis was prospectively designed, but not registered. Findings: Seven trials were identified by our search; of 1764 patients included in these trials, 871 were allocated to endovascular thrombectomy and 893 were assigned standard care. After exclusion of 74 patients (72 did not undergo the procedure and two had missing data on anaesthetic strategy), 236 (30%) of 797 patients who had endovascular procedures were treated under GA. At baseline, patients receiving GA were younger and had a shorter delay between stroke onset and randomisation but they had similar pre-treatment clinical severity compared with patients who did not have GA. Endovascular thrombectomy improved functional outcome at 3 months both in patients who had GA (adjusted common odds ratio (cOR) 1·52, 95% CI 1·09–2·11, p=0·014) and in those who did not have GA (adjusted cOR 2·33, 95% CI 1·75–3·10, p<0·0001) versus standard care. However, outcomes were significantly better for patients who did not receive GA versus those who received GA (covariate-adjusted cOR 1·53, 95% CI 1·14–2·04, p=0·0044). The risk of bias and variability between studies was assessed to be low. Interpretation: Worse outcomes after endovascular thrombectomy were associated with GA, after adjustment for baseline prognostic variables. These data support avoidance of GA whenever possible. The procedure did, however, remain effective versus standard care in patients treated under GA, indicating that treatment should not be withheld in those who require anaesthesia for medical reasons