Spaceborne VHSIC multiprocessor system for AI applications

A multiprocessor system, under design for space-station applications, makes use of the latest generation symbolic processor and packaging technology. The result will be a compact, space-qualified system two to three orders of magnitude more powerful than present-day symbolic processing systems

Management of Fluid Status in Haemodialysis Patients: The Roles of Technology and Dietary Advice, Technical Problems in Patients on Hemodialysis

The kidneys play a vital role in maintaining normal tissue hydration and serum sodium level. In haemodialysis patients, with impaired or absent kidney function, fluid status is managed by removing excess fluid using ultrafiltration and by restricting dietary sodium intake. Ideally, haemodialysis patients should remain close to normal hydration throughout the interdialytic period, with minimal periods of excessive dehydration or fluid overload and with no fluid–related co-morbidity. Optimal fluid management is achieved by adjusting the post-dialysis ‘target’ weight and, where necessary, limiting the fluid gained between dialysis sessions. While clinical history and examination remain the basis for prescribing the target weight, technology can provide useful objective information especially where the clinical indications are ambiguous. A simple non-invasive test can now be carried out when a patient attends for dialysis enabling staff to pick up changes in body composition so that their target weight can be adjusted to maintain optimal fluid status. In most patients, interdialytic fluid gain (IDFG) is directly related to sodium intake. Acceptable fluid gains can usually be achieved by limiting salt intake to the recommended daily allowance for the general population and avoiding unnecessary sodium loading during dialysis. Low pre-dialysis serum sodium levels can help identify patients with other causes of high IDFG, such as high blood sugar or social drinking, who need additional counselling. For the patients, lowering sodium intake may also improve blood pressure control and reduce requirements for antihypertensive medication. Staff education, and preferably participation, is vital when implementing salt restriction in a haemodialysis unit

UNM NIH Investigator Policy Knowledge and Attitudes Survey

Survey instrument used to assess UNM NIH-funded investigators\u27 knowledge, acceptance and perceived barriers to compliance with the NIH Enhanced Public Access Policy

How effective is the Forestry Commission Scotland's woodland improvement programme--'Woods In and Around Towns' (WIAT)--at improving psychological well-being in deprived urban communities? A quasi-experimental study

Introduction: There is a growing body of evidence that suggests that green spaces may positively influence psychological well-being. This project is designed to take advantage of a natural experiment where planned physical and social interventions to enhance access to natural environments in deprived communities provide an opportunity to prospectively assess impacts on perceived stress and mental well-being.<p></p> Study design and methods: A controlled, prospective study comprising a repeat cross-sectional survey of residents living within 1.5 km of intervention and comparison sites. Three waves of data will be collected: prephysical environment intervention (2013); postphysical environment intervention (2014) and postwoodland promotion social intervention (2015). The primary outcome will be a measure of perceived stress (Perceived Stress Scale) preintervention and postintervention. Secondary, self-report outcomes include: mental well-being (Short Warwick-Edinburgh Mental Well-being Scale), changes in physical activity (IPAQ-short form), health (EuroQoL EQ-5D), perception and use of the woodlands, connectedness to nature (Inclusion of Nature in Self Scale), social cohesion and social capital. An environmental audit will complement the study by evaluating the physical changes in the environment over time and recording any other contextual changes over time. A process evaluation will assess the implementation of the programme. A health economics analysis will assess the cost consequences of each stage of the intervention in relation to the primary and secondary outcomes of the study.<p></p> Ethics and dissemination: Ethical approval has been given by the University of Edinburgh, Edinburgh College of Art Research, Ethics and Knowledge Exchange Committee (ref. 19/06/2012). Findings will be disseminated through peer-reviewed publications, national and international conferences and, at the final stage of the project, through a workshop for those interested in implementing environmental interventions.<p></p&gt

Digital storytelling: communication for greater impact

Continuing Education Course presented at the Medical Library Association Conference in Atlanta, Georgia on May 29, 2018.Through effective marketing, libraries gain increased visibility and recognition for their work ­ resulting in additional support and greater latitude to develop innovative services. Digital storytelling helps libraries develop a cohesive story and brings library news to new audiences. This course introduces a “digital storytelling lifecycle model” that provides practical tips and tricks to leverage marketing efforts and make the most of limited resources. Participants will be introduced to the lifecycle model and see its application. Real stories will be used as examples to detail each stage of the lifecycle ­ ideate, create, share, preserve, reuse, evaluate ­ focusing on the outcomes at each step. Strategies presented during the course have been developed for easy transferal and immediate application; participants will be guided through an exercise to apply the lifecycle model for use in their own library

Amortised resource analysis with separation logic

Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete resource bounds for functional programs, with good support for inference. In this work we translate the idea of amortised resource analysis to imperative languages by embedding a logic of resources, based on Bunched Implications, within Separation Logic. The Separation Logic component allows us to assert the presence and shape of mutable data structures on the heap, while the resource component allows us to state the resources associated with each member of the structure. We present the logic on a small imperative language with procedures and mutable heap, based on Java bytecode. We have formalised the logic within the Coq proof assistant and extracted a certified verification condition generator. We demonstrate the logic on some examples, including proving termination of in-place list reversal on lists with cyclic tails

Thermoreversible gels for the encapsulation of macrophages: evaluation of polymer type on rheology and cytocompatibility

Thermoresponsive polymers have become a highly sought-after “smart material” due to their ability to modify their physical characteristics due to temperature changes. This research aimed to determine the biocompatibility of specific thermoreversible gels for immunocompetent cell models containing ImmuPHAGETM, human alveolar macrophage-like cells. Four polymers were selected based on their transition temperatures, including three commercially available pharmaceutical excipients, namely poloxamer 407, soluplus, and methylcellulose. The fourth system, poly(N-isopropyl acrylamide)-b-poly(ethylene oxide)-b-poly(N-isopropyl acrylamide), was synthesised in-house. Initially, the phase behaviour of these four polymers was evaluated visually by warming the polymer solutions and determining the state of the solution by vial inversion. Subsequently, a combination of rheological measurements was employed to compare the properties of these thermoreversible gels in culture media. The physical characterisation was followed by conducting cytocompatibility tests using human alveolar macrophages to assess their suitability as a scaffold for cell culture in vitro and to determine the cell response to different culturing environments. The study concluded that methylcellulose is the most promising and cost-effective material worth further exploration as a responsive matrix for immune cell encapsulation. Keywords: Thermoresponsive, Thermogelling, Alveolar macrophages, Foamy macrophages, immunocompetent in vitro models

Thermoreversible gels for the encapsulation of macrophages: evaluation of polymer type on rheology and cytocompatibility

© 2023 The Author(s). Published by the Royal Society of Chemistry. This is an open access article distributed under the terms of the Creative Commons Attribution License (CC BY), https://creativecommons.org/licenses/by/4.0/Thermoresponsive polymers have become a highly sought-after “smart material” due to their ability to modify their physical characteristics due to temperature changes. This research aimed to determine the biocompatibility of specific thermoreversible gels for immunocompetent cell models containing ImmuPHAGETM, human alveolar macrophage-like cells. Four polymers were selected based on their transition temperatures, including three commercially available pharmaceutical excipients, namely poloxamer 407, soluplus, and methylcellulose. The fourth system, poly(N-isopropyl acrylamide)-b-poly(ethylene oxide)-b-poly(N-isopropyl acrylamide), was synthesised in-house. Initially, the phase behaviour of these four polymers was evaluated visually by warming the polymer solutions and determining the state of the solution by vial inversion. Subsequently, a combination of rheological measurements was employed to compare the properties of these thermoreversible gels in culture media. The physical characterisation was followed by conducting cytocompatibility tests using human alveolar macrophages to assess their suitability as a scaffold for cell culture in vitro and to determine the cell response to different culturing environments. The study concluded that methylcellulose is the most promising and cost-effective material worth further exploration as a responsive matrix for immune cell encapsulation. Keywords: Thermoresponsive, Thermogelling, Alveolar macrophages, Foamy macrophages, immunocompetent in vitro models.Peer reviewe