High-performance liquid chromatography measurement of carotenoids in human serum, etoposide in pig cerebrospinal fluid and measurement of the aggregation of xanthophylls in aqueous solutions

The present study measured a chemotherapy drug, etoposide, in pig cerebrospinal fluid after intraventricular administrations were made directly into the fourth ventricle of the brain; cytotoxic concentrations for a twenty-four hour period after infusions. The analytical method developed validates the potential treatment of malignant brain tumors. The increase in serum carotenoid concentration in 30 healthy individuals was measured after supplementation with lutein. HPLC analysis of serum levels of carotenoids showed an increase in the concentration of lutein and a constant concentration of other major serum carotenoids. An initial attempt to measure the enthalpy of aggregation of xanthophylls was conducted by using ultraviolet-visible spectroscopy. The enthalpy of lutein aggregation and AH range of zeaxanthin disordering of aggregation are reported. Monomethyl ether of lutein did not aggregate in any of the aqueous solutions.

A survey of music educator's understanding and use of advanced audio technology in their instructional methods and strategies

This study examines the correlation between how certified music educators understand audio technology and how they incorporate it in their instructional methods. Participants were classroom music teachers selected from fifty middle schools in Miami- Dade Public Schools. The study adopted a non-experimental research design in which a survey was the primary tool of investigation. The findings reveal that a majority of middle school music teachers in Miami-Dade are not familiar with advanced audiorecording software or any other digital device dedicated to the recording and processing of audio signals. Moreover, they report a lack of opportunities to develop this knowledge. Younger music teachers, however, are more open to developing up-to-date instructional methodologies. Most of the participants agreed that music instruction should be a platform for preparing students for a future in the entertainment industry. A basic knowledge of music business should be delivered to students enrolled in middle-school music courses.

Manager's Perceptions of Alcohol Server Staffing and Training Methods

Over-consumption of alcoholic beverages is a concern of managers of hotels and motels with a club/lounge, restaurant, and tavern. The authors surveyed members of two industry associations in Oklahoma to ascertain alcohol server training methods and managers' perception of the value of such programs.

Methods for modeling and analyzing concurrent software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Clean hydrogen production and carbon dioxide capture methods

Fossil fuels constitute a significant fraction of the world's energy demand. The burning of fossil fuels emits huge amounts of carbon dioxide into the atmosphere. Therefore, the limited availability of fossil fuel resources and the environmental impact of their use require a change to alternative energy sources or carriers (such as hydrogen) in the foreseeable future. The development of methods to mitigate carbon dioxide emission into the atmosphere is equally important. Hence, extensive research has been carried out on the development of cost-effective technologies for carbon dioxide capture and techniques to establish hydrogen economy. Hydrogen is a clean energy fuel with a very high specific energy content of about 120MJ/kg and an energy density of 10Wh/kg. However, its potential is limited by the lack of environment-friendly production methods and a suitable storage medium. Conventional hydrogen production methods such as Steam-methane-reformation and Coal-gasification were modified by the inclusion of NaOH. The modified methods are thermodynamically more favorable and can be regarded as near-zero emission production routes. Further, suitable catalysts were employed to accelerate the proposed NaOH-assisted reactions and a relation between reaction yield and catalyst size has been established. A 1:1:1 molar mixture of LiAlH 4, NaNH2 and MgH2 were investigated as a potential hydrogen storage medium. The hydrogen desorption mechanism was explored using in-situ XRD and Raman Spectroscopy. Mesoporous metal oxides were assessed for CO2 capture at both power and non-power sectors. A 96.96% of mesoporous MgO (325 mesh size, surface area = 95.08 ± 1.5 m2/g) was converted to MgCO 3 at 350°C and 10 bars CO2. But the absorption capacity of 1h ball milled zinc oxide was low, 0.198 gCO2 /gZnO at 75°C and 10 bars CO2. Interestingly, 57% mass conversion of Fe and Fe 3O4 mixture to FeCO3 was observed at 200°C and 10 bars CO2. MgO, ZnO and Fe3O4 could be completely regenerated at 550°C, 250°C and 350°C respectively. Furthermore, the possible retrofit of MgO and a mixture of Fe and Fe3O 4 to a 300 MWe coal-fired power plant and iron making industry were also evaluated.

Methods for Modeling and Analyzing Concurrent Software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.