A path-based framework for analyzing large markov models

Reliability and dependability modeling can be employed during many stages of analysis of a computing system to gain insights into its critical behaviors. To provide useful results, realistic models of systems are often necessarily large and complex. Numerical analysis of these models presents a formidable challenge because the sizes of their state-space descriptions grow exponentially in proportion to the sizes of the models. On the other hand, simulation of the models requires analysis of many trajectories in order to compute statistically correct solutions. This dissertation presents a novel framework for performing both numerical analysis and simulation. The new numerical approach computes bounds on the solutions of transient measures in large continuous-time Markov chains (CTMCs). It extends existing path-based and uniformization-based methods by identifying sets of paths that are equivalent with respect to a reward measure and related to one another via a simple structural relationship. This relationship makes it possible for the approach to explore multiple paths at the same time,· thus significantly increasing the number of paths that can be explored in a given amount of time. Furthermore, the use of a structured representation for the state space and the direct computation of the desired reward measure (without ever storing the solution vector) allow it to analyze very large models using a very small amount of storage. Often, path-based techniques must compute many paths to obtain tight bounds. In addition to presenting the basic path-based approach, we also present algorithms for computing more paths and tighter bounds quickly. One resulting approach is based on the concept of path composition whereby precomputed subpaths are composed to compute the whole paths efficiently. Another approach is based on selecting important paths (among a set of many paths) for evaluation. Many path-based techniques suffer from having to evaluate many (unimportant) paths. Evaluating the important ones helps to compute tight bounds efficiently and quickly.

Which-path problem for one and two particles with two degrees of freedom and a relation between transverse spatial structure and group velocity of light

Quantum mechanics, optics and indeed any wave theory exhibits the phenomenon of interference. In this thesis we present two problems investigating interference due to indistinguishable alternatives and a mostly unrelated investigation into the free space propagation speed of light pulses in particular spatial modes. In chapter 1 we introduce the basic properties of the electromagnetic field needed for the subsequent chapters. In chapter 2 we review the properties of interference using the beam splitter and the Mach-Zehnder interferometer. In particular we review what happens when one of the paths of the interferometer is marked in some way so that the particle having traversed it contains information as to which path it went down (to be followed up in chapter 3) and we review Hong-Ou-Mandel interference at a beam splitter (to be followed up in chapter 5). In chapter 3 we present the first of the interference problems. This consists of a nested Mach-Zehnder interferometer in which each of the free space propagation segments are weakly marked by mirrors vibrating at different frequencies [1]. The original experiment drew the conclusions that the photons followed disconnected paths. We partition the description of the light in the interferometer according to the number of paths it contains which-way information about and reinterpret the results reported in [1] in terms of the interference of paths spatially connected from source to detector. In chapter 4 we briefly review optical angular momentum, entanglement and spontaneous parametric down conversion. These concepts feed into chapter 5 in which we present the second of the interference problems namely Hong-Ou-Mandel interference with particles possessing two degrees of freedom. We analyse the problem in terms of exchange symmetry for both boson and fermion pairs and show that the particle statistics at a beam splitter can be controlled for suitably chosen states. We propose an experimental test of these ideas using orbital angular momentum entangled photons. In chapter 6 we look at the effect that the transverse spatial structure of the mode that a pulse of light is excited in has on its group velocity. We show that the resulting group velocity is slower than the speed of light in vacuum for plane waves and that this reduction in the group velocity is related to the spread in the wave vectors required to create the transverse spatial structure. We present experimental results of the measurement of this slowing down using Hong-Ou-Mandel interference.

Diversity and path coefficient analysis of Southern African maize hybrids

Detailed knowledge on genetic diversity among germplasm is important for hybrid maize ( Zea mays L.) breeding. The objective of the study was to determine genetic diversity in widely grown hybrids in Southern Africa, and compare effectiveness of phenotypic analysis models for determining genetic distances between hybrids. Fifty hybrids were evaluated at one site with two replicates. The experiment was a randomized complete block design. Phenotypic and genotypic data were analyzed using SAS and Power Marker respectively. There was significant (p < 0.01) variation and diversity among hybrid brands but small within brand clusters. Polymorphic Information Content (PIC) ranged from 0.07 to 0.38 with an average of 0.34 and genetic distance ranged from 0.08 to 0.50 with an average of 0.43. SAH23 and SAH21 (0.48) and SAH33 and SAH3 (0.47) were the most distantly related hybrids. Both single nucleotide polymorphism (SNP) markers and phenotypic data models were effective for discriminating genotypes according to genetic distance. SNP markers revealed nine clusters of hybrids. The 12-trait phenotypic analysis model, revealed eight clusters at 85%, while the five-trait model revealed six clusters. Path analysis revealed significant direct and indirect effects of secondary traits on yield. Plant height and ear height were negatively correlated with grain yield meaning shorter hybrids gave high yield. Ear weight, days to anthesis, and number of ears had highest positive direct effects on yield. These traits can provide good selection index for high yielding maize hybrids. Results confirmed that diversity of hybrids is small within brands and also confirm that phenotypic trait models are effective for discriminating hybrids.

Youth-Physical Activity Towards Health: evidence and background to the development of the Y-PATH physical activity intervention for adolescents

Background: Despite known benefits of regular physical activity for health and well-being, many studies suggest that levels of physical activity in young people are low, and decline dramatically during adolescence. The purpose of the current research was to gather data on adolescent youth in order to inform the development of a targeted physical activity intervention. Methods: Cross-sectional data on physical activity levels (using self report and accelerometry), psychological correlates of physical activity, anthropometic characteristics, and the fundamental movement skill proficiency of 256 youth (53% male, 12.40 ± 0.51 years) were collected. A subsample (n = 59) participated in focus group interviews to explore their perceptions of health and identify barriers and motivators to participation in physical activity. Results: Findings indicate that the majority of youth (67%) were not accumulating the minimum 60 minutes of physical activity recommended daily for health, and that 99.5% did not achieve the fundamental movement skill proficiency expected for their age. Body mass index data showed that 25% of youth were classified as overweight or obese. Self-efficacy and physical activity attitude scores were significantly different (p < 0.05) between low, moderate and high active participants. Active and inactive youth reported differences in their perceived understanding of health and their barriers to physical activity participation, with active youth relating nutrition, exercise, energy and sports with the definition of ‘being healthy’, and inactive youth attributing primarily nutritional concepts to ‘being healthy’. Conclusions: Data show a need for targeting low levels of physical activity in youth through addressing poor health related activity knowledge and low fundamental movement skill proficiency. The Y-PATH intervention was developed in accordance with the present study findings; details of the intervention format are presented.

Evolution of emerging iPS cell-based therapies for age-related macular degeneration (AMD)

Stem cell-based regenerative medicine is poised to revolutionize the way diseases are treated. In recent years, induced pluripotent stem (iPS) cells, a newly stem cell species, has attracted significant attention. This paper seeks to understand the pathways along which emerging clinical research efforts in the field of iPS cells is evolved. In particular, the empirical case of age-related macular degeneration (AMD) is used, which is the world-pioneering clinical application of iPS cells. In line with the literature, this study explores the interrelations between three different pathways, such as biomedical scientific understanding, development of medical technologies, and learning in clinical practice. For this, a techmining approach is used including co-term, co-citation, and direct citation methods. Scientific publications indexed in the Thomson Reuters' Web of Science and Elsevier's Scopus databases form the basis of the study. This research first explores the iPS cell research landscape through the construction of a co-term map, particularly stressing the location and intensity of disease-tackling efforts; then focus on the evolution of scientific knowledge on AMD through co-citation networks and the main path algorithm on direct citations. At the researcher level, the development of four different research groups working on cell therapies for AMD is evaluated through the software CitNetExplorer. By integrating these approaches, the result shows a wider picture of the complexities inherent in the translation of knowledge into revolutionary clinical methods.

Lung Age Is Related To Carotid Structural Alterations In Hypertensive Subjects.

Hypertensive patients exhibit higher cardiovascular risk and reduced lung function compared with the general population. Whether this association stems from the coexistence of two highly prevalent diseases or from direct or indirect links of pathophysiological mechanisms is presently unclear. This study investigated the association between lung function and carotid features in non-smoking hypertensive subjects with supposed normal lung function. Hypertensive patients (n = 67) were cross-sectionally evaluated by clinical, hemodynamic, laboratory, and carotid ultrasound analysis. Forced vital capacity, forced expired volume in 1 second and in 6 seconds, and lung age were estimated by spirometry. Subjects with ventilatory abnormalities according to current guidelines were excluded. Regression analysis adjusted for age and prior smoking history showed that lung age and the percentage of predicted spirometric parameters associated with common carotid intima-media thickness, diameter, and stiffness. Further analyses, adjusted for additional potential confounders, revealed that lung age was the spirometric parameter exhibiting the most significant regression coefficients with carotid features. Conversely, plasma C-reactive protein and matrix-metalloproteinases-2/9 levels did not influence this relationship. The present findings point toward lung age as a potential marker of vascular remodeling and indicate that lung and vascular remodeling might share common pathophysiological mechanisms in hypertensive subjects.

Diet Carotenoid Lutein Modulates The Expression Of Genes Related To Oxygen Transporters And Decreases Dna Damage And Oxidative Stress In Mice.

Lutein (LT) is a carotenoid obtained by diet and despite its antioxidant activity had been biochemically reported, few studies are available concerning its influence on the expression of antioxidant genes. The expression of 84 genes implicated in antioxidant defense was quantified using quantitative reverse transcription polymerase chain reaction array. DNA damage was measured by comet assay and glutathione (GSH) and thiobarbituric acid reactive substances (TBARS) were quantified as biochemical parameters of oxidative stress in mouse kidney and liver. cDDP treatment reduced concentration of GSH and increased TBARS, parameters that were ameliorated in treatment associated with LT. cDDP altered the expression of 32 genes, increasing the expression of GPx2, APC, Nqo1 and CCs. LT changed the expression of 37 genes with an induction of 13 mainly oxygen transporters. In treatments associating cDDP and LT, 30 genes had their expression changed with a increase of the same genes of the cDDP treatment alone. These results suggest that LT might act scavenging reactive species and also inducing the expression of genes related to a better antioxidant response, highlighting the improvement of oxygen transport. This improved redox state of the cell through LT treatment could be related to the antigenotoxic and antioxidant effects observed.

Bisphosphonate-related Osteonecrosis Of The Jaw: A Review Of The Literature.

Bisphosphonates (BPs) are a class of drugs used to treat osteoporosis and malignant bone metastasis. BPs show high binding capacity to the bone matrix, especially in sites of active bone metabolism. The American Society for Bone and Mineral Research defines BRONJ as an area of exposed bone in the maxillofacial region that has not healed within 8 weeks after identification by a healthcare provider in a patient who is receiving or has been exposed to a bisphosphonate and has not had radiation therapy to the craniofacial region. Bisphosphonate-related osteonecrosis of the jaw (BRONJ) can adversely affect quality of life, as it may produce significant morbidity. The American Association of Oral and Maxillofacial Surgeons (AAOMS) considers as vitally important that information on BRONJ be disseminated to other dental and medical specialties. The purpose of this work is to offer a perspective on how dentists should manage patients on BPs, to show the benefits of accurately diagnosing BRONJ, and to present diagnostic aids and treatments strategies for the condition.

Psychometric Properties Evaluation Of A New Ergonomics-related Job Factors Questionnaire Developed For Nursing Workers.

The objectives of this study were to develop a questionnaire that evaluates the perception of nursing workers to job factors that may contribute to musculoskeletal symptoms, and to evaluate its psychometric properties. Internationally recommended methodology was followed: construction of domains, items and the instrument as a whole, content validity, and pre-test. Psychometric properties were evaluated among 370 nursing workers. Construct validity was analyzed by the factorial analysis, known-groups technique, and convergent validity. Reliability was assessed through internal consistency and stability. Results indicated satisfactory fit indices during confirmatory factor analysis, significant difference (p < 0.01) between the responses of nursing and office workers, and moderate correlations between the new questionnaire and Numeric Pain Scale, SF-36 and WRFQ. Cronbach's alpha was close to 0.90 and ICC values ranged from 0.64 to 0.76. Therefore, results indicated that the new questionnaire had good psychometric properties for use in studies involving nursing workers.

Laparoscopic Antireflux Surgery In Patients With Extra Esophageal Symptoms Related To Asthma.

Asthma, laryngitis and chronic cough are atypical symptoms of the gastroesophageal reflux disease. To analyze the efficacy of laparoscopic surgery in the remission of extra-esophageal symptoms in patients with gastroesophageal reflux, related to asthma. Were reviewed the medical records of 400 patients with gastroesophageal reflux disease submitted to laparoscopic Nissen fundoplication from 1994 to 2006, and identified 30 patients with extra-esophageal symptoms related to asthma. The variables considered were: gender, age, gastroesophageal symptoms (heartburn, acid reflux and dysphagia), time of reflux disease, treatment with proton pump inhibitor, use of specific medications, treatment and evolution, number of attacks and degree of esophagitis. Data were subjected to statistical analysis, comparing the pre- and post-surgical findings. The comparative analysis before surgery (T1) and six months after surgery (T2) showed a significant reduction on heartburn and reflux symptoms. Apart from that, there was a significant difference between the patients with daily crises of asthma (T1 versus T2, 45.83% to 16.67%, p=0.0002) and continuous crises (T1, 41.67% versus T2, 8.33%, p=0.0002). Laparoscopic Nissen fundoplication was effective in improving symptoms that are typical of reflux disease and clinical manifestations of asthma.

Health-related And Socio-demographic Factors Associated With Frailty In The Elderly: A Systematic Literature Review.

Frailty is a syndrome that leads to practical harm in the lives of elders, since it is related to increased risk of dependency, falls, hospitalization, institutionalization, and death. The objective of this systematic review was to identify the socio-demographic, psycho-behavioral, health-related, nutritional, and lifestyle factors associated with frailty in the elderly. A total of 4,183 studies published from 2001 to 2013 were detected in the databases, and 182 complete articles were selected. After a comprehensive reading and application of selection criteria, 35 eligible articles remained for analysis. The main factors associated with frailty were: age, female gender, black race/color, schooling, income, cardiovascular diseases, number of comorbidities/diseases, functional incapacity, poor self-rated health, depressive symptoms, cognitive function, body mass index, smoking, and alcohol use. Knowledge of the complexity of determinants of frailty can assist the formulation of measures for prevention and early intervention, thereby contributing to better quality of life for the elderly.

Impact Of Pharmacist Interventions On Drug-related Problems And Laboratory Markers In Outpatients With Human Immunodeficiency Virus Infection.

Substantial complexity has been introduced into treatment regimens for patients with human immunodeficiency virus (HIV) infection. Many drug-related problems (DRPs) are detected in these patients, such as low adherence, therapeutic inefficacy, and safety issues. We evaluated the impact of pharmacist interventions on CD4+ T-lymphocyte count, HIV viral load, and DRPs in patients with HIV infection. In this 18-month prospective controlled study, 90 outpatients were selected by convenience sampling from the Hospital Dia-University of Campinas Teaching Hospital (Brazil). Forty-five patients comprised the pharmacist intervention group and 45 the control group; all patients had HIV infection with or without acquired immunodeficiency syndrome. Pharmaceutical appointments were conducted based on the Pharmacotherapy Workup method, although DRPs and pharmacist intervention classifications were modified for applicability to institutional service limitations and research requirements. Pharmacist interventions were performed immediately after detection of DRPs. The main outcome measures were DRPs, CD4+ T-lymphocyte count, and HIV viral load. After pharmacist intervention, DRPs decreased from 5.2 (95% confidence interval [CI] =4.1-6.2) to 4.2 (95% CI =3.3-5.1) per patient (P=0.043). A total of 122 pharmacist interventions were proposed, with an average of 2.7 interventions per patient. All the pharmacist interventions were accepted by physicians, and among patients, the interventions were well accepted during the appointments, but compliance with the interventions was not measured. A statistically significant increase in CD4+ T-lymphocyte count in the intervention group was found (260.7 cells/mm(3) [95% CI =175.8-345.6] to 312.0 cells/mm(3) [95% CI =23.5-40.6], P=0.015), which was not observed in the control group. There was no statistical difference between the groups regarding HIV viral load. This study suggests that pharmacist interventions in patients with HIV infection can cause an increase in CD4+ T-lymphocyte counts and a decrease in DRPs, demonstrating the importance of an optimal pharmaceutical care plan.

[the Perception Of Behavior Related To Mindfulness And The Brazilian Version Of The Freiburg Mindfulness Inventory].

Mindfulness is a practice and a form of consciousness which has been the basis for innovative interventions in care and health promotion. This study presents mindfulness, describes and discusses the process of cultural adaptation of The Freiburg Mindfulness Inventory (FMI) to Brazilian Portuguese. From the original version of this pioneering instrument for assessing mindfulness two translations and two back-translations were made. These were evaluated by a committee of 14 experts (Buddhists, linguists, health professionals), who helped to create two versions for the first pre-test, based on which suggestions were made by a sample of 41 people of the population through interviews. Considering the difficulties in understanding the concepts that are unfamiliar to the Brazilian culture, a new version was prepared with additional explanations, which underwent a further evaluation of the experts and a second pre-test with 72 people. This process aimed at addressing the limitations and challenges of evaluating mindfulness in a country of western culture through a self-report instrument based on Buddhist psychology. With appropriate levels of clarity and equivalence with the original instrument, the Freiburg Mindfulness Inventory adapted for Brazil is presented.

Beliefs Related To Adherence To Oral Antidiabetic Treatment According To The Theory Of Planned Behavior.

to identify salient behavioral, normative, control and self-efficacy beliefs related to the behavior of adherence to oral antidiabetic agents, using the Theory of Planned Behavior. cross-sectional, exploratory study with 17 diabetic patients in chronic use of oral antidiabetic medication and in outpatient follow-up. Individual interviews were recorded, transcribed and content-analyzed using pre-established categories. behavioral beliefs concerning advantages and disadvantages of adhering to medication emerged, such as the possibility of avoiding complications from diabetes, preventing or delaying the use of insulin, and a perception of side effects. The children of patients and physicians are seen as important social references who influence medication adherence. The factors that facilitate adherence include access to free-of-cost medication and taking medications associated with temporal markers. On the other hand, a complex therapeutic regimen was considered a factor that hinders adherence. Understanding how to use medication and forgetfulness impact the perception of patients regarding their ability to adhere to oral antidiabetic agents. medication adherence is a complex behavior permeated by behavioral, normative, control and self-efficacy beliefs that should be taken into account when assessing determinants of behavior.

Deregulation Of Adipokines Related To Target Organ Damage On Resistant Hypertension.

Resistant hypertension (RHTN) includes patients with controlled blood pressure (BP) (CRHTN) and uncontrolled BP (UCRHTN). In fact, RHTN patients are more likely to have target organ damage (TOD), and resistin, leptin and adiponectin may affect BP control in these subjects. We assessed the relationship between adipokines levels and arterial stiffness, left ventricular hypertrophy (LVH) and microalbuminuria (MA). This cross-sectional study included CRHTN (n=51) and UCRHTN (n=38) patients for evaluating body mass index, ambulatory blood pressure monitoring, plasma adiponectin, leptin and resistin concentrations, pulse wave velocity (PWV), MA and echocardiography. Leptin and resistin levels were higher in UCRHTN, whereas adiponectin levels were lower in this same subgroup. Similarly, arterial stiffness, LVH and MA were higher in UCRHTN subgroup. Adiponectin levels negatively correlated with PWV (r=-0.42, P<0.01), and MA (r=-0.48, P<0.01) only in UCRHTN. Leptin was positively correlated with PWV (r=0.37, P=0.02) in UCRHTN subgroup, whereas resistin was not correlated with TOD in both subgroups. Adiponectin is associated with arterial stiffness and renal injury in UCRHTN patients, whereas leptin is associated with arterial stiffness in the same subgroup. Taken together, our results showed that those adipokines may contribute to vascular and renal damage in UCRHTN patients.