An integer programming framework for sequencing cutting patterns based on interval graph completion

We derived a framework in integer programming, based on the properties of a linear ordering of the vertices in interval graphs, that acts as an edge completion model for obtaining interval graphs. This model can be applied to problems of sequencing cutting patterns, namely the minimization of open stacks problem (MOSP). By making small modifications in the objective function and using only some of the inequalities, the MOSP model is applied to another pattern sequencing problem that aims to minimize, not only the number of stacks, but also the order spread (the minimization of the stack occupation problem), and the model is tested.

An integer programming model for the minimum interval graph completion problem

The minimum interval graph completion problem consists of, given a graph G = ( V, E ), finding a supergraph H = ( V, E ∪ F ) that is an interval graph, while adding the least number of edges |F| . We present an integer programming formulation for solving the minimum interval graph completion problem recurring to a characteri- zation of interval graphs that produces a linear ordering of the maximal cliques of the solution graph.

Increase of the Delivered Power Probability in Distribution Networks using Pareto DC Programming

A methodology to increase the probability of delivering power to any load point through the identification of new investments in distribution network components is proposed in this paper. The method minimizes the investment cost as well as the cost of energy not supplied in the network. A DC optimization model based on mixed integer non-linear programming is developed considering the Pareto front technique in order to identify the adequate investments in distribution networks components which allow increasing the probability of delivering power for any customer in the distribution system at the minimum possible cost for the system operator, while minimizing the energy not supplied cost. Thus, a multi-objective problem is formulated. To illustrate the application of the proposed methodology, the paper includes a case study which considers a 180 bus distribution network

Database repairs with answer set programming

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A solidão na gravidez : determinantes da solidão e seu impacto na ligação materno-fetal

RESUMO - O sentimento de solidão tem vindo a tornar-se cada vez mais frequente entre os indivíduos, fruto do desenvolvimento da sociedade moderna. Especificamente, ocorrendo durante a gravidez, situação que produz na mulher importantes alterações não só físicas, como também psicológicas, familiares e sociais, deve passar a ser alvo de uma atenção especial. De um ponto de vista da Saúde Mental, o desenvolvimento saudável da gravidez exige uma rede de suporte social e uma relação conjugal satisfatórias. Tais elementos devem ser considerados como factores protectores do aparecimento de sentimentos de solidão. Pelo contrário, um baixo sentido de coerência e o aparecimento de depressão durante a gravidez são factores de risco que, inevitavelmente, irão interferir na qualidade da ligação materno-fetal, com repercussões no desenvolvimento psico-social do futuro ser humano. Este protocolo de projecto propõe um estudo transversal, exploratório e de natureza quantitativa. Engloba dois sub-estudos, focando os determinantes da solidão e o impacto desta na ligação materno-fetal, e pretende identificar associações pertinentes entre as várias dimensões envolvidas. A amostra em estudo será constituída por 202 grávidas que frequentam o Centro de Saúde de Torres Vedras. As variáveis correspondentes serão operacionalizadas através de questionários estandardizados e validados para a população portuguesa, sendo eles a Escala de Solidão da UCLA, a Escala de Satisfação com o Suporte Social, a Escala de Avaliação de Áreas da Vida Conjugal, a Escala de Ligação Materno-Fetal, a Escala de Depressão Pós-Parto de Edimburgo e o Questionário de Orientação para Viver. Espera-se identificar e caracterizar as possíveis associações entre a solidão e a satisfação com o suporte social, a satisfação conjugal, a depressão durante a gravidez e o sentido de coerência, que a explicarão, e a ligação materno-fetal, que será influenciada por ela. Os questionários serão respondidos pelas grávidas seleccionadas de acordo com critérios de inclusão e exclusão. Além das descrições estatísticas iniciais, as análises de associação serão realizadas em função das distribuições encontradas, e tendo em conta dimensões do contexto sociodemográfico. Os resultados da investigação serão divulgados num relatório final. ----------------------- ABSTRACT - The feeling of loneliness is increasing as a result of developments in modern society. Specifically occurring during pregnancy, when important changes - physical, psychological and related to the family structure and interaction with society - take place, special attention should be devoted. To maintain good mental health during pregnancy it is important to have good social support and harmonious conjugal relations, both considered as factors preventing the emergence of feelings of loneliness. By contrast low sense of coherence and depression during the pregnancy are risk factors which, inevitably, will affect the quality of the maternal-fetal attachment and have repercussions on the psycho-social development of the future individual. This protocol of draft proposes a transversal exploratory study of a quantitative nature on two sub-studies, exploring the determinants of loneliness and its impact on the maternal-fetal attachment, which intends to identify some correlations between parameters. The study sample is made up of 202 pregnant women who are patients at the Health Centre of the city of Torres Vedras. They will be selected according to criteria of inclusion and exclusion. All variables will be measured through standardized and validated surveys illustrating the Portuguese population, like the Scale of Loneliness of the UCLA, Scale of Satisfaction with the Social Support, Scale of Evaluation of Areas of the Conjugal Life, Maternal-Fetal Attachment Scale, Edinburgh Postnatal Depression Scale, and Orientation To Life Questionnaire. We expect to identify correlations between loneliness and satisfaction with social support and conjugal relations, depression during pregnancy and sense of coherence, which will explain it, and the maternal-fetal attachment, which will influence it. Beyond the initial statistical descriptions, the data analysis will be executed according to the distributions found and will be carried taking into account the socio-demographic context. The results of the survey will be published in a final report.

A Visual Programming Framework for Wireless Sensor Networks in Smart Home Applications

International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP 2015). 7 to 9, Apr, 2015. Singapure, Singapore.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

A Modular Programming Approach for IoTBased Wireless Sensor Networks

Poster presented in 12th European Conference on Wireless Sensor Network (EWSN 2015). 9 to 11, Feb, 2015. Porto, Portugal.

Ensemble: an innovative approach to practice computer programming

Currently, the teaching-learning process in domains, such as computer programming, is characterized by an extensive curricula and a high enrolment of students. This poses a great workload for faculty and teaching assistants responsible for the creation, delivery, and assessment of student exercises. The main goal of this chapter is to foster practice-based learning in complex domains. This objective is attained with an e-learning framework—called Ensemble—as a conceptual tool to organize and facilitate technical interoperability among services. The Ensemble framework is used on a specific domain: computer programming. Content issues are tacked with a standard format to describe programming exercises as learning objects. Communication is achieved with the extension of existing specifications for the interoperation with several systems typically found in an e-learning environment. In order to evaluate the acceptability of the proposed solution, an Ensemble instance was validated on a classroom experiment with encouraging results.

Design a computer programming learning environment for Massive Open Online Courses

Teaching and learning computer programming is as challenging as difficult. Assessing the work of students and providing individualised feedback to all is time-consuming and error prone for teachers and frequently involves a time delay. The existent tools and specifications prove to be insufficient in complex evaluation domains where there is a greater need to practice. At the same time Massive Open Online Courses (MOOC) are appearing revealing a new way of learning, more dynamic and more accessible. However this new paradigm raises serious questions regarding the monitoring of student progress and its timely feedback. This paper provides a conceptual design model for a computer programming learning environment. This environment uses the portal interface design model gathering information from a network of services such as repositories and program evaluators. The design model includes also the integration with learning management systems, a central piece in the MOOC realm, endowing the model with characteristics such as scalability, collaboration and interoperability. This model is not limited to the domain of computer programming and can be adapted to any complex area that requires systematic evaluation with immediate feedback.

Detection of parvovirus B19 infection in formalin-fixed and paraffin-embedded placenta and fetal tissues

Parvovirus B19 infection was first discovered in 1975 and it is implicated in fetal death from hydrops fetalis the world over. Diagnosis is usually made through histological identification of the intranuclear inclusion in placenta and fetal organs. However, these cells may be scarce or uncharacteristic, making definitive diagnosis difficult. We analyzed histologically placentas and fetal organs from 34 cases of non-immune hydrops fetalis, stained with Hematoxylin and Eosin (HE) and submitted to immunohistochemistry and polymerase chain reaction (PCR). Of 34 tissue samples, two (5.9%) presented typical intranuclear inclusion in circulating normoblasts seen in Hematoxylin and Eosin stained sections, confirmed by immunohistochemistry and PCR. However, PCR of fetal organs was negative in one case in which the placenta PCR was positive. We concluded that parvovirus B19 infection frequency is similar to the literature and that immunohistochemistry was the best detection method. It is highly specific and sensitive, preserves the morphology and reveals a larger number of positive cells than does HE with the advantage of showing cytoplasmic and nuclear positivity, making it more reliable. Although PCR is more specific and sensitive in fresh or ideally fixed material it is not so in formalin-fixed paraffin-embedded tissues, frequently the only one available in such cases.

Pré-Eclâmpsia Grave. Compromisso Materno e Fetal

Introdução: A pré-eclâmpsia (PE) é uma síndrome específica da gravidez, associado a morbimortalidade materna e perinatal. Métodos: Estudo retrospectivo descritivo das 134 gestações com PE grave, seguidas na nossa instituição de 2003 a 2005, com o objectivo de avaliar as repercussões maternas e fetais desta patologia. Resultados: Na maioria dos casos houve repercussão sistémica, manifestada por sintomatogia (79%) e valores laboratoriais indicativos de gravidade clínica. Os dados ecográficos revelaram 22,7% de restrição de crescimento intra-uterino e 21,3% de fluxometria doppler patológica. Decidiu-se interromper electivamente a gravidez em 95,3% dos casos, 60,5% nas primeiras 48h, sendo a síndrome materno a principal indicação. Verificaram-se 4 abortos e 5 mortes fetais. O parto ocorreu antes das 34 semanas em 63,1% dos casos. Em 82,8% a via de parto foi cesariana. Salientam-se 4 casos de insuficiência renal aguda e 2 casos de acidente vascular cerebral hemorrágico com morte materna. 20% dos recém-nascidos eram leves para a idade gestacional e verificou-se asfixia neonatal em 7,7%. Conclusão: A pré-eclâmpsia grave continua a ser uma patologia com implicações importantes no desfecho obstétrico.