Majorantes para a ordem de subgrafos induzidos k-regulares

Muitos dos problemas de otimização em grafos reduzem-se à determinação de um subconjunto de vértices de cardinalidade máxima que induza um subgrafo k-regular. Uma vez que a determinação da ordem de um subgrafo induzido k-regular de maior ordem é, em geral, um problema NP-difícil, são deduzidos novos majorantes, a determinar em tempo polinomial, que em muitos casos constituam boas aproximações das respetivas soluções ótimas. Introduzem-se majorantes espetrais usando uma abordagem baseada em técnicas de programação convexa e estabelecem-se condições necessárias e suficientes para que sejam atingidos. Adicionalmente, introduzem-se majorantes baseados no espetro das matrizes de adjacência, laplaciana e laplaciana sem sinal. É ainda apresentado um algoritmo não polinomial para a determinação de umsubconjunto de vértices de umgrafo que induz umsubgrafo k-regular de ordem máxima para uma classe particular de grafos. Finalmente, faz-se um estudo computacional comparativo com vários majorantes e apresentam-se algumas conclusões.

O problema da árvore de suporte de custo mínimo com restrições de peso

Nesta tese abordam-se várias formulações e diferentes métodos para resolver o Problema da Árvore de Suporte de Custo Mínimo com Restrições de Peso (WMST – Weight-constrained Minimum Spanning Tree Problem). Este problema, com aplicações no desenho de redes de comunicações e telecomunicações, é um problema de Otimização Combinatória NP-difícil. O Problema WMST consiste em determinar, numa rede com custos e pesos associados às arestas, uma árvore de suporte de custo mínimo de tal forma que o seu peso total não exceda um dado limite especificado. Apresentam-se e comparam-se várias formulações para o problema. Uma delas é usada para desenvolver um procedimento com introdução de cortes baseado em separação e que se tornou bastante útil na obtenção de soluções para o problema. Tendo como propósito fortalecer as formulações apresentadas, introduzem-se novas classes de desigualdades válidas que foram adaptadas das conhecidas desigualdades de cobertura, desigualdades de cobertura estendida e desigualdades de cobertura levantada. As novas desigualdades incorporam a informação de dois conjuntos de soluções: o conjunto das árvores de suporte e o conjunto saco-mochila. Apresentam-se diversos algoritmos heurísticos de separação que nos permitem usar as desigualdades válidas propostas de forma eficiente. Com base na decomposição Lagrangeana, apresentam-se e comparam-se algoritmos simples, mas eficientes, que podem ser usados para calcular limites inferiores e superiores para o valor ótimo do WMST. Entre eles encontram-se dois novos algoritmos: um baseado na convexidade da função Lagrangeana e outro que faz uso da inclusão de desigualdades válidas. Com o objetivo de obter soluções aproximadas para o Problema WMST usam-se métodos heurísticos para encontrar uma solução inteira admissível. Os métodos heurísticos apresentados são baseados nas estratégias Feasibility Pump e Local Branching. Apresentam-se resultados computacionais usando todos os métodos apresentados. Os resultados mostram que os diferentes métodos apresentados são bastante eficientes para encontrar soluções para o Problema WMST.

Functional coherence and annotation agreement metrics for enzyme families

Tese de doutoramento, Informática (Bioinformática), Universidade de Lisboa, Faculdade de Ciências, 2015

Análise de risco em organizações: caso de estudo

Dissertação Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica no perfil de Manutenção e Produção

Examination timetabling automation using hybrid meta-heuristics

Trabalho de projeto realizado para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Geograf??a, profesorado y sociedad : teor??a y pr??ctica de la geograf??a en la ense??anza

Organizan: Asociaci??n de Ge??grafos Espa??oles; Departamento de Geograf??a F??sica, Humana y An??lisis Geogr??fico Regional de la Universidad de Murcia y la Consejer??a de Educaci??n y Universidades de la Regi??n de Murcia

Otras clases de Mates ... other Maths lessons.

Resumen basado en la publicación

Cine y TV para mejorar las competencias matem??tica y cient??fica en Secundaria y Bachillerato

En este trabajo se explora el uso del cine y la televisi??n como fuente de ideas para desarrollar en el aula las competencias Matem??ticas y Cient??ficas. Se presentan cuatro unidades did??cticas a partir de las pel??culas: La gran evasi??n, Alicia en el Pa??s de las Maravillas, El indomable Will Hunting, y La f??rmula preferida del profesor. La publicaci??n abarca conceptos matem??ticos tales como aritm??tica, probabilidad, resoluci??n de problemas, teor??a de grafos, matrices y l??gica; conceptos de F??sica y Qu??mica como la quiralidad o la ??ptica; y se trabajan otros aspectos menos academicistas como el trabajo en equipo o la exposici??n oral, usando en varios casos las Nuevas Tecnolog??as. Este material puede aplicarse a niveles que van de Primero de ESO hasta Segundo de Bachiller, permitiendo tambi??n al profesorado adaptarlo f??cilmente en funci??n de sus necesidades en el aula.

Cultivos marinos : otras formas de explotaci??n del litoral

La reproducci??n y distribuci??n de este v??deo en Canarias ha sido llevada a cabo por el Programa de Medios Audiovisules de la Direcci??n General de Promoci??n Educativa del Gobierno de Canarias. La duraci??n de la cinta de v??deo es de treinta minutos

Siete puentes, un camino : Königsberg.

Se presenta el problema del puente de Königsberg como herramienta didáctica para introducir a los alumnos en el estudio de la combinatoria. Se indican también las primeras nociones de la Teoría de Grafos.

Los manuales escolares de ayer a hoy : el ejemplo de Francia

Resumen tomado de la publicaci??n

??Una lucha contra los molinos? : el Instituto Georg Eckert y los manuales escolares

Resumen tomado de la publicaci??n

Ayer y hoy.

Resumen tomado de la revista.

Secuenciamiento de actividades educativas orientado a la reutilización y la auto-organización en tutoría inteligente. ' 'Sequencing of learning activities oriented towards reuse and auto-organization for intelligent tutoring systems' '.

Se pretende la elaboración una plataforma capaz de implementar sistemas de tutoría inteligente, orientada al problema de la adaptación del secuenciamiento; la creación de una herramienta o método que defina secuenciamientos adaptativos de material educativo; el desarrollo, empleando la herramienta anterior, de uno o más tutores y adaptar las técnicas de inteligencia de enjambre al campo de los cursos impartidos a través de Internet, Elearning.. En primer lugar se analiza el estado de la cuestión, destacando los aspectos novedosos. A continuación se presentan las aportaciones de la investigación. Por último, se exponen las conclusiones y las líneas de investigación abiertas. También se incluyen apéndices con información adicional que puede ser relevante para algunos lectores. Se investiga el uso de técnicas de inteligencia de enjambre para obtener sistemas educativos robustos y con capacidad de autoorganización. Las lecciones aprendidas de los sistemas cristalizan en la creación de un módulo para SIT.. Las principales contribuciones son: el diseño de una plataforma para el desarrollo de Sistemas de Tutoría Inteligentes (ITS); se presenta una herramienta para la adaptación de secuencias de unidades de aprendizaje, grafos de secuenciamiento (Sequencing Graphs, SG) y se analizan las iniciativas actuales relacionadas con las técnicas de enjambre en educación. Estas técnicas tienen un interés especial para los sistemas de elearning dada su complejidad. .