An investigation of the relationships among self-care behaviors, health beliefs, and metabolic control in the non-insulin-dependent diabetic adult

Self-care and health beliefs have been found to be important concepts in the management of chronic diseases such as diabetes mellitus. Poor metabolic control has been associated with a higher incidence of complications in diabetic patients. This study sought to explore any relationships among perceptions of self-care behaviors, health beliefs and metabolic control. The sample consisted of 52 outpatients with non-insulin-dependent diabetes from a large teaching medical center. Interviews were done to obtain the patients' perceptions of their self-care behaviors, and their health beliefs concerning diabetes. Results of glycosylated hemoglobin and/or serum glucose levels were obtained from the medical records. Data were analyzed using Cochran-Mantel-Haenzel statistics, and Pearson's r. Results indicated no significant relationships among perceptions of self-care behaviors, health beliefs and metabolic control. Ethnicity, education and gender were found to be significantly associated with self-care behaviors and health beliefs.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic. This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.

LPJ-LMfire simulations for Europe for the Last Glacial Maximum and preindustrial control, link to netCDF files

This data sets contains LPJ-LMfire dynamic global vegetation model output covering Europe and the Mediterranean for the Last Glacial Maximum (LGM; 21 ka) and for a preindustrial control simulation (20th century detrended climate). The netCDF data files are time averages of the final 30 years of the model simulation. Each netCDF file contains four or five variables: fractional cover of 9 plant functional types (PFTs; cover), total fractional coverage of trees (treecover), population density of hunter-gatherers (foragerPD; only for the "people" simulations), fraction of the gridcell burned on 30-year average (burnedf), and vegetation net primary productivity (NPP). The model spatial resolution is 0.5-degrees For the LGM simulations, LPJ-LMfire was driven by the PMIP3 suite of eight GCMs for which LGM climate simulations were available. Also provided in this archive is the result of an LPJ-LMfire run that was forced by the average climate of all GCMs (the "GCM-mean" files), and the average of each of the individual LPJ-LMfire runs over the eight LGM scenarios individually (the "LPJ-mean" files). The model simulations are provided that include the influence of human presence on the landscape (the "people" files), and in a "world without humans" scenario (the "natural" files). Finally this archive contains the preindustrial reference simulation with and without human influence ("PI_reference_people" and "PI_reference_nat", respectively). There are therefore 22 netCDF files in this archive: 8 each of LGM simulations with and without people (total 16) and the "GCM mean" simulation (2 files) and the "LPJ mean" aggregate (2 files), and finally the two preindustrial "control" simulations ("PI"), with and without humans (2 files). In addition to the LPJ-LMfire model output (netCDF files), this archive also contains a table of arboreal pollen percent calculated from pollen samples dated to the LGM at sites throughout (lgmAP.txt), and a table containing the location of archaeological sites dated to the LGM (LGM_archaeological_site_locations.txt).

Distributed Power balance and damping control for high power multiport LCL DC hub

This project is funded by European Research Council in FP7; grant no 259328, 2010 and EPSRC grant no EP/K006428/1, 2013.

Distributed Power balance and damping control for high power multiport LCL DC hub

This project is funded by European Research Council in FP7; grant no 259328, 2010 and EPSRC grant no EP/K006428/1, 2013.

Aspects of postural alignment and postural control relevant for the evaluation and the treatment of idiopathic scoliosis patients

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Glucolipotoxicity and the control of pancreatic ℓ-cell apoptosis

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Aspects of postural alignment and postural control relevant for the evaluation and the treatment of idiopathic scoliosis patients

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Glucolipotoxicity and the control of pancreatic ℓ-cell apoptosis

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Salicaceae Endophytes: Growth Promotion Potential in Rice (Oryza sativa L.) and Maize (Zea mays L.) and Bio-Control of Plant Pathogen

Thesis (Ph.D.)--University of Washington, 2016-08

Burnout and turnover intentions in Australian coaches as related to organisational support and perceived control

Free surface and mesh control for the FV simulation of semi-levitation melting

Abstract not available

Seep communities from two mud volcanoes in the deep eastern Mediterranean Sea: faunal composition, spatial patterns and environmental control

The Mediterranean Sea constitutes a unique environment to study cold-seep ecosystems due to the presence of different geodynamic settings, from an active margin along the Mediterranean Ridge (MR) to a passive margin in the Nile Deep-Sea Fan (NDSF). We attempted to identify the structure of benthic communities associated with the Napoli and Amsterdam mud volcanoes (MVs) located on the MR and to establish the links between faunal distribution and environmental conditions at different spatial scales. Comparison between the 2 MVs revealed that the faunal distribution seemed to be mainly controlled by the characteristics of the microhabitats. On both geological structures, the variability between the different microhabitats was higher than the variability observed between replicates of the same microhabitat, and the distribution of macro-fauna was apparently linked to gradients in physico-chemical conditions. The peripheral sites from Napoli were generally more oxygenated and harboured lower species richness than the active sites. The reduced sediment microhabitat from Amsterdam presented the highest methane concentrations and was mainly colonised by symbiont-bearing vesicomyid bivalves and heterotrophic dorvilleid polychaetes. Overall, a higher taxonomic diversity was observed on Napoli. Sub-stratum type was hypothesised to be the second factor influencing faunal distribution. The results of this study highlight the high heterogeneity of faunal communities associated with seep ecosystems within this region and the need to pursue investigations at various spatial and temporal scales.

Growth and Characterization of III-V Semiconductor Materials for MOCVD Reactor Qualification and Process Control

Metalorganic chemical vapor deposition is examined as a technique for growing compound semiconductor structures. Material analysis techniques for characterizing the quality and properties of compound semiconductor material are explained and data from recent commissioning work on a newly installed reactor at the University of Illinois is presented.