A tough high performance composite matrix

This invention is a semi-interpenetrating polymer network which includes a high performance thermosetting polyimide having a nadic end group acting as a crosslinking site and a high performance linear thermoplastic polyimide. An improved high temperature matrix resin is provided which is capable of performing in the 200 to 300 C range. This resin has significantly improved toughness and microcracking resistance, excellent processability, mechanical performance and moisture and solvent resistances

Strategy Synthesis for Autonomous Agents Using PRISM

We present probabilistic models for autonomous agent search and retrieve missions derived from Simulink models for an Unmanned Aerial Vehicle (UAV) and show how probabilistic model checking and the probabilistic model checker PRISM can be used for optimal controller generation. We introduce a sequence of scenarios relevant to UAVs and other autonomous agents such as underwater and ground vehicles. For each scenario we demonstrate how it can be modelled using the PRISM language, give model checking statistics and present the synthesised optimal controllers. We conclude with a discussion of the limitations when using probabilistic model checking and PRISM in this context and what steps can be taken to overcome them. In addition, we consider how the controllers can be returned to the UAV and adapted for use on larger search areas

Tough high performance composite matrix

This invention is a semi-interpentrating polymer network which includes a high performance thermosetting polyimide having a nadic end group acting as a crosslinking site and a high performance linear thermoplastic polyimide. Provided is an improved high temperature matrix resin which is capable of performing in the 200 to 300 C range. This resin has significantly improved toughness and microcracking resistance, excellent processability, mechanical performance, and moisture and solvent resistances

Impact Assessment on the Technology-Based Extension Projects: A Basis for Designing Sustainable Extension Activities

This study aimed to conduct an impact assessment on the technology-based extension projects undertaken by the faculty extensionists from the College of Information and Communications Technology to provide a basis for designing sustainable extension activities. Descriptive research was utilized for this study. The researchers employed a survey instrument via Google Form to gather data from the 25 respondents from the city of Cabanatuan, province of Nueva Ecija. Results show that the college caters to a diverse range of beneficiaries. Beneficiary respondents believed that the projects had contributed to their capacity building, computer literacy, and livelihood. Their participation in the extension project made them productive at work and allowed them to develop new knowledge and skills relevant to contributing to community building. The researchers suggest that the results be utilized to design sustainable extension projects, consider partnerships with other higher learning institutions, and conduct regular evaluations and assessments of different extension projects

Tree Ferns for Hawai'i Gardens

This publication covers propagation and cultivation of tree ferns. Species suitable for Hawaii gardens are described

Nurses are Key Members of the Abortion Care Team: Why aren’t Schools of Nursing Teaching Abortion Care?

Abortion is a common and safe procedure in Canada, with the Canadian Institute for Health Information reporting approximately 100,000 procedures per year. Yet access remains problematic. As abortion is unrestricted by criminal law in Canada, access is limited by geographic barriers and by a shortage of providers. We present a feminist critical lens to describe how the marginalization of nursing and nurses in abortion care contributes to social stigma and public misunderstanding about abortion access. The roles of registered nurses and nurse practitioners in abortion advocacy, service navigation, counselling, education, support, physiological care and follow up are underutilized and under-researched. In 2015, decades after its availability elsewhere in the world, Health Canada approved mifepristone (a pill for medical abortion). In 2017, provincial regulators began to authorize nurse practitioners to independently provide medical abortion care, as appropriate given the inclusion in nurse practitioner scope of practice to order diagnostic tests, make diagnoses, and treat health conditions. Ensuring nurse practitioners are able to practice medical abortion has the potential to significantly increase abortion access for rural, remote and other marginalized populations. There is also an opportunity to optimize the registered nurse role in abortion care. However, achieving these improvements is challenging as abortion is not routinely taught in Canadian Schools of Nursing. We argue that to destigmatize abortion and improve access, undergraduate nursing and nurse practitioner programs across the country must begin to include abortion and family planning competencies

Autonomous agent behaviour modelled in PRISM -- a case study

This work was supported by the Engineering and Physical Sciences Research Council [grant number EP/N508792/1].Formal verification of agents representing robot behaviour is a growing area due to the demand that autonomous systems have to be proven safe. In this paper we present an abstract definition of autonomy which can be used to model autonomous scenarios and propose the use of small-scale simulation models representing abstract actions to infer quantitative data. To demonstrate the applicability of the approach we build and verify a model of an unmanned aerial vehicle (UAV) in an exemplary autonomous scenario, utilising this approach.Publisher PD