Some applications of logic to feasibility in higher types

While it is commonly accepted that computability on a Turing machine in polynomial time represents a correct formalization of the notion of a feasibly computable function, there is no similar agreement on how to extend this notion on functionals, that is, what functionals should be considered feasible. One possible paradigm was introduced by Mehlhorn, who extended Cobham's definition of feasible functions to type 2 functionals. Subsequently, this class of functionals (with inessential changes of the definition) was studied by Townsend who calls this class POLY, and by Kapron and Cook who call the same class basic feasible functionals. Kapron and Cook gave an oracle Turing machine model characterisation of this class. In this article, we demonstrate that the class of basic feasible functionals has recursion theoretic properties which naturally generalise the corresponding properties of the class of feasible functions, thus giving further evidence that the notion of feasibility of functionals mentioned above is correctly chosen. We also improve the Kapron and Cook result on machine representation.Our proofs are based on essential applications of logic. We introduce a weak fragment of second order arithmetic with second order variables ranging over functions from NN which suitably characterises basic feasible functionals, and show that it is a useful tool for investigating the properties of basic feasible functionals. In particular, we provide an example how one can extract feasible programs from mathematical proofs that use nonfeasible functions.

Acoustic keyword spotting in speech with applications to data mining

Keyword Spotting is the task of detecting keywords of interest within continu- ous speech. The applications of this technology range from call centre dialogue systems to covert speech surveillance devices. Keyword spotting is particularly well suited to data mining tasks such as real-time keyword monitoring and unre- stricted vocabulary audio document indexing. However, to date, many keyword spotting approaches have su®ered from poor detection rates, high false alarm rates, or slow execution times, thus reducing their commercial viability. This work investigates the application of keyword spotting to data mining tasks. The thesis makes a number of major contributions to the ¯eld of keyword spotting. The ¯rst major contribution is the development of a novel keyword veri¯cation method named Cohort Word Veri¯cation. This method combines high level lin- guistic information with cohort-based veri¯cation techniques to obtain dramatic improvements in veri¯cation performance, in particular for the problematic short duration target word class. The second major contribution is the development of a novel audio document indexing technique named Dynamic Match Lattice Spotting. This technique aug- ments lattice-based audio indexing principles with dynamic sequence matching techniques to provide robustness to erroneous lattice realisations. The resulting algorithm obtains signi¯cant improvement in detection rate over lattice-based audio document indexing while still maintaining extremely fast search speeds. The third major contribution is the study of multiple veri¯er fusion for the task of keyword veri¯cation. The reported experiments demonstrate that substantial improvements in veri¯cation performance can be obtained through the fusion of multiple keyword veri¯ers. The research focuses on combinations of speech background model based veri¯ers and cohort word veri¯ers. The ¯nal major contribution is a comprehensive study of the e®ects of limited training data for keyword spotting. This study is performed with consideration as to how these e®ects impact the immediate development and deployment of speech technologies for non-English languages.

An architecture for user configurable mobile collaborative geographic applications

Geographic information is increasingly being touted for use in research and industrial projects. While the technology is now available and affordable, there is a lack of easy to use software that takes advantage of geographic information. This is an important problem because users are often researchers or scientists who have insufficient software skills, and by providing applications that are easier to use, time and financial resources can be taken from training and be better applied to the actual research and development work. A solution for this problem must cater for the user and research needs. In particular it must allow for mobile operation for fieldwork, flexibility or customisability of data input, sharing of data with other tools and collaborative capabilities for the usual teamwork environment. This thesis has developed a new architecture and data model to achieve the solution. The result is the Mobile Collaborative Annotation framework providing an implementation of the new architecture and data model. Mobile Collaborative Mapping implements the framework as a Web 2.0 mashup rich internet application and has proven to be an effective solution through its positive application to a case study with fieldwork scientists. This thesis has contributed to research into mobile computing, collaborative computing and geospatial systems by creating a simpler entry point to mobile geospatial applications, enabling simplified collaboration and providing tangible time savings.

Repair of calvarial defects with customized tissue-engineered bone grafts - I. Evaluation of osteogenesis in a three-dimensional culture system

Bone generation by autogenous cell transplantation in combination with a biodegradable scaffold is one of the most promising techniques being developed in craniofacial surgery. The objective of this combined in vitro and in vivo study was to evaluate the morphology and osteogenic differentiation of bone marrow derived mesenchymal progenitor cells and calvarial osteoblasts in a two-dimensional (2-D) and three-dimensional (3-D) culture environment (Part I of this study) and their potential in combination with a biodegradable scaffold to reconstruct critical-size calvarial defects in an autologous animal model [Part II of this study; see Schantz, J.T., et al. Tissue Eng. 2003;9(Suppl. 1):S-127-S-139; this issue]. New Zealand White rabbits were used to isolate osteoblasts from calvarial bone chips and bone marrow stromal cells from iliac crest bone marrow aspirates. Multilineage differentiation potential was evaluated in a 2-D culture setting. After amplification, the cells were seeded within a fibrin matrix into a 3-D polycaprolactone (PCL) scaffold system. The constructs were cultured for up to 3 weeks in vitro and assayed for cell attachment and proliferation using phase-contrast light, confocal laser, and scanning electron microscopy and the MTS cell metabolic assay. Osteogenic differentiation was analyzed by determining the expression of alkaline phosphatase (ALP) and osteocalcin. The bone marrow-derived progenitor cells demonstrated the potential to be induced to the osteogenic, adipogenic, and chondrogenic pathways. In a 3-D environment, cell-seeded PCL scaffolds evaluated by confocal laser microscopy revealed continuous cell proliferation and homogeneous cell distribution within the PCL scaffolds. On osteogenic induction mesenchymal progenitor cells (12 U/L) produce significantly higher (p < 0.05) ALP activity than do osteoblasts (2 U/L); however, no significant differences were found in osteocalcin expression. In conclusion, this study showed that the combination of a mechanically stable synthetic framework (PCL scaffolds) and a biomimetic hydrogel (fibrin glue) provides a potential matrix for bone tissue-engineering applications. Comparison of osteogenic differentiation between the two mesenchymal cell sources revealed a similar pattern.

Direct writing of chitosan scaffolds using a robotic system

Purpose – This paper aims to present a novel rapid prototyping (RP) fabrication methods and preliminary characterization for chitosan scaffolds. Design – A desktop rapid prototyping robot dispensing (RPBOD) system has been developed to fabricate scaffolds for tissue engineering (TE) applications. The system is a computer-controlled four-axis machine with a multiple-dispenser head. Neutralization of the acetic acid by the sodium hydroxide results in a precipitate to form a gel-like chitosan strand. The scaffold properties were characterized by scanning electron microscopy, porosity calculation and compression test. An example of fabrication of a freeform hydrogel scaffold is demonstrated. The required geometric data for the freeform scaffold were obtained from CT-scan images and the dispensing path control data were converted form its volume model. The applications of the scaffolds are discussed based on its potential for TE. Findings – It is shown that the RPBOD system can be interfaced with imaging techniques and computational modeling to produce scaffolds which can be customized in overall size and shape allowing tissue-engineered grafts to be tailored to specific applications or even for individual patients. Research limitations/implications – Important challenges for further research are the incorporation of growth factors, as well as cell seeding into the 3D dispensing plotting materials. Improvements regarding the mechanical properties of the scaffolds are also necessary. Originality/value – One of the important aspects of TE is the design scaffolds. For customized TE, it is essential to be able to fabricate 3D scaffolds of various geometric shapes, in order to repair tissue defects. RP or solid free-form fabrication techniques hold great promise for designing 3D customized scaffolds; yet traditional cell-seeding techniques may not provide enough cell mass for larger constructs. This paper presents a novel attempt to fabricate 3D scaffolds, using hydrogels which in the future can be combined with cells.

Biological monitoring of occupational exposure to polycyclic aromatic hydrocarbons in prebake smelting

In 1984, the International Agency for Research on Cancer determined that working in the primary aluminium production process was associated with exposure to certain polycyclic aromatic hydrocarbons (PAHs) that are probably carcinogenic to humans. Key sources of PAH exposure within the occupational environment of a prebake aluminium smelter are processes associated with use of coal-tar pitch. Despite the potential for exposure via inhalation, ingestion and dermal adsorption, to date occupational exposure limits exist only for airborne contaminants. This study, based at a prebake aluminium smelter in Queensland, Australia, compares exposures of workers who came in contact with PAHs from coal-tar pitch in the smelter’s anode plant (n = 69) and cell-reconstruction area (n = 28), and a non-production control group (n = 17). Literature relevant to PAH exposures in industry and methods of monitoring and assessing occupational hazards associated with these compounds are reviewed, and methods relevant to PAH exposure are discussed in the context of the study site. The study utilises air monitoring of PAHs to quantify exposure via the inhalation route and biological monitoring of 1-hydroxypyrene (1-OHP) in urine of workers to assess total body burden from all routes of entry. Exposures determined for similar exposure groups, sampled over three years, are compared with published occupational PAH exposure limits and/or guidelines. Results of paired personal air monitoring samples and samples collected for 1-OHP in urine monitoring do not correlate. Predictive ability of the benzene-soluble fraction (BSF) in personal air monitoring in relation to the 1-OHP levels in urine is poor (adjusted R2 < 1%) even after adjustment for potential confounders of smoking status and use of personal protective equipment. For static air BSF levels in the anode plant, the median was 0.023 mg/m3 (range 0.002–0.250), almost twice as high as in the cell-reconstruction area (median = 0.013 mg/m3, range 0.003–0.154). In contrast, median BSF personal exposure in the anode plant was 0.036 mg/m3 (range 0.003–0.563), significantly lower than the median measured in the reconstruction area (0.054 mg/m3, range 0.003–0.371) (p = 0.041). The observation that median 1-OHP levels in urine were significantly higher in the anode plant than in the reconstruction area (6.62 µmol/mol creatinine, range 0.09–33.44 and 0.17 µmol/mol creatinine, range 0.001–2.47, respectively) parallels the static air measurements of BSF rather than the personal air monitoring results (p < 0.001). Results of air measurements and biological monitoring show that tasks associated with paste mixing and anode forming in the forming area of the anode plant resulted in higher PAH exposure than tasks in the non-forming areas; median 1-OHP levels in urine from workers in the forming area (14.20 µmol/mol creatinine, range 2.02–33.44) were almost four times higher than those obtained from workers in the non-forming area (4.11 µmol/mol creatinine, range 0.09–26.99; p < 0.001). Results justify use of biological monitoring as an important adjunct to existing measures of PAH exposure in the aluminium industry. Although monitoring of 1-OHP in urine may not be an accurate measure of biological effect on an individual, it is a better indicator of total PAH exposure than BSF in air. In January 2005, interim study results prompted a plant management decision to modify control measures to reduce skin exposure. Comparison of 1-OHP in urine from workers pre- and post-modifications showed substantial downward trends. Exposure via the dermal route was identified as a contributor to overall dose. Reduction in 1-OHP urine concentrations achieved by reducing skin exposure demonstrate the importance of exposure via this alternative pathway. Finally, control measures are recommended to ameliorate risk associated with PAH exposure in the primary aluminium production process, and suggestions for future research include development of methods capable of more specifically monitoring carcinogenic constituents of PAH mixtures, such as benzo[a]pyrene.

Diffusion tensor of water in model articular cartilage

We used Monte Carlo simulations of Brownian dynamics of water to study anisotropic water diffusion in an idealised model of articular cartilage. The main aim was to use the simulations as a tool for translation of the fractional anisotropy of the water diffusion tensor in cartilage into quantitative characteristics of its collagen fibre network. The key finding was a linear empirical relationship between the collagen volume fraction and the fractional anisotropy of the diffusion tensor. Fractional anisotropy of the diffusion tensor is potentially a robust indicator of the microstructure of the tissue because, in the first approximation, it is invariant to the inclusion of proteoglycans or chemical exchange between free and collagen-bound water in the model. We discuss potential applications of Monte Carlo diffusion-tensor simulations for quantitative biophysical interpretation of MRI diffusion-tensor images of cartilage. Extension of the model to include collagen fibre disorder is also discussed.

Mineralization capacity of Runx2/Cbfa1-genetically engineered fibroblasts is scaffold dependent

Development of tissue-engineered constructs for skeletal regeneration of large critical-sized defects requires the identification of a sustained mineralizing cell source and careful optimization of scaffold architecture and surface properties. We have recently reported that Runx2-genetically engineered primary dermal fibroblasts express a mineralizing phenotype in monolayer culture, highlighting their potential as an autologous osteoblastic cell source which can be easily obtained in large quantities. The objective of the present study was to evaluate the osteogenic potential of Runx2-expressing fibroblasts when cultured in vitro on three commercially available scaffolds with divergent properties: fused deposition-modeled polycaprolactone (PCL), gas-foamed polylactide-co-glycolide (PLGA), and fibrous collagen disks. We demonstrate that the mineralization capacity of Runx2-engineered fibroblasts is scaffold dependent, with collagen foams exhibiting ten-fold higher mineral volume compared to PCL and PLGA matrices. Constructs were differentially colonized by genetically modified fibroblasts, but scaffold-directed changes in DNA content did not correlate with trends in mineral deposition. Sustained expression of Runx2 upregulated osteoblastic gene expression relative to unmodified control cells, and the magnitude of this expression was modulated by scaffold properties. Histological analyses revealed that matrix mineralization co-localized with cellular distribution, which was confined to the periphery of fibrous collagen and PLGA sponges and around the circumference of PCL microfilaments. Finally, FTIR spectroscopy verified that mineral deposits within all Runx2-engineered scaffolds displayed the chemical signature characteristic of carbonate-containing, poorly crystalline hydroxyapatite. These results highlight the important effect of scaffold properties on the capacity of Runx2-expressing primary dermal fibroblasts to differentiate into a mineralizing osteoblastic phenotype for bone tissue engineering applications.

Computer simulation and modeling in railway applications

An electrified railway system includes complex interconnections and interactions of several subsystems. Computer simulation is the only viable means for system evaluation and analysis. This paper discusses the difficulties and requirements of effective simulation models for this specialized industrial application; and the development of a general-purpose multi-train simulator.

Secure tracking for critical applications : communications, GPS and future Galileo services

Tracking/remote monitoring systems using GNSS are a proven method to enhance the safety and security of personnel and vehicles carrying precious or hazardous cargo. While GNSS tracking appears to mitigate some of these threats, if not adequately secured, it can be a double-edged sword allowing adversaries to obtain sensitive shipment and vehicle position data to better coordinate their attacks, and to provide a false sense of security to monitoring centers. Tracking systems must be designed with the ability to perform route-compliance and thwart attacks ranging from low-level attacks such as the cutting of antenna cables to medium and high-level attacks involving radio jamming and signal / data-level simulation, especially where the goods transported have a potentially high value to terrorists. This paper discusses the use of GNSS in critical tracking applications, addressing the mitigation of GNSS security issues, augmentation systems and communication systems in order to provide highly robust and survivable tracking systems.

Kaolinite platelet orientation for XRD and AFM applications

The structure-building phenomena within clay aggregates are governed by forces acting between clay particles. The nature of such forces is important to understand in order to manipulate the aggregate structure for applications such as settling and dewatering. A parallel particle orientation is required when conducting force measurements acting between the basal planes of clay mineral platelets using atomic force microscopy (AFM). In order to prepare a film of clay particles with the optimal orientation for conducting AFM measurements, the influences of particle concentration in suspension, suspension pH and particle size on the clay platelet orientation were investigated using scanning electron microscopy (SEM) and X-ray diffraction (XRD) methods. From these investigations, we conclude that high clay (dry mass) concentrations and larger particle diameters (up to 5 µm) in suspension result in random orientation of platelets on the substrate. The best possible laminar orientation in the clay dried film as represented in the XRD by the 001/020 intensity ratio of more than 150 and by SE micrograph assessments, was obtained by drying thin layers from 0.2 wt% of -5 µm clay suspensions at pH 10.5. These dried films are stable and suitable for close-approach AFM studies in solution.