RCAAP Repository

The question of truth is recurrent in Fregean texts. This work focuses on the historical and theoretical research on the subject in the work of Frege and of those who set out to comment on the matter. The epistemology is handled directly in the article The Thought (1918-1919) that will guide our search for the right way that we know the world. Frege's life will be addressed to clarify the reading of the article as a project that is in the overall work of the philosopher and not separated from the Fregean project, as well as the influences that other philosophers had on the work. The delimitation of what is studied by logic is essential to contextualize how the term 'truht' is actually approached, in the other words, the delimitation of 'be true', or the normalization to get knowledge about the world. The thought is taken as the bearer of truth, it is independent of the objective world and that the representations of which they are part. The proposition is the dress of thought, so that man can assert about the world. We must avoid the forms of knowledge that are contaminated by sensible experience, for it alone is not capable of capture the truth, which has its own dimension in Frege's philosophy. The truth must be understood as a fact which is recognized as true and we can get to it by observing the laws of logic.

Since the 60s, when the migration of highly qualified individuals towards developed countries has intensified, the term brain drain has gained widespread use. Although there is a consensus in the literature on the beneficial effect of brain drain to the economy of recipient regions of manpower, skilled labor, the effects for broadcasters regions are a controversial subject. Especially in Brazil, this topic is still little explored. Thus, the main objective of this dissertation was to analyze the effects of migration of workers with higher education on productivity and the accumulation of human capital in the migrant origin cities. The dissertation was written in two trials. Chapter 1 investigated the existence of brain drain Brazilian intermunicipal and its impact on labor productivity in issuing municipalities of labor-skilled workers. To achieve the research objectives, the methodology developed by Becker Andrea Ichino (2004) was adapted, assuming non-linear returns of education on income, correction of sample selection bias and disaggregated analysis by municipality. The data used were obtained from the Demographic Census of 2010. The productivity indicators showed that, overall, there seems to be more losers than winners municipalities when assessing the productivity gap if the emigrants had remained in the departure city. By combining lost productivity indicators with the rate of graduates residents were identified municipalities where there may be brain drain with negative effects, which are predominantly located in the states of the Northeast. Already chapter 2 aimed to identify the effects of migration of brains on the accumulation of human capital in issuing municipalities of highly skilled workers. Therefore, the empirical strategy used was the same developed by Beine, Docquier e Rapoport (2008), which was based on the estimation of a conditional convergence model. Additionally, a counterfactual exercise was conducted in order to identify losses and net earnings by municipality groups, based on Demographic Census 2000 and 2010. The work has found that skilled emigration rate is related inversely to the variation in the stock of capital human, which may be related to the presence of barriers to access to education in Brazil. It was found that the small cities had higher losses in terms of human capital, especially Aliança do Tocantins, Viçosa and Damolândia. In relation to the cities listed with the largest gains were identified four capitals: Vitoria, Aracaju, Palmas and Santos. The other winners were mostly cities of São Paulo, although all small, with the exception of Santos. The results of this trial suggest that in Brazil the presence of barriers to higher education seem to block a possible investment in education stimulus from the migration of brains, especially in smaller towns.

capes

FACEPE

CAPES

CNPQ

No presente estudo foram realizados experimentos para avaliar o crescimento de Lactobacillus rhamnosus em suco do Maracujá da Caatinga, bem como sua resistência a diferentes fatores físico-químicos. Foi realizada a caracterização da polpa do maracujá quanto aos teores de açúcares, pH e ácidos orgânicos (cítrico e málico). Inicialmente, foram investigados tanto a concentração de inóculo (0,1%, 1,0% e 5% V/V), quanto a temperatura (30°C, 33,5°C e 37°C), para um maior crescimento do micro-organismo. Na segunda etapa do trabalho, foi aplicado um planejamento composto central rotacional (DCCR), variando as concentrações do inóculo e da polpa do maracujá, cujos níveis foram 0,5%, 1,5% e 2,5% V/V, e 5%, 10% e 15% V/V, respectivamente. As respostas avaliadas foram a relação entre a viabilidade e o pH finais da fermentação, bem como a concentração de ácido lático. Foram realizados estudos cinéticos sobre a viabilidade do L. rhamnosus utilizando as melhores concentrações de inóculo e de polpa, selecionadas no DCCR, durante a fermentação e estoque refrigerado. A sobrevivência da linhagem sob as condições de estresse gastrointestinal também foi avaliada durante o estoque. A polpa continha 50 g.L-1 ART, 46 g.L-1 de ácido cítrico e 9 g.L-1 de ácido málico. Nos ensaios preliminares, os melhores resultados foram obtidos no experimento com 1% V/V de inóculo e a 37°C. As melhores condições de crescimento obtidas nos experimentos do DCCR foram 2,91% V/V de inóculo e 14,45% V/V de polpa. Durante o estoque refrigerado não houve mudança significativa na viabilidade de L. rhamnosus, mantendo em 9 Log (UFC.mL-1), mesmo após a simulação das condições gastrointestinais.

FACEPE

FACEPE

O comportamento do tráfego das redes atuais é caótico, possuindo propriedades estatísticas que incluem correlações temporais complexas. Neste cenário, um problema ainda não resolvido é o do congestionamento do tráfego. É um problema atual que tem sido agravado com o crescimento do uso de aplicações multimídia de tempo real com requisitos estritos de atraso. Apesar do aumento das taxas de transmissão dos canais de longa distância, o problema do congestionamento ainda persiste, sobretudo nas redes de acesso. A natureza não estacionária do tráfego das redes, as dependências temporais de curto e de longo alcance e os ruídos presentes no tráfego tornam difícil a tarefa de se fazer previsão de congestionamentos. Os benefícios de se prever possíveis congestionamentos em um tempo futuro curto (na ordem de milissegundos) são relevantes para os mecanismos de controle de congestionamento das atuais redes, pois evita o desperdício de recursos através de medidas de controle que vão desde o descarte de pacotes até o provisionamento de largura de banda adicional nos canais, passando pela limitação da taxa de entrada de pacotes na rede. Este trabalho propõe e implementa o mecanismo ProCon para identificar situações que podem causar congestionamentos em redes de computadores. O método usado para alcançar tal objetivo é a transformação de séries de tempo que representam o tráfego real nas redes para identificar a componente de tendência das mesmas. A idéia é utilizar wavelets, ou seja, ao invés de prever o comportamento do tráfego diretamente no domínio do tempo, modelamse as propriedades estatísticas da série no domínio wavelet e, em seguida, utilizam-se técnicas de estimação de tendências para indicar possíveis casos de congestionamento. O mecanismo proposto produziu o efeito desejado, pois detectou possíveis casos de congestionamento

Pattern mining in spatio-temporal datasets is a really relevant subject in the academia and the industry nowadays, due to its wide applicability in helping to solve real-world problems. Many of them can be found in the context of Smart Cities, like Traffic Management, Surveillance and Security and City Planning, to name a few. Among the various spatio-temporal patterns that one can extract from a spatio-temporal dataset, the flock pattern is one that has gained a lot of attention, because of its intrinsic relation with the aforementioned problems. A lot of work has been done in the academia, in order to provide algorithms able to identify the flock pattern. However, none of them could perform that task efficiently nor be able to scale well when a large dataset was the analysis target. Additionally, we found that there was no system architecture proposal that could be simple and modular enough to be used in that spatio-temporal pattern detection problem. Given that context, this dissertation proposes a modular system archicture designed to help solving flock pattern mining problems and possibly be reused to other spatio-temporal mining experiments. We then use such architecture as the infrastructure to implement an efficient flock detection algorithm, aiming at achieving considerable gains in execution time without compromising accuracy, thus targeting real-time deployment and on-line processing in Smart Cities. Last, but not least, we remodel our algorithm in order to take advantage of multi-core architectures present in modern computers. Our results indicate that our proposal outperforms the current state-of-the-art techniques, by achieving 99% CPU time improvement. Moreover, with our multi-thread model, we were able to reduce the processing time of our proposed algorithm by 96% in some cases. We prove the efficiency of our solution by performing evaluation with both real and synthetic large datasets.

A β-lapachona é uma naftoquinona (3,4-dihidro-2,2-dimetil-2H-naftol[1,2-b]pirano-5,6-diona) de peso molecular 243,3 g.mol-1 presente na Tabebuia avellanedae Lor, árvore conhecida como ipê roxo ou pau d’arco roxo. Esta naftoquinona é uma substância que pode ser obtida por uma semi-síntese a partir do lapachol bem como do lomatiol. Este bioativo apresenta múltiplos efeitos farmacológicos, como antibacteriano, antifúngico, antiviral, anti-inflamatório e anti-proliferativo. Segundo o sistema de classificação biofarmacêutica, a β-lapachona (BL ou β-lap) é classificada como classe II apresentando baixa solubilidade e alta permeabilidade. Desta forma, faz necessário um estudo de incremento de solubilidade aquosa. O objetivo deste trabalho foi caracterizar físico-quimicamente os complexos propostos utilizando dois polímeros: o dendrímero bis-MPA (DEN) e a cucurbit[6]urila (CUC). O presente estudo mostra duas metodologias para a formação de complexos entre a β-lapachona /dendrímero (BLD) e β-lapachona /cucurbiturila (BLC), visando o aumento da solubilidade deste fármaco através de interações intermoleculares e suas respectivas caracterizações físico-químicas. O complexo com o dendrímero foi preparado a partir de uma relação massa/massa de 3(fármaco):1 (carreador) variando o tempo de adsorção de 1, 3 e 7 dias. Para os complexos com a cucurbiturila uma relação molar 1:1 foi estabelecida para a formação dos complexos de inclusão com BL, variando o período de adsorção em 1, 3 e 7 dias. Após o período de agitação, os complexos BLD e BLC foram evaporados e secos a temperatura ambiente para posterior caracterização. Os complexos obtidos foram caracterizados por cromatografia líquida de alta eficiência, ultravioleta na região do visível, espectroscopia de absorção vibracional na região do infravermelho, espectrometria de ressonância magnética nuclear de hidrogênio, análise termogravimétrica, análise calorimétrica diferencial, difratometria de raio-X e microscopia eletrônica de varredura. Para o complexo BLD ficou evidente que a variação no tempo de adsorção não interferiu na quantidade de produto formado ou nas propriedades do complexo obtido. Os resultados das caracterizações mostram que o BLDD1 e o BLCD1 foram formados de acordo com os dados espectroscópicos e espectrométricos que demonstram variações nos sinais de BL quando complexado. Houve uma mudança na cristalinidade da BL, a qual era bastante cristalina, para um material mais amorfo com morfologia distinta do fármaco isolado. Os resultados das caracterizações térmicas exibiram, para os complexos, uma maior estabilidade térmica da β-lap complexada (BLDD e BLCD) e menor energia de fusão, quando comparado com β-lapachona livre. Essas informações também sugerem uma diminuição na cristalinidade do complexo o que é indicativo para o incremento de solubilidade. Desta forma propôs-se a caracterização físico-química como um indício de melhoria na solubilidade da β-lapachona através da formação de complexos entre BL e dois carreadores distintos e suas contribuições para estudos de uma possível formulação farmacêutica futura.

CAPES

A escolha de algoritmos ou heurísticas para a resolução de um dado problema é uma tarefa desafiadora devido à variedade de possíveis escolhas de variações/configurações de algoritmos e a falta de auxílio em como escolhê-las ou combiná-las. Por exemplo, o desempenho de algoritmo de otimização depende da escolha dos seus operadores de busca e do ajuste adequado de seus hiper-parâmetros, cada um deles com muitas possibilidades de opções a serem escolhidas. Por este motivo, existe um interesse de pesquisa crescente na automatização da otimização de algoritmos de modo a tornar esta tarefa mais independente da interação humana. Diferentes abordagens têm lidado com a tarefa de ajuste de algoritmos como sendo outro problema de (meta)otimização. Estas abordagens são comumente chamadas de hiper-heurísticas, onde cada solução do espaço de busca, neste caso, é um possível algoritmo avaliado em um dado problema. Inicialmente, hiper-heurísticas foram aplicadas na seleção de valores de hiper-parâmetros em um espaço de busca pré-definido e limitado. No entanto, recentemente, hiper-heurísticas têm sido desenvolvidas para gerar algoritmos a partir de componentes e funções especificados. Hiperheurísticas de geração são consideradas mais flexíveis que as de seleção devido à sua capacidade de criar algoritmos novos e personalizados para um dado problema. As hiper-heurísticas têm sido largamente utilizadas na otimização de meta-heurísticas. No entanto, o processo de busca torna-se bastante custoso, pois a avaliação das soluções trata-se da execução do algoritmo no problema de entrada. Neste trabalho, uma nova hiper-heurística foi desenvolvida para a otimização de algoritmos considerando um dado problema. Esta solução visa prover algoritmos otimizados que sejam adequados para o problema dado e reduzir o custo computacional do processo de geração significativamente quando comparado ao de outras hiper-heurísticas. A hiper-heurística proposta combina uma abordagem de seleção de algoritmos com uma hiper-heurística de geração. A hiperheurística de geração é responsável por criar uma base de conhecimento, que contém algoritmos que foram gerados para um conjunto de problemas. Uma vez que esta base de conhecimento esteja disponível, ela é usada como fonte de algoritmos a serem recomendados pela abordagem de seleção de algoritmos. A ideia é reusar algoritmos previamente construídos pela hiper-heurística de geração em problemas similares. Vale salientar que a criação de hiper-heurísticas visando reduzir o custo de geração de algoritmos sem comprometer a qualidade destes algoritmos não foi estudada na literatura. Além disso, hiper-heurísticas híbridas que combinam de abordagens de seleção de algoritmos e hiper-heurísticas de geração para a otimização de algoritmos, proposta nesta tese, é novidade. Para avaliar o algoritmo proposto, foi considerada como estudo de caso a otimização do algoritmo baseado em enxames (PSO). Nos experimentos realizados, foram considerados 32 problemas de otimização. O algoritmo proposto foi avaliado quanto à sua capacidade de recomendar bons algoritmos para problemas de entrada, se estes algoritmos atingem resultados competitivos frente à literatura. Além disso, o sistema foi avaliado quanto à sua precisão na recomendação, ou seja, se o algoritmo recomendado seria, de fato, o melhor a ser selecionado. Os resultados mostraram que a hiper-heurística proposta é capaz de recomendar algoritmos úteis para os problemas de entrada e de forma eficiente. Adicionalmente, os algoritmos recomendados atingiram resultados competitivos quando comparados com algoritmos estado da arte e a recomendação dos algoritmos atingiu um alto percentual de precisão.

O benznidazol (BNZ) é um derivado de 2-nitroimidazol com largo espectro de atividade farmacológica antiparasitária. Um dos grandes problemas deste fármaco são as grandes doses administradas, tratamentos prolongados, bem como a alta incidência de reações adversas, o que, provavelmente, estão relacionados com a sua baixa solubilidade. Parte destes problemas pode ser reduzidos com associação do fármaco a uma estrutura que aumente a sua solubilidade e modifique a liberação do mesmo, modulando-a e prolongando a sua dissolução. Assim, esse trabalho objetivou obter e caracterizar sistemas microparticulados do BNZ a uma estrutura organometálica - Metal Organic Framework (MOF) chamada Zeolitic Imidazolate Framework (ZIF-8), a fim deser utilizada nos estudos de pré-formulação de forma farmacêutica de liberação prolongada para o tratamento alternativo da doença de Chagas. Os sistemas foram obtidos após agitação do fármaco e da ZIF-8 em diferentes solventes (água e acetona) para que fosse escolhido o melhor método, seguindo a obtenção com a secagem. Quanto às caracterizações, estas foram realizadas através de diferentes técnicas analíticas (espectroscopia de absorção na região do ultravioleta-visível, análise térmica, espectroscopia de absorção na região do infravermelho com transformada de Fourier, difratometria de raios-x, microscopia eletrônica de varredura, microscopia de luz polarizada, tamanho de partícula por granulometria à laser, análise de área superficial e tamanho e volume de poros) para garantir a obtenção do sistema, prosseguindo com os ensaios de dissolução que evidenciaram o comportamento de liberação do BNZ em diferentes pH’s quando associado aos materiais organometálicos. Os perfis de dissolução foram analisados através da área sob a curva (AUC), eficiência de dissolução (ED%) e ajuste de seus resultados quanto aos modelos cinéticos. Por meio dos métodos desenvolvidos o escolhido para obtenção foi o realizado com a acetona como solvente, onde foi possível conseguir um valor de 38% de incorporação do fármaco à ZIF-8. Através das análises térmicas, ficou comprovada a obtenção do sistema, indicando que o mesmo também pode influenciar positivamente a estabilidade térmica do fármaco. Já os espectros de FT-IR, difratogramas de DR-X e demais análises realizadas corroboraram os resultados, confirmando a formação do sistema microparticulado BNZ:ZIF-8. Com o estudo de dissolução, verificou-se que houve modulação da liberação do fármaco de acordo com o pH utilizado, onde em pH 4,5 o sistema liberou uma grande quantidade de fármaco em um curto intervalo de tempo, atingindo 80% de liberação em 2h, já em pH 7,6 houve uma liberação gradual atingindo essa mesma porcentagem em 7h, além dessa modulação o sistema apresentou incremento de solubilidade quando comparado ao BNZ isolado. O presente trabalho trouxe informações relevantes para o desenvolvimento de formas farmacêuticas de liberação prolongada que utilize o BNZ como insumo farmacêutico ativo.

As soluções de Tecnologia da Informação vêm se tornando cada vez mais parte da vida cotidiana das pessoas, e com isso as exigências sobre a utilidade e a usabilidade têm crescido continuamente. Os problemas a serem resolvidos estão cada vez mais complexos, e as técnicas tradicionais utilizadas pelos engenheiros de software para encontrar oportunidades e resolver problemas nem sempre conseguem atingir o seu objetivo e, quando o fazem, nem sempre chegam a produtos que satisfaçam os usuários e tragam vantagem competitiva para a empresa. A verdade é que os produtos de TI dependem, cada vez mais, da dinâmica da vida social, que não são primariamente a preocupação da engenharia, mas do design. Nesse contexto, o Design Thinking fornece uma metodologia para elicitar as necessidades dos usuários, produzindo uma série de protótipos rápidos e simples que eventualmente convergem para soluções inovadoras. Já as técnicas de criatividade possuem uma grande capacidade de geração de novas ideias, o que pode ajudar na elicitação de requisitos. Para integrar a filosofia do Design Thinking e as técnicas de criatividade, unindo assim os conceitos do design com a exploração de novas ideias, um processo estruturado foi proposto. Este trabalho descreve esse processo, chamado de Creadtivity, que integra a metodologia do Design Thinking com técnicas de criatividade para elicitação de requisitos de software, visando promover a inovação. Espera-se que este processo possa ser utilizado para ampliar as habilidades das equipes de TI para resolver problemas de forma criativa. Uma primeira avaliação do processo foi realizada através da aplicação do processo em uma empresa de desenvolvimento de software e da utilização de um questionário para coletar os dados. Uma segunda avaliação foi feita através de um experimento para a utilização do processo por alunos de mestrado e posterior comparação dos protótipos gerados, realizada pelos stakeholders e especialistas em design. Como resultado das duas avaliações, o Creadtivity se mostrou fácil de ser aprendido e utilizado, sistemático e possível de ser integrado com outros processos e técnicas. Já o resultado da comparação dos protótipos mostrou que o protótipo gerado pela equipe que utilizou o Creadtivity possui indícios de inovação.

Orientador também citado por: CASTOR FILHO, Fernando

Facepe

Na interação com o ambiente, com outras pessoas e artefatos tecnológicos, é comum as pessoas formarem internamente um modelo mental, de si mesmas e das coisas com as quais interagem. Esses modelos possuem um poder de explicação e de previsão para o entendimento dessas relações, as quais podem ser expressas, uma vez que são bastante consistentes com aquilo que ela aprende sobre os processos cognitivos. Portanto, não existe nenhum mal em repetir ou procurar entender de como os processos mentais e conceituais se apresentam para o ser humano, isto porque o escopo de implicações dessa visão é muito mais vasto do que se pode imaginar. O objetivo principal é de verificar a adequação do software inovaula.com como base de informação ao modelo mental dos professores do ensino superior em atividades de planejamento. A metodologia utilizada foi de caráter bibliográfico com pesquisas em livros, artigos acadêmicos que versam sobre o tema. Posteriormente, para uma melhor compreensão do tema, foi realizada uma pesquisa de campo junto aos professores universitários com o propósito de oferecer maior relevância ao tema estudado. Os resultados mostram que o sistema inovaula.com ainda possui diversos problemas de usabilidade que dificultam o uso confortável por usuários professores. Ao mesmo tempo, foi possível identificar pontos de coincidência e de conflito do modelo conceitual do ambiente com o modelo mental da atividade de planejamento dos professores do ensino superior.

FACEPE