La Femme : journal bi-mensuel

1897/07/15 (A19,N14).

La Femme : journal bi-mensuel

1885/03/01 (A7,N5).

OXIDACIÓN ELECTROQUÍMICA DE LAMBDACIALOTRINA SOBRE ELECTRODOS DE PBO2-BI

The electrochemical oxidation of lambdacyhalotrin in a triton X-100 water solution on a PbO2-Bi electrode has been studied. It was discovered that electrocatalytic degradation proceeded through the Langmuir-Hinshelwood (L-H) mechanism. The Langmuir adsorption equilibrium constant of the organic compound on the PbO2-Bi surface (0.67 (±0.02) mg-1L) and the L-H maximum reaction rate for lambdacyhalotrin oxidation (0.040 (±0.002) mg L-1 min-1) was also determined on the basis of kinetic data. Oxidation/mineralization was tested at electrode potential higher than 2.3 V vs. Ag/AgCl, in this conditions the higher degradation percent of 85 (±4) % has been obtained.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

DISAGREEING OVER EVALUATIVES: PREFERENCE, NORMATIVE AND MORAL DISCOURSE

Abstract Why would we argue about taste, norms or morality when we know that these topics are relative to taste preferences, systems of norms or values to which we are committed? Yet, disagreements over these topics are common in our evaluative discourses. I will claim that the motives to discuss rely on our attitudes towards the standard held by the speakers in each domain of discourse, relating different attitudes to different motives -mainly, conviction and correction. These notions of attitudes and motives will allow me to claim that different domains of evaluative discourse have a different distribution of disagreements driven by them.

Some advances in mathematical models for preference relations

Preference relations, and their modeling, have played a crucial role in both social sciences and applied mathematics. A special category of preference relations is represented by cardinal preference relations, which are nothing other than relations which can also take into account the degree of relation. Preference relations play a pivotal role in most of multi criteria decision making methods and in the operational research. This thesis aims at showing some recent advances in their methodology. Actually, there are a number of open issues in this field and the contributions presented in this thesis can be grouped accordingly. The first issue regards the estimation of a weight vector given a preference relation. A new and efficient algorithm for estimating the priority vector of a reciprocal relation, i.e. a special type of preference relation, is going to be presented. The same section contains the proof that twenty methods already proposed in literature lead to unsatisfactory results as they employ a conflicting constraint in their optimization model. The second area of interest concerns consistency evaluation and it is possibly the kernel of the thesis. This thesis contains the proofs that some indices are equivalent and that therefore, some seemingly different formulae, end up leading to the very same result. Moreover, some numerical simulations are presented. The section ends with some consideration of a new method for fairly evaluating consistency. The third matter regards incomplete relations and how to estimate missing comparisons. This section reports a numerical study of the methods already proposed in literature and analyzes their behavior in different situations. The fourth, and last, topic, proposes a way to deal with group decision making by means of connecting preference relations with social network analysis.

Acurácia diagnóstica da biópsia percutânea com agulha grossa orientada por estereotaxia nas lesões mamárias categoria BI-RADS® 4

OBJETIVO: avaliar a acurácia da biópsia com agulha grossa (BAG) orientada por estereotaxia nas lesões mamárias categoria BI-RADS® 4. MÉTODOS: realizou-se uma análise retrospectiva das lesões categoria BI-RADS® 4 que foram submetidas à BAG orientada por estereotaxia no período de junho de 1998 a junho de 2003. As pacientes com resultados benignos, mas com baixa suspeição à imagem radiográfica, foram orientadas a acompanhamento mamográfico. As pacientes com resultados malignos ou com lesões especiais (atipias e lesões papilíferas) foram submetidas ao tratamento padronizado. Aquelas com resultado benigno, mas que apresentavam imagem mamográfica de maior risco, foram encaminhadas para biópsia cirúrgica (BC). Foram considerados padrão-ouro (1) o acompanhamento radiográfico inalterado por, no mínimo, três anos daquelas lesões de baixa suspeição que resultaram benigno na BAG e (2) os resultados das biópsias cirúrgicas, quando essas foram realizadas (nas BAG cujos resultados foram malignos ou benignos com imagem de maior risco). Foram realizados os cálculos estatísticos de sensibilidade, especificidade e valor preditivo positivo e negativo do método. RESULTADOS: das 118 lesões não palpáveis categoria BI-RADS® 4 submetidas à BAG orientada por estereotaxia, 27 casos correspondiam à doença maligna, 81 eram benignas e 10 eram lesões com atipia ou papilíferas. Para a análise estatística, foram selecionados 108 pacientes (excluídas as lesões com atipia e papilíferas). A sensibilidade da BAG foi de 87,1% e a especificidade foi de 100%. O valor preditivo positivo foi de 100% e o negativo, de 95,1%. A acurácia da BAG nessa casuística foi de 96,3%. A taxa de falso-negativo foi de 3,7% (4/108). A prevalência de diagnóstico de malignidade nas lesões BI-RADS® 4 nessa amostra foi de 29,7% (31/118). CONCLUSÕES: a biópsia estereotáxica com agulha grossa mostrou-se uma alternativa segura à BC. Quando seu resultado é positivo, orienta o planejamento terapêutico, e, quando negativo (em imagens radiográficas de baixa suspeição), permite o acompanhamento.

Avaliação de microcalcificações mamárias de acordo com as classificações do Breast Imaging Reporting and Data System (BI-RADS TM) e de Le Gal

OBJETIVO: avaliar a acurácia da mamografia para o diagnóstico de microcalcificações mamárias suspeitas, com as classificações do Breast Imaging Reporting and Data System (BI-RADS TM) e Le Gal em comparação com o resultado histopatológico utilizado como padrão-ouro. MÉTODOS: foram selecionados dos arquivos dos blocos cirúrgicos, 130 casos operados com mamografias contendo somente microcalcificações mamárias, inicialmente classificadas como suspeitas sem lesões detectáveis ao exame clínico. Estas foram reclassificadas por dois examinadores, utilizando as classificações de Le Gal e BI-RADS TM, obtendo-se diagnóstico de consenso. As biópsias foram revistas por dois patologistas e foi obtido diagnóstico de consenso. A leitura das mamografias e a revisão das lâminas foram feitas em duplo-cego. As análises estatísticas utilizadas neste estudo foram o teste do chi2, o modelo Fleiss quadrático para VPP e o programa Epi-Info 6.0. RESULTADOS: a correlação entre a análise histopatológica e mamográfica, usando BI-RADS TM e Le Gal, mostrou a mesma sensibilidade de 96,4%, especificidade de 55,9 e 30,3%, valor preditivo positivo (VPP) de 37,5% e 27,5% e acurácia de 64,6 e 44,6%, respectivamente. Quando discriminamos por categorias de BI-RADS TM, obtivemos VPPs: categoria 2, 0%; categoria 3, 1,8%; categoria 4, 31,6% e categoria 5, 60%. Os VPPs pela classificação de Le Gal foram: categoria 2, 3,1%; categoria 3, 18,1 %; categoria 4, 26,4%; categoria 5, 66,7% e não classificável, 5,2%. CONCLUSÕES: observou-se uma maior precisão com a classificação de BI-RADS TM, porém não se conseguiu reduzir a ambigüidade na avaliação das microcalcificações mamárias.

Medida da espessura do segmento uterino inferior em gestantes com cesárea prévia: análise da reprodutibilidade intra- e interobservador por ultra-sonografia bi- e tridimensional

OBJETIVO: comparar a reprodutibilidade intra- e interobservador da medida da espessura total do segmento uterino inferior (SUI), por via abdominal, e da medida da camada muscular, por via vaginal, usando ultra-sonografia bi- e tridimensional. MÉTODOS: foi estudada a medida da espessura do SUI de 30 gestantes com cesárea anterior, entre a 36ª e a 39ª semanas, por dois observadores. Foi efetuada abordagem ultra-sonográfica abdominal com a paciente em posição supina e vaginal em posição de litotomia. No corte sagital, foi identificado SUI e foram coletadas quatro imagens bidimensionais e dois blocos tridimensionais da espessura total por via abdominal e o mesmo da camada muscular por via vaginal. As aquisições tridimensionais foram manipuladas no modo multiplanar. O tempo foi cronometrado. A reprodutibilidade foi avaliada pelo cálculo da diferença absoluta entre todas as medidas, proporção de diferenças menores que 1 mm, coeficiente de correlação intraclasse (ICC) e limites de concordância de Bland e Altman. RESULTADOS: a medida da espessura média do SUI por via abdominal bidimensional foi de 7,4 mm e, por via vaginal, de 2,7 mm; a tridimensional foi 6,9 mm abdominal e 5,1 mm vaginal. Reprodutibilidade intra- e interobservador da via vaginal versus abdominal: menor diferença absoluta (0,2-0,4 versus 0,8-1,5 mm), maior proporção de diferenças (85,8-97,8 versus 48,7-72,8%) com p<0,0001, versus ICC (0,8-0,9 versus 0,6-0,8) e menores limites de concordância (-0,9 a 1,5 versus -3,8 a 4 mm) para via vaginal. Ultra-sonografia tri- versus bidimensional: menor diferença absoluta (0,2-1,4 versus 0,4-1,5 mm), maior proporção de diferenças (57,7-97,8 versus 48,7-91,7%) com p>0,05 e menores limites de concordância (-3,8 a 3,4 versus -3,6 a 4 mm) para ultra-sonografia tridimensional e ICC semelhantes (0,6-0,9 versus 0,7-0,9). CONCLUSÕES: do exposto, concluímos que a medida da espessura da camada muscular do SUI por via vaginal utilizando a ultra-sonogafia tridimensional é mais reprodutível. Nossos resultados, porém, não indicam que essa medida tenha implicação clínica para predição de rotura uterina, que não foi objeto deste estudo. O único trabalho que correlacionou a espessura do SUI com risco de rotura uterina, sem interferir na conduta do obstetra ou antecipar o parto, foi feito por medidas bidimensionais abdominais da espessura total.

FOOD PREFERENCE AND CONSUMPTION OF AQUATIC MACROPHYTES SUBMERGED BY SNAIL Pomacea canaliculata

ABSTRACTThe objective of this study was to evaluate the consumption potential, food preference and use of snail Pomacea canaliculata as a biocontrol agent of four submerged aquatic macrophytes (Ceratophyllumdemersum, Egeriadensa, Egerianajas and Hydrilla verticillata). Two experiments were performed. In the first experiment, the introduction of a snail took place and 10 grams of each macrophyte in plastic containers with 1 liter of water. The assessments of consumption by the snail were performed at each 48 hours, during 12 days. The second experiment was performed in 600 liters microcosms containing five snails in each experimental unit. Fifty grams of each macrophyte were offered the snails at the same time, adding the same amounts after seven, 14, 21 and 30 days. On both trials, the most consumed macrophyte by the P.canaliculata was H.verticillata (7.64 ± 1.0 g 48 h and 50 ± 0.18 g) respectively, significantly differing from the others. However, in the absence of H.verticilata, E.najas and E.densa were consumed. The preference of P.canaliculata for H.verticillata is very interesting, because this plant is exotic and problematic in Brazil, and the snail is one more tool for biological management of submerged aquatic macrophyte H.verticillata.

Correlations between ANP concentrations in atria, plasma and cerebral structures and sodium chloride preference in Wistar rats

We determined whether ANP (atrial natriuretic peptide) concentrations, measured by radioimmunoassay, in the ANPergic cerebral regions involved in regulation of sodium intake and excretion and pituitary gland correlated with differences in sodium preference among 40 Wistar male rats (180-220 g). Sodium preference was measured as mean spontaneous ingestion of 1.5% NaCl solution during a test period of 12 days. The relevant tissues included the olfactory bulb (OB), the posterior and anterior lobes of the pituitary gland (PP and AP, respectively), the median eminence (ME), the medial basal hypothalamus (MBH), and the region anteroventral to the third ventricle (AV3V). We also measured ANP content in the right (RA) and left atrium (LA) and plasma. The concentrations of ANP in the OB and the AP were correlated with sodium ingestion during the preceding 24 h, since an increase of ANP in these structures was associated with a reduced ingestion and vice-versa (OB: r = -0.3649, P<0.05; AP: r = -0.3291, P<0.05). Moreover, the AP exhibited a correlation between ANP concentration and mean NaCl intake (r = -0.4165, P<0.05), but this was not the case for the OB (r = 0.2422). This suggests that differences in sodium preference among individual male rats can be related to variations of AP ANP level. Earlier studies indicated that the OB is involved in the control of NaCl ingestion. Our data suggest that the OB ANP level may play a role mainly in day-to-day variations of sodium ingestion in the individual rat

Involvement of dopamine receptors in diethylpropion-induced conditioning place preference

Diethylpropion (DEP) is an amphetamine-like agent used as an anorectic drug. Abuse of DEP has been reported and some restrictions of its use have been recently imposed. The conditioning place preference (CPP) paradigm was used to evaluate the reinforcing properties of DEP in adult male Wistar rats. After initial preferences were determined, animals weighing 250-300 g (N = 7 per group) were conditioned with DEP (10, 15 or 20 mg/kg). Only the dose of 15 mg/kg produced a significant place preference (358 ± 39 vs 565 ± 48 s). Pretreatment with the D1 antagonist SCH 23390 (0.05 mg/kg, sc) 10 min before DEP (15 mg/kg, ip) blocked DEP-induced CPP (418 ± 37 vs 389 ± 31 s) while haloperidol (0.5 mg/kg, ip), a D2 antagonist, 15 min before DEP was ineffective in modifying place conditioning produced by DEP (385 ± 36 vs 536 ± 41 s). These results suggest that dopamine D1 receptors mediate the reinforcing effect of DEP

Bi-directional actions of estrogen on the renin-angiotensin system

Estrogen stimulates the renin-angiotensin system by augmenting both tissue and circulating levels of angiotensinogen and renin. We show, however, that angiotensin converting enzyme (ACE) activity in the circulation and in tissues is reduced in two animal models of postmenopausal chronic hormone replacement. We observed a reduction of ACE activity in association with a significant increase in plasma angiotensin I (Ang I) and hyperreninemia in ovariectomized monkeys treated with Premarin (conjugated equine estrogen) replacement for 30 months. Plasma angiotensin II (Ang II) levels were not increased in monkeys treated with estrogen, suggesting that the decrease in ACE curtailed the formation of the peptide. The Ang II/Ang I ratio, an in vivo index of ACE activity, was significantly reduced by estrogen treatment, further supporting the biochemical significance of estrogen's inhibition of ACE. In ovariectomized transgenic hypertensive (mRen2)27 rats submitted to estrogen replacement treatment for 3 weeks, ACE activity in plasma and tissue (aorta and kidney) and circulating Ang II levels were reduced, whereas circulating levels of angiotensin-(1-7) (Ang-(1-7) were increased. Ang-(1-7), the N-terminal fragment of Ang II, is a novel vasodilator and antihypertensive peptide. Thus, the net balance of these effects of estrogen on the renin-angiotensin vasoconstrictor/vasodilator system is to promote the antihypertensive effect.

Natural preference of zebrafish (Danio rerio) for a dark environment

The zebrafish (Danio rerio) has been used as a model in neuroscience but knowledge about its behavior is limited. The aim of this study was to determine the preference of this fish species for a dark or light environment. Initially we used a place preference test and in a second experiment we applied an exit latency test. A two-chamber aquarium was used for the preference test. The aquarium consisted of a black chamber and a white chamber. In the first experiment the animal was placed in the aquarium and the time spent in the two compartments was recorded for 10 min. More time was spent in the black compartment (Wilcoxon matched-pairs signed-rank test, T = 7, N1 = N2 = 18, P = 0.0001). In the second experiment the animal was placed in the black or white compartment and the time it took to go from the initial compartment to the opposite one was recorded. The test lasted a maximum of 10 min. The results showed that the animal spent more time to go from the black to the white compartment (Mann-Whitney rank sum test, T = 48, N1 = 9, N2 = 8, P<0.0230). These data suggest that this fish species has a natural preference for a dark environment and this characteristic can be very useful for the development of new behavioral paradigms for fish.

Plant-Herbivore Interaction in a Fragmented Landscape: Local Adaptation and Inbreeding

Reciprocal selection between interacting species is a major driver of biodiversity at both the genetic and the species level. This reciprocal selection, or coevolution, has led to the diversification of two highly diverse and abundant groups of organisms, flowering plants and their insect herbivores. In heterogeneous environments, the outcome of coevolved species interactions is influenced by the surrounding community and/or the abiotic environment. The process of adaptation allows species to adapt to their local conditions and to local populations of interacting species. However, adaptation can be disrupted or slowed down by an absence of genetic variation or by increased inbreeding, together with the following inbreeding depression, both of which are common in small and isolated populations that occur in fragmented environments. I studied the interaction between a long-lived plant Vincetoxicum hirundinaria and its specialist herbivore Abrostola asclepiadis in the southwestern archipelago of Finland. I focused on mutual local adaptation of plants and herbivores, which is a demonstration of reciprocal selection between species, a prerequisite for coevolution. I then proceeded to investigate the processes that could potentially hamper local adaptation, or species interaction in general, when the population size is small. I did this by examining how inbreeding of both plants and herbivores affects traits that are important for interaction, as well as among-population variation in the effects of inbreeding. In addition to bi-parental inbreeding, in plants inbreeding can arise from self-fertilization which has important implications for mating system evolution. I found that local adaptation of the plant to its herbivores varied among populations. Local adaptation of the herbivore varied among populations and years, being weaker in populations that were most connected. Inbreeding caused inbreeding depression in both plants and herbivores. In some populations inbreeding depression in herbivore biomass was stronger in herbivores feeding on inbred plants than in those feeding on outbred ones. For plants it was the other way around: inbreeding depression in anti-herbivore resistance decreased when the herbivores were inbred. Underlying some of the among-population variation in the effects of inbreeding is variation in plant phenolic compounds. However, variation in the modification of phenolic compounds in the digestive tract of the herbivore did not explain the inbreeding depression in herbivore biomass. Finally, adult herbivores had a preference for outbred host plants for egg deposition, and herbivore inbreeding had a positive effect on egg survival when the eggs were exposed to predators and parasitoids. These results suggest that plants and herbivores indeed exert reciprocal selection, as demonstrated by the significant local adaptation of V. hirundinaria and A. asclepiadis to one another. The most significant cause of disruption of the local adaptation of herbivore populations was population connectivity, and thus probably gene flow. In plants local adaptation tended to increase with increasing genetic variation. Whether or not inbreeding depression occurred varied according to the life-history stage of the herbivore and/or the plant trait in question. In addition, the effects of inbreeding strongly depended on the population. Taken together, inbreeding modified plant-herbivore interactions at several different levels, and can thus affect the strength of reciprocal selection between species. Thus inbreeding has the potential to affect the outcome of coevolution.