Information profiles for DNA pattern discovery

Finite-context modeling is a powerful tool for compressing and hence for representing DNA sequences. We describe an algorithm to detect genomic regularities, within a blind discovery strategy. The algorithm uses information profiles built using suitable combinations of finite-context models. We used the genome of the fission yeast Schizosaccharomyces pombe strain 972 h- for illustration, unveilling locations of low information content, which are usually associated with DNA regions of potential biological interest.Comment: Full version of DCC 2014 paper "Information profiles for DNA pattern discovery

Interesses e valores de alunos do ensino profissional

[Resumo] A presente investigaçao pretendeu estudar a relaçao entre os interesses e os valores dos alunos do ensino profissional de nível II!. O Inventário de Interesses Vocacionais e a Escala de Valores WIS foram aplicados a 379 alunos de ambos os sexos que frequentavam diferentes cursos técnicos, em quatro escolas profissionais do districto de Leiria. Os resultados confirmam a existencia de diferen<;as significativas entre os interesses (Investigador, Artístico, Social, Empreendedor, Convencional e Realista) para cada urna das áreas de forma<;ao. Ao nível dos valores verificámos algumas diferenças significativas entre o sexo masculino e o sexo feminino e entre as diversas áreas de formaçao. As correlaçoes entre os interesses e os valores sao na generalidade baixas, no entanto, verificase a existencia de relaçoes significativas, no sentido esperado, nomeadamente entre a escala que avalia os interesses empreendedores e as escalas que avaliam os valores Autoridade, Prestígio, Promoçao e Económico, e entre a escala que avalia os interesses Artísticos e a Criatividad

Relative price dynamics, factor shares and endogenous growth

Masters EconomicsWe present a two sector general-equilibrium model of endogenous growth for a small open economy. We show that the model lias saddle-path stability in- dependently of the factor intensities, however the details of the transitional dynamics will diífer. The dimension of the stable manifold is always one but the slope of the stable manifold changes depending on the factor shares. If the factor shares are such that each sector uses more intensively its own capital, then after a shock the economy will adjust through prices variations. When the factor shares intensities are reversed, the adjustment is made through quantities variations. Moreover we find that a productivity shock on the traded sector has always a positive effect on the relative price. Government demand shocks have no long run effect on the relative price and its effect ou the GDP is not clear.Modelizamos uma pequena economia aberta cora dois sectores e crescimento endógeno. Mostramos que o modelo apresenta estabilidade tipo sela inde- pendentemente das intensidades factoriais, no entanto as propriedades da dinâmica de transição vão diferir. A dimensão das trajectórias convergentes é sempre um mas a inclinação muda dependendo das proporções dos fac- tores. No caso de cada sector usar mais intensivamente o seu próprio capital, após um choque, a economia vai estabilizar por variações nos preços e no caso contrário a estabilização é feita por variações nas quantidades. Alem disso, mostramos que um choque de produtividade no sector transaccionável tem sempre um efeito positivo no preço relativo. Choques governamentais de procura não têm efeito de longo prazo no preço relativo e o seu efeito no produto não é claxo.info:eu-repo/semantics/publishedVersio

Factores climáticos no consumo de energia eléctrica: um caso com utilização de data mining.

4ª Conferência Ibérica de Sistemas e Tecnologias de Informação, 17 a 20 de Junho de 2009, Póvoa de Varzim.Este trabalho tem por objectivo identificar causas responsáveis por variações no consumo horário de energia com base na identificação de padrões e relações entre os dados de consumo e várias variáveis climatéricas. Para tal utilizam-se técnicas de data mining, nomeadamente a metodologia CRISP-DM e software de data warehouse MS SQL Server. Assim, foi possível verificar que as variáveis climatológicas têm influência muito significativa na produção de energia eléctrica, tendo sido possível prever os consumos de 2007 com um erro absoluto médio de 1,4 MW. Identificam-se ainda vários padrões no comportamento do consumo ou produção de energia eléctrica, nem todos espectáveis face ao conhecimento actual de domínio

QBER Estimation in QKD Systems With Polarization Encoding

A model for quantum BER estimation in polarization encoded quantum key distribution systems is presented. Both TDM and WDM based polarization control schemes are analyzed. It is shown that TDM presents some important advantages when compared with the WDM control scheme. In WDM, the polarization decorrelation between the reference and data signals is an intrinsic and very limitative impairment. This effect has a contribution to quantum BER that increases with the propagation distance, and is highly dependent on the fiber polarization mode dispersion. In the TDM control scheme, the polarization decorrelation is less critical and other issues, like the single photon detector and feedback polarization control system performance tend to dominate. We show that for long distances the fiber losses represent the main contribution to the total quantum BER. Nevertheless, for distances shorter than 70 km and frequencies higher than 5 MHz the after pulse detections provide an important contribution to the total quantum BER

Selective applicative functors & probabilistic programming

Dissertação de mestrado integrado em Informatics EngineeringIn functional programming, selective applicative functors (SAF) are an abstraction between applicative functors and monads. This abstraction requires all effects to be statically declared, but provides a way to select which effects to execute dynamically. SAF have been shown to be a useful abstraction in several examples, including two industrial case studies. Selective functors have been used for their static analysis capabilities. The collection of information about all possible effects in a computation and the fact that they enable speculative execution make it possible to take advantage to describe probabilistic computations instead of using monads. In particular, selective functors appear to provide a way to obtain a more efficient implementation of probability distributions than monads. This dissertation addresses a probabilistic interpretation for the arrow and selective abstractions in the light of the linear algebra of programming discipline, as well as exploring ways of offering SAF capabilities to probabilistic programming, by exposing sampling as a concurrency problem. As a result, provides a Haskell type-safe matrix library capable of expressing probability distributions and probabilistic computations as typed matrices, and a probabilistic programming eDSL that explores various techniques in order to offer a novel, performant solution to probabilistic functional programming.Em programação funcional, os functores aplicativos seletivos (FAS) são uma abstração entre functores aplicativos e monades. Essa abstração requer que todos os efeitos sejam declarados estaticamente, mas fornece uma maneira de selecionar quais efeitos serão executados dinamicamente. FAS têm se mostrado uma abstração útil em vários exemplos, incluindo dois estudos de caso industriais. Functores seletivos têm sido usados pela suas capacidade de análise estática. O conjunto de informações sobre todos os efeitos possíveis numa computação e o facto de que eles permitem a execução especulativa tornam possível descrever computações probabilísticas. Em particular, functores seletivos parecem oferecer uma maneira de obter uma implementação mais eficiente de distribuições probabilisticas do que monades. Esta dissertação aborda uma interpretação probabilística para as abstrações Arrow e Selective à luz da disciplina da álgebra linear da programação, bem como explora formas de oferecer as capacidades dos FAS para programação probabilística, expondo sampling como um problema de concorrência. Como resultado, fornece uma biblioteca de matrizes em Haskell, capaz de expressar distribuições de probabilidade e cálculos probabilísticos como matrizes tipadas e uma eDSL de programação probabilística que explora várias técnicas, com o obejtivo de oferecer uma solução inovadora e de alto desempenho para a programação funcional probabilística

Histogram packing, total variation, and lossless image compression

Publication in the conference proceedings of EUSIPCO, Toulouse, France, 200

Improving by sustainability in sport facilities

Comunicação apresentada em Energy for Sustainability 2013 - Sustainable Cities: Designing for People and the Planet, Coimbra, Portugal, 8-10 September 2013Sporting structures particularly in Portugal, which were built for Euro 2004, in addition to belonging to clubs, the rest, have a very low utilization rate. But all in general have high operating costs and little control in the use of resources available. From the cases of stadiums Letzigrund, Zurich, Switzerland and Amsterdam Arena, the Netherlands, there may be a new vision for the improvement of Portuguese stadiums. In the case of the stadium was the Letzigrund stadium in its construction was dubbed the Green Stadium, built for Euro 2008. Among the recommended measures were implemented immediately: Green roof: with a photovoltaic system with an area of 2500 m2 and Solar Thermal Collectors 90 m2, heating by pellets; Promoting green transport: public transport; Waste management by implementing reusable cup; Lighting System: Minergie. The Amsterdam Arena, even having been built in 1998, has now the objective for 2015, be the first zero carbon stadium. The Amsterdam ArenA strives: to be a platform for sustainable innovations; to reduce our own environmental impact, and that of our events; to be a good neighbor and a positive boost for the economy; to increase our sustainable impact together with others. It presents an analysis of the measures advocated by these two football stadiums for sustainability, and measures can be defined and advocated an example and be applicable in Euro 2004 stadiums. It is considered that the implementation of measures for sustainability in sports facilities can be made throughout his life in order to have lower cost and operating efficiency

O efeito de factores climáticos no consumo de energia eléctrica

Neste trabalho identificam-se as causas responsáveis por variações no consumo horário de energia com base na identificação de padrões e relações entre os dados de consumo e várias variáveis climatéricas. Para tal utilizam-se técnicas de data mining, nomeadamente a metodologia CRISP-DM e software de data warehouse MS SQL Server. Assim, foi possível verificar que as variáveis climatéricas têm influência muito significativa na produção de energia eléctrica, tendo sido possível prever os consumos de 2007 com um erro absoluto médio de 1,4 MW. Identificam-se ainda vários padrões no comportamento do consumo ou produção de energia eléctrica, nem todos espectáveis face ao conhecimento actual de domínio.info:eu-repo/semantics/publishedVersio