Indoor location using fingerprinting and fuzzy logic

Indoor location systems cannot rely on technologies such as GPS (Global Positioning System) to determine the position of a mobile terminal, because its signals are blocked by obstacles such as walls, ceilings, roofs, etc. In such environments. The use of alternative techniques, such as the use of wireless networks, should be considered. The location estimation is made by measuring and analysing one of the parameters of the wireless signal, usually the received power. One of the techniques used to estimate the locations using wireless networks is fingerprinting. This technique comprises two phases: in the first phase data is collected from the scenario and stored in a database; the second phase consists in determining the location of the mobile node by comparing the data collected from the wireless transceiver with the data previously stored in the database. In this paper an approach for localisation using fingerprinting based on Fuzzy Logic and pattern searching is presented. The performance of the proposed approach is compared with the performance of classic methods, and it presents an improvement between 10.24% and 49.43%, depending on the mobile node and the Fuzzy Logic parameters.ł

Logic functions based on optical bias controlled SIC Tandem devices

The purpose of this paper is the design of an optoelectronic circuit based on a-SiC technology, able to act simultaneously as a 4-bit binary encoder or a binary decoder in a 4-to-16 line configurations and show multiplexer-based logical functions. The device consists of a p-i'(a-SiC:H)-n/p-i(a-Si:H)-n multilayered structure produced by PECVD. To analyze it under information-modulated wave (color channels) and uniform irradiation (background) four monochromatic pulsed lights (input channels): red, green, blue and violet shine on the device. Steady state optical bias was superimposed separately from the front and the back sides, and the generated photocurrent was measured. Results show that the devices, under appropriate optical bias, act as reconfigurable active filters that allow optical switching and optoelectronic logic functions development providing the possibility for selective removal of useless wavelengths. The logic functions needed to construct any other complex logic functions are the NOT, and both or either an AND or an OR. Any other complex logic function that might be found can also be used as building blocks to achieve the functions needed for the retrieval of channels within the WDM communication link. (C) 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Crossing genetic and swarm intelligence algorithms to generate logic circuits

Genetic Algorithms (GAs) are adaptive heuristic search algorithm based on the evolutionary ideas of natural selection and genetic. The basic concept of GAs is designed to simulate processes in natural system necessary for evolution, specifically those that follow the principles first laid down by Charles Darwin of survival of the fittest. On the other hand, Particle swarm optimization (PSO) is a population based stochastic optimization technique inspired by social behavior of bird flocking or fish schooling. PSO shares many similarities with evolutionary computation techniques such as GAs. The system is initialized with a population of random solutions and searches for optima by updating generations. However, unlike GA, PSO has no evolution operators such as crossover and mutation. In PSO, the potential solutions, called particles, fly through the problem space by following the current optimum particles. PSO is attractive because there are few parameters to adjust. This paper presents hybridization between a GA algorithm and a PSO algorithm (crossing the two algorithms). The resulting algorithm is applied to the synthesis of combinational logic circuits. With this combination is possible to take advantage of the best features of each particular algorithm.

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.

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Aspectos moleculares da neurodegeneração na esclerose lateral amiotrófica

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Dermoid Tumor of the Lateral Wall of the Cavernous Sinus

BACKGROUND: Congenital intracranial dermoid tumors are very rare. The location of these dermoid lesions in the cavernous sinus and the complexity of the operative procedure for these lesions have been noted by several authors. Dermoid tumors originating in the cavernous sinus are usually interdural, and thus blurred vision is an uncommon presentation. CASE DESCRIPTION: Herein we report the first incidental case of a cavernous sinus dermoid cyst in a 21-year-old woman. CONCLUSIONS: A literature review was done and the possible treatments and approaches for this lesion are discussed. We consider that surgical treatment is indicated in most incidental cavernous sinus dermoid lesions due to the possible symptoms related to compression or rupture leading to chemical meningitis.

Adaptive Penalty and Barrier function based on Fuzzy Logic

Optimization methods have been used in many areas of knowledge, such as Engineering, Statistics, Chemistry, among others, to solve optimization problems. In many cases it is not possible to use derivative methods, due to the characteristics of the problem to be solved and/or its constraints, for example if the involved functions are non-smooth and/or their derivatives are not know. To solve this type of problems a Java based API has been implemented, which includes only derivative-free optimization methods, and that can be used to solve both constrained and unconstrained problems. For solving constrained problems, the classic Penalty and Barrier functions were included in the API. In this paper a new approach to Penalty and Barrier functions, based on Fuzzy Logic, is proposed. Two penalty functions, that impose a progressive penalization to solutions that violate the constraints, are discussed. The implemented functions impose a low penalization when the violation of the constraints is low and a heavy penalty when the violation is high. Numerical results, obtained using twenty-eight test problems, comparing the proposed Fuzzy Logic based functions to six of the classic Penalty and Barrier functions are presented. Considering the achieved results, it can be concluded that the proposed penalty functions besides being very robust also have a very good performance.

The role of microRNAs in amyotrophic lateral sclerosis

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Estudo comparativo do conceito de Mulligan e a aplicação de kinesio taping na epicondilite lateral

Introdução: A epicondilite lateral (EL) é uma das lesões mais comuns que afeta o membro superior, caracterizada pela dor lateral do cotovelo. Na literatura são descritas diferentes opções de tratamento para a EL mas sem existir consenso sobre a estratégia de intervenção com maior eficácia. A mobilização com movimento (MWM) e aplicação de kinesio taping (KT) tem apresentado bons resultados na melhoria da dor e funcionalidade e no aumento de força de preensão. No entanto, não existe estudos a comparar a efectividade das duas técnicas. Objetivo(s): Analisar e comparar os efeitos da técnica mobilização com movimento (MWM) em relação à aplicação de kinesio taping (KT), na dor, na força de preensão e na funcionalidade em indivíduos com EL. Métodos: Foram incluídos 39 participantes com EL, divididos em três grupos, um grupo de controlo (GC) e dois grupos experimentais, sendo um grupo submetido a uma das técnicas do conceito de Mulligan (GEM) e um grupo submetido a uma aplicação de KT (GEKT). Foram avaliadas a intensidade da dor através da Escala Visual Analógica (EVA), a força de preensão isométrica através de um dinamómetro digital e a funcionalidade através do questionário Patient-Rated Tennis Elbow Evaluation (PRTEE). Resultados: Observaram-se diferenças significativas entre o momento inicial e o momento final de intervenção em todos os grupos em estudo (p≤0,018). Ao analisar a EVA, a força de preensão e o questionário PRTEE, os grupos experimentais obtiveram melhores resultados relativamente ao GC (p<0,001). Comparando os dois grupos experimentais, o GEM apresentou melhores resultados na dor (p=0,012) e na funcionalidade (p=0,001). Conclusão: Ambas as técnicas estudadas promovem melhorias na sintomatologia em indivíduos com EL. Contudo, os resultados sugerem que a aplicação da técnica de Mulligan produz um maior efeito na diminuição da dor e no aumento da funcionalidade, comparativamente à aplicação de KT.

Efetividade dos Exercícios Excêntricos na Tendinopatia Lateral do Cotovelo – Estudo de Caso

A TLC é uma das lesões mais comuns do membro superior e geralmente é descrita como uma síndrome de dor na região lateral do cotovelo. As principais queixas dos pacientes com TLC são a dor e a limitação funcional. Os EE têm mostrado imensos benefícios nas tendinopatias. Objetivo: Avaliar a efetividade de um protocolo de EE no tratamento de uma paciente com TLC. Métodos: Estudo de caso clínico de uma paciente de 57 anos de idade, com diagnóstico de ―epicondilite lateral‖, confirmado por ecografia às partes moles. O tratamento centrou-se num protocolo de EE realizado ao longo de 8 semanas. Foram analisados os dados relativos à dor (EN), à força de preensão sem dor (dinamómetro), e funcionalidade (DASH). Resultados: No final de duas semanas de tratamento não se verificaram alterações ao nível da dor, e verificaram-se alterações ligeiras na força de preensão sem dor e funcionalidade. A partir da terceira semana houve um declínio gradual da dor, aumento da força de preensão e funcionalidade. Conclusão: Os resultados obtidos neste estudo sugerem que o protocolo de EE foi efetivo no tratamento de uma paciente com TLC.

A agregação proteica em processos neurodegenerativos: mecanismos de agregação da SOD1 no contexto da esclerose lateral amiotrófica

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

Encurvadura lateral em vigas metálicas sujeitas a flexão desviada

Dissertação para obtenção do Grau de Mestre em Engenharia Civil - Perfil Estruturas