On the EA-style integrated processing of self-contained mathematical texts

A sound and complete first-order goal-oriented sequent-type calculus is developed with ``large-block'' inference rules. In particular, the calculus contains formal analogues of such natural proof-search techniques as handling definitions and applying auxiliary propositions.

Adaptive languages and a new programming style

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Tradução, adaptação e validação do Defensive Style Questinnaire (DSQ-40) para o português brasileiro

O estudo dos mecanismos de defesa do ego tem servido como indicativo do modo típico de um indivíduo lidar com os conflitos. Os mecanismos de defesa podem ser agrupados em três fatores alocados de forma hierárquica: fatores maduros, neuróticos e imaturos. Bond desenvolveu um questionário objetivo e auto-aplicável, o Defensive Style Questionnaire – DSQ, que visa identificar os derivados conscientes dos mecanismos de defesa. O objetivo desse estudo é o de descrever o processo de tradução do Defensive Style Questionnaire (DSQ-40) versão em português e avaliar a confiabiidade, validade de conteúdo de constructo dessa versão do instrumento. Métodos: A primeira versão da escala foi apresentada para cinco indivíduos, com graus diferentes de escolaridade, que efetuaram pequenos ajustes de linguagem. Posteriormente, a escala foi apresentada para três “experts”, que avaliaram a validade de conteúdo do instrumento. A versão final foi retraduzida e apresentada para o autor do instrumento original que aceitou essa versão do DSQ-40. Posteriormente foi avaliada a confiabilidade e validade da versão em português do Defensive Style Questionnaire (DSQ-40). A amostra constitui-se de 339 indivíduos. Uma subamostra (n=75) foi avaliada também pelo MMPI, e outra subamostra (n=66) foi também avaliada pelo DFS (Escala de Funcionamento Defensivo). Resultados: Houve necessidade de pequenos ajustes no vocabulário em oito questões e modificações na linguagem em quatro questões, resultando na versão final do instrumento. A média de correlação dos “experts” com cada defesa foi de 89%, e dos fatores maduros, imaturos e neuróticos foi de 100%. A análise fatorial do instrumento forneceu uma distribuição das defesas semelhante ao instrumento original. A avaliação teste-reteste demonstrou boa correlação intraclasse em todos os fatores. O uso de defesas imaturas e neuróticas foi maior entre os pacientes que os controles (p<0,05). Houve correlação entre o nível defensivo de acordo com o DFS (p=0,006) e MMPI (p=0,004) e as defesas imaturas. Conclusões: A adaptação do DSQ-40 por diferentes indivíduos com diferentes graus de escolaridade e pelo grupo de experts possibilitou o ajuste à realidade sociocultural brasileira. Os dados do presente estudo indicam que a versão em português do DSQ-40 possui características psicométricas que permite o seu uso na nossa cultura.

The HUman MicroNucleus project on eXfoLiated buccal cells (HUMNXL): The role of life-style, host factors, occupational exposures, health status, and assay protocol

The human buccal micronucleus cytome assay (BMCyt) is one of the most widely used techniques to measure genetic damage in human population studies. Reducing protocol variability, assessing the role of confounders, and estimating a range of reference values are research priorities that will be addressed by the HUMNXL, collaborative study. The HUMNXL, project evaluates the impact of host factors, occupation, life-style, disease status, and protocol features on the occurrence of MN in exfoliated buccal cells. In addition, the study will provide a range of reference values for all cytome endpoints. A database of 5424 subjects with buccal MN values obtained from 30 laboratories worldwide was compiled and analyzed to investigate the influence of several conditions affecting MN frequency. Random effects models were mostly used to investigate MN predictors. The estimated spontaneous MN frequency was 0.74 parts per thousand (95% CI 0.52-1.05). Only staining among technical features influenced MN frequency, with an abnormal increase for non-DNA-specific stains. No effect of gender was evident, while the trend for age was highly significant (p < 0.001). Most occupational exposures and a diagnosis of cancer significantly increased MN and other endpoints frequencies. MN frequency increased in heavy smoking (>= 40 cig/day. FR = 1.37:95% CI 1.03-.82) and decreased with daily fruit consumption (FR = 0.68; 95% CI 0.50-0.91). The results of the HUMNXL, project identified priorities for validation studies, increased the basic knowledge of the assay, and contributed to the creation of a laboratory network which in perspective may allow the evaluation of disease risk associated with MN frequency. (C) 2011 Elsevier B.V. All rights reserved.

Analysis of the Nicotiana tabacum Stigma/Style Transcriptome Reveals Gene Expression Differences between Wet and Dry Stigma Species

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Small nations and the 'constrictive' style of development

Includes bibliography

Maternal Western Style Diet Increases Susceptibility to Chemically-Induced Mammary Carcinogenesis in Female Rats Offspring

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Family Management Style Framework and Its Use With Families Who Have a Child Undergoing Palliative Care at Home

Palliative care settings in many countries acknowledge families as their prime focus of care, but in Brazil, to date, researchers have devoted scant attention to that practice setting. In this article, we report the findings of a study that explored how families define and manage their lives when they have a child or adolescent undergoing palliative care at home. Data included individual semistructured interviews with 14 family members of 11 different families. Interviews were transcribed and the coding procedure featured qualitative content analysis methods. The deductive coding was based on the major components of the Family Management Style Framework and the eight dimensions comprising these components. The analysis provides insight into families' daily practices and problems inherent in managing their everyday lives that are encountered when they have a child in palliative care. The article features discussion of implications for the palliative care related development of family nursing practice.

Coping Style and Depressive Symptomatology during Pregnancy in a Private Setting Sample

Aim: to evaluate the association of antenatal depressive symptomatology (AD) with life events and coping styles, the hypothesis was that certain coping strategies are associated to depressive symptomatology. Methods: we performed a cross sectional study of 312 women attending a private clinic in the city of Osasco, Sao Paulo from 27/05/1998 to 13/05/2002. The following instruments were used: Beck Depression Inventory (BDI), Holmes and Rahe Schedule of Recent Events (SSRS), Folkman and Lazarus Ways of Coping Questionnaire and questionnaire with social-demographic and obstetric data. Inclusion criteria: women with 110 past history of depression, psychiatric treatment, alcohol or drug abuse and no clinical-obstetrical complications. Odds ratios and 95% CI were used to examine the association between AD (according to BDI) and exposures variables. Hypothesis testing was done with chi(2) tests and a p value < .05. Results: AD occurred in 21.1% of pregnant women. By the univariate analyses, education, number of pregnancies, previous abortion, husband income, situation of marriage and score of SSRS were associated with AD. All coping styles were associated with AD, except seeking support and positive reappraisal. By the multivariate analyses, four coping styles were kept in the final model: confront (p = .039), accepting responsibility (p < .001), escape-avoidance (p = .002), problem-solving (p = .005). Conclusions: AD was highly prevalent and was associated with maladaptive coping styles.