11 resultados para spectral spaces in MV-algebra
em Instituto Politécnico do Porto, Portugal
Resumo:
In Permanent Transit: Discourses and Maps of the Intercultural Experience builds interdisciplinary approaches to the study of migrations, traffics, globalization, communication, regulations, arts, literature, and other intercultural processes, in the context of past and present times. The book offers a convergence of perspectives, combining conceptual and empirical work by sociologists, anthropologists, historians, linguists, educators, lawyers, media, specialists, and literary studies writers, in their shared attempt to understand the many routes of the intercultural experience. In Permanent Transit: Discourses and Maps of the Intercultural Experience builds interdisciplinary approaches to the study of migrations, traffics, globalization, communication, regulations, arts, literature, and other intercultural processes, in the context of past and present times. The book offers a convergence of perspectives, combining conceptual and empirical work by sociologists, anthropologists, historians, linguists, educators, lawyers, media, specialists, and literary studies writers, in their shared attempt to understand the many routes of the intercultural experience.
Resumo:
Linear Algebra—Selected Problems is a unique book for senior undergraduate and graduate students to fast review basic materials in Linear Algebra. Vector spaces are presented first, and linear transformations are reviewed secondly. Matrices and Linear systems are presented. Determinants and Basic geometry are presented in the last two chapters. The solutions for proposed excises are listed for readers to references.
Resumo:
This study describes the change of the ultraviolet spectral bands starting from 0.1 to 5.0 nm slit width in the spectral range of 200–400 nm. The analysis of the spectral bands is carried out by using the multidimensional scaling (MDS) approach to reach the latent spectral background. This approach indicates that 0.1 nm slit width gives higher-order noise together with better spectral details. Thus, 5.0 nm slit width possesses the higher peak amplitude and lower-order noise together with poor spectral details. In the above-mentioned conditions, the main problem is to find the relationship between the spectral band properties and the slit width. For this aim, the MDS tool is to used recognize the hidden information of the ultraviolet spectra of sildenafil citrate by using a ShimadzuUV–VIS 2550, which is in theworld the best double monochromator instrument. In this study, the proposed mathematical approach gives the rich findings for the efficient use of the spectrophotometer in the qualitative and quantitative studies.
Resumo:
This study describes the change of the ultraviolet spectral bands starting from 0.1 to 5.0 nm slit width in the spectral range of 200–400 nm. The analysis of the spectral bands is carried out by using the multidimensional scaling (MDS) approach to reach the latent spectral background. This approach indicates that 0.1 nm slit width gives higher-order noise together with better spectral details. Thus, 5.0 nm slit width possesses the higher peak amplitude and lower-order noise together with poor spectral details. In the above-mentioned conditions, the main problem is to find the relationship between the spectral band properties and the slit width. For this aim, the MDS tool is to used recognize the hidden information of the ultraviolet spectra of sildenafil citrate by using a Shimadzu UV–VIS 2550, which is in the world the best double monochromator instrument. In this study, the proposed mathematical approach gives the rich findings for the efficient use of the spectrophotometer in the qualitative and quantitative studies.
Resumo:
In this work an adaptive modeling and spectral estimation scheme based on a dual Discrete Kalman Filtering (DKF) is proposed for speech enhancement. Both speech and noise signals are modeled by an autoregressive structure which provides an underlying time frame dependency and improves time-frequency resolution. The model parameters are arranged to obtain a combined state-space model and are also used to calculate instantaneous power spectral density estimates. The speech enhancement is performed by a dual discrete Kalman filter that simultaneously gives estimates for the models and the signals. This approach is particularly useful as a pre-processing module for parametric based speech recognition systems that rely on spectral time dependent models. The system performance has been evaluated by a set of human listeners and by spectral distances. In both cases the use of this pre-processing module has led to improved results.
Resumo:
O envelhecimento da população é um fenómeno das sociedades contemporâneas simultâneo à crescente modificação do meio urbano. De modo a responder a estas alterações a Organização Mundial de Saúde (OMS) lançou o projeto Cidade Amiga das Pessoas Idosas que preconiza a adaptação das estruturas e serviços para que estes sejam acessíveis e promovam a inclusão dos cidadãos idosos. A presente investigação, de natureza qualitativa e exploratória, tem como objetivo verificar se a cidade do Porto possui características de uma cidade amiga das pessoas idosas através da visão de prestadores de serviços a pessoas idosas das freguesias de Paranhos, Cedofeita, St. Ildefonso, Bonfim e Campanhã. Pretende, assim, ser um contributo para o desenvolvimento do projeto Cidade Amiga das Pessoas Idosas na cidade portuense. Para tal, realizam-se 3 focus groups com prestadores de serviços selecionados a partir de uma amostragem por conveniência, onde se utiliza um guião de entrevista semi-estruturado com as seguintes categorias: espaços exteriores e edifícios, transportes, habitação, participação social, respeito e inclusão social, participação cívica e emprego, comunicação e informação e apoio comunitário e serviços de saúde. É possível verificar que os participantes partilham, de forma geral, uma imagem positiva da cidade do Porto, contudo, têm tendência a iniciar o discurso pelas características negativas da cidade. Colaboram também com sugestões de melhoria para a cidade. Pela perspetiva dos participantes é possível verificar que aspetos relacionados com espaços exteriores e edifícios, respeito e inclusão social e apoio comunitário e serviços de saúde se destacam pela negativa, enquanto aspetos intimos à participação social das pessoas idosas bem como, à comunicação e informação na cidade do Porto são na generalidade elogiados. Desta forma, indicam como positivo o aparecimento de novas iniciativas como as Universidades Seniores ou o projeto “Afetos” desenvolvido pela Misericórdia; as ofertas dirigidas à população sénior desenvolvidas pelas Juntas de Freguesia e a presença de jornais de distribuição gratuita, em espaços públicos. Por oposição, identificam como pouco amigo das pessoas idosas os passeios pouco largos, com obstáculos e pouco cuidados; a falta de casas de banho públicas; o desinvestimento em atividades intergeracionais e a carência de lares públicos na cidade.
Resumo:
Mestrado em Engenharia Química. Ramo Tecnologias de Protecção Ambiental.
Resumo:
L‘auteur entreprend l‘approche de l‘importance particulière du rapport aux espaces habités ou inhabités dans l‘imaginaire et la construction narrative des textes fictionnels de l‘écrivain belge francophone contemporain Eugène Savitzkaya de Mentir (1977) jusqu‘à En vie (1994). Il s‘agit de souligner la pertinence de l‘habitat en tant que support des imaginaires de l‘enfance et de la poétisation du quotidien. L‘espace s‘avère en effet un repère symbolique et poétique chez Savitzkaya ; ce qui lui permet de s‘exprimer et d‘exprimer son enfance sur un mode autofictionnel.
Resumo:
Mestrado em Engenharia Química - Tecnologias de Protecção Ambiental
Resumo:
O Geocaching é um jogo, criado pela Groundspeak, que consiste em esconder e encontrar objetos geolocalizados conhecidos como geocaches. A busca das geocaches é na realidade uma aventura que promove a vivência de novas experiências, o convívio entre utilizadores, a descoberta de novos espaços na natureza, a realização de jogos em tempo e cenário real, entre outros. Existem geocaches espalhadas por todo o mundo e milhares de utilizadores estão já registados no jogo. Além de passatempo, o Geocaching consegue ser uma ferramenta de marketing digital, quer para a própria Groundspeak, mas também para diferentes empresas/instituições por todo o mundo normalmente associadas à localização das geocaches. A Groundspeak é, naturalmente, a mais beneficiada uma vez que, praticamente sem investir em publicidade, conseguiu que o jogo tenha cada vez mais adeptos. A sua divulgação é essencialmente feita pelos próprios utilizadores, quer através da comunicação direta com um não utilizador, quer através de redes sociais, de eventos organizados, mas também através de outras empresas que desenvolveram aplicações com funcionalidades extra que permitem ao utilizador uma melhor experiência. O objetivo desta dissertação foi o de demonstrar como é que o Geocaching pode ser usado como uma ferramenta de Marketing Digital. Inicialmente, foi analisada a questão do Marketing Digital e das suas ferramentas, focando o Geocaching e a sua dimensão no mundo, explicando os diferentes tipos de caches e de que forma as mesmas podem ser utilizadas como ferramentas de marketing. Como elemento de validação, foi concebida, desenvolvida e validada uma wherigo (um tipo de geocache), que consiste num jogo virtual onde o progresso do jogador depende das tarefas realizadas e da sua movimentação geolocalizada. A wherigo criada no âmbito do projeto é um meio de marketing digital, de divulgação do Castelo de Santa Maria da Feira, realizada de uma forma interativa e divertida, através de questionários, desafios e fantasia. O jogo incita a percorrer os jardins que rodeiam o Castelo bem como o interior do mesmo e permite ainda o acesso dos jogadores ao Castelo com desconto de geocacher na aquisição do ingresso. Os objetivos propostos inicialmente foram completamente cumpridos, sendo que o jogo já se encontra disponível para ser jogado por geocachers e foi por eles avaliado muito positivamente.
Resumo:
This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.