Flow Visualization with Quantified Spatial and Temporal Errors Using Edge Maps

Robust analysis of vector fields has been established as an important tool for deriving insights from the complex systems these fields model. Traditional analysis and visualization techniques rely primarily on computing streamlines through numerical integration. The inherent numerical errors of such approaches are usually ignored, leading to inconsistencies that cause unreliable visualizations and can ultimately prevent in-depth analysis. We propose a new representation for vector fields on surfaces that replaces numerical integration through triangles with maps from the triangle boundaries to themselves. This representation, called edge maps, permits a concise description of flow behaviors and is equivalent to computing all possible streamlines at a user defined error threshold. Independent of this error streamlines computed using edge maps are guaranteed to be consistent up to floating point precision, enabling the stable extraction of features such as the topological skeleton. Furthermore, our representation explicitly stores spatial and temporal errors which we use to produce more informative visualizations. This work describes the construction of edge maps, the error quantification, and a refinement procedure to adhere to a user defined error bound. Finally, we introduce new visualizations using the additional information provided by edge maps to indicate the uncertainty involved in computing streamlines and topological structures.

Is the Sexual Satisfaction of Postmenopausal Women Enhanced by Physical Exercise and Pelvic Floor Muscle Training?

Introduction. Physical exercise including pelvic floor muscle (PFM) training seems to improve the sexual function of women with urinary incontinence. This effect in postmenopausal women who are continent has not yet been determined. Aim. The aim of this study was to assess the effect of a 3-month physical exercise protocol (PEP) on the sexual function and mood of postmenopausal women. Methods. Thirty-two sedentary, continent, sexually active women who had undergone menopause no more than 5 years earlier and who had follicle stimulating hormone levels of at least 40 mIU/mL were enrolled into this longitudinal study. All women had the ability to contract their PFMs, as assessed by vaginal bimanual palpation. Muscle strength was graded according to the Oxford Modified Grading Scale (OMGS). A PEP was performed under the guidance of a physiotherapist (M. M. F.) twice weekly for 3 months and at home three times per week. All women completed the Sexual Quotient-Female Version (SQ-F) and the Hospital Anxiety and Depression Scale (HADS) before and after the PEP. Main Outcome Measures. SQ-F to assess sexual function, HASDS to assess mood, and OMGS to grade pelvic floor muscle strength. Results. Thirty-two women (24 married women, eight women in consensual unions) completed the PEP. Following the PEP, there was a significant increase in OMGS score (2.59 +/- 1.24 vs. 3.40 +/- 1.32, P < 0.0001) and a significant decrease in the number of women suffering from anxiety (P < 0.01), but there was no effect on sexual function. Conclusion. Implementation of our PEP seemed to reduce anxiety and improve pelvic floor muscular strength in sedentary and continent postmenopausal women. However, our PEP did not improve sexual function. Uncontrolled variables, such as participation in a long-term relationship and menopause status, may have affected our results. We suggest that a randomized controlled trial be performed to confirm our results. Lara LAS, Montenegro ML, Franco MM, Abreu DCC, Rosa e Silva ACJS, Ferreira CHJ. Is the sexual satisfaction of postmenopausal women enhanced by physical exercise and pelvic floor muscle training? J Sex Med 2012; 9: 218-223.

Access to healthcare services for tuberculosis: analysis of patient satisfaction

Tuberculosis remains a pubic health challenge. Uncountable efforts are made to control the disease, and patient treatment and accessibility to healthcare can hinder reaching a cure. The objective of this article is to analyze the satisfaction of tuberculosis patients regarding tuberculosis control services. This is an epidemiological, prospective study, using both a quantitative and qualitative approach. Data were collected using a semi-structured questionnaire. Participants included 77 patients. The quantitative data were positively evaluated, and the qualitative data permitted an understanding of the patients' experience regarding their accessibility and treatment. Aspects such as the criteria for performing Directly Observed Treatment and the proximity of the healthcare facility to the patients' residence affected their satisfaction, which implies the need to reorganize healthcare services in order to provide more appropriate care to tuberculosis patients.

TWO NEW WEAK CONSTRAINT QUALIFICATIONS AND APPLICATIONS

We present two new constraint qualifications (CQs) that are weaker than the recently introduced relaxed constant positive linear dependence (RCPLD) CQ. RCPLD is based on the assumption that many subsets of the gradients of the active constraints preserve positive linear dependence locally. A major open question was to identify the exact set of gradients whose properties had to be preserved locally and that would still work as a CQ. This is done in the first new CQ, which we call the constant rank of the subspace component (CRSC) CQ. This new CQ also preserves many of the good properties of RCPLD, such as local stability and the validity of an error bound. We also introduce an even weaker CQ, called the constant positive generator (CPG), which can replace RCPLD in the analysis of the global convergence of algorithms. We close this work by extending convergence results of algorithms belonging to all the main classes of nonlinear optimization methods: sequential quadratic programming, augmented Lagrangians, interior point algorithms, and inexact restoration.

Satisfaction with the treatment, confidence and 'naturalness' in engaging in sexual activity in men with psychogenic erectile dysfunction: preliminary results of a randomized controlled trial of three therapeutic approaches

OBJECTIVE To assess the efficacy of group psychotherapy (GTP) and/or sildenafil for psychogenic erectile dysfunction (ED). PATIENTS AND METHODS A randomized controlled single-blind trial was performed at the Institute of Psychiatry of the Medical School of at Universidade de Sao Paulo, Sao Paulo, Brazil. In all, 30 men with mild and moderate psychogenic ED were randomized to receive for 6 months: GPT plus 50 mg sildenafil on-demand, or 50 mg sildenafil on-demand exclusively, or GPT exclusively. Changes in score from baseline for three questions of the Erectile Dysfunction Inventory of Treatment Satisfaction (EDITS) were evaluated at endpoint and after 3-months follow-up. RESULTS Satisfaction with the treatment, confidence and 'naturalness' increased in the GPT plus sildenafil and GPT exclusively groups (P = 0.001) from baseline to endpoint. The treatment-by-time comparison was not significant at endpoint vs the 3-month follow-up, in the three groups. There was no difference in the sildenafil group in the three study periods (P > 0.05) CONCLUSION Men with mild and moderate psychogenic ED had higher treatment satisfaction, confidence and naturalness in engaging in sexual activity when receiving GPT plus sildenafil or GP exclusively, when compared with sildenafil exclusively, as assessed by these three EDITS questions after 6-months treatment.

No-pole condition in Landau gauge: Properties of the Gribov ghost form factor and a constraint on the 2d gluon propagator

We study general properties of the Landau-gauge Gribov ghost form factor sigma(p(2)) for SU(N-c) Yang-Mills theories in the d-dimensional case. We find a qualitatively different behavior for d = 3, 4 with respect to the d = 2 case. In particular, considering any (sufficiently regular) gluon propagator D(p(2)) and the one-loop-corrected ghost propagator, we prove in the 2d case that the function sigma(p(2)) blows up in the infrared limit p -> 0 as -D(0) ln(p(2)). Thus, for d = 2, the no-pole condition sigma(p(2)) < 1 (for p(2) > 0) can be satisfied only if the gluon propagator vanishes at zero momentum, that is, D(0) = 0. On the contrary, in d = 3 and 4, sigma(p(2)) is finite also if D(0) > 0. The same results are obtained by evaluating the ghost propagator G(p(2)) explicitly at one loop, using fitting forms for D(p(2)) that describe well the numerical data of the gluon propagator in two, three and four space-time dimensions in the SU(2) case. These evaluations also show that, if one considers the coupling constant g(2) as a free parameter, the ghost propagator admits a one-parameter family of behaviors (labeled by g(2)), in agreement with previous works by Boucaud et al. In this case the condition sigma(0) <= 1 implies g(2) <= g(c)(2), where g(c)(2) is a "critical" value. Moreover, a freelike ghost propagator in the infrared limit is obtained for any value of g(2) smaller than g(c)(2), while for g(2) = g(c)(2) one finds an infrared-enhanced ghost propagator. Finally, we analyze the Dyson-Schwinger equation for sigma(p(2)) and show that, for infrared-finite ghost-gluon vertices, one can bound the ghost form factor sigma(p(2)). Using these bounds we find again that only in the d = 2 case does one need to impose D(0) = 0 in order to satisfy the no-pole condition. The d = 2 result is also supported by an analysis of the Dyson-Schwinger equation using a spectral representation for the ghost propagator. Thus, if the no-pole condition is imposed, solving the d = 2 Dyson-Schwinger equations cannot lead to a massive behavior for the gluon propagator. These results apply to any Gribov copy inside the so-called first Gribov horizon; i.e., the 2d result D(0) = 0 is not affected by Gribov noise. These findings are also in agreement with lattice data.

Cross-cultural adaptation and psychometric properties of the Brazilian-Portuguese version of the Duke Anticoagulation Satisfaction Scale

Aim. The aim of this study was to evaluate the internal reliability and validity of the BrazilianPortuguese version of Duke Anticoagulation Satisfaction Scale (DASS) among cardiovascular patients. Background. Oral anticoagulation is widely used to prevent and treat thromboembolic events in several conditions, especially in cardiovascular diseases; however, this therapy can induce dissatisfaction and reduce the quality of life. Design. Methodological and cross-sectional research design. Methods. The cultural adaptation of the DASS included the translation and back-translation, discussions with healthcare professionals and patients to ensure conceptual equivalence, semantic evaluation and instrument pretest. The BrazilianPortuguese version of the DASS was tested among subjects followed in a university hospital anticoagulation outpatient clinic. The psychometric properties were assessed by construct validity (convergent, known groups and dimensionality) and internal consistency/reliability (Cronbachs alpha). Results. A total of 180 subjects under oral anticoagulation formed the baseline validation population. DASS total score and SF-36 domain correlations were moderate for General health (r = -0.47, p < 0.01), Vitality (r = -0.44, p < 0.01) and Mental health (r = -0.42, p < 0.01) (convergent). Age and length on oral anticoagulation therapy (in years) were weakly correlated with total DASS score and most of the subscales, except Limitation (r = -0.375, p < 0.01) (Known groups). The Cronbachs alpha coefficient was 0.79 for the total scale, and it ranged from 0.76 (hassles and burdens)0.46 (psychological impact) among the domains, confirming the internal consistency reliability. Conclusions. The BrazilianPortuguese version of the DASS has shown levels of reliability and validity comparable with the original English version. Relevance to clinical practice. Healthcare practitioners and researchers need internationally validated measurement tools to compare outcomes of interventions in clinical management and research tools in oral anticoagulation therapy.

Correlations between Subjective Well-being, Dyadic Adjustment and Marital Satisfaction in Brazilian Married People

This study aimed to investigate the relationships between the constructs subjective well-being (SWB), dyadic adjustment (DA) and marital satisfaction (MS). Participants were 106 married Brazilians, of both sexes, with a mean age of 42 (+/- 11) years. Instruments used for the sociodemographic characterization and socioeconomic classification were the Subjective Wellbeing Scale (SWBS), the Dyadic Adjustment Scale (DAS) and the Marital Satisfaction Scale (MSS). Through the analysis of correlations and of stepwise multiple regression, it was verified that all the factors of the dyadic adjustment showed correlation with the marital satisfaction. The satisfaction with life (factor of the SWBS) and dyadic satisfaction (factor of the DAS), were positively and significantly correlated (r = .20; p = .04), which reveals that people who say they are satisfied with life in different domains also do so in relation to the marital experience.

Women's Poorer Satisfaction With Their Sex Lives Following Gynecologic Cancer Treatment

Gynecologic cancer treatment can lead to anatomical changes in the genitalia that may impair sexual response. As a result, the authors aimed to assess women's self-perceptions of their sex lives following gynecologic cancer treatment and the impact of such treatment on sexual function. Thirty sexually active women were examined. At the first meeting with a physician sex therapist, women were asked about their satisfaction with their sexual activities prior to and after gynecologic cancer treatment, either with a partner or alone, and how many times per month they had sexual intercourse prior to the cancer diagnosis and after treatment. Women reported significantly worse sex lives and a significantly lower frequency of sexual relations following cancer treatment. All participants reported pain on vaginal penetration and feeling uncomfortable in discussing their sexual difficulties with the oncologist. The findings show that women experienced impaired sexual function, as well as poorer quality of sexual function, following gynecologic cancer treatment. Nurses should provide basic guidelines about sexual function to all patients who undergo treatment for gynecologic cancer.

Adaptation and validation of the Patient Expectations and Satisfaction with Prenatal Care instrument among Brazilian pregnant women

Objective: to adapt and validate the Patient Expectations and Satisfaction with Prenatal Care instrument for use in Brazil. It contains 41 items divided into two dimensions: expectations and satisfaction. The adapted version was submitted to analysis for stability, convergent construct validity, and internal consistency (Cronbach’s alpha) for distinct groups and dimensions. Method: 119 pregnant women receiving prenatal care were interviewed and 26 of these women answered the instrument twice (retest). Internal consistency was appropriate (Cronbach’s alpha ≥ 0.70); test-retest presented strong correlation (r=0.82; p<0.001) for the domain expectations and moderate correlation (r=0.66; p<0.001) for the satisfaction domain. The analysis confirmed that the instrument’s adapted version is valid in the studied group. Results: there is strong evidence for the validity and reliability of the instrument’s adaptation. Conclusion: the instrument needs to be tested in groups of pregnant women with different social characteristics.

The relationship between the speech perception and the degree of satisfaction among adult users of cochlear implants

Introduction: In recent years, the benefits associated with the use of cochlear implants (CIs), especially with regard to speech perception, have proven to surpass those produced by the use of hearing aids, making CIs a highly efficient resource for patients with severe/profound hearing loss. However, few studies so far have assessed the satisfaction of adult users of CIs. Objective: To analyze the relationship between the level of speech perception and degree of satisfaction of adult users of CI. Method: This was a prospective cross-sectional study conducted in the Audiological Research Center (CPA) of the Hospital of Craniofacial Anomalies, University of São Paulo (HRAC/USP), in Bauru, São Paulo, Brazil. A total of 12 users of CIs with pre-lingual or post-lingual hearing loss participated in this study. The following tools were used in the assessment: a questionnaire, "Satisfaction with Amplification in Daily Life" (SADL), culturally adapted to Brazilian Portuguese, as well as its relationship with the speech perception results; a speech perception test under quiet conditions; and the Hearing in Noise Test (HINT)Brazil under free field conditions. Results: The participants in the study were on the whole satisfied with their devices, and the degree of satisfaction correlated positively with the ability to perceive monosyllabic words under quiet conditions. The satisfaction did not correlate with the level of speech perception in noisy environments. Conclusion: Assessments of satisfaction may help professionals to predict what other factors, in addition to speech perception, may contribute to the satisfaction of CI users in order to reorganize the intervention process to improve the users' quality of life.

Degree of satisfaction among hearing aid users

Introduction: Hearing loss (HL) is defined as the complete or partial loss of hearing ability. Aims: To characterize (1) the degree of satisfaction among adult and elderly hearing aid (HA) users who were treated by a public hearing health service and (2) the relationship between satisfaction and the variables of gender, age, degree of HL, and type of HA. Method: The clinical and experimental study included the administration of the Satisfaction with Amplification in Daily Life (SADL) questionnaire to 110 patients who had used HAs for more than 3 months and were 18 years of age or older. Results: Test patients were sex-balanced (48% were women) and had a mean age of 67 years. A relatively high incidence of sensorineural moderate HL was detected in the study patients (66%) and device B was the most commonly used HA type (48%). No significant differences were evident between HA satisfaction and sex. The importance placed on services/costs and personal image varied between age groups. Correlation was evident at all levels between user satisfaction and amplification. Decreased satisfaction was observed in individuals with severe and/or profound HL. The type of HA used yielded statistically significant differences in the positive effects referring. Conclusion: No correlations were evident between the different factors proposed. HA users exhibited high levels of satisfaction in all SADL areas

Adaptation and Constraint in the Plant Reproductive Phase

Conservatism is a central theme of organismic evolution. Related species share characteristics due to their common ancestry. Some concern have been raised among evolutionary biologists, whether such conservatism is an expression of natural selection or of a constrained ability to adapt. This thesis explores adaptations and constraints within the plant reproductive phase, particularly in relation to the evolution of fleshy fruit types (berries, drupes, etc.) and the seasonal timing of flowering and fruiting. The different studies were arranged along a hierarchy of scale, with general data sets sampled among seed plants at the global scale, through more specific analyses of character evolution within the genus Rhamnus s.l. L. (Rhamnaceae), to descriptive and experimental field studies in a local population of Frangula alnus (Rhamnaceae). Apart from the field study, this thesis is mainly based on comparative methods explicitly incorporating phylogenetic relationships. The comparative study of Rhamnus s.l. species included the reconstruction of phylogenetic hypotheses based on DNA sequences. Among geographically overlapping sister clades, biotic pollination was not correlated with higher species richness when compared to wind pollinated plants. Among woody plants, clades characterized by fleshy fruit types were more species rich than their dry-fruited sister clades, suggesting that the fleshy fruit is a key innovation in woody habitats. Moreover, evolution of fleshy fruits was correlated with a change to more closed (darker) habitats. An independent contrast study within Rhamnus s.l. documented allometric relations between plant and fruit size. As a phylogenetic constraint, allometric effects must be considered weak or non-existent, though, as they did not prevail among different subclades within Rhamnus s.l. Fruit size was correlated with seed size and seed number in F. alnus. This thesis suggests that frugivore selection on fleshy fruit may be important by constraining the upper limits of fruit size, when a plant lineage is colonizing (darker) habitats where larger seed size is adaptive. Phenological correlations with fruit set, dispersal, and seed size in F. alnus, suggested that the evolution of reproductive phenology is constrained by trade-offs and partial interdependences between flowering, fruiting, dispersal, and recruitment phases. Phylogenetic constraints on the evolution of phenology were indicated by a lack of correlation between flowering time and seasonal length within Rhamnus cathartica and F. alnus, respectively. On the other hand, flowering time was correlated with seasonal length among Rhamnus s.l. species. Phenological differences between biotically and wind pollinated angiosperms also suggested adaptive change in reproductive phenology.

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.