275 resultados para Equivalence Proof
Resumo:
Aim Evaluate potential of newly-developed, biocompatible iron oxide magnetic nanoparticles (MNPs) conjugated with J591, an antibody to an extracellular epitope of prostate specific membrane antigen (PSMA), to enhance MRI of prostate cancer (PCa). Materials & Methods Specific binding to PSMA by J591-MNP was investigated in vitro. MRI studies were performed on orthotopic tumor-bearing NOD.SCID mice 2h and 24hr after intravenous injection of J591-MNPs, or non-targeting MNPs. Results and Conclusions In vitro, MNPs did not affect PCa cell viability, and conjugation to J591 did not compromise antibody specificity and enhanced cellular iron uptake. In vivo, PSMA-targeting MNPs increased MR contrast of tumors, but not by non-targeting MNPs. This provides proof-of-concept that PSMA-targeting MNPs have potential to enhance MR detection/localization of PCa.,
Resumo:
This paper addresses the issue of output feedback model predictive control for linear systems with input constraints and stochastic disturbances. We show that the optimal policy uses the Kalman filter for state estimation, but the resultant state estimates are not utilized in a certainty equivalence control law
Resumo:
Australia has a significantly higher suicide rate than England. Rather than accepting that this ‘statistical fact’ is a direct reflection of some positivist truth, this paper begins with the premise that how suicide is counted depends upon what counts as suicide. This study involves semi-structured interviews with coroners both in Australia and England, as well as observations at inquests. Important differences between the two coronial systems include: first, quite different logics of operation; second, the burden of proof for reaching a finding of suicide is significantly higher in England; and third, the presence of family members at English inquests results in far greater pressure being brought to bear upon coroners. These combined factors result in a reduced likelihood of English coroners reaching a finding of suicide. The conclusions are twofold. First, this research supports existing criticisms of comparative suicide statistics. Second, this research adds theoretical weight to criticisms of positivist analyses of social phenomena.
Resumo:
Heterogeneous health data is a critical issue when managing health information for quality decision making processes. In this paper we examine the efficient aggregation of lifestyle information through a data warehousing architecture lens. We present a proof of concept for a clinical data warehouse architecture that enables evidence based decision making processes by integrating and organising disparate data silos in support of healthcare services improvement paradigms.
Resumo:
This thesis contains a mathematical investigation of the existence of travelling wave solutions to singularly perturbed advection-reaction-diffusion models of biological processes. An enhanced mathematical understanding of these solutions and models is gained via the identification of canards (special solutions of fast/slow dynamical systems) and their role in the existence of the most biologically relevant, shock-like solutions. The analysis focuses on two existing models. A new proof of existence of a whole family of travelling waves is provided for a model describing malignant tumour invasion, while new solutions are identified for a model describing wound healing angiogenesis.
Resumo:
Accurate process model elicitation continues to be a time consuming task, requiring skill on the part of the interviewer to extract explicit and tacit process information from the interviewee. Many errors occur in this elicitation stage that would be avoided by better activity recall, more consistent specification methods and greater engagement in the elicitation process by interviewees. Metasonic GmbH has developed a process elicitation tool for their process suite. As part of a research engagement with Metasonic, staff from QUT, Australia have developed a 3D virtual world approach to the same problem, viz. eliciting process models from stakeholders in an intuitive manner. This book chapter tells the story of how QUT staff developed a 3D Virtual World tool for process elicitation, took the outcomes of their research project to Metasonic for evaluation, and finally, Metasonic’s response to the initial proof of concept.
Resumo:
Numerically computed engine performance of a nominally two-dimensional radical farming scramjet with porous (permeable C/C ceramic) and porthole fuel injection is presented. Inflow conditions with Mach number, stagnation pressure, and enthalpy of 6.44, 40.2MPa, and 4.31 MJ/kg respectively, and fuel/air equivalence ratio of 0.44 were maintained, along with engine geometry. Hydrogen fuel was injected at an axial location of 92.33mm downstream of the leading edge for each investigated injection method. Results from this study show that porous fuel injection results in enhanced mixing and combustion compared to porthole fuel injection. This is particularly evident within the first half of the combustion chamber where porous fuel injection resulted in mixing and combustion efficiencies of 76% and 63% respectively. At the same location, porthole fuel injection resulted in efficiencies respectively of 58% and 46%. Key mechanisms contributing to the observed improved performance were the formation of an attached oblique fuel injection shock and associated stronger shock-expansion train ingested by the engine, enhanced spreading of the fuel in all directions and a more rapidly growing mixing layer.
Resumo:
China has 85 million people with disabilities, 30% of whom have a physical disability(1). Up to 2006, overall disability rates increased by 0.5% per year, more for males and in rural areas, and rates of physical disability increased by 11.2% per year(2). With population ageing the proportion of people with disability will increase even faster. In May 2014 the 67th World Health Assembly adopted a resolution endorsing the WHO Global Disability Action Plan 2014–2021. One of its three objectives is “to remove barriers and improve access to health services and programmes”. Access to transport contributes to positive health outcomes both directly and indirectly (e.g. access to economic opportunities, which is associated with better health)(3). However, once people with physical disabilities leave their dwellings they are confronted with physical barriers to their mobility, ranging from the condition/provision of paths to the cost/availability of transport and access to buildings. In addition, their mobility restrictions increase their vulnerability as road users, exposing them to a higher risk of injury through road crashes. QUT's School of Public Health and Social Work (PHSW) and and Centre for Accident Research and Road Safety-Queensland (CARRS-Q) CARRS-Q have been collaborating on development of a combined disability audit and road safety access tool that can identify transport barriers and safety issues along the routes taken by people with disabilities, to enable prioritisation of actions to address these issues. There are also spin-off benefits for other road users from addressing the rising toll of disability through road crashes in China(4). The tool has undergone initial proof-of-concept testing in India and Viet Nam, and is currently being assessed in Cambodia and Laos. Given the rapid development of China, increases in rates of physical disability and the impacts of an ageing population, it is proposed to establish collaborative research through the Australia-China Centre for Public Health to (1) tailor the combined road safety audit and disability access tool for use in China; (2) evaluate its use on a sample of routes; (3) develop plans for changes to the routes in consultation with local authorities; (4) evaluate the effectiveness of implemented changes in terms of access and health. 1. Zheng, Q, et al, 2014. Health and Quality of Life Outcomes, 12:25. 2. Zheng, X, et al, 2011. Bull World Health Org, 89:788–797. 3. Götschi, T & Kahlmeier, S, 2011. Integrated Transport, Health, and Sustainability Assessment (INTHESA): Final Report. Institute of Social and Preventive Medicine, University of Zurich. 4. Lin, T, et al, 2013. J Public Health, 35:541–547.
Resumo:
Defectivity has been historically identified as a leading technical roadblock to the implementation of nanoimprint lithography for semiconductor high volume manufacturing. The lack of confidence in nanoimprint's ability to meet defect requirements originates in part from the industry's past experiences with 1 × lithography and the shortage in enduser generated defect data. SEMATECH has therefore initiated a defect assessment aimed at addressing these concerns. The goal is to determine whether nanoimprint, specifically Jet and Flash Imprint Lithography from Molecular Imprints, is capable of meeting semiconductor industry defect requirements. At this time, several cycles of learning have been completed in SEMATECH's defect assessment, with promising results. J-FIL process random defectivity of < 0.1 def/cm2 has been demonstrated using a 120nm half-pitch template, providing proof of concept that a low defect nanoimprint process is possible. Template defectivity has also improved significantly as shown by a pre-production grade template at 80nm pitch. Cycles of learning continue on feature sizes down to 22nm. © 2011 SPIE.
Resumo:
In the commercial food industry, demonstration of microbiological safety and thermal process equivalence often involves a mathematical framework that assumes log-linear inactivation kinetics and invokes concepts of decimal reduction time (DT), z values, and accumulated lethality. However, many microbes, particularly spores, exhibit inactivation kinetics that are not log linear. This has led to alternative modeling approaches, such as the biphasic and Weibull models, that relax strong log-linear assumptions. Using a statistical framework, we developed a novel log-quadratic model, which approximates the biphasic and Weibull models and provides additional physiological interpretability. As a statistical linear model, the log-quadratic model is relatively simple to fit and straightforwardly provides confidence intervals for its fitted values. It allows a DT-like value to be derived, even from data that exhibit obvious "tailing." We also showed how existing models of non-log-linear microbial inactivation, such as the Weibull model, can fit into a statistical linear model framework that dramatically simplifies their solution. We applied the log-quadratic model to thermal inactivation data for the spore-forming bacterium Clostridium botulinum and evaluated its merits compared with those of popular previously described approaches. The log-quadratic model was used as the basis of a secondary model that can capture the dependence of microbial inactivation kinetics on temperature. This model, in turn, was linked to models of spore inactivation of Sapru et al. and Rodriguez et al. that posit different physiological states for spores within a population. We believe that the log-quadratic model provides a useful framework in which to test vitalistic and mechanistic hypotheses of inactivation by thermal and other processes. Copyright © 2009, American Society for Microbiology. All Rights Reserved.
Resumo:
BACKGROUND Measurement of the global burden of disease with disability-adjusted life-years (DALYs) requires disability weights that quantify health losses for all non-fatal consequences of disease and injury. There has been extensive debate about a range of conceptual and methodological issues concerning the definition and measurement of these weights. Our primary objective was a comprehensive re-estimation of disability weights for the Global Burden of Disease Study 2010 through a large-scale empirical investigation in which judgments about health losses associated with many causes of disease and injury were elicited from the general public in diverse communities through a new, standardised approach. METHODS We surveyed respondents in two ways: household surveys of adults aged 18 years or older (face-to-face interviews in Bangladesh, Indonesia, Peru, and Tanzania; telephone interviews in the USA) between Oct 28, 2009, and June 23, 2010; and an open-access web-based survey between July 26, 2010, and May 16, 2011. The surveys used paired comparison questions, in which respondents considered two hypothetical individuals with different, randomly selected health states and indicated which person they regarded as healthier. The web survey added questions about population health equivalence, which compared the overall health benefits of different life-saving or disease-prevention programmes. We analysed paired comparison responses with probit regression analysis on all 220 unique states in the study. We used results from the population health equivalence responses to anchor the results from the paired comparisons on the disability weight scale from 0 (implying no loss of health) to 1 (implying a health loss equivalent to death). Additionally, we compared new disability weights with those used in WHO's most recent update of the Global Burden of Disease Study for 2004. FINDINGS 13,902 individuals participated in household surveys and 16,328 in the web survey. Analysis of paired comparison responses indicated a high degree of consistency across surveys: correlations between individual survey results and results from analysis of the pooled dataset were 0·9 or higher in all surveys except in Bangladesh (r=0·75). Most of the 220 disability weights were located on the mild end of the severity scale, with 58 (26%) having weights below 0·05. Five (11%) states had weights below 0·01, such as mild anaemia, mild hearing or vision loss, and secondary infertility. The health states with the highest disability weights were acute schizophrenia (0·76) and severe multiple sclerosis (0·71). We identified a broad pattern of agreement between the old and new weights (r=0·70), particularly in the moderate-to-severe range. However, in the mild range below 0·2, many states had significantly lower weights in our study than previously. INTERPRETATION This study represents the most extensive empirical effort as yet to measure disability weights. By contrast with the popular hypothesis that disability assessments vary widely across samples with different cultural environments, we have reported strong evidence of highly consistent results.
Resumo:
This research explores how the concept of learner autonomy is understood and used in Vietnamese higher educational settings. Data were collected through interviews in Vietnamese with four university lecturers in Hanoi, Vietnam and then reported in an English language thesis. The problems confronted by the lecturers were in understanding the concept of learner autonomy, the complexities of translation equivalence for the concept from one language to another, and the impact of culture in interpreting the concept of learner autonomy. The paper concludes with recommendations for educators to be sensitive to cultural and linguistic considerations when transferring concepts from one culture to another.
Resumo:
Grøstl is a SHA-3 candidate proposal. Grøstl is an iterated hash function with a compression function built from two fixed, large, distinct permutations. The design of Grøstl is transparent and based on principles very different from those used in the SHA-family. The two permutations are constructed using the wide trail design strategy, which makes it possible to give strong statements about the resistance of Grøstl against large classes of cryptanalytic attacks. Moreover, if these permutations are assumed to be ideal, there is a proof for the security of the hash function. Grøstl is a byte-oriented SP-network which borrows components from the AES. The S-box used is identical to the one used in the block cipher AES and the diffusion layers are constructed in a similar manner to those of the AES. As a consequence there is a very strong confusion and diffusion in Grøstl. Grøstl is a so-called wide-pipe construction where the size of the internal state is significantly larger than the size of the output. This has the effect that all known, generic attacks on the hash function are made much more difficult. Grøstl has good performance on a wide range of platforms and counter-measures against side-channel attacks are well-understood from similar work on the AES.
Resumo:
Grøstl is a SHA-3 candidate proposal. Grøstl is an iterated hash function with a compression function built from two �fixed, large, distinct permutations. The design of Grøstl is transparent and based on principles very different from those used in the SHA-family. The two permutations are constructed using the wide trail design strategy, which makes it possible to give strong statements about the resistance of Grøstl against large classes of cryptanalytic attacks. Moreover, if these permutations are assumed to be ideal, there is a proof for the security of the hash function. Grøstl is a byte-oriented SP-network which borrows components from the AES. The S-box used is identical to the one used in the block cipher AES and the diffusion layers are constructed in a similar manner to those of the AES. As a consequence there is a very strong confusion and diffusion in Grøstl
Resumo:
This paper reports on the experimental testing of oxygen-enriched porous fuel injection in a scramjet engine. Fuel was injected via inlet mounted, oxide-based ceramic matrix composite (CMC) injectors on both flow path surfaces that covered a total of 9.2 % of the intake surface area. All experiments were performed at an enthalpy of 3.93−4.25±3.2% MJ kg−1, flight Mach number 9.2–9.6 and an equivalence ratio of 0.493±3%. At this condition, the engine was shown to be on the verge of achieving appreciable combustion. Oxygen was then added to the fuel prior to injection such that two distinct enrichment levels were achieved. Combustion was found to increase, by as much as 40 % in terms of combustion-induced pressure rise, over the fuel-only case with increasing oxygen enrichment. Further, the onset of combustion was found to move upstream with increasing levels of oxygen enrichment. Thrust, both uninstalled and specific, and specific impulse were found to be improved with oxygen enrichment. Enhanced fuel–air mixing due to the pre-mixing of oxygen with the fuel together with the porous fuel injection are believed to be the main contributors to the observed enhanced performance of the tested engine.