On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.

Modelos Teóricos de Difusão Dérmica: abordagens matemáticas e computacionais para terapias transdérmicas da Obesidade

É de senso comum que os nutrientes são fundamentais à vida e que a subnutrição leva à acumulação de gorduras que pode chegar a casos de obesidade, tendo como consequência inúmeras complicações de saúde. Diferentes estruturas neuroanatómicas do cérebro têm um papel essencial no comportamento digestivo. A ação de várias moléculas de sinalização (hormonas, neurotransmissores e neuropéptidos) resulta na regulação da ingestão de alimentos, sendo que, por exemplo, algumas hormonas podem aumentar a sensação de saciedade podendo diminuir o apetite e a ingestão calórica. A descoberta de hormonas envolvidas no balanço energético proporcionou novas oportunidades para desenvolver meios para o tratamento da obesidade. A transferência de medicação antiobesidade por via tópica ou transdérmica é um desafio pois a pele funciona como uma barreira natural e protetora. Sendo uma barreira com uma grande área de superfície e de fácil acessibilidade, a pele tem potencial interesse na libertação de fármacos específicos a cada terapia. Vários métodos têm sido estudados de modo a permitir um aumento da permeabilidade de moléculas terapêuticas para o interior da pele e através da pele. As biotecnologias transdérmicas são um campo de interesse cada vez maior, devido as aplicações dérmicas e farmacêuticas que lhes estão subjacentes. Existem vários modelos computacionais e matemáticos em uso que permite uma visão mais abrangente de puros dados experimentais e até mesmo permite a extrapolação prática de novas metodologias de difusão dérmica. Contudo, eles compreendem uma complexa variedade de teorias e suposições que atribuem a sua utilização para situações específicas. Este trabalho, primeiramente analisa, de forma extensiva, as várias metodologias teóricas para o estudo da difusão dérmica e sistematiza as suas características, realizando depois a fase prévia duma nova abordagem computacional para o estudo da difusão dérmica, que determina características microscópicas de moléculas capazes de provocar a perda de peso, tais como a Leptina e/ou os seus agonistas.

O ensino de matemática no CPES: análise de manuais

Dissertação para obtenção do Grau de Mestre em Ensino de Matemática

Um olhar sobre o ensino da matemática guiado por António Augusto Lopes

Dissertação para obtenção do Grau de Doutor em Ciências da Educação

Estudo experimental e modelação matemática do processo de produção de hidrogéis de poli(ácido acrílico)

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Simulação de comportamento de fogo em zonas florestais no alentejo central : comparação de modelos de combustível

Anualmente os incêndios florestais causam prejuízos por territórios por todo o mundo. Nas últimas décadas, estudos sobre o comportamento do fogo e avanços em tecnologias SIG, deram origem a modelos matemáticos de previsão e à sua inserção em sistemas informáticos de simulação de comportamento e propagação de fogo. A utilização destes necessita da caracterização das variáveis que determinam o comportamento do fogo: variáveis topográficas, condições meteorológicas e combustível vegetal. A vegetação assume-se como a única variável que pode ser controlada através de medidas de gestão e a mais estudada por todo o mundo. A sua caracterização é geralmente efetuada através de modelos de combustível, que consiste num conjunto de propriedades quantificáveis utilizadas nos modelos de comportamento do fogo. Através da utilização do simulador FARSITE, foi efetuada a simulação de comportamento de fogo em áreas de ocorrência de incêndios florestais localizadas na região do Alentejo Central, Portugal, recorrendo a diversos conjuntos de modelos de combustível para caracterizar a vegetação. Os resultados evidenciam, no geral, um maior rigor dos modelos de combustível customizados na caracterização da vegetação da área de estudo.

The role of arl13b in cilia length regulation and in zebrafish development

RESUMO: Arl13b é uma importante proteína ciliar, presente em cílios primários e cílios móveis. Ratinhos mutantes para Arl13b têm comprimento dos cílios reduzido e defeitos nos B-túbulos dos cílios. Como consequência destes fenótipos, deficiências na Arl13b originam, em modelos animais, várias doenças congénitas, incluindo problemas no estabelecimento do eixo esquerda-direita, malformações cerebrais e deformações corporais. Nos seres humanos, deficiências na Arl13b levam a uma doença crónica congénita chamada Síndrome de Joubert. Por outro lado, a sobreexpressão de Arl13b origina cílios mais longos, no entanto existe uma ausência da caracterização dos fenótipos celulares e durante o desenvolvimento embrionário. Neste trabalho, quisemos explorar o efeito da sobre-expressão de Arl13b em embriões de peixezebra. Descobrimos que, ao nível ciliar, a sobre-expressão de Arl13b nas células aumenta o comprimento ciliar em cílios primários e móveis, no entanto, a esses cílios falta adequada acetilação da alfa-tubulina no citoesqueleto feito por microtúbulos. Os nossos resultados mostraram que esse efeito é específico de Arl13b sobre-expressão e quando se manipularam as enzimas responsáveis pela acetilação (Mec17) e pela de-acetilação (HDAC6) encontrámos uma sinergia potencial com ambas. Testámos ainda, que o aumento no comprimento ciliar não estava causalmente relacionado com a falta de acetilação, ou seja, os cílios com menos acetilação não eram necessariamente os mais longos. Também mostrámos que a sobre-expressão de Arl13b é capaz de restaurar o comprimento dos cílios em mutantes com cílios curtos e como isso pode ser explorado para um futuro potencial papel terapêutico para Arl13b. Em seguida, foi avaliado o impacto do aumento da quantidade de Arl13b no desenvolvimento embrionário do peixe-zebra. Observou-se que a sobre-expressão de Arl13b apresentava fenótipos muito fracos, quando comparados com a perda de função dos mutantes de Arl13b. Focados no inesperado fenótipo leve no estabelecimento do eixo esquerda-direita abordámos a questão através do estabelecimento de uma colaboração com matemáticos, descobrimos que os cílios mais longos que potencialmente têm a capacidade de movimentar mais fluido são atenuados por amplitudes de batimento menores, e, como resultado, estes longos cílios não prejudicam o movimento do fluido e consequentemente não afetam o estabelecimento dos padrões de esquerda-direita. Sugerimos assim que a Arl13b é um regulador chave, do comprimento ciliar. Descobrimos uma nova interação com as enzimas de acetilação/de-acetilação e levantamos novas hipóteses quanto aos mecanismos moleculares da função da Arl13b. Propomos um novo modelo para o mecanismo molecular da Arl13b na regulação do comprimento dos cílios onde podemos integrar os nossos resultados com os relatados na literatura. Este trabalho adiciona mais conhecimento para o mecanismo de ação da Arl13b e, portanto, fornece uma importante contribuição para o campo da investigação em cílios.---------------------------------------------------------------------------------------------------------------------- ABSTRACT: Arl13b is an important ciliary protein, present in primary and motile cilia. arl13b-/- mouse mutants have reduced cilia length and cilia B-tubule defects. As a consequence of these phenotypes, Arl13b loss of function animal models suffer from several congenital disorders including left-right problems, brain malformations and body deformations. In humans Arl13b depletion leads to a congenital chronic disease called Joubert Syndrome. On the other hand, overexpressing Arl13b leads to longer cilia but the characterization of the cellular and developmental phenotypes was missing. In this work we explore the effect of Arl13b overexpression in zebrafish embryos. We found that, at the ciliary level, Arl13b overexpression from 1 cell stage produces longer primary and motile cilia, but these cilia lack proper alpha tubulin acetylation of their microtubule cytoskeleton. Our results showed that this effect is specific from Arl13b overexpression and when we manipulated the enzymes responsible for acetylation, Mec17, and de-acetylation, HDAC6, we found a potential synergy of both mec17 knockdown and HDAC6 activity with Arl13b overexpression. We tested that the ciliary increase in length was not causally related to the lack of acetylation, meaning the more de-acetylated cilia were not necessarily the longer ones. We also showed that Arl13b overexpression is able to restore cilia length in short cilia mutants and how that may be explored to a potential future therapeutic role for Arl13b. Next, we evaluated the impact of increasing the amount of Arl13b in zebrafish embryonic development. We observed that Arl13b overexpression presented very mild phenotypes when compared to the loss of function mutants. We focused on the unexpected left-right mild phenotype and by establishing a mathematical modeling collaboration, we found out that the longer cilia generated force was attenuated by smaller beating amplitudes, and as a result, these long cilia were not impairing the cilia generated flow and the establishment of left-right patterning. We suggest that Arl13b is one key cilia length regulator. We disclosed a novel interaction with the acetylation / de-acetylation enzymes and raised new hypothesis as to the mechanisms of Arl13b function. We propose a new model for the Arl13b molecular mechanism of cilia length regulation where we integrate our findings with those reported in the literature. This work adds more knowledge to the Arl13b mechanism of action and therefore provides an important contribution to the cilia research field.

Experimento modelo de selectividad con red de arrastre de fondo

Presentan los resultados obtenidos del estudio de selectividad en merluza peruana (Merluccius gayi peruanus) con una red de arrastre de fondo, en el área pesquera de Paita (03° a 05° S), basado en el método de copo cubierto (POPE et al. 1975) con diferentes tamaños de malla (poliamida PA-nylon), 90, 105, 110 y 120 mm. Se observó que la diferencia entre el factor de selección calculado por los distintos análisis para la mallas 105 (106) mm y 110 (114) mm no fue significativa, razón por la cual fueron seleccionadas para aplicar los modelos matemáticos adicionales de GULLAND 1970 y BARANOV 1960, determinándose el tamaño óptimo de malla de 110 mm. El factor de selección (FS) para la malla de 90(90,8)mm fue igual a 3,41; para la malla de 105 (106) mm, igual a 3,03; para la malla de 110 (114) mm fue igual a 2,99; para la malla de 120 (122) mm, fue igual a 2,84.

Validación matemática de un nuevo método para salvación de algunos tipos de problemas relacionados con algebra lineal

Tesis (Maestría en Ingenieria Industrial con Especialidad en Sistemas) UANL

Tecnologías matemáticas para el desarrollo de modelos de crecimiento de bosques mixtos e irregulares de Durango, México

Tesis (Maestría en Ciencias Forestales) UANL

Solución analítica del modelo matemático de columnas con secciones geométricas arbitrarias sometidas a la combinación de flexión biaxial y carga axial

Tesis (Maestría en Ciencias con Especialidad en Ingeniería Estructural) UANL

Modelo matemático lineal aproximado en transferencia de calor (caso unidimensional) [por] Mauricio Acencio Santillán Marroquín

Tesis (Maestría en Ciencias de Ingeniería Mecánica, con especialidad en Materiales) - U.A.N.L, 1992

Aplicación de un modelo numérico para simular el comportamiento hidráulico del acuífero que sirve como fuente de abastecimiento a la Central Nucleo eléctrica Laguna Verde

Tesis (Maestría en ciencias con esp. en Hidrología Subterránea)U.A.N.L.

La elasticidad de sustitución entre los factores productivos en la industria maquiladora de exportación de México una aplicación de la función de producción Translog [por] Jorge Aurelio Ibarra Salazar

Tesis (Maestría en Economía) U.A.N.L.

Modelo bidimensional del enfriamiento de cinta de acero laminada en caliente

Tesis (Maestría en Ciencias de la Ingeniería Mecánica con Especialidad en Materiales) - U.A.N.L, 2001