Restricciones de igualdad sobre el dominio de los naturales

El objetivo de este proyecto consiste en implementar una aplicación que busca todos los modelos de una fórmula recibida como entrada. Esta fórmula de entrada pertenece a la lógica NatEq, la cual es un subconjunto de la lógica de primer orden. Esta lógica consta de un sólo predicado, que es la igualdad. Además, no contiene símbolos de funciones, incluye los cuantificadores universal y existencial, y se interpreta sobre el dominio de los números naturales N.

Charge and spin transport in graphene devices

170 p.

Exploring new labelling strategies for boronated compounds: towards fast development and efficient assessment of BNCT drug candidates

208 p.

Práticas escolares como táticas criadoras: os praticantes nas tessituras de currículos

Através de narrativas sobre as práticas cotidianas de quatro professoras (três brasileiras e uma francesa), acompanhadas de narrativas desenvolvidas entorno de um conjunto de imagens de alunos, esta pesquisa busca pensar como professores e alunos produzem os currículos nos seus cotidianos escolares. Através dos diferentes usos dos materiais disponíveis, dos questionamentos, das histórias de vida e das inúmeras experiências que constituem as subjetividades, os praticantes das escolas tecem, em redes, os seus conhecimentos e suas significações para a vida. Problematizando esta temática, com a professora de artes, Cristiane Costa, busco desenvolver uma discussão metodológica sobre os estudos dos cotidianos, me propondo compreender algumas possibilidades das táticas cotidianas de aprenderensinar. Com uma professora de matemática, Luciana Getirana, acompanhada da narrativa de uma aluna, Maria Nunes, analiso as relações entre conhecimentos científicos e conhecimentos cotidianos. Em seguida, com a professora de língua portuguesa, Cristiane Souza, discuto as demandas de professores por uma fórmula, uma receita de bolo, que contenha algumas soluções para os problemas da educação. Com a professora de história e geografia, Laure Cambos, busco pensar o professor no atravessamento de fronteiras entre culturas e conhecimentos. Neste sentido, elegi duas práticas de mediação cultural presentes no cotidiano desta professora: a primeira é o uso de imagens como prática de aprenderensinar, e a segunda consiste nas atividades de saídas da escola (aulas caminhadas). Por último, reúno fotografias de alunos para desenvolver duas temáticas que entrelaçam os capítulos anteriores: o dentrofora das escolas e as experimentações do mundo. A partir de narrativas sobre estas imagens, procuro pensar os cotidianos dos alunos nas práticas de aprenderensinar. Compreender estes currículos em redes possibilita problematizar as noções que não reconhecem a fragilidade das fronteiras, por perceberem os cotidianos através de relações dicotômicas. Estas fronteiras são habitadas pelos professores, produtores de possibilidades de mediações entre diferentes culturas e conhecimentos. Como práticas de atravessamento de fronteiras, as práticas de aprenderensinar buscam alternativas para a dicotomia que separa o dentro e o fora da escola, os conhecimentos cotidianos e os conhecimentos científicos, bem como os currículos prescritos e os currículos vividos. A pesquisa tem apoio teórico em autores como Nilda Alves, Michel de Certeau, Henri Lefebvre, Boaventura Santos, Nèstor Canclini entre outros.

MAB. Informe sobre el funcionamiento, organización y actividad del Mercado Alternativo Bursátil

El siguiente trabajo es un estudio sobre el Mercado Alternativo Bursátil para empresas en expansión,un modelo de mercado enfocado a PYMES que buscan expandirse.Supone una nueva fórmula de financiación alternativa para este tipo de empresas, que hasta ahora no podían acceder a los mercados bursátiles. A lo largo de este trabajo analizaremos su funcionamiento, características y evolución de la actividad que ha sufrido desde su creación en el 2009.

Caracterización Molecular Y Epidemiológica de Cepas Monofásicas de Salmonella Enterica

225 p.

Aplicações do formalismo de Keldysh ao transporte e ao bombeamento de calor em nanoestruturas

Num regime balísstico e a baixas temperaturas, a fórmula de Landauer dá uma boa descrição do transporte de calor para nano-junções conectadas a dois fios acoplados a banhos térmicos a temperaturas diferentes. Partindo de um modelo microscópico e utilizando o método de funções de Green fora do equilíbrio, é possível obter uma expressão para a condutância térmica na nano-junção equivalente a fórmula de Landauer. Esta depende dos valores das constantes de acoplamento entre os modos de fônons da região central e dos fios, além do gradiente térmico. A expressão para a condutância térmica é muito semelhante aquela obtida para a condutância elétrica. Neste trabalho nós apresentamos o método para o cálculo de grandezas relacionadas ao transporte térmico em um regime onde não há um gradiente de temperatura entre os reservatórios mas o sistema sofre uma perturbação dependente do tempo. Ou seja, com uma escolha conveniente da parametrização temporal dos termos de acoplamento entre a nano-junção e os fios é possível produzir uma corrente de calor na ausência de diferença de temperaturas entre os banhos térmicos aos quais os fios estão conectados. Esse fenômeno caracteriza o bombeamento de calor. Desenvolvemos uma teoria de transporte dependente do tempo para descrever o bombeamento. A teoria é geral, dependendo da densidade de fônons, da intensidade e dependência temporal do acoplamento. Aplicamos o formalismo em um modelo simples demonstrando que, em princípio, é possível bombear calor através de uma cadeia linear de átomos sem gradiente térmico.

Síntesis y caracterización de perovskitas LaCoO3 y LaMnO3 para la oxidación de NO a NO2

Las perovskitas con fórmula general ABO(3) son una alternativa prometedora a los catalizadores convencionales basados en metales nobles para la reducción de contaminantes procedentes de motores diésel, debido a su bajo coste, excelentes propiedades redox y alta durabilidad. En este trabajo se sintetizarán las perovskitas LaCoO3 y LaMnO3, por el método del ácido cítrico. Las muestras preparadas serán caracterizadas por técnicas como XRD, BET, H2-TPR y SEM. Se analizará su actividad en la reacción de oxidación de NO a NO(2).

Monitorização dos anticorpos anti-hla após transplante renal e sua correlação com episódios de rejeição aguda

Introdução: A associação entre a presença de anticorpo anti-HLA doador específico (DSA), em pacientes com prova cruzada negativa por citotoxicidade dependente de complemento (CDC), e a ocorrência de episódios de rejeição mediada por anticorpos (RMA) e menor sobrevida do enxerto já foi demonstrada por diversos autores. Entretanto,estimar a relevância clínica da presença desses anticorpos, em um determinado receptor, é um grande desafio e portanto novas estratégias de monitorização imunológicas são necessárias. Objetivo: O objetivo desse estudo foi monitorar a presença de DSA, bem como a variação dos seus títulos durante o primeiro ano após o transplante renal e correlacionar com episódios de rejeição aguda e função do enxerto ao final desse período. Metodologia: Foram analisados 389 soros de 71 pacientes incluídos no estudo. A pesquisa de DSA foi realizada utilizando os testes LABScreen single antigenbeads nas amostras correspondentes aos tempos: pré-transplante, 14, 30, 90, 180 e 365 dias após o transplante. Episódios de rejeição aguda comprovados por biópsia foram analisados de acordo com a classificação de Banff 2007. A taxa de filtração glomerular (TFG) ao final do primeiro ano foi estimada utilizando a fórmula Modificationof Diet in Renal Disease (MDRD). Os pacientes foram inicialmente separados em 3 grupos de diferentes riscos imunológicos (pré-transplante): A) DSA-, B) DSA+ com MFI >1000 e < 5000 e C) DSA+ com MFI > 5000. Num segundo momento, foram novamente agrupados de acordo com o perfil de mudança nos valores de MFI (intensidade de fluorescência média) ao longo do primeiro ano. Resultados: DSA estavam presentes pré-transplante em 15 pacientes. RMA foi mais frequente no grupo C (p = 0,02). De acordo com a variação dos títulos de DSA pós-transplante os pacientes foram novamente agrupados: grupo I) permaneceu DSA- durante todo acompanhamento = 50 pacientes, II) diminuiu ou manteve títulos de DSA em relação ao tempo zero = 13 pacientes e III) aumentou títulos em relação ao tempo zero = 8 pacientes (6 foram DSA de novo). Três pacientes dos grupos I e um paciente do grupo II apresentaram episódios de rejeição aguda celular. Não foi observada oscilação significativa nos títulos de anticorpos durante esses eventos. Nenhum paciente desse grupo apresentou episódio de RMA. Episódio de RMA ocorreu em dois pacientes do grupo III. Em ambos os pacientes foi detectado aumento significativo nos valores de MFI dos DSA em relação ao tempo zero. Não foi observada diferença significativa na TFG entre os grupos analisados nesse estudo. Entretanto, observou-se uma diferença estatisticamente significativa na TFG entre os pacientes que apresentaram episódio de rejeição aguda em relação aos que não tiveram, sendo menor nos primeiros (p = 0,04). Conclusão: A monitorização prospectiva dos anticorpos pode ajudar a identificar pacientes em maior risco para ocorrência de RMA e o aumento nos valores de MFI DSA deve ser interpretado como um sinal de alerta, sobretudo em pacientes previamente sensibilizados.

Avaliação do comportamento físico e microbiológico da incorporação de diacetato de clorexidina a resinas acrílicas a base de PMMA

Neste trabalho, objetivou-se avaliar as propriedades físicas e microbiológicas de resinas acrílicas a base de polimetilmetacrilato após a incorporação de sal de diacetato de clorexidina (CDA) às mesmas. Para tal, foram confeccionados corpos de prova (CDPs) com as resinas VIPI COR e Duralay, sem e com incorporação de 0,5%; 1,0% e 2,0% de CDA, totalizando 8 grupos. A cromatografia líquida foi utilizada para mensurar a liberação de CDA pelas resinas acrílicas, e ainda, mensurar sua lixiviação de monômeros residuais.Para isso, os CDPs foram armazenados individualmente em placas para cultura celular de 24 poços contendo 1 ml de água destilada estéril em cada poço. Após tempo de armazenagem de 2 horas, 7 dias, 14 dias, 21 dias e 28 dias, a 37oC, a solução foi retirada e a liberação de clorexidina ou monômeros residuais foi avaliada utilizando-se HPLC associado a espectrometria ultravioleta. A atividade antifúngica para C. albicans foi avaliada utilizando teste de difusão em ágar, no qual os CDPs foram colocados em placas de BHI previamente inoculadas com C. albicans, com medição do halo de inibição após 48 horas de incubação a 37C. A análise do grau de conversão das resinas se deu através da técnica de espectroscopia de infravermelho transformada de Fourier FTIR utilizando-se uma amostra de resina não polimerizada de cada grupo e realizados 4 scans de absorbância. Para a mensuração da sorção de água por parte das resinas contendo CDA, foram confeccionados 10 corpos de prova para cada grupo, que foram posicionados em suporte dentro de dessecador a 37C para remoção de umidade intrínseca (m1) e depois imersos em 100 ml de água deionizada por 7 dias a 37C, tendo a água trocada diariamente. Após este intervalo, os corpos foram secos para obter a nova massa da resina (m2). As massas obtidas foram incluídas em fórmula matemática para obtenção do grau de sorção. Após obtenção dos resultados, quando comparou-se o halo inibição entre os grupos testados e de mesma marca, apenas as análises entre grupo CDA 2% x grupo CDA 1% e entre CDA 1% x CDA 0,5% não apresentaram diferenças significantes. Quanto a liberação de CDA, a análise de variância demonstrou que dois dos três fatores avaliados (concentração do fármaco e tempo de armazenagem) alteram de maneira significativa a taxa de liberação da clorexidina (p<0,0001), entretanto a marca do material pareceu não influenciar de maneira significativa na liberação do fármaco. Quanto ao grau de conversão, os valores obtidos não foram significantes e apresentou-se menor apenas nos grupos com CDA 2% . Para ambas a sorção de água aumentou conforme a incorporação do sal cresceu e houve aumento significativo nas concentrações de 1.0% e 2.0%. Podemos concluir que a incorporação da clorexidina às resinas a base de PMMA: é capaz de inibir o crescimento de C. albicans; não alterou o grau de conversão das resinas testadas; não altera a liberação de monômeros residuais; e, altera a sorção de água das resinas acrílicas a base de PMMA quando concentrações maiores de CDA são adicionadas.

Caracterização de beta-lactamases de espectro ampliado (ESBLs), genes de resistência aos antimicrobianos e conteúdo plasmidial em cepas de Escherichia coli e Salmonella spp. não tifóides isoladas do ambiente hospitalar e da comunidade

Enterobactérias produtoras de ESBLs são descritas tanto no ambiente hospitalar quanto na comunidade em todo o mundo. No Brasil, esses microrganismos também têm emergido como uma causa importante de infecções, sendo as enzimas CTX-M as prevalentes. O objetivo deste estudo foi analisar diferentes aspectos genotípicos relacionados à expressão da resistência aos antimicrobianos em cepas Escherichia coli e de Salmonella spp, tais como: a diversidade de ESBLs, os genes de resistência aos antimicrobianos e o conteúdo plasmidial. Os aspectos epidemiológicos das cepas produtoras de ESBLs também foram investigados. Foram estudadas 88 cepas de enterobactérias, sendo 43 E. coli e 45 cepas de Salmonella spp., de origem hospitalar e da comunidade (principalmente alimentos), isoladas na cidade do Rio de Janeiro. A expressão de ESBL foi observada em sete cepas de E. coli (7/43, 16,3%) e em uma cepa de Salmonella Typhimurium (1/45, 2,3%) e as enzimas foram identificadas como variantes de CTX-M e SHV-5, respectivamente. Entre as cepas de E. coli, a enzima CTX-M-2 foi a mais frequente (n = 4), sendo detectada em cepas isoladas de swab retal de pacientes hospitalizados, enquanto as enzimas CTX-M-59 (uma variante de CTX-M) (n = 1) e CTX-M-9 (n = 2) foram identificadas em cepas isoladas a partir de espécimes clínicos. Salmonella Typhimurium produtora de SHV-5 foi isolada do ambiente hospitalar (fórmula infantil). As cepas de E. coli produtoras das enzimas CTX-M pertenceram a grupos filogenéticos (A, B1, D) e STs (ST34, ST69, ST101) diferentes, sendo os genes blaCTX-M identificados em plasmídeos com tipo de replicon IncA/C de cerca de 150 kb (blaCTX-M-2, blaCTX-M-9, blaCTX-M-59) ou 80 kb (blaCTX-M-2). A cepa de S. Typhimurium produtora de SHV-5 pertenceu a um único clone (A-ST19) e o gene blaSHV-5 foi identificado em plasmídeo com o replicon IncL/M com aproximadamente 55Kb. Foi identificado pela primeira vez no Brasil o ST313 em um clone de S. Typhimurium (D-ST313), comumente associado com doenças invasivas severas, particulamente no continente africano. Genes que codificam para a resistência aos antimicrobianos não-beta-lactâmicos e integrons classe 1 foram identificados entre as cepas de E. coli e de Salmonella spp. multirresistentes produtoras ou não de ESBLs. Em conclusão: i) nossos resultados referentes à E. coli confirmaram a disseminação de enzimas CTX-M (principalmente variantes do grupo CTX-M-2) desde, pelo menos, o ano de 2000, em hospitais no Rio de Janeiro; demonstraram a implicação dos plasmídeos IncA/C na disseminação de genes blaCTX-M; indicaram a possível evolução intra-plasmídeo de blaCTX-M-59 a partir de blaCTX-M-2; a observação da diversidade e multiplicidade de plasmídeos poderiam fornecer plataformas genéticas para a dispersão de diferentes genes e/ou elementos de resistência aos antimicrobianos; ii) em relação à Salmonella spp. este estudo descreveu, pela primeira vez, o isolamento, a partir de fórmula infantil, de uma cepa de S. Typhimurium produtora de ESBL; foi demonstrada a associação do gene blaSHV-5 com plasmídeo do tipo IncL/M, que é considerado epidêmico; foi identificado o clone D-ST313 de S. Typhimurium, que está associado a doenças invasivas severas no continente africano, que reuniu cepas isoladas exclusivamente do ambiente hospitalar.

Formulação teórica dos fundamentos da otimização global topográfica com análise de desempenho e aplicações à estabilidade de fases de misturas termodinâmicas

Métodos de otimização que utilizam condições de otimalidade de primeira e/ou segunda ordem são conhecidos por serem eficientes. Comumente, esses métodos iterativos são desenvolvidos e analisados à luz da análise matemática do espaço euclidiano n-dimensional, cuja natureza é de caráter local. Consequentemente, esses métodos levam a algoritmos iterativos que executam apenas as buscas locais. Assim, a aplicação de tais algoritmos para o cálculo de minimizadores globais de uma função não linear,especialmente não-convexas e multimodais, depende fortemente da localização dos pontos de partida. O método de Otimização Global Topográfico é um algoritmo de agrupamento, que utiliza uma abordagem baseada em conceitos elementares da teoria dos grafos, a fim de gerar bons pontos de partida para os métodos de busca local, a partir de pontos distribuídos de modo uniforme no interior da região viável. Este trabalho tem dois objetivos. O primeiro é realizar uma nova abordagem sobre método de Otimização Global Topográfica, onde, pela primeira vez, seus fundamentos são formalmente descritos e suas propriedades básicas são matematicamente comprovadas. Neste contexto, propõe-se uma fórmula semi-empírica para calcular o parâmetro chave deste algoritmo de agrupamento, e, usando um método robusto e eficiente de direções viáveis por pontos-interiores, estendemos o uso do método de Otimização Global Topográfica a problemas com restrições de desigualdade. O segundo objetivo é a aplicação deste método para a análise de estabilidade de fase em misturas termodinâmicas,o qual consiste em determinar se uma dada mistura se apresenta em uma ou mais fases. A solução deste problema de otimização global é necessária para o cálculo do equilíbrio de fases, que é um problema de grande importância em processos da engenharia, como, por exemplo, na separação por destilação, em processos de extração e simulação da recuperação terciária de petróleo, entre outros. Além disso, afim de ter uma avaliação inicial do potencial dessa técnica, primeiro vamos resolver 70 problemas testes, e então comparar o desempenho do método proposto aqui com o solver MIDACO, um poderoso software recentemente introduzido no campo da otimização global.

Compostos organoclorados em uma raia criticamente ameaçada, Gymnura altavela (LINNAEUS, 1758), no estuário da Baía de Guanabara, Rio de Janeiro, Brasil.

Nos últimos anos, temas envolvendo a conservação de elasmobrânquios têm recebido maior atenção em muitos países. Muitas espécies passaram a ser consideradas ameaçadas de extinção pela IUCN, demonstrando a necessidade de ordenamento pesqueiro e elaboração de planos de manejo. Os Poluentes Orgânicos Persistentes correspondem a mais uma ameaça para esse grupo de peixes, no entanto, estudos envolvendo a contaminação desses organismos são recentes e vêm aumentando nos últimos anos. O presente estudo teve como objetivo principal a quantificação de compostos organoclorados em tecido hepático de uma espécie de raia criticamente ameaçada raia-borboleta, Gymnura altavela, residente na Baía de Guanabara, um dos ambientes estuarinos mais impactados do Brasil. Além disso, investigouse a influência de fatores biológicos, tais como estágio de maturidade sexual, sexo, tamanho e porcentagem de lipídio na matriz analisada, sobre os perfis de contaminação por esses xenobióticos. As concentrações dos compostos organoclorados foram determinadas com a utilização do cromatógrafo de fase gasosa com detector de captura de elétrons (CG-DCE), da marca Agilent Technologies, modelo 7890. Nossos resultados mostraram que as bifelinas policloradas (PCB) representam a classe mais importante de contaminantes com concentração média de 6.772,8 ( 4.659,4) ng.g-1 de lipídio e a maior concentração foi 18.513,1 ng.g-1 de lipídio em um indivíduo macho e jovem. Desse total, 66,5% foram representados pelos congêneres de PCBs 153>138>180>101>170. Quanto ao número de átomos de cloro, os PCBs pertences à classe dos hexa-clorados foram os mais abundantes. A concentração média do ΣDDT foi 646,0 ( 722,4) ng.g-1 de lipídio e o isômero mais representativo foi o p,p DDE com 65,7% do total. O ΣHCH, o HCB e o Mirex representaram 0,13% da contaminação total em G. altavela sendo, portanto, os compostos com as menores contribuições. A razão representada pela fórmula ΣDDT/ΣPCB foi de 0,09, caracterizando uma predominância de compostos de origem industrial. As correlações de Spearman apontaram para uma diminuição das concentrações do ΣPCB, ΣHCH e Mirex à medida que os indivíduos crescem. Não foram encontradas diferenças nas concentrações em relação aos diferentes estágios de maturidade sexual e entre machos e fêmeas.

Morfología comparativa de las células sanguíneas del tiburón nodriza Ginglymostoma cirratum (Bonnaterre, 1788) con diversos peces.

Se llevó a cabo una comparación entre la morfología de las células de la sangre periférica de 9 tiburones nodriza, de una raya americana y 9 peces teleósteos; además, se determinó la fórmula leucocitaria y la cantidad total de eritrocitos y leucocitos/mm 3 de sangre para cada pez estudiado. English Abstract This work is a comparation of the blood cells morphology between 9 nurse sharks, southern stingray and 9 bone fishes, moreover, it was maked a differential leucocytes count, red and white cells counts by blood mm3 for any fish.

Identificação e monitoramento de pragas regulamentadas e seus inimigos naturais na cultura do mamoeiro.

Procedimentos para o monitoramento; Ácaro rajado; Ácaro branco; Cochonila; Cigarrinha; Mosca branca; Mosca-das-frutas; Mandarová; Variola ou pinta preta; Mancha de corynespora; Podridão de phytophthora; Podridão preta (Phoma); Oidiose; Mancha chocolate; Carvão interno;. Mancha anelar; Meleira; Inimigos naturais; Mancha fisiológica; Escala diagramática e fórmula para cálculo de incidência (Pinta preta); Ficha de campo para o monitoramento.