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.

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.

The effects of bioactive akermanite on physiochemical, drug-delivery and biological properties of poly (lactide-co-glycolide) beads

Poly(lactide-co-glycolide) (PLGA) beads have been widely studied as a potential drug/protein carrier. The main shortcomings of PLGA beads are that they lack bioactivity and controllable drug-delivery ability, and their acidic degradation by-products can lead to pH decrease in the vicinity of the implants. Akermanite (AK) (Ca(2) MgSi(2) O(7) ) is a novel bioactive ceramic which has shown excellent bioactivity and degradation in vivo. This study aimed to incorporate AK to PLGA beads to improve the physiochemical, drug-delivery, and biological properties of PLGA beads. The microstructure of beads was characterized by SEM. The effect of AK incorporating into PLGA beads on the mechanical strength, apatite-formation ability, the loading and release of BSA, and the proliferation, and differentiation of bone marrow stromal cells (BMSCs) was investigated. The results showed that the incorporation of AK into PLGA beads altered the anisotropic microporous structure into homogenous one and improved their compressive strength and apatite-formation ability in simulated body fluids (SBF). AK neutralized the acidic products from PLGA beads, leading to stable pH value of 7.4 in biological environment. AK led to a sustainable and controllable release of bovine serum albumin (BSA) in PLGA beads. The incorporation of AK into PLGA beads enhanced the proliferation and alkaline phosphatase activity of BMSCs. This study implies that the incorporation of AK into PLGA beads is a promising method to enhance their physiochemical and biological property. AK/PLGA composite beads are a potential bioactive drug-delivery system for bone tissue repair.

Applications of wavelet transform for analysis of freeway traffic : bottlenecks, transient traffic, and traffic oscillations

This paper demonstrates the capabilities of wavelet transform (WT) for analyzing important features related to bottleneck activations and traffic oscillations in congested traffic in a systematic manner. In particular, the analysis of loop detector data from a freeway shows that the use of wavelet-based energy can effectively identify the location of an active bottleneck, the arrival time of the resulting queue at each upstream sensor location, and the start and end of a transition during the onset of a queue. Vehicle trajectories were also analyzed using WT and our analysis shows that the wavelet-based energies of individual vehicles can effectively detect the origins of deceleration waves and shed light on possible triggers (e.g., lane-changing). The spatiotemporal propagations of oscillations identified by tracing wavelet-based energy peaks from vehicle to vehicle enable analysis of oscillation amplitude, duration and intensity.

Applications of medical image processing in the diagnosis and treatment of spinal deformity

In Chapter 10, Adam and Dougherty describe the application of medical image processing to the assessment and treatment of spinal deformity, with a focus on the surgical treatment of idiopathic scoliosis. The natural history of spinal deformity and current approaches to surgical and non-surgical treatment are briefly described, followed by an overview of current clinically used imaging modalities. The key metrics currently used to assess the severity and progression of spinal deformities from medical images are presented, followed by a discussion of the errors and uncertainties involved in manual measurements. This provides the context for an analysis of automated and semi-automated image processing approaches to measure spinal curve shape and severity in two and three dimensions.

Mobile applications of focused link discovery

Interaction with a mobile device remains difficult due to inherent physical limitations. This dif-ficulty is particularly evident for search, which re-quires typing. We extend the One-Search-Only search paradigm by adding a novel link-browsing scheme built on top of automatic link discovery. A prototype was built for iPhone and tested with 12 subjects. A post-use interview survey suggests that the extended paradigm improves the mobile information seeking experience.

Biological responses of human bone marrow mesenchymal stem cells to Sr-M-Si (M = Zn, Mg) silicate bioceramics

Strontium (Sr), Zinc (Zn), magnesium (Mg), and silicon (Si) are reported to be essential trace elements for the growth and mineralization of bone. We speculated that the combination of these bioactive elements in bioceramics may be effective to regulate the osteogenic property of boneforming cells. In this study, two Sr-containing silicate bioceramics, Sr2ZnSi2O7 (SZS) and Sr2MgSi2O7 (SMS), were prepared. The biological response of human bone marrow mesenchymal stem cells (BMSCs) to the two bioceramics (in the forms of powders and dense ceramic bulks) was systematically studied. In powder form, the effect of powder extracts on the viability and alkaline phosphatase (ALP) activity of BMSCs was investigated. In ceramic disc form, both direct and indirect coculture of BMSCs with ceramic discs were used to investigate their biological response, including attachment, proliferation, ALP activity, and bone-related genes expression. Beta-tricalcium phosphate (b-TCP) and akermanite (Ca2MgSi2O7, CMS) were used as control materials. The results showed that the Sr, Zn, and Si (or Sr, Mg, and Si)-containing ionic products from SZS and SMS powders enhanced ALP activity of BMSCs, compared to those from b-TCP. Both SZS and SMS ceramic discs supported the growth of BMSCs, and most importantly, significantly enhanced the ALP activity and bone-related genes expression of BMSCs as compared to b-TCP. The results suggest that the specific combination of bioactive ions (Sr, Zn, Si, e.g.) in bioceramics is a viable way to improve the biological performance of biomaterials, and the form of materials and surface properties were nonnegligible factors to influence cell response.