21 resultados para Proof assistants

em QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast


Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present the first detailed kinematical analysis of the planetary nebula Abell 63, which is known to contain the eclipsing close-binary nucleus UU Sge. Abell 63 provides an important test case in investigating the role of close-binary central stars on the evolution of planetary nebulae. Longslit observations were obtained using the Manchester echelle spectrometer combined with the 2.1-m San Pedro Martir Telescope. The spectra reveal that the central bright rim of Abell 63 has a tube-like structure. A deep image shows collimated lobes extending from the nebula, which are shown to be high-velocity outflows. The kinematic ages of the nebular rim and the extended lobes are calculated to be 8400 +/- 500 and 12900 +/- 2800 yr, respectively, which suggests that the lobes were formed at an earlier stage than the nebular rim. This is consistent with expectations that disc-generated jets form immediately after the common envelope phase. A morphological-kinematical model of the central nebula is presented and the best-fitting model is found to have the same inclination as the orbital plane of the central binary system; this is the first proof that a close-binary system directly affects the shaping of its nebula. A Hubble-type flow is well-established in the morphological-kinematical modelling of the observed line profiles and imagery. Two possible formation models for the elongated lobes of Abell 63 are considered, (i) a low-density, pressure-driven jet excavates a cavity in the remnant asymptotic giant branch (AGB) envelope; (ii) high-density bullets form the lobes in a single ballistic ejection event.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The increasing emphasis on academic entrepreneurship, technology transfer and research commercialisation within UK universities is predicated on basic research being developed by academics into commercial entities such as university spin-off companies or licensing arrangements. However, this process is fraught with challenges and risks, given the degree of uncertainty regarding future returns. In an attempt to minimise such risks, the Proof-of-Concept (PoC) process has been developed within University Science Park Incubators (USIs) to test the technological, business and market potential of embryonic technology. The key or the pivotal stakeholder within the PoC is the Principal Investigator (PI), who is usually the lead academic responsible for the embryonic technology. Within the current literature, there appears to be a lack of research pertaining to the role of the PI in the PoC process. Moreover, Absorptive Capacity (ACAP) has emerged within the literature as a theoretical framework or lens for exploring the development and application of new knowledge and technology, where the USI is the organisation considered in the current study. Therefore, the aim of this paper is to explore the role and influence of the PI in the PoC process within a USI setting using an ACAP perspective. The research involved a multiple case analysis of PoC applications within a UK university USI. The results demonstrate the role of the PI in developing practices and routines within the PoC process. These practices and processes were initially tacit and informal in nature but became more explicit and formal over time so that knowledge was retained within the USI after the PIs had completed the PoC process. © 2010 The Authors. R&D Management © 2010 Blackwell Publishing Ltd.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We give a short proof of existence of disjoint hypercyclic tuples of operators of any given length on any separable infinite dimensional Fr\'echet space. Similar argument provides disjoint dual hypercyclic tuples of operators of any length on any infinite dimensional Banach space with separable dual.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A new stir bar sorptive extraction (SBSE) technique coupled with HPLC-UV method for quantification of diclofenac in pharmaceutical formulations has been developed and validated as a proof of concept study. Commercially available polydimethylsiloxane stir bars (Twister (TM)) were used for method development and SBSE extraction (pH, phase ratio, stirring speed, temperature, ionic strength and time) and liquid desorption (solvents, desorption method, stirring time etc) procedures were optimised. The method was validated as per ICH guidelines and was successfully applied for the estimation of diclofenac from three liquid formulations viz. Voltarol (R) Optha single dose eye drops, Voltarol (R) Ophtha multidose eye drops and Voltarol (R) ampoules. The developed method was found to be linear (r=0.9999) over 100-2000 ng/ml concentration range with acceptable accuracy and precision (tested over three QC concentrations). The SBSE extraction recovery of the diclofenac was found to be 70% and the LOD and LOQ of the validated method were found to be 16.06 and 48.68 ng/ml, respectively. Furthermore, a forced degradation study of a diclofenac formulation leading to the formation of structurally similar cyclic impurity (indolinone) was carried out. The developed extraction method showed comparable results to that of the reference method, i.e. method was capable of selectively extracting the indolinone and diclofenac from the liquid matrix. Data on inter and intra stir bar accuracy and precision further confirmed robustness of the method, supporting the multiple re-use of the stir bars. (C) 2010 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The aim of this study was to develop an Egg Hatch Assay (EHA) test for the detection of triclabendazole (TCBZ) resistance in Fasciola hepatica. A number of fluke isolates were used, of differing sensitivity to TCBZ. Eggs were exposed to solutions of triclabendazole sulphoxide (TCBZ.SO) for 14 days, then triggered to hatch. Egg development was divided into 6 distinct and easily identifiable stages: dead, empty, unembryonated, cell division, eye spot and hatched. The number of eggs reaching those stages was recorded. Initially, the discriminating dose (1% hatch) was determined for the Cullompton isolate, used as TCBZ-susceptible (TCBZ-S) standard. Once this concentration had been resolved, the response of different isolates to this concentration was examined. The hatch rate of the Fairhurst isolate was not significantly different from that of the Cullompton isolate, confirming its TCBZ-S status. The Patagonia isolate has not been exposed to TCBZ in the field and should be TCBZ-S: the results of the EHA supported this. The egg hatch response of the Oberon and Dutch isolates differed significantly from that of the Cullompton isolate; the former isolates are regarded as TCBZ-resistant (TCBZ-R) and the results confirmed this. Another isolate, the Leon isolate, was originally described as being TCBZ-R, but has since been shown to be TCBZ-S. There was no difference in its response to TCBZ.SO in the EHA from the Cullompton (and Fairhurst and Patagonia) isolate(s), further indicating its TCBZ-S status. The impact of TCBZ.SO treatment on the component stages of egg development was determined and revealed differences between the isolates. In conclusion, the results of the study have shown that it is possible to discriminate between TCBZ-S and TCBZ-R isolates of F. hepatica on the basis of the response of their eggs to an EHA and the test could be used to evaluate the TCBZ sensitivity of unknown field isolates

Relevância:

20.00% 20.00%

Publicador: