A Java expression evaluator for nonlinear programming

Finding the optimal value for a problem is usual in many areas of knowledge where in many cases it is needed to solve Nonlinear Optimization Problems. For some of those problems it is not possible to determine the expression for its objective function and/or its constraints, they are the result of experimental procedures, might be non-smooth, among other reasons. To solve such problems it was implemented an API contained methods to solve both constrained and unconstrained problems. This API was developed to be used either locally on the computer where the application is being executed or remotely on a server. To obtain the maximum flexibility both from the programmers’ and users’ points of view, problems can be defined as a Java class (because this API was developed in Java) or as a simple text input that is sent to the API. For this last one to be possible it was also implemented on the API an expression evaluator. One of the drawbacks of this expression evaluator is that it is slower than the Java native code. In this paper it is presented a solution that combines both options: the problem can be expressed at run-time as a string of chars that are converted to Java code, compiled and loaded dynamically. To wide the target audience of the API, this new expression evaluator is also compatible with the AMPL format.

Análise da capacidade vital e da máxima capacidade de insuflação: relação com a função bulbar nos doentes com Esclerose Lateral Amiotrófica

Introdução: A Esclerose Lateral Amiotrófica (ELA) é considerada uma das doenças neuromusculares (DNM) com características mais limitantes e fatais, sendo caracterizada por fraqueza muscular progressiva. Objectivo: Analisar a evolução da Capacidade Vital e da Máxima Capacidade Inspiratória em doentes com ELA e a sua relação causal com a função bulbar. Procedimentos: A partir de uma população alvo de 203 pacientes com ELA, foram incluídos no estudo aqueles que tinham entre 2 a 4 testes de função respiratória considerados válidos (CV <2000ml) perfazendo um total de 22 indivíduos. As medidas CV e MCI foram analisadas. Resultados: A CV diminuiu ao longo do tempo (media±desvio padrão no 1ºmomento de avaliação =1779,5±692,3; media±desvio padrão no 4ºmomento de avaliação =1108,6±475,7). O comportamento da MCI foi mais estável ao longo dos 4 momentos de avaliação. Avaliou-se a correlação entre as duas variáveis, destacando-se a relação existente entre as duas nos doentes bulbares (coeficiente = 1). Quando avaliada a diferença entre a CV e a MCI, verificamos que o nível de significância no grupo (n=22) aumentou ao longo do tempo. Ao comparamos esta diferença por subgrupos, registou-se uma diferença significativa apenas nos doentes bulbares (1ºmomento – p=0,008 e último momento de avaliação – p 0). Conclusão: Nos doentes com disfunção bulbar a CV diminui ao longo do tempo. A relação entre MCI e CV é um bom factor preditivo da evolução e prognóstico da doença e de diagnóstico do envolvimento da musculatura bulbar.

As PPP e os processos tradicionais de contratação pura: vantagens e desvantagens

Mestrado em Engenharia Civil – ramo Tecnologia e Gestão das Construções

Aplicação de advergames no contexto do Ensino Superior

As novas tecnologias, e a Internet em particular, criaram novas formas de transmissão de informação para o público e alteraram a forma como as pessoas comunicam. Isto abriu portas a novas formas de publicidade e ao aparecimento de um novo género de jogos, os advergames, aproveitando o facto dos jogos online contarem já com milhões de jogadores a nível mundial, um número que continua em constante crescimento. O conceito é relativamente recente mas apresenta resultados bastante positivos, com muitos especialistas a defender que os advergames são o futuro da publicidade, em grande parte devido aos custos inferiores e ao tempo de exposição do produto, quando comparado com os métodos mais tradicionais de publicidade. Os Jogos Sérios e, em especial, os advergames são o tema principal desta tese, com uma análise detalhada das suas vantagens e desvantagens, origens e oportunidade de desenvolvimento no futuro. São também analisados alguns casos de advergames de sucesso. A componente prática da tese tem como objetivo a criação de um advergame com o propósito principal de auxiliar os novos alunos do ISEP no seu processo de integração. O jogo consiste num formato de labirinto em duas dimensões, com objetivos que consistem na captura de certos objetos e entrega dos mesmos em pontos de destino pré-definidos, sempre dentro de um tempo limite e evitando outros perigos e obstáculos. Os resultados obtidos com a aplicação deste jogo demonstram que a transmissão de informação é bastante eficaz junto do seu público-alvo, devido em parte à abordagem mais dinâmica e interativa que um advergame tem com os seus utilizadores. A simplicidade da interface e facilidade de utilização proporcionada pelo jogo permitem uma exposição alargada da mensagem a passar, aumentando a motivação do jogador para se manter em contacto com o mesmo. Isto apresenta perspetivas bastante otimistas para o futuro da utilização de advergames no meio Universitário.

Vertex component analysis: a geometric-based approach to unmix hyperspectral data

Hyperspectral remote sensing exploits the electromagnetic scattering patterns of the different materials at specific wavelengths [2, 3]. Hyperspectral sensors have been developed to sample the scattered portion of the electromagnetic spectrum extending from the visible region through the near-infrared and mid-infrared, in hundreds of narrow contiguous bands [4, 5]. The number and variety of potential civilian and military applications of hyperspectral remote sensing is enormous [6, 7]. Very often, the resolution cell corresponding to a single pixel in an image contains several substances (endmembers) [4]. In this situation, the scattered energy is a mixing of the endmember spectra. A challenging task underlying many hyperspectral imagery applications is then decomposing a mixed pixel into a collection of reflectance spectra, called endmember signatures, and the corresponding abundance fractions [8–10]. Depending on the mixing scales at each pixel, the observed mixture is either linear or nonlinear [11, 12]. Linear mixing model holds approximately when the mixing scale is macroscopic [13] and there is negligible interaction among distinct endmembers [3, 14]. If, however, the mixing scale is microscopic (or intimate mixtures) [15, 16] and the incident solar radiation is scattered by the scene through multiple bounces involving several endmembers [17], the linear model is no longer accurate. Linear spectral unmixing has been intensively researched in the last years [9, 10, 12, 18–21]. It considers that a mixed pixel is a linear combination of endmember signatures weighted by the correspondent abundance fractions. Under this model, and assuming that the number of substances and their reflectance spectra are known, hyperspectral unmixing is a linear problem for which many solutions have been proposed (e.g., maximum likelihood estimation [8], spectral signature matching [22], spectral angle mapper [23], subspace projection methods [24,25], and constrained least squares [26]). In most cases, the number of substances and their reflectances are not known and, then, hyperspectral unmixing falls into the class of blind source separation problems [27]. Independent component analysis (ICA) has recently been proposed as a tool to blindly unmix hyperspectral data [28–31]. ICA is based on the assumption of mutually independent sources (abundance fractions), which is not the case of hyperspectral data, since the sum of abundance fractions is constant, implying statistical dependence among them. This dependence compromises ICA applicability to hyperspectral images as shown in Refs. [21, 32]. In fact, ICA finds the endmember signatures by multiplying the spectral vectors with an unmixing matrix, which minimizes the mutual information among sources. If sources are independent, ICA provides the correct unmixing, since the minimum of the mutual information is obtained only when sources are independent. This is no longer true for dependent abundance fractions. Nevertheless, some endmembers may be approximately unmixed. These aspects are addressed in Ref. [33]. Under the linear mixing model, the observations from a scene are in a simplex whose vertices correspond to the endmembers. Several approaches [34–36] have exploited this geometric feature of hyperspectral mixtures [35]. Minimum volume transform (MVT) algorithm [36] determines the simplex of minimum volume containing the data. The method presented in Ref. [37] is also of MVT type but, by introducing the notion of bundles, it takes into account the endmember variability usually present in hyperspectral mixtures. The MVT type approaches are complex from the computational point of view. Usually, these algorithms find in the first place the convex hull defined by the observed data and then fit a minimum volume simplex to it. For example, the gift wrapping algorithm [38] computes the convex hull of n data points in a d-dimensional space with a computational complexity of O(nbd=2cþ1), where bxc is the highest integer lower or equal than x and n is the number of samples. The complexity of the method presented in Ref. [37] is even higher, since the temperature of the simulated annealing algorithm used shall follow a log( ) law [39] to assure convergence (in probability) to the desired solution. Aiming at a lower computational complexity, some algorithms such as the pixel purity index (PPI) [35] and the N-FINDR [40] still find the minimum volume simplex containing the data cloud, but they assume the presence of at least one pure pixel of each endmember in the data. This is a strong requisite that may not hold in some data sets. In any case, these algorithms find the set of most pure pixels in the data. PPI algorithm uses the minimum noise fraction (MNF) [41] as a preprocessing step to reduce dimensionality and to improve the signal-to-noise ratio (SNR). The algorithm then projects every spectral vector onto skewers (large number of random vectors) [35, 42,43]. The points corresponding to extremes, for each skewer direction, are stored. A cumulative account records the number of times each pixel (i.e., a given spectral vector) is found to be an extreme. The pixels with the highest scores are the purest ones. N-FINDR algorithm [40] is based on the fact that in p spectral dimensions, the p-volume defined by a simplex formed by the purest pixels is larger than any other volume defined by any other combination of pixels. This algorithm finds the set of pixels defining the largest volume by inflating a simplex inside the data. ORA SIS [44, 45] is a hyperspectral framework developed by the U.S. Naval Research Laboratory consisting of several algorithms organized in six modules: exemplar selector, adaptative learner, demixer, knowledge base or spectral library, and spatial postrocessor. The first step consists in flat-fielding the spectra. Next, the exemplar selection module is used to select spectral vectors that best represent the smaller convex cone containing the data. The other pixels are rejected when the spectral angle distance (SAD) is less than a given thresh old. The procedure finds the basis for a subspace of a lower dimension using a modified Gram–Schmidt orthogonalizati on. The selected vectors are then projected onto this subspace and a simplex is found by an MV T pro cess. ORA SIS is oriented to real-time target detection from uncrewed air vehicles using hyperspectral data [46]. In this chapter we develop a new algorithm to unmix linear mixtures of endmember spectra. First, the algorithm determines the number of endmembers and the signal subspace using a newly developed concept [47, 48]. Second, the algorithm extracts the most pure pixels present in the data. Unlike other methods, this algorithm is completely automatic and unsupervised. To estimate the number of endmembers and the signal subspace in hyperspectral linear mixtures, the proposed scheme begins by estimating sign al and noise correlation matrices. The latter is based on multiple regression theory. The signal subspace is then identified by selectin g the set of signal eigenvalue s that best represents the data, in the least-square sense [48,49 ], we note, however, that VCA works with projected and with unprojected data. The extraction of the end members exploits two facts: (1) the endmembers are the vertices of a simplex and (2) the affine transformation of a simplex is also a simplex. As PPI and N-FIND R algorithms, VCA also assumes the presence of pure pixels in the data. The algorithm iteratively projects data on to a direction orthogonal to the subspace spanned by the endmembers already determined. The new end member signature corresponds to the extreme of the projection. The algorithm iterates until all end members are exhausted. VCA performs much better than PPI and better than or comparable to N-FI NDR; yet it has a computational complexity between on e and two orders of magnitude lower than N-FINDR. The chapter is structure d as follows. Section 19.2 describes the fundamentals of the proposed method. Section 19.3 and Section 19.4 evaluate the proposed algorithm using simulated and real data, respectively. Section 19.5 presents some concluding remarks.

A atividade dos estabilizadores da omoplata e movimento compensatório do tronco no gesto de alcance em indivíduos pós AVE

Introdução: Lesões como o AVE interferem com a capacidade de recrutar níveis adequados de atividade muscular, podendo levar ao aparecimento de movimentos compensatórios como a excessiva translação anterior do tronco, associada ao gesto de alcance. Objetivos: Descrever a relação entre a atividade dos estabilizadores da omoplata e o movimento compensatório do tronco no gesto de alcance, em 4 indivíduos pós AVE. Pretendeu-se também analisar o papel dos estabilizadores da omoplata na função do membro superior. Métodos: Quatro indivíduos com diagnóstico de AVE, que apresentavam alterações no nível de actividade dos estabilizadores da omoplata contralesional, foram sujeitos a uma avaliação realizada em três momentos, antes (M0), durante (M1) e após (M2) e a um período de intervenção, segundo os princípios do Conceito de Bobath. Recorreu-se à electromiografia de superfície para avaliar a atividade e o timming dos músculos grande dorsal, trapézio superior e trapézio inferior do hemicorpo contralesional e ao software de Avaliação Postural (SAPO) para analisar o deslocamento do tronco no sentido anterior, associados à realização do gesto de alcance. Foram aplicadas as escalas RPS e MESUPES para avaliar as componentes de movimento do gesto de alcance e a função do membro superior, respetivamente. Recorreu-se ao registo fotográfico para análise dos componentes de movimento na posição de sentado e em pé.Resultados: Os dados eletromiográficos registam atividade dos estabilizadores da omoplata unicamente num indivíduo em M2. A análise do deslocamento anterior do tronco revela melhorias em M1 em todos os indivíduos, sendo que em M2 essa evolução positiva não foi observada em três dos participantes. Entre M0 e M2, na escala RPS registam-se melhorias de 7 a 9 pontos no alvo próximo e de 5 a 10 pontos no alvo distante. Na escala MESUPES verificam-se melhorias entre 5 a 18 pontos na sub-escala braço e entre 5 a 8 pontos na sub-escala mão, em M2. A avaliação do registo fotográfico revela modificações nos componentes de movimento dos quatro indivíduos, nomeadamente na integração dos MI na base de suporte, na atividade do tronco inferior e superior e no alinhamento do MS contralesional. Conclusão: A melhoria do nível da atividade dos estabilizadores dinâmicos da omoplata sugere ter influência na diminuição do movimento compensatório do tronco no gesto de alcance e parece ter um papel na melhoria da eficácia distal do MS do mesmo lado.

A importância das consultoras no processo de internacionalização das micro, pequenas e médias empresas em Portugal

Relatório de Estágio Apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Empreendedorismo e Internacionalização, sob orientação da Mestre Inês Veiga Pereira

Marcadores biológicos de tabagismo : determinação de cutoff points

VII - CONSIDERAÇÕES FINAIS Este estudo desenvolveu-se devido facto de tanto quanto nos é dado a conhecer não terem sido determinados cutoff points de diferenciação entre fumadores e não fumadores em Portugal. Segundo vários autores é importante que estes valores sejam determinados em cada país devido às suas particularidades de prevalência do tabagismo e exposição involuntária ao fumo do tabaco. Foram também estudadas as variáveis que estão associadas e que influenciam os níveis do COex, da COHb, da cotinina plasmática e da cotinina urinária. De forma a cumprir os objectivos definidos, utilizou-se uma amostra de 102 indivíduos (53 fumadores e 49 não fumadores), tendo sido o tipo de amostragem não probabilística de conveniência. A dimensão da amostra e o tipo de amostragem são duas das limitações do estudo, uma vez que esta amostra não é representativa da população fumadora e não fumadora portuguesa, o que impede de generalizar os resultados nela obtidos à totalidade da população. Outra limitação identificada é o facto de não se terem encontrado estudos nacionais de características semelhantes a esta investigação, o que faz com que não seja possível comparar os resultados obtidos com estudos que tivessem utilizado amostras idênticas. Por essa razão a discussão de resultados foi efectuada considerando estudos internacionais cujas suas amostras para além de serem de maior dimensão os seus indivíduos possuem características particulares (prevalência do tabagismo e exposição involuntária ao fumo do tabaco) que dificultam a comparação dos resultados. Nos estudos internacionais muitas vezes não são estudadas as variáveis caracterizadoras dos hábitos tabágicos, o que leva mais uma vez à impossibilidade de relacionar correctamente os nossos resultados com outros obtidos por diferentes autores. Devido ao interesse dos resultados obtidos, seria importante que este estudo, tivesse continuidade, mas com algumas modificações que foram impossíveis de realizar no contexto em que se desenvolveu esta investigação. De forma a generalizar os resultados seria ideal utilizar uma amostra representativa da população fumadora e não fumadora nacional, o que permitiria ficar a conhecer mais fidedignamente os cutoff points de diferenciação entre fumadores e não fumadores em Portugal. Esta informação seria de grande utilidade para caracterizar correctamente os hábitos tabágicos dos indivíduos, permitindo reconhecer em que casos é necessário intervir para cessar os hábitos tabágicos e ainda nas consultas de cessação tabágica para um apropriado follow-up dos sujeitos. Outro aspecto em que esta investigação poderia ser complementada, diz respeito às variáveis caracterizadoras dos hábitos tabágicos, isto porque de acordo com a análise de regressão linear multivariada, através do modelo proposto, uma grande percentagem da variabilidade dos marcadores biológicos de tabagismo ficou por explicar, assim sendo seria importante estudar também outras variáveis, e construir outro modelo que explicasse de forma ainda mais expressiva a variabilidade dos biomarcadores. Sugerem-se como outras variáveis a ser estudas aquelas que estão relacionadas com as características inalatórias de cada indivíduo (número, frequência, profundidade, duração e percentagem de cigarros consumido e desperdiçado). Também a exposição involuntária ao fumo do tabaco deveria ser melhor caracterizada, acrescentando às variáveis analisadas neste estudo, outras que caracterizassem de forma mais precisa o tipo de exposição a que os indivíduos podem estar sujeitos no seu dia a dia (domiciliária, laboral e ambiental). Idealmente deveriam conhecer-se o número de cigarros que são fumados na proximidade dos indivíduos, assim como saber quais as características dos espaços fechados sobretudo no que respeita às condições de ventilação. É importante que surjam trabalhos a nível nacional relacionados com os marcadores de tabagismo, porque o tabagismo representa um problema de saúde pública sobre o qual é necessário intervir. É importante caracterizar correctamente os biomarcadores de tabagismo de forma a determinar a real prevalência do tabagismo e avaliar medidas preventivas e políticas de saúde pública. Actualmente decorridos 3 anos da aprovação da Lei 32/2007 em que foram aprovadas as normas de protecção dos cidadãos da exposição involuntária ao fumo do tabaco, a avaliação dos marcadores biológicos pode desempenhar um papel preponderante para caracterizar o impacto da implicação da Lei, uma vez que estes reflectem a exposição activa e passiva ao fumo do tabaco.

Investigation of trypanothione synthetase of Leishmania infantum as a potential target for new anti-parasitic drugs

Dissertação para obtenção do Grau de Mestre em Biotecnologia

A go-to-market strategy for vertebral metrics

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Energy-aware task mapping onto heterogeneous platforms using DVFS and sleep states

Heterogeneous multicore platforms are becoming an interesting alternative for embedded computing systems with limited power supply as they can execute specific tasks in an efficient manner. Nonetheless, one of the main challenges of such platforms consists of optimising the energy consumption in the presence of temporal constraints. This paper addresses the problem of task-to-core allocation onto heterogeneous multicore platforms such that the overall energy consumption of the system is minimised. To this end, we propose a two-phase approach that considers both dynamic and leakage energy consumption: (i) the first phase allocates tasks to the cores such that the dynamic energy consumption is reduced; (ii) the second phase refines the allocation performed in the first phase in order to achieve better sleep states by trading off the dynamic energy consumption with the reduction in leakage energy consumption. This hybrid approach considers core frequency set-points, tasks energy consumption and sleep states of the cores to reduce the energy consumption of the system. Major value has been placed on a realistic power model which increases the practical relevance of the proposed approach. Finally, extensive simulations have been carried out to demonstrate the effectiveness of the proposed algorithm. In the best-case, savings up to 18% of energy are reached over the first fit algorithm, which has shown, in previous works, to perform better than other bin-packing heuristics for the target heterogeneous multicore platform.

Sol-gel biomimetic material designed to target CEA cancer biomarker

1st ASPIC International Congress

Decentralized Target Tracking based on Multi-Robot Cooperative Triangulation

Target tracking with bearing-only sensors is a challenging problem when the target moves dynamically in complex scenarios. Besides the partial observability of such sensors, they have limited field of views, occlusions can occur, etc. In those cases, cooperative approaches with multiple tracking robots are interesting, but the different sources of uncertain information need to be considered appropriately in order to achieve better estimates. Even though there exist probabilistic filters that can estimate the position of a target dealing with incertainties, bearing-only measurements bring usually additional problems with initialization and data association. In this paper, we propose a multi-robot triangulation method with a dynamic baseline that can triangulate bearing-only measurements in a probabilistic manner to produce 3D observations. This method is combined with a decentralized stochastic filter and used to tackle those initialization and data association issues. The approach is validated with simulations and field experiments where a team of aerial and ground robots with cameras track a dynamic target.

Groundtruth system for underwater benchmarking

Oceans - San Diego, 2013

Thermographic and visible spectrum camera calibration for marine robotic target detection

Oceans - San Diego, 2013