38 resultados para Pathway Semantics Algorithm (PSA)
em University of Queensland eSpace - Australia
Resumo:
OBJECTIVE: To evaluate a diagnostic algorithm for pulmonary tuberculosis based on smear microscopy and objective response to trial of antibiotics. SETTING: Adult medical wards, Hlabisa Hospital, South Africa, 1996-1997. METHODS: Adults with chronic chest symptoms and abnormal chest X-ray had sputum examined for Ziehl-Neelsen stained acid-fast bacilli by light microscopy. Those with negative smears were treated with amoxycillin for 5 days and assessed. Those who had not improved were treated with erythromycin for 5 days and reassessed. Response was compared with mycobacterial culture. RESULTS: Of 280 suspects who completed the diagnostic pathway, 160 (57%) had a positive smear, 46 (17%) responded to amoxycillin, 34 (12%) responded to erythromycin and 40 (14%) were treated as smear-negative tuberculosis. The sensitivity (89%) and specificity (84%) of the full algorithm for culture-positive tuberculosis were high. However, 11 patients (positive predictive value [PPV] 95%) were incorrectly diagnosed with tuberculosis, and 24 cases of tuberculosis (negative predictive value [NPV] 70%) were not identified. NPV improved to 75% when anaemia was included as a predictor. Algorithm performance was independent of human immunodeficiency virus status. CONCLUSION: Sputum smear microscopy plus trial of antibiotic algorithm among a selected group of tuberculosis suspects may increase diagnostic accuracy in district hospitals in developing countries.
Resumo:
The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.
Resumo:
Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.
Resumo:
This paper describes the emergence of new functional items in the Mauritian Creole noun phrase, following the collapse of the French determiner system when superstrate and substrate came into contact. The aim of the paper is to show how the new language strived to express the universal semantic contrasts of (in)definiteness and singular vs. plural. The process of grammaticalization of new functional items in the determiner system was accompanied by changes in the syntax from French to creole. An analysis within Chomsky’s Minimalist framework (1995, 2000, 2001) suggests that these changes were driven by the need to map semantic features onto the syntax.
Resumo:
To evaluate an antigen delivery system in which exogenous antigen can target the major histocompatibility complex (MHC) class I pathway, a single human papillomavirus (HPV) 16 E7 cytotoxic T lymphocyte (CTL) epitope and a single HIV gp160 CTL epitope were separately fused to the C-terminus or bovine papillomavirus 1 (BPV1) L1 sequence to form hybrid BPV1L1 VLPs. Mice immunized with these hybrid VLPs mounted strong CTL responses against the relevant target cells in the absence of any adjuvants. In addition, the CTL responses induced by immunization with BPV1L1/HPV16E7CTL VLPs protected mice against challenge with E7-transformed tumor cells. Furthermore, a high titer-specific antibody response against BPV1L1 VLPs was also induced, and this antiserum could inhibit papillomavirus-induced agglutination of mouse erythrocytes, suggesting that the antibody may recognize conformational determinates relevant to virus neutralization. These data demonstrate that hybrid BPV1L1 VLPs can be used as carriers to target antigenic epitopes to both the MHC class I and class II pathways, providing a promising strategy for the design of vaccines to prevent virus infection, with the potential to elicit therapeutic virus-specific CTL responses. (C) 1998 Academic Press.
Resumo:
Recently Adams and Bischof (1994) proposed a novel region growing algorithm for segmenting intensity images. The inputs to the algorithm are the intensity image and a set of seeds - individual points or connected components - that identify the individual regions to be segmented. The algorithm grows these seed regions until all of the image pixels have been assimilated. Unfortunately the algorithm is inherently dependent on the order of pixel processing. This means, for example, that raster order processing and anti-raster order processing do not, in general, lead to the same tessellation. In this paper we propose an improved seeded region growing algorithm that retains the advantages of the Adams and Bischof algorithm fast execution, robust segmentation, and no tuning parameters - but is pixel order independent. (C) 1997 Elsevier Science B.V.
Resumo:
Motivation: Prediction methods for identifying binding peptides could minimize the number of peptides required to be synthesized and assayed, and thereby facilitate the identification of potential T-cell epitopes. We developed a bioinformatic method for the prediction of peptide binding to MHC class II molecules. Results: Experimental binding data and expert knowledge of anchor positions and binding motifs were combined with an evolutionary algorithm (EA) and an artificial neural network (ANN): binding data extraction --> peptide alignment --> ANN training and classification. This method, termed PERUN, was implemented for the prediction of peptides that bind to HLA-DR4(B1*0401). The respective positive predictive values of PERUN predictions of high-, moderate-, low- and zero-affinity binder-a were assessed as 0.8, 0.7, 0.5 and 0.8 by cross-validation, and 1.0, 0.8, 0.3 and 0.7 by experimental binding. This illustrates the synergy between experimentation and computer modeling, and its application to the identification of potential immunotheraaeutic peptides.
Resumo:
There are, at least, two major questions concerning the molecular development of the olfactory nerve pathway. First, what are the molecular cues responsible for guiding axons from the nasal cavity to the olfactory bulb? Second, what is the molecular basis of axon targeting to specific glomeruli once axons reach the olfactory bulb? Studies in the primary olfactory pathway have focused on the role of the extracellular matrix and ensheathing cells in establishing an initial substrate for growth of pioneer axons between the periphery and brain. The primary axons also express a multitude of cell adhesion molecules that regulate fasciculation of axons and hence may play a role in fascicle formation in the olfactory nerve. Although the olfactory neuroepithelium principally consists of a morphologically homogeneous class of primary olfactory neurons, there are numerous subpopulations of olfactory neurons expressing chemically distinct phenotypes. In particular, numerous subpopulations have been characterized by expression of unique carbohydrate residues and olfactory receptor proteins. Some of these molecules have recently been implicated in axon guidance and targeting to specific glomeruli.
Resumo:
To translate and transfer solution data between two totally different meshes (i.e. mesh 1 and mesh 2), a consistent point-searching algorithm for solution interpolation in unstructured meshes consisting of 4-node bilinear quadrilateral elements is presented in this paper. The proposed algorithm has the following significant advantages: (1) The use of a point-searching strategy allows a point in one mesh to be accurately related to an element (containing this point) in another mesh. Thus, to translate/transfer the solution of any particular point from mesh 2 td mesh 1, only one element in mesh 2 needs to be inversely mapped. This certainly minimizes the number of elements, to which the inverse mapping is applied. In this regard, the present algorithm is very effective and efficient. (2) Analytical solutions to the local co ordinates of any point in a four-node quadrilateral element, which are derived in a rigorous mathematical manner in the context of this paper, make it possible to carry out an inverse mapping process very effectively and efficiently. (3) The use of consistent interpolation enables the interpolated solution to be compatible with an original solution and, therefore guarantees the interpolated solution of extremely high accuracy. After the mathematical formulations of the algorithm are presented, the algorithm is tested and validated through a challenging problem. The related results from the test problem have demonstrated the generality, accuracy, effectiveness, efficiency and robustness of the proposed consistent point-searching algorithm. Copyright (C) 1999 John Wiley & Sons, Ltd.
Resumo:
The olfactory neuroepithelium is characterised by the mosaic distribution of primary olfactory neurons that express different odorant receptors and cell surface glycoconjugates. Carbohydrates are believed to form a glycocode that mediates sorting out and fasciculation of primary olfactory axons through interactions with carbohydrate-binding proteins such as galectin-1. In the present study, we describe in detail the expression pattern of galectin-1 in the developing and adult rat olfactory system. We demonstrate that galectin-1 is expressed by olfactory ensheathing cells both in olfactory nerve and within the nerve fibre layer of the olfactory bulb of the embryonic and adult rat. In the adult rat, galectin-1 was preferentially expressed by olfactory ensheathing cells in the nerve fibre layer of the ventromedial and lateral surfaces of the olfactory bulb. Galectin-1 was also expressed by subsets of periglomerular cells and granule cells, particularly in the ventromedial region of the olfactory bulb. In adult rat, the galectin-1 ligand, N-acetyl-lactosamine, was expressed by primary olfactory axons that terminated in glomeruli present in the ventromedial and lateral olfactory bulb. These results suggest that expression of galectin-1 may provide a mechanism for the sorting of subpopulations of axons in the nerve fibre layer of the olfactory bulb during development as well as play a role in the postnatal maintenance of specific glomerular connections. (C) 1999 Elsevier Science B.V. All rights reserved.
Resumo:
The olfactory neuroepithelium is a highly plastic region of the nervous system that undergoes continual turnover of primary olfactory neurons throughout life. The mechanisms responsible for persistent growth and guidance of primary olfactory axons along the olfactory nerve are unknown. In the present study, we used antibodies against the Eph-related receptor, EphA5, to localise EphA5, and recombinant EDhA5-IgG fusion protein to localise its ligands. We found that although both EphA5 and its ligands were both expressed by primary olfactory neurons within the embryonic olfactory nerve pathway, there was no graded or complementary expression pattern. In contrast, the expression patterns altered postnatally such that primary olfactory neurons expressed the ligands, whereas the second-order olfactory neurons, the mitral cells, expressed EphA5. The role of EphA5 was analysed by blocking EphA5-ligand interactions in explant cultures of olfactory neuroepithelium using anti-EphA5 antibodies and recombinant EphA5. These perturbations reduced neurite outgrowth from explant cultures and suggest that intrafascicular axon repulsion may serve to limit adhesion and optimise conditions for axon growth. (C) 2000 Wiley-Liss, Inc.
Resumo:
2-Amino-3-methylimidazo[4,5-f]quinoline (IQ) is one of several mutagenic and carcinogenic heterocyclic amines formed during the cooking process of protein-rich foods, These compounds are highly mutagenic and have been shown to produce tumours in various tissues in rodents and non-human primates. Metabolic activation of IQ is a two-step process involving N-hydroxylation by CYP1A2 followed by esterification to a more reactive species capable of forming adducts with DNA, To date, acetylation and sulphation have been proposed as important pathways in the formation of N-hydroxy esters, In this study we have demonstrated the presence of an ATP-dependent activation pathway for N-hydroxy-IQ (N-OH-IQ) leading to DNA adduct formation measured by covalent binding of [H-3]N-OH-IQ to DNA, ATP-dependent DNA binding of N-OH-IQ was greatest in the cytosolic fraction of rat liver, although significant activity was also seen in colon, pancreas and lung. ATP was able to activate N-OH-IQ almost 10 times faster than N-hydroxy-2-amino-1-methyl-6-phenylimidazo[4,5-b]pyridine (7.7 +/- 0.3 and 0.9 +/- 0.1 pmol/mg protein/min, respectively). Using reported intracellular concentrations of cofactor, the ability of ATP to support DNA binding was similar to that seen with 3'-phosphoadenosine 5'-phosphosulphate and similar to 50% of that seen with acetyl coenzyme A (AcCoA), In addition to DNA binding, HPLC analysis of the reaction mixtures using ATP as co-factor showed the presence of two stable, polar metabolites, With AcCoA, only one metabolite was seen. The kinase inhibitors genistein, tyrphostin A25 and rottlerin significantly inhibited both DNA binding and metabolite formation with ATP. However, inhibition was unlikely to be due to effects on enzyme activity since the broad spectrum kinase inhibitor staurosporine had no effect and the inactive analogue of genistein, daidzein, was as potent as genistein, The effects of genistein and daidzein, which are naturally occurring isoflavones from soy and other food products, on DNA adduct formation may potentially be useful in the prevention of heterocyclic amine-induced carcinogenesis.
Resumo:
In this paper, the minimum-order stable recursive filter design problem is proposed and investigated. This problem is playing an important role in pipeline implementation sin signal processing. Here, the existence of a high-order stable recursive filter is proved theoretically, in which the upper bound for the highest order of stable filters is given. Then the minimum-order stable linear predictor is obtained via solving an optimization problem. In this paper, the popular genetic algorithm approach is adopted since it is a heuristic probabilistic optimization technique and has been widely used in engineering designs. Finally, an illustrative example is sued to show the effectiveness of the proposed algorithm.