Realcompactifications of frames

Bibliography: leaves 53-57.The first notion of realcompactness in frames was introduced by Reynolds [1979], and it was shown by Madden and Vermeer [1986] that this coincides with the Lindelof property. My thesis advisor suggested that more general realcompactifications of a frame L could be constructed by considering regular sub σ-frames which join generate L. This was motivated by the fact that the Alexandroff bases, which are used to construct the Wallman realcompactifications of a space X, are, as shown by Gilmour, simply the regular sub σ-frames of the frame of open sets of X. The key definition of realcompactness needed here is due to Schlitt [1990] and it is his construction of the universal realcompactification that we modify in order to obtain the Wallman realcompactifications

E-compactness in pointfree topology

Bibliography: leaves 100-107.The main purpose of this thesis is to develop a point-free notion of E-compactness. Our approach follows that of Banascheski and Gilmour in [17]. Any regular frame E has a fine nearness and hence induces a nearness on an E-regular frame L. We show that the frame L is complete with respect this nearness iff L is a closed quotient of a copower of E. This resembles the classical definition, but it is not a conservative definition: There are spaces that may be embedded as closed subspaces of powers of a space E, but their frame of opens are not closed quotients of copowers of the frame of opens of E. A conservative definition of E-compactness is obtained by considering Cauchy completeness with respect to this nearness. Another central notion in the thesis is that of K-Lindelöf frames, a generalisation of Lindelöf frames introduced by J.J. Madden [59]. In the last chapter we investigate the interesting relationship between the completely regular K-Lindelöf frames and the K-compact frames

Application of optimal control to the epidemiology of malaria

Malaria is a deadly disease transmitted to humans through the bite of infected female mosquitoes. In this paper a deterministic system of differential equations is presented and studied for the transmission of malaria. Then optimal control theory is applied to investigate optimal strategies for controlling the spread of malaria disease using treatment, insecticide treated bed nets and spray of mosquito insecticide as the system control variables. The possible impact of using combinations of the three controls either one at a time or two at a time on the spread of the disease is also examined

Objective Assessment of the Core Laparoscopic Skills Course

Objective. The demand for laparoscopic surgery has led to the core laparoscopic skills course (CLSC) becoming mandatory for trainees in UK. Virtual reality simulation (VR) has a great potential as a training and assessment tool of laparoscopic skills. The aim of this study was to determine the role of the CLSC in developing laparoscopic skills using the VR. Design. Prospective study. Doctors were given teaching to explain how to perform PEG transfer and clipping skills using the VR. They carried out these skills before and after the course. During the course they were trained using the Box Trainer (BT). Certain parameters assessed. Setting. Between 2008 and 2010, doctors attending the CLSC at St Georges Hospital. Participants. All doctors with minimal laparoscopic experience attending the CLSC. Results. Forty eight doctors were included. The time taken for the PEG skill improved by 52%, total left hand and right hand length by 41% and 48%. The total time in the clipping skill improved by 57%. Improvement in clips applied in the marked area was 38% and 45% in maximum vessel stretch. Conclusions. This study demonstrated that CLSC improved some aspects of the laparoscopic surgical skills. It addresses Practice-based Learning and patient care

A model for control of HIV/AIDS with parental care

In this study we investigate the HIV/AIDS epidemic in a population which experiences a significant flow of immigrants. We derive and analyze a mathematical model that describes the dynamics of HIV infection among the immigrant youths and how parental care can minimize or prevent the spread of the disease in the population. We analyze the model with both screening control and parental care, then investigate its stability and sensitivity behavior. We also conduct both qualitative and quantitative analyses. It is observed that in the absence of infected youths, disease-free equilibrium is achievable and is globally asymptotically stable. We establish optimal strategies for the control of the disease with screening and parental care, and provide numerical simulations to illustrate the analytic results.Web of Scienc

Canagliflozin and renal outcomes in type 2 diabetes and nephropathy

BACKGROUND Type 2 diabetes mellitus is the leading cause of kidney failure worldwide, but few effective long-term treatments are available. In cardiovascular trials of inhibitors of sodium–glucose cotransporter 2 (SGLT2), exploratory results have suggested that such drugs may improve renal outcomes in patients with type 2 diabetes. METHODS In this double-blind, randomized trial, we assigned patients with type 2 diabetes and albuminuric chronic kidney disease to receive canagliflozin, an oral SGLT2 inhibitor, at a dose of 100 mg daily or placebo. All the patients had an estimated glomerular filtration rate (GFR) of 30 to <90 ml per minute per 1.73 m2 of body-surface area and albuminuria (ratio of albumin [mg] to creatinine [g], >300 to 5000) and were treated with renin–angiotensin system blockade. The primary outcome was a composite of end-stage kidney disease (dialysis, transplantation, or a sustained estimated GFR of <15 ml per minute per 1.73 m2), a doubling of the serum creatinine level, or death from renal or cardiovascular causes. Prespecified secondary outcomes were tested hierarchically. RESULTS The trial was stopped early after a planned interim analysis on the recommendation of the data and safety monitoring committee. At that time, 4401 patients had undergone randomization, with a median follow-up of 2.62 years. The relative risk of the primary outcome was 30% lower in the canagliflozin group than in the placebo group, with event rates of 43.2 and 61.2 per 1000 patient-years, respectively (hazard ratio, 0.70; 95% confidence interval [CI], 0.59 to 0.82; P=0.00001). The relative risk of the renal-specific composite of end-stage kidney disease, a doubling of the creatinine level, or death from renal causes was lower by 34% (hazard ratio, 0.66; 95% CI, 0.53 to 0.81; P<0.001), and the relative risk of end-stage kidney disease was lower by 32% (hazard ratio, 0.68; 95% CI, 0.54 to 0.86; P=0.002). The canagliflozin group also had a lower risk of cardiovascular death, myocardial infarction, or stroke (hazard ratio, 0.80; 95% CI, 0.67 to 0.95; P=0.01) and hospitalization for heart failure (hazard ratio, 0.61; 95% CI, 0.47 to 0.80; P<0.001). There were no significant differences in rates of amputation or fracture. CONCLUSIONS In patients with type 2 diabetes and kidney disease, the risk of kidney failure and cardiovascular events was lower in the canagliflozin group than in the placebo group at a median follow-up of 2.62 years