The correspondence framework for 3D surface matching algorithms

Beyond the inherent technical challenges, current research into the three dimensional surface correspondence problem is hampered by a lack of uniform terminology, an abundance of application specific algorithms, and the absence of a consistent model for comparing existing approaches and developing new ones. This paper addresses these challenges by presenting a framework for analysing, comparing, developing, and implementing surface correspondence algorithms. The framework uses five distinct stages to establish correspondence between surfaces. It is general, encompassing a wide variety of existing techniques, and flexible, facilitating the synthesis of new correspondence algorithms. This paper presents a review of existing surface correspondence algorithms, and shows how they fit into the correspondence framework. It also shows how the framework can be used to analyse and compare existing algorithms and develop new algorithms using the framework's modular structure. Six algorithms, four existing and two new, are implemented using the framework. Each implemented algorithm is used to match a number of surface pairs. Results demonstrate that the correspondence framework implementations are faithful implementations of existing algorithms, and that powerful new surface correspondence algorithms can be created. (C) 2004 Elsevier Inc. All rights reserved.

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

A real-time asymmetric multiprocessor-reconfigurable system-on-chip architecture

We propose an asymmetric multi-processor SoC architecture, featuring a master CPU running uClinux, and multiple loosely-coupled slave CPUs running real-time threads assigned by the master CPU. Real-time SoC architectures often demand a compromise between a generic platform for different applications, and application-specific customizations to achieve performance requirements. Our proposed architecture offers a generic platform running a conventional embedded operating system providing a traditional software-oriented development approach, while multiple slave CPUs act as a dedicated independent real-time threads execution unit running in parallel of master CPU to achieve performance requirements. In this paper, the architecture is described, including the application / threading development environment. The performance of the architecture with several standard benchmark routines is also analysed.

Application of a species-specific PCR-RFLP to identify Ancylostoma eggs directly from canine faeces

Apart from their veterinary importance, the hookworms Ancylostoma caninum, Ancylostoma braziliense and Ancylostoma caninum are also capable of causing zoonotic disease in humans. A highly sensitive and species-specific PCR-RFLP technique was utilised to detect and differentiate the various canine Ancylostoma spp directly from eggs in faeces. This technique was utilised to screen 101 canine faecal samples from parasite endemic tea growing communities in Assam, India, as part as an ongoing epidemiological investigation into canine parasitic zoonoses. The prevalence of hookworms in dogs was found to be 98% using a combination of PCR and conventional microscopy. Overall, 36% of dogs were found positive for single hookworm infections with A. caninum, 24% positive for single infections with A. braziliense and 38% had mixed infections with both A. caninum and A. braziliense. No dogs were found positive for A. ceylanicum in the community under study. The high prevalence of A. caninum and A. braziliense in dogs in this community may account for the high incidence of cutaneous larva migrans (CLM) observed among the human population residing at the tea estates. The PCR-RFLP technique described herein allows epidemiological screening of canine hookworms to be conducted rapidly, with ease and accuracy, and has the potential to be applied to a number of different clinical, pharmacological and epidemiological situations. (C) 2004 Elsevier B.V. All rights reserved.

A sensitive and specific assay for glutathione with potential application to glutathione disulphide, using high-performance liquid chromatography-tandem mass spectrometry

We have utilised the combination of sensitivity and specificity afforded by coupling high-performance liquid chromatography (HPLC) to a tandem mass spectrometer (MS-MS) to produce an assay which is suitable for assaying glutathione (GSH) concentrations in liver tissue. The sensitivity suggests it may also be suitable for extrahepatic tissues, The method has been validated for GSH using mouse liver samples and also allows the assay of GSSG. The stability of GSH under conditions relevant to the assay has been determined. A 20-mul amount of a diluted methanol extract of tissue is injected with detection limits of 0.2 pmol for GSH and 2 pmol for GSSG. The HPLC uses an Altima C-18 (150X4.6 mm, 5 mum) column at 35 degreesC. Chromatography utilises a linear gradient from 0 to 10% methanol in 0.1% formic acid over 5 min, with a final isocratic stage holding at 10% methanol for 5 min. Total flow rate is 0.8 ml/min. The transition from the M+H ion (308.1 m/z for GSH, and 613.3 m/z for GSSG) to the 162.0 m/z (GSH) and 355.3 m/z (GSSG) fragments are monitored. (C) 2001 Elsevier Science B.V. All rights reserved.

An algorithm to predict 3 ' intron splice sites in Plasmodium falciparum genomic sequences

A new algorithm, PfAGSS, for predicting 3' splice sites in Plasmodium falciparum genomic sequences is described. Application of this program to the published P. falciparum chromosome 2 and 3 data suggests that existing programs result in a high error rate in assigning 3' intron boundaries. (C) 2001 Elsevier Science B.V. All rights reserved.

Finite mixture regression model with random effects: application to neonatal hospital length of stay

A two-component mixture regression model that allows simultaneously for heterogeneity and dependency among observations is proposed. By specifying random effects explicitly in the linear predictor of the mixture probability and the mixture components, parameter estimation is achieved by maximising the corresponding best linear unbiased prediction type log-likelihood. Approximate residual maximum likelihood estimates are obtained via an EM algorithm in the manner of generalised linear mixed model (GLMM). The method can be extended to a g-component mixture regression model with the component density from the exponential family, leading to the development of the class of finite mixture GLMM. For illustration, the method is applied to analyse neonatal length of stay (LOS). It is shown that identification of pertinent factors that influence hospital LOS can provide important information for health care planning and resource allocation. (C) 2002 Elsevier Science B.V. All rights reserved.

Specific modulation of airway epithelial tight junctions by apical application of an occludin peptide

Tight junctions are directly involved in regulating the passage of ions and macromolecules (gate functions) in epithelial and endothelial cells. The modulation of these gate functions to transiently regulate the paracellular permeability of large solutes and ions could increase the delivery of pharmacological agents or gene transfer vectors. To reduce the inflammatory responses caused by tight junction-regulating agents, alternative strategies directly targeting specific tight junction proteins could prove to be less toxic to airway epithelia. The apical delivery of peptides corresponding to the first extracellular loop of occludin to transiently modulate apical paracellular flux has been demonstrated in intestinal epithelia. We hypothesized that apical application of these occludin peptides could similarly modulate tight junction permeability in airway epithelia. Thus, we investigated the effects of apically applied occludin peptide on the paracellular permeability of molecular tracers and viral vectors in well differentiated human airway epithelial cells. The effects of occludin peptide on cellular toxicity, tight junction protein expression and localization, and membrane integrity were also assessed. Our data showed that apically applied occludin peptide significantly reduced transepithelial resistance in airway epithelia and altered tight junction permeability in a concentration-dependent manner. These alterations enhanced the paracellular flux of dextrans as well as gene transfer vectors. The occludin peptide redistributed occludin but did not alter the expression or distribution of ZO-1, claudin-1, or claudin-4. These data suggest that specific targeting of occludin could be a better-suited alternative strategy for tight junction modulation in airway epithelial cells compared with current agents that modulate tight junctions.

Tuning pattern classifier parameters using a genetic algorithm with an application in mobile robotics

Support vector machines (SVMs) have recently emerged as a powerful technique for solving problems in pattern classification and regression. Best performance is obtained from the SVM its parameters have their values optimally set. In practice, good parameter settings are usually obtained by a lengthy process of trial and error. This paper describes the use of genetic algorithm to evolve these parameter settings for an application in mobile robotics.

Specific PCR based detection of Phytophthora medicaginis using the intergenic spacer region of the ribosomal DNA

A technique based on the polymerase chain reaction (PCR) for the specific detection of Phytophthora medicaginis was developed using nucleotide sequence information of the ribosomal DNA (rDNA) regions. The complete IGS 2 region between the 5 S gene of one rDNA repeat and the small subunit of the adjacent repeat was sequenced for P. medicaginis and related species. The entire nucleotide sequence length of the IGS 2 of P. medicaginis was 3566 bp. A pair of oligonucleotide primers (PPED04 and PPED05), which allowed amplification of a specific fragment (364 bp) within the IGS 2 of P. medicaginis using the PCR, was designed. Specific amplification of this fragment from P. medicaginis was highly sensitive, detecting template DNA as low as 4 ng and in a host-pathogen DNA ratio of 1000000:1. Specific PCR amplification using PPED04 and PPED05 was successful in detecting P. medicaginis in lucerne stems infected under glasshouse conditions and field infected lucerne roots. The procedures developed in this work have application to improved identification and detection of a wide range of Phytophthora spp. in plants and soil.

Analysis and application of an equilibrium model for in vitro bioassay systems with three components: Receptor, hormone and hormone-binding-protein

A simple theoretical framework is presented for bioassay studies using three component in vitro systems. An equilibrium model is used to derive equations useful for predicting changes in biological response after addition of hormone-binding-protein or as a consequence of increased hormone affinity. Sets of possible solutions for receptor occupancy and binding protein occupancy are found for typical values of receptor and binding protein affinity constants. Unique equilibrium solutions are dictated by the initial condition of total hormone concentration. According to the occupancy theory of drug action, increasing the affinity of a hormone for its receptor will result in a proportional increase in biological potency. However, the three component model predicts that the magnitude of increase in biological potency will be a small fraction of the proportional increase in affinity. With typical initial conditions a two-fold increase in hormone affinity for its receptor is predicted to result in only a 33% increase in biological response. Under the same conditions an Ii-fold increase in hormone affinity for receptor would be needed to produce a two-fold increase in biological potency. Some currently used bioassay systems may be unrecognized three component systems and gross errors in biopotency estimates will result if the effect of binding protein is not calculated. An algorithm derived from the three component model is used to predict changes in biological response after addition of binding protein to in vitro systems. The algorithm is tested by application to a published data set from an experimental study in an in vitro system (Lim et al., 1990, Endocrinology 127, 1287-1291). Predicted changes show good agreement (within 8%) with experimental observations. (C) 1998 Academic Press Limited.

Prediction of MHC class II-binding peptides using an evolutionary algorithm and artificial neural network

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.

T cell-mediated and non-specific inflammatory mechanisms contribute to the skin pathology of HPV 16 E6E7 transgenic mice

One of three lines of mice transgenic for the E6 and E7 genes of human papillomavirus type 16 (HPV16) expressed from an alpha A-crystallin promoter also expresses the transgene ectopically in the skin. This line, designated alpha ACE6E7#19, develops skin disease from 3 months of age, characterised by epidermal hyperplasia and eventual skin loss. Administration of complete Freund's adjuvant (CFA) to alpha ACE6E7#19 mice, but not to nontransgenic littermate controls, induced local epidermal hyperplasia which was histologically similar to the spontaneously arising skin pathology. Local application of 2,4-dinitrochlorobenzene (DNCB) to DNCB-sensitised aACE6E7#19 mice, but not DNCB-sensitised controls, also induced hyperplasia. Treatment with cyclosporin A (CsA) or systemic depletion of CD4+ cells significantly reduced the incidence of skin disease. These data suggest that local inflammation, and cytokines produced by T helper cells, contribute to the induction of hyperplastic skin disease in alpha ACE6E7#19 mice. Spontaneous skin disease with similar histological appearance, frequency, age of onset and severity in alpha ACE6E7#19 mice was observed in scid-/- aACE6E7#19 mice, despite immune paresis. Antigen-specific immune responses and T-cell cytokines a re therefore not necessary for the induction of skin disease. We propose that epidermal hyperplasia associated with HPV16 E6 and E7 expression in skin is accelerated by local secretion of pro-inflammatory cytokines, whose production can be enhanced by activated CD4+ T cells.