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.

Uma análise das fugas para piano de Bruno Kiefer : uma busca por padrões estilísticos na sua escrita contrapontística

Este trabalho oferece um estudo dos padrões estilísticos definidos através da análise dos processos contrapontísticos encontrados no terceiro movimento da Sonata nº I, Fuga e Toccata e do movimento final de Duas peças Sérias da obra para piano de Bruno Kiefer. A fuga, uma das técnicas de composição linear mais estabelecidas na escrita musical, reflete as transformações estilísticas na música ocidental. Considerando a diversidade de possibilidades estéticas na música do século XX, faz-se mister investigar como Kiefer tratou uma técnica composicional consagrada, preservando de modo singular e consistente o estilo inovador atribuído às suas obras. O referencial teórico adotado para este estudo é Twentieth Century Fugue – A Handbook (1962) de William Graves, Jr.. A partir da análise dos padrões recorrentes nas fugas de Bruno Kiefer, verificou-se o distanciamento entre os parâmetros da fuga tradicional e o estilo da escrita contrapontística do compositor.

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.

Interação sexual: perspectiva etológica do dimorfismo sexual humano

A interação sexual no sentido de ação conjunta ou recíproca supõe a existência de parceiros dimorficamente caracterizados a partir da estrutura cromossomial X-X ou X-Y. A diferenciação do sexo, entretanto, não depende apenas da condição cromossomial, podendo mesmo ser invertida quando a ação hormonal for alterada. Os dados disponíveis apontam os andrógenos como um dos principais agentes de diferenciação, afetando o organismo "básico" feminino num sentido masculinizante. A medida que se progride na escala animal, contudo, os aspectos estritamente biológicos perdem em importância e as condições ambientais aos poucos se impõem . Nos primatas superiores, caso não se estabeleçam condições adequadas de aprendizagem, o desenvolvimento sexual não se completa e a cópula se torna inviável. No ser humano, além dessa aprendizagem, fatores socio-culturais respondem pelo comportamento considerado masculino ou feminino que supostamente será exibido por cada parceiro da interação. Também as noções de estética são seriamente determinadas pela tradição cultural, com cada povo tendendo a valorizar os próprios traços raciais como ideal de beleza. Do ponto de vista físico, entretanto, pode-se tentar estabelecer algumas constantes, como as formas arredondadas para a mulher e o porte atl6tico ou capacidades gerais , para o homem. Uma vez estabelecida a atração e encontrado local e momento adequado, a interação sexual tende a uma progressiva intensificação e genitalização, que, nas sociedades de tradição judaico-cristã se reflete numa sequência, mais ou menos previsível, envolvendo carícias gerais, beijos, acariciamento de seios e genitais até a união genito-genital o significado e a forma como cada cultura desenvolve os contatos físicos de intercambio erógeno revelam tão grande variedade que já se apontou essa polimorfismo corno aquisição típica do ser humano. Assim, ao contrário do que faz supor o ideal de abstinência, é na capacidade de buscar e estender o prazer além da s1mples atividade orgânico-sexual que o homem, em sexo, se liberta da limitação animal.

Um ser (tão) de vozes: o estilo e o acabamento estético na poesia de Patativa do Assaré

The present study aims at investigating the style of the Cearense 1poet Patativa do Assaré in his poetic discourse Cante lá que eu canto cá (2004). Such choice is due to the fact that Assaré‟s poetry is full of regional identities as well of different voices. In other words, our purpose is to analyze the way the author aesthetically expresses his own voice and the voice of others in his work. This study is based on a social and historical model of language, with language construed as a discourse practice with emphasis on the key concepts of style, voices, subject and dialogic relationships (BAKHTIN, 1992, 2003, 1995). Our documental research is situated within the area of Applied Linguistics and presents an interface with Literature. We start out with the premise that in this type of investigation knowledge is built from language. In this sense, we must consider the social relationships in which language is produced, as well as the world which (in) determines, interferes, represents, interpenetrates or else, reformulates language and the indisciplinary character of the research

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.

Functional Aesthetic Treatment of Patient With Phenytoin-Induced Gingival Overgrowth

Gingival overgrowth (GO) may be related to the frequent use of certain medications, such as cyclosporin, phenytoin (PHT), and nifedipine, and is therefore denominated drug-induced GO. This article reports a case of a patient who with chronic periodontitis made use of PHT and presented generalized GO. A 30-year-old man with GO was referred to the clinic of the Universidade Estadual Paulista, Brazil. The complaint was poor aesthetics because of the GO. The patient had a medical history of a controlled epileptic state, and PHT was administered as an anticonvulsant medication. The clinical examination showed generalized edematous gingival tissues and presence of bacterial plaque and calculus on the surfaces of the teeth. The diagnosis was GO associated with PHT because no other risk factors were identified. Treatment consisted of meticulous oral hygiene instruction, scaling, root surface instrumentation, prophylaxis, and daily chlorhexidine mouth rinses. After this stage, periodontal surgery was performed, and histopathologic evaluation was made. The patient has been under control for 3 years after the periodontal surgery, and up to the present time, there has been no recurrence. It can be concluded that PHT associated with the presence of irritants favored gingival growth and that the association of nonsurgical and surgical periodontal therapies was effective in the treatment of GO. Besides, motivating the patient to maintain oral hygiene is a prerequisite for the maintenance of periodontal health.

Aesthetic Approach in Single Immediate Implant-Supported Restoration

The aim of this study was to analyze the main aspects that influence the aesthetics of single immediate implant-supported restorations through a literature review on the MEDLINE database. It was observed that immediate implant-supported restorations present clinical success with aesthetic predictability demonstrated by the literature. Proper patient selection and diagnostic and multidisciplinary planning are essential and should be associated to technical ability of professional and knowledge concerning the biology of peri-implant tissues. It is suggested that provisional restoration should be immediately inserted after implant fixation to guide healing of gingival tissues with a proper emergence profile besides psychologic comfort for a patient due to immediate aesthetic reestablishment.

Mobility, Aesthetic, Implants, and Satisfaction of the Ocular Prostheses Wearers

During the process of facial rehabilitation, the mobility of ocular prostheses must be considered. Whereas some factors depend exclusively on the dentist, such as molding techniques and selection of material for denture construction, regarding ocular rehabilitation, factors, such as type of surgery, whether to adopt implants, and the use of lubricants, deserve special attention owing to their integration and their association with other factors pertaining exclusively to the patient. To establish harmony, and with the intention of aiding the dentist, after a discerning evaluation, the authors of this study report the factors that provide greater or less mobility to ocular prostheses and conceal the prosthesis in a more natural way, thereby contributing toward achieving a favorable aesthetic result in rehabilitations.