Polyhedral study of mixed integer sets arising from inventory problems

“Branch-and-cut” algorithm is one of the most efficient exact approaches to solve mixed integer programs. This algorithm combines the advantages of a pure branch-and-bound approach and cutting planes scheme. Branch-and-cut algorithm computes the linear programming relaxation of the problem at each node of the search tree which is improved by the use of cuts, i.e. by the inclusion of valid inequalities. It should be taken into account that selection of strongest cuts is crucial for their effective use in branch-and-cut algorithm. In this thesis, we focus on the derivation and use of cutting planes to solve general mixed integer problems, and in particular inventory problems combined with other problems such as distribution, supplier selection, vehicle routing, etc. In order to achieve this goal, we first consider substructures (relaxations) of such problems which are obtained by the coherent loss of information. The polyhedral structure of those simpler mixed integer sets is studied to derive strong valid inequalities. Finally those strong inequalities are included in the cutting plane algorithms to solve the general mixed integer problems. We study three mixed integer sets in this dissertation. The first two mixed integer sets arise as a subproblem of the lot-sizing with supplier selection, the network design and the vendor-managed inventory routing problems. These sets are variants of the well-known single node fixed-charge network set where a binary or integer variable is associated with the node. The third set occurs as a subproblem of mixed integer sets where incompatibility between binary variables is considered. We generate families of valid inequalities for those sets, identify classes of facet-defining inequalities, and discuss the separation problems associated with the inequalities. Then cutting plane frameworks are implemented to solve some mixed integer programs. Preliminary computational experiments are presented in this direction.

Numerical and combinatorial applications of generalized Appell polynomials

This thesis studies properties and applications of different generalized Appell polynomials in the framework of Clifford analysis. As an example of 3D-quasi-conformal mappings realized by generalized Appell polynomials, an analogue of the complex Joukowski transformation of order two is introduced. The consideration of a Pascal n-simplex with hypercomplex entries allows stressing the combinatorial relevance of hypercomplex Appell polynomials. The concept of totally regular variables and its relation to generalized Appell polynomials leads to the construction of new bases for the space of homogeneous holomorphic polynomials whose elements are all isomorphic to the integer powers of the complex variable. For this reason, such polynomials are called pseudo-complex powers (PCP). Different variants of them are subject of a detailed investigation. Special attention is paid to the numerical aspects of PCP. An efficient algorithm based on complex arithmetic is proposed for their implementation. In this context a brief survey on numerical methods for inverting Vandermonde matrices is presented and a modified algorithm is proposed which illustrates advantages of a special type of PCP. Finally, combinatorial applications of generalized Appell polynomials are emphasized. The explicit expression of the coefficients of a particular type of Appell polynomials and their relation to a Pascal simplex with hypercomplex entries are derived. The comparison of two types of 3D Appell polynomials leads to the detection of new trigonometric summation formulas and combinatorial identities of Riordan-Sofo type characterized by their expression in terms of central binomial coefficients.

O interesse socioeducativo (e as dificuldades) de traduzir em português-espanhol

O Projeto que apresentamos insere-se nos estudos do Mestrado em Tradução Especializada dentro da vertente da Saúde e Ciências da Vida; é por isso que, partindo de um texto/suporte que visa promover uma alimentação saudável nas escolas (manual de referência difundido pelos Ministérios da Educação e Ciência e Ministério da Saúde de Portugal), procedemos à tradução (de português para espanhol) de um conteúdo que suscita, nos nossos dias, um grande interesse socioeducativo e cultural. É preciso destacar que o facto de ter nascido e vivido na Venezuela durante doze anos permitiu-me superar com êxito os meus estudos de espanhol na Licenciatura e no referido Mestrado; mas, ao mesmo tempo, tive que me adaptar, enquanto cidadã portuguesa, ao complexo e inacabado processo de ir interiorizando estas duas línguas – português/espanhol – tão próximas e no entanto com sistemas linguísticos bem distintos. Esta evidência encontra a sua maior justificação no grande capítulo dos erros (de forma e de significado) que consegui detetar e analisar graças à ajuda da minha professora orientadora, ao longo deste meu primeiro trabalho académico (texto traduzido para espanhol). Só agora, depois da minha primeira e “ingénua” tradução desse texto/manual, sou capaz de perceber com toda nitidez a dimensão do erro na atividade tradutora, assim como das suas consequências. Além desta importante reflexão, também o facto de elaborar este projeto permitiu-me abordar um aspeto linguístico da língua espanhola que me cativa pessoalmente (no que me diz respeito): o das variantes lexicais do castelhano nos países hispanofalantes. Não duvido em apontar um outro aspeto fundamental: o esforço de ter tido que corrigir minuciosamente e com rigor esta tarefa tradutora (com os seus respetivos comentários tradutológicos) converteu-se numa fonte de múltiplas satisfações pessoais; são aquelas que têm a ver com o cultivo de valores tais como o esforço, o espírito de superação, o exercício da responsabilidade e o (re)conhecimento da honestidade intelectual, entre outros.

Role of insulin and insulin-like peptides in bone formation: identification of bone-specific target genes and regulatory mechanisms, and characterization of the insulin-mimetic effect of vanadium

Tese de Doutoramento em Biologia, Especialidade em Biologia Molecular, Universidade do Algarve, 2008

A análise conjunta na medição das preferências por eventos culturais e desportivos: uma contribuição para a gestão da procura em pavilhões multiusos

Dissertação mest., Gestão Empresarial, Universidade do Algarve, 2008

Variabilidade genómica de Citrus tristeza virus e transformação genética de Citrus aurantium L. com vista à obtenção de resistência

Tese de dout., Biologia, Faculdade de Engenharia de Recursos Naturais, Univ. do Algarve, 2003

La définition des noms d'arbres dans Le Petit Larousse (éditions 1997 et 1998) analyse de la pratique lexicographique et de son évolution

Notre étude s'insère dans le cadre d'un plus large projet de recherche portant sur le traitement lexicographique des noms d'espèces naturelles, dont l'un des objectifs généraux est de faire la lumière sur la pratique actuelle dans les dictionnaires usuels du français. Notre objet spécifique est le traitement définitoire des noms d'arbres dans Le Petit Larousse , qui est un dictionnaire d'orientation encyclopédique. Nous étudions et comparons deux éditions successives de ce dictionnaire (1997 et 1998), entre lesquelles la maison Larousse dit avoir fait une importante révision. Notre objectif est de décrire précisément la pratique observée, notamment en ce qui a trait à l'utilisation du modèle définitoire par inclusion, tout en faisant ressortir les modifications apportées dans la seconde édition pour rendre compte de l'orientation des travaux de révision. Nous adoptons l'approche méthodologique par segmentation qui a été développée au sein du projet de recherche auquel nous sommes associée [i.e. associés]. D'une part, celle-ci nous permet de décrire précisément la métalangue utilisée et de faire ressortir les principales variantes structurelles du modèle définitoire. D'autre part, elle nous permet de faire des bilans en ce qui a trait à la nature et à l'importance des modifications apportées.

Estudo preliminar do efeito supressor de genes do Citrus tristeza virus (CTV) no silenciamento pós-transcripcional em Nicotiana benthamiana

Dissertação de mest., Engenharia Biológica, Faculdade de Ciências e Tecnologia, Univ. do Algarve, 2011

Application of molecular tools for detection of plant viruses

Grapevine leafroll disease (GLRD) is one of the most important virus diseases of grapevines worldwide, causing major economical impact. The disease has a complex aetiology and currently eleven phloem-limited viruses, termed in general Grapevine leafroll-associated virus (GLRaVs), have been identified. Two of the GLRaVs, GLRaV-1 and GLRaV-3, are included in the European certification scheme of propagation material. However, the flawed notion that GLRaV-3 is more frequent than GLRaV-1 and that all other GLRaVs are possibly not as relevant for GLRD, has until now precluded the development of specific serological and molecular detection assays and limited the scope of molecular characterization of the viruses known to be associated with the disease. Hence, few studies have addressed the phylodynamics of GLRaVs or even characterized the genetic structure of their natural populations. This generalized lack of molecular information, in turn underlie the deficient capacity to detect the viruses. The phylogenetic analyses were conducted on the basis of the heat shock protein 70 homologue (HSP70h) and the coat protein (CP) genes for GLRaV-1 and the HSP70h, the heat shock protein 90 homologue (HSP90h) and the CP genes for GLRaV-5. The data obtained for GLRaV-1 contributed 83 new CP sequences. This information was combined with previous analysis by other authors and used for the production of new polyclonal IgG, capable of detecting CP variants from all the phylogroups observed. Successful testing of this new tool included tissue print immunoblotting (TPIB) and in situ immunoassay (ISIA). The data obtained for GLRaV-5, contributed 61 new CP and 28 new HSP90h gene sequences. Eight phylogenetic groups were identified on the basis of the CP. Characterization of the genetic structure of the isolates revealed a higher diversity than previously reported and allowed the identification of dominant virus variants. For both GLRaV-1 and GLRaV-5, the effect of vegetative propagation on the virus transmission dynamics was addressed.

The relationship between rapid automatized naming and reading performance: a meta-analysis

O estudo científico dos correlatos cognitivos da aquisição e desenvolvimento da competência de leitura é um assunto de grande relevância quer teórica quer prática, no sentido em que pode ajudar a compreender os processos cognitivos básicos envolvidos na leitura e, em última instância, a delinear os seus preditores e a predizer dificuldades na sua aquisição. A par da consciência fonológica – capacidade para perceber e manipular as unidades de som –, um dos construtos que frequentemente tem sido associado ao desenvolvimento da competência de leitura é a velocidade de nomeação de estímulos visuais (também conhecida como nomeação rápida automatizada ou velocidade de acesso ao léxico). Tradicionalmente, esta capacidade tem sido avaliada recorrendo ao paradigma clássico das provas de nomeação rápida automatizada (RAN) desenvolvidas por Denckla e Rudel (1976), nas quais é pedido ao sujeito que nomeie o mais rapidamente possível um conjunto de estímulos familiares apresentados serialmente. Nas últimas décadas, inúmeros estudos vieram demonstrar que a nomeação rápida é um importante preditor da competência de leitura, sobretudo da fluência da leitura, e um défice central em perturbações de leitura como a dislexia. O desempenho numa tarefa de nomeação rápida apela à sincronização e integração de vários processos, incluindo: (a) atenção ao estímulo, (b) integração da informação visual com representações visuais ou ortográficas arquivadas em memória, (c) recuperação de uma etiqueta verbal, e a (d) ativação da representação articulatória (Wolf & Bowers, 1999). Uma vez que a leitura e a nomeação rápida envolvem processos cognitivos semelhantes, não parece surpreendente que ambas as competências estejam associadas. No entanto, os estudos têm variado consideravelmente no que respeita à magnitude da associação entre a nomeação rápida e a leitura, encontrando-se resultados nulos ou negligenciáveis do valor preditivo da nomeação rápida na explicação da variância do desempenho de leitura. Vários fatores podem contribuir para as discrepâncias observadas na literatura, entre os quais as medidas utilizadas para avaliar o desempenho de nomeação rápida (por exemplo, medidas que utilizam estímulos ortográficos ou não-ortográficos) e de leitura (por exemplo, medidas de fluência ou de acuidade). A importância da natureza das medidas quer de nomeação rápida quer de leitura tem sido reconhecida por vários autores (para uma revisão, ver Norton & Wolf, 2011). Paralelamente, as amostras estudadas, que têm variado quanto à idade/escolaridade dos participantes e à sua competência de leitura (leitores normais ou fracos leitores ou leitores disléxicos), poderão estar a contribuir para a heterogeneidade dos resultados publicados. A literatura recente tem salientado a relevância destes fatores na aquisição e desenvolvimento da leitura, embora a direccionalidade do seu efeito seja ainda pouco clara. Por exemplo, a transição de um procedimento de leitura baseado em estratégias de descodificação fonológica para uma leitura automática, à medida que o sujeito se torna um leitor fluente, parece ser acompanhada por uma mudança no peso relativo das capacidades cognitivas subjacentes à leitura (ex., Reis, Faísca, Castro, & Petersson, in press). Outro fator importante que tem dificultado a interpretação dos dados publicados sobre os construtos envolvidos na leitura, e em particular sobre a nomeação rápida, relaciona-se com a consistência ortográfica do sistema de escrita nos quais os estudos são conduzidos. Estudos trans-linguísticos sugerem que a consistência ortográfica influencia a facilidade com que se aprende a ler nas escritas alfabéticas, bem como o tipo de processamento de leitura predominantemente adotado pelos leitores (Seymour, Aro, & Erskine, 2003). No seio deste enquadramento, nesta tese procurámos clarificar as divergências encontradas na literatura relativamente à relação entre a nomeação rápida e o desempenho de leitura. Através de um estudo de meta-análise 1 é nosso objetivo realizar uma síntese objetiva do estado da arte sobre a relação entre a nomeação rápida e a leitura, e avaliar a influência de potenciais fatores moderadores da magnitude desta relação, nomeadamente: (a) a natureza da tarefa de nomeação (tipo de estímulo nomeado, número total de itens, e número de itens diferentes); (b) a natureza da tarefa de leitura (subcomponente de leitura, e medida de resposta usada para avaliar o desempenho); (c) características da amostra (escolaridade e nível de leitura); e (d) ortografia (sistema de escrita, e consistência ortográfica). Para tal, foi realizada uma procura de artigos científicos nas bases de dados PubMed, PsycINFO, e Web of Knowledge, tendo sido incluídas na meta-análise um total de 154 experiências independentes, compreendendo 21,706 participantes. Os resultados indicam uma relação moderada-a-forte entre a nomeação rápida e o desempenho de leitura (r =.44, I2 = 71.19). Nas análises seguintes procurou-se avaliar o contributo de potenciais variáveis moderadoras que possam explicar a heterogeneidade observada entre os tamanhos dos efeitos. Verificou-se que a nomeação rápida se associa significativamente e em magnitude semelhante com todas as medidas de leitura, i.e., quer estas apelem preferencialmente a um processamento de descodificação fonológica ou de reconhecimento de padrões ortográficos da palavra. Os resultados sugerem ainda que a magnitude das correlações é inflacionada nos estudos em que o desempenho de leitura é baseado na velocidade/fluência de leitura, em particular nos níveis de escolaridade mais avançados, e que utilizam tarefas de nomeação com estímulos alfanuméricos ao invés de estímulos não-alfanuméricos. Adicionalmente, verificou-se que a força da associação entre a nomeação rápida e a acuidade de leitura varia de forma não linear durante a evolução da leitura, sendo que a correlação é maior nos leitores escolarizados mais novos e decresce à medida que a escolaridade aumenta. O papel atribuível à proficiência dos leitores, i.e., fracos leitores/leitores disléxicos ou leitores normais, foi menos claro; no entanto, houve uma tendência para a relação ser mais forte nas amostras de fracos leitores/leitores disléxicos. Os resultados das comparações trans-linguísticas, por sua vez, sugerem que a nomeação rápida tem um papel importante para o desempenho da leitura independentemente das características da ortografia, ainda que as correlações tenham sido maiores nas ortografias opacas, e em particular nas línguas não-alfabéticas. Em suma, a presente meta-análise fornece resultados convincentes de que o desempenho em tarefas de nomeação rápida refletirá processos cognitivos subjacentes que são também relevantes para a aquisição/desenvolvimento da leitura. Consequentemente, pode dizer-se que estas medidas serão um preditor útil da competência de leitura. Os resultados são também discutidos no contexto das teorias atuais que procuram explicar através de que processos cognitivos se associam a nomeação rápida e a leitura, com ênfase nas hipóteses fonológica versus ortográfica. 1 Uma meta-análise permite a integração quantitativa de resultados de diversos estudos, recorrendo para isso à noção de magnitude do efeito.

Study of influence of regulatory polymorphisms of expression in development of breast cancer

The human genome has millions of genetics variants that can affect gene expression. These variants are known as cis-regulatory variants and are responsible for intra-species phenotypic differences and individual susceptibility to disease. One of the diseases affected by cis-regulatory variants is breast cancer. Breast cancer is one of the most common cancers, with approximately 4500 new cases each year in Portugal. Breast cancer has many genes mutated and TP53 has been shown to be relevant for this disease. TP53 is one of the most commonly mutated genes in human cancer and it is involved in cell cycle regulation and apoptosis. Previous work by Maia et al has shown that TP53 has differential allelic expression (DAE), which suggests that this gene may be under the influence of cis-regulatory variants. Also, its DAE pattern is totally altered in breast tumours with normal copy number. We hypothesized that cis-regulatory variants affecting TP53 may have a role in breast cancer development and treatment. The present work aims to identify the cis-regulatory variants playing a role in TP53 expression, using in silico, in vitro and in vivo approaches. By bioinformatic tools we have identified candidate cis-regulatory variants and predicted the possible transcription factor binding sites that they affect. By EMSA we studied DNA-protein interactions in this region of TP53. The in silico analysis allowed us to identified three candidate cis-regulatory SNPs which may affect the binding of seven transcription factors. However, the EMSA experiments have not been conclusive and we have not yet confirmed whether any of the identified SNPs are associated with gene expression control of TP53. We will carry out further experiments to validate our findings.

Molecular structure and functional analysis of runx3 in zebrafish

Tese de doutoramento, Ciências Biomédicas, Universidade do Algarve, Departamento de Ciências Biomédicas e Medicina, 2014

Interrelationship between two variants of the Circulifer tenellus complex and Spiroplasma citri: the causal agent of stubborn disease

Tese de Doutoramento, Ciências Naturais, Unidade de Ciências e Tecnologias Agrárias, Universidade do Algarve, 1992

Vitivirus presentes em castas portuguesas de Vitis vinifera: caraterização molecular e diagnóstico

Dissertação de mestrado, Biologia Molecular e Microbiana, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015

Arithmetic bit recycling data compression

La compression des données est la technique informatique qui vise à réduire la taille de l’information pour minimiser l’espace de stockage nécessaire et accélérer la transmission des données dans les réseaux à bande passante limitée. Plusieurs techniques de compression telles que LZ77 et ses variantes souffrent d’un problème que nous appelons la redondance causée par la multiplicité d’encodages. La multiplicité d’encodages (ME) signifie que les données sources peuvent être encodées de différentes manières. Dans son cas le plus simple, ME se produit lorsqu’une technique de compression a la possibilité, au cours du processus d’encodage, de coder un symbole de différentes manières. La technique de compression par recyclage de bits a été introduite par D. Dubé et V. Beaudoin pour minimiser la redondance causée par ME. Des variantes de recyclage de bits ont été appliquées à LZ77 et les résultats expérimentaux obtenus conduisent à une meilleure compression (une réduction d’environ 9% de la taille des fichiers qui ont été compressés par Gzip en exploitant ME). Dubé et Beaudoin ont souligné que leur technique pourrait ne pas minimiser parfaitement la redondance causée par ME, car elle est construite sur la base du codage de Huffman qui n’a pas la capacité de traiter des mots de code (codewords) de longueurs fractionnaires, c’est-à-dire qu’elle permet de générer des mots de code de longueurs intégrales. En outre, le recyclage de bits s’appuie sur le codage de Huffman (HuBR) qui impose des contraintes supplémentaires pour éviter certaines situations qui diminuent sa performance. Contrairement aux codes de Huffman, le codage arithmétique (AC) peut manipuler des mots de code de longueurs fractionnaires. De plus, durant ces dernières décennies, les codes arithmétiques ont attiré plusieurs chercheurs vu qu’ils sont plus puissants et plus souples que les codes de Huffman. Par conséquent, ce travail vise à adapter le recyclage des bits pour les codes arithmétiques afin d’améliorer l’efficacité du codage et sa flexibilité. Nous avons abordé ce problème à travers nos quatre contributions (publiées). Ces contributions sont présentées dans cette thèse et peuvent être résumées comme suit. Premièrement, nous proposons une nouvelle technique utilisée pour adapter le recyclage de bits qui s’appuie sur les codes de Huffman (HuBR) au codage arithmétique. Cette technique est nommée recyclage de bits basé sur les codes arithmétiques (ACBR). Elle décrit le cadriciel et les principes de l’adaptation du HuBR à l’ACBR. Nous présentons aussi l’analyse théorique nécessaire pour estimer la redondance qui peut être réduite à l’aide de HuBR et ACBR pour les applications qui souffrent de ME. Cette analyse démontre que ACBR réalise un recyclage parfait dans tous les cas, tandis que HuBR ne réalise de telles performances que dans des cas très spécifiques. Deuxièmement, le problème de la technique ACBR précitée, c’est qu’elle requiert des calculs à précision arbitraire. Cela nécessite des ressources illimitées (ou infinies). Afin de bénéficier de cette dernière, nous proposons une nouvelle version à précision finie. Ladite technique devienne ainsi efficace et applicable sur les ordinateurs avec les registres classiques de taille fixe et peut être facilement interfacée avec les applications qui souffrent de ME. Troisièmement, nous proposons l’utilisation de HuBR et ACBR comme un moyen pour réduire la redondance afin d’obtenir un code binaire variable à fixe. Nous avons prouvé théoriquement et expérimentalement que les deux techniques permettent d’obtenir une amélioration significative (moins de redondance). À cet égard, ACBR surpasse HuBR et fournit une classe plus étendue des sources binaires qui pouvant bénéficier d’un dictionnaire pluriellement analysable. En outre, nous montrons qu’ACBR est plus souple que HuBR dans la pratique. Quatrièmement, nous utilisons HuBR pour réduire la redondance des codes équilibrés générés par l’algorithme de Knuth. Afin de comparer les performances de HuBR et ACBR, les résultats théoriques correspondants de HuBR et d’ACBR sont présentés. Les résultats montrent que les deux techniques réalisent presque la même réduction de redondance sur les codes équilibrés générés par l’algorithme de Knuth.