http://localhost:3000 weekly 1 http://localhost:3000/research weekly 0.7 http://localhost:3000/projects weekly 0.7 http://localhost:3000/publications weekly 0.7 http://localhost:3000/people weekly 0.7 http://localhost:3000/people/alumni weekly 0.7 http://localhost:3000/software weekly 0.7 http://localhost:3000/partners weekly 0.7 http://localhost:3000/news weekly 0.7 http://localhost:3000/research/verificacao-de-software-e-sistemas monthly 0.6 http://localhost:3000/research/deteccao-e-diagnostico-de-falhas monthly 0.6 http://localhost:3000/research/sistemas-de-controle monthly 0.6 http://localhost:3000/research/controle-tolerante-a-falhas monthly 0.6 http://localhost:3000/research/prognostico-de-falhas-e-gerenciamento-de-saude monthly 0.6 http://localhost:3000/research/ciberseguranca-em-sistemas-ciberfisicos monthly 0.6 http://localhost:3000/research/inteligencia-artificial monthly 0.6 http://localhost:3000/research/sistemas-de-controle-e-de-automacao-modernos monthly 0.6 http://localhost:3000/projects/combinando-metodos-formais-com-modelos-de-linguagem-de-grande-porte-no-esbmc-verificacao-automatizada-de-programas-por-meio-de-ia-ml-2026 monthly 0.6 http://localhost:3000/projects/programa-e-09-2025-jovem-cientista-do-nosso-estado-2025-estrategias-de-controle-de-sistemas-ciberfisicos-para-resiliencia-e-otimizacao-de-recursos-2026 monthly 0.6 http://localhost:3000/projects/transicao-energetica-justa-em-comunidades-ribeirinhas-da-amazonia-promovida-por-eletromobilidade-fluvial-e-baterias-de-segunda-vida-2026 monthly 0.6 http://localhost:3000/projects/safe-and-smart-manufacturing-with-human-in-the-loop-2025 monthly 0.6 http://localhost:3000/projects/laboratorios-inteligentes-de-sistemas-de-controle-desenvolvimento-de-sistemas-praticos-com-integracao-de-ia-para-ensino-de-engenharia-2025 monthly 0.6 http://localhost:3000/projects/utilizacao-de-paineis-solares-fotovoltaicos-como-tecnologia-para-producao-integrada-e-sustentavel-de-ovinos-no-amazonas-2025 monthly 0.6 http://localhost:3000/projects/amazonia-sustentavel-geracao-armazenamento-distribuicao-de-energia-renovavel-redes-inteligentes-e-baterias-de-segunda-vida-2025 monthly 0.6 http://localhost:3000/projects/tupe-energia-e-desenvolvimento-sustentavel-2025-2025 monthly 0.6 http://localhost:3000/projects/rabetas-solares-com-motor-eletrico-para-comunidades-ribeirinhas-2025 monthly 0.6 http://localhost:3000/projects/projeto-cal-comp-ceteli-ufam-para-plataforma-de-monitoramento-em-tempo-real-de-kpis-para-melhoria-da-oee-na-industria-4-0-ianalytics-2025 monthly 0.6 http://localhost:3000/projects/genaide-ia-generativa-para-engenharia-de-projeto-industrial-2025 monthly 0.6 http://localhost:3000/projects/chamada-cnpq-n-18-2024-bolsas-de-produtividade-em-pesquisa-pq-controle-de-sistemas-ciberfisicos-nao-lineares-2025 monthly 0.6 http://localhost:3000/projects/deteccao-de-falhas-em-veiculos-autonomos-algoritmos-de-ia-para-monitoramento-em-tempo-real-2025 monthly 0.6 http://localhost:3000/projects/cooperacao-internacional-sobre-gemeos-digitais-inteligentes-para-sistemas-cyber-physical-industriais-2025 monthly 0.6 http://localhost:3000/projects/seguranca-cibernetica-em-sistemas-ciberfisicos-2025 monthly 0.6 http://localhost:3000/projects/oficinas-de-circuitos-conectando-teoria-a-pratica-2025 monthly 0.6 http://localhost:3000/projects/influencia-de-grandezas-fisicas-e-quimicas-nas-tecnologias-de-paineis-solares-fotovoltaicos-e-seu-impacto-na-eficiencia-da-geracao-de-energia-de-sistemas-distribuidos-2024 monthly 0.6 http://localhost:3000/projects/projeto-cal-comp-ceteli-ufam-para-desenvolvimento-de-um-sistema-integrado-de-monitoramento-e-controle-de-ambientes-fabris-intelligent-visual-factory-2024 monthly 0.6 http://localhost:3000/projects/ai-trust-in-complex-software-requirements-understanding-and-certification-2024 monthly 0.6 http://localhost:3000/projects/source-code-security-with-fusebmc-ai-2024 monthly 0.6 http://localhost:3000/projects/fusebmc-ai-2024 monthly 0.6 http://localhost:3000/projects/sagres-pro-sistemas-aereos-para-a-gestao-de-riscos-ao-ecossistema-sujeitos-a-ameacas-sistemicas-2024 monthly 0.6 http://localhost:3000/projects/ecossistema-de-eletrificacao-de-microredes-isoladas-e-eletromobilidade-de-comunidades-ribeirinhas-no-estado-do-amazonas-2024 monthly 0.6 http://localhost:3000/projects/amazonia-sustentavel-geracao-armazenamento-e-distribuicao-de-energia-sustentavel-redes-inteligentes-e-baterias-de-segunda-vida-2024 monthly 0.6 http://localhost:3000/projects/how-to-learn-control-policies-for-complex-dynamic-systems-from-data-with-safety-and-security-guarantees-2024 monthly 0.6 http://localhost:3000/projects/projeto-orientacao-move-la-america-controle-nao-linear-descritor-por-backstepping-com-modelo-descritor-2024 monthly 0.6 http://localhost:3000/projects/reconfiguracao-de-controle-em-veiculos-autonomos-abordagem-resiliente-para-mitigacao-de-ataques-de-negacao-de-servico-dos-2024 monthly 0.6 http://localhost:3000/projects/samantha-safe-and-smart-manufacturing-with-human-in-the-loop-2024 monthly 0.6 http://localhost:3000/projects/situational-aware-navigation-and-mapping-sitanav-2024 monthly 0.6 http://localhost:3000/projects/visao-inteligente-intelbras-otimizacao-ergonomica-e-de-qualidade-atraves-de-visao-computacional-e-ia-2024 monthly 0.6 http://localhost:3000/projects/iv-workshop-de-engenharia-biomedica-2023 monthly 0.6 http://localhost:3000/projects/xvi-sbai-2023-16-simposio-brasileiro-de-automacao-inteligente-2023 monthly 0.6 http://localhost:3000/projects/projeto-de-sistemas-praticos-para-ensino-das-areas-de-controle-e-automacao-nos-cursos-de-engenharia-da-uea-2023 monthly 0.6 http://localhost:3000/projects/stem-criar-2023 monthly 0.6 http://localhost:3000/projects/interoperable-research-infrastructure-for-managing-sustainable-grid-cells-2023 monthly 0.6 http://localhost:3000/projects/pace-00834-2022-02-tupe-energia-e-desenvolvimento-sustentavel-2023-2023 monthly 0.6 http://localhost:3000/projects/seccom-securing-composable-hardware-platforms-2023 monthly 0.6 http://localhost:3000/projects/aicoderepair-towards-self-healing-ai-code-with-large-language-models-and-formal-verification-2023 monthly 0.6 http://localhost:3000/projects/chamada-cnpq-mcti-n-10-2023-universal-ciberseguranca-em-sistemas-distribuidos-controlados-por-redes-2023 monthly 0.6 http://localhost:3000/projects/abordagens-para-deteccao-e-diagnostico-de-eventos-em-processos-industriais-baseadas-em-autoencoders-e-sistemas-evolutivos-2023 monthly 0.6 http://localhost:3000/projects/x-sbse-2023-10-simposio-brasileiro-de-sistemas-eletricos-2023-2023 monthly 0.6 http://localhost:3000/projects/tupe-energia-e-desenvolvimento-sustentavel-2023-2023 monthly 0.6 http://localhost:3000/projects/2lifebat-robust-solar-powered-storage-systems-with-second-life-batteries-and-their-economic-and-ecological-potential-2023 monthly 0.6 http://localhost:3000/projects/xvi-sbai-2023-simposio-brasileiro-de-automacao-inteligente-2023 monthly 0.6 http://localhost:3000/projects/ciberseguranca-em-sistemas-distribuidos-controlados-por-redes-2023 monthly 0.6 http://localhost:3000/projects/analysis-and-synthesis-of-control-systems-based-on-zonotopic-smart-abstractions-2023 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-aplicacoes-de-industria-4-0-utilizando-gemeos-digitais-2023 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-metodologia-para-aplicacao-de-tecnicas-de-retrofit-em-sistemas-legados-e-utilizacao-de-arquitetura-digital-twin-2023 monthly 0.6 http://localhost:3000/projects/iri4sgc-interoperable-research-infrastructure-for-managing-sustainable-grid-cells-2023 monthly 0.6 http://localhost:3000/projects/aii4qms-pesquisa-e-desenvolvimento-de-inteligencia-artificial-para-controle-do-sistema-de-gestao-da-qualidade-2023 monthly 0.6 http://localhost:3000/projects/infraestrutura-de-pesquisa-interoperavel-para-gerenciamento-de-celulas-de-redes-sustentaveis-2022 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-aplicacoes-de-industria-4-0-utilizando-gemeos-digitais-inteligentes-2022 monthly 0.6 http://localhost:3000/projects/smart-biosolar-microgrids-for-sustainable-communities-2022 monthly 0.6 http://localhost:3000/projects/robust-solar-powered-storage-systems-with-second-life-batteries-and-their-economic-and-ecological-potential-2022 monthly 0.6 http://localhost:3000/projects/develop-and-evaluate-a-model-checker-based-code-analysis-framework-for-smart-contracts-2022 monthly 0.6 http://localhost:3000/projects/brics-sti-n-04-2022-440124-2022-0-pesquisa-em-tecnologia-de-big-data-e-aplicacao-de-energia-para-alimentacao-das-cidades-com-foco-na-neutralidade-de-carbono-e-o-desenvolvimento-sustentavel-2022 monthly 0.6 http://localhost:3000/projects/projeto-imperium-aperfeicoamento-do-processo-de-qualidade-utilizando-ia-integrada-ao-monitoramento-da-qualidade-produtiva-2022 monthly 0.6 http://localhost:3000/projects/gerfactory-4-0-aperfeicoamento-do-processo-produtivo-da-gertec-por-meio-da-pesquisa-e-desenvolvimento-de-uma-solucao-de-inspecao-visual-automatizada-composta-por-software-e-hardware-2022 monthly 0.6 http://localhost:3000/projects/instituto-nacional-de-ciencia-e-tecnologia-inct-em-controle-e-automacao-de-processos-de-energia-cape-2022 monthly 0.6 http://localhost:3000/projects/competicoes-em-robotica-2022 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-internet-das-coisas-industriais-para-aplicacoes-de-industria-4-0-2021 monthly 0.6 http://localhost:3000/projects/projeto-de-controladores-robustos-para-sistemas-nao-lineares-e-suas-aplicacoes-em-sistemas-de-grande-escala-2021 monthly 0.6 http://localhost:3000/projects/modelagem-simulacao-e-controle-de-sistemas-dinamicos-2021 monthly 0.6 http://localhost:3000/projects/swperfi-tecnicas-de-inteligencia-artificial-para-analise-e-otimizacao-de-desempenho-de-software-2021 monthly 0.6 http://localhost:3000/projects/enncore-end-to-end-conceptual-guarding-of-neural-architectures-2021 monthly 0.6 http://localhost:3000/projects/mixed-absolute-and-relative-localization-marloc-2021 monthly 0.6 http://localhost:3000/projects/academia-stem-2020 monthly 0.6 http://localhost:3000/projects/samsung-ufam-projeto-para-educacao-e-pesquisa-super-tutoria-2020 monthly 0.6 http://localhost:3000/projects/electrifying-the-amazon-the-impacts-of-access-to-renewable-energy-in-riverine-communities-2020 monthly 0.6 http://localhost:3000/projects/projeto-super-2020 monthly 0.6 http://localhost:3000/projects/super-projeto-samsung-ufam-de-educacao-e-pesquisa-2020 monthly 0.6 http://localhost:3000/projects/samsung-ufam-projeto-para-educacao-e-pesquisa-2020 monthly 0.6 http://localhost:3000/projects/pace-125-2019-2-2019 monthly 0.6 http://localhost:3000/projects/quot-formula-e-o-futuro-e-eletrico-quot-2019 monthly 0.6 http://localhost:3000/projects/analise-e-projeto-de-cyber-physical-systems-cps-2019 monthly 0.6 http://localhost:3000/projects/sustainable-energy-access-for-isolated-rural-communities-with-hybrid-solar-and-biogas-micro-grids-2019 monthly 0.6 http://localhost:3000/projects/star-energy-ext-instalacao-de-energia-solar-e-visitas-periodicas-em-comunidade-ribeirinha-da-rds-puranga-conquista-2019 monthly 0.6 http://localhost:3000/projects/sapientia-plataforma-inteligente-para-testes-exploratorios-autonomos-e-revisao-de-defeitos-de-software-embarcados-2019 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-aplicacoes-industriais-de-digital-twins-para-cyber-physical-systems-2019 monthly 0.6 http://localhost:3000/projects/otimizacao-guiada-por-contraexemplo-aplicada-a-programacao-diaria-da-operacao-eletroenergetica-usando-as-teorias-do-modulo-da-satisfatibilidade-2019 monthly 0.6 http://localhost:3000/projects/estabilizacao-robusta-e-tolerante-a-falhas-em-microrredes-com-insercao-de-geracao-distribuida-usando-estrategias-de-controle-baseada-em-dados-2019 monthly 0.6 http://localhost:3000/projects/programa-de-apoio-as-atividades-de-pesquisa-do-programa-de-pos-graduacao-em-engenharia-eletrica-da-universidade-federal-do-amazonas-2019 monthly 0.6 http://localhost:3000/projects/fortalecimento-do-nivel-de-publicacoes-qualificadas-do-ppgee-ufam-2019 monthly 0.6 http://localhost:3000/projects/hyslam-2019 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-modelo-estocastico-de-politicas-semanais-para-o-despacho-horario-do-sistema-interligado-nacional-sparhtacus-ii-2018 monthly 0.6 http://localhost:3000/projects/aumentando-a-confiabilidade-de-sistemas-industriais-atraves-da-verificacao-formal-de-aplicacoes-de-software-para-industria-4-0-2018 monthly 0.6 http://localhost:3000/projects/uso-de-sincrofasores-para-monitoramento-e-deteccao-antecipada-da-instabilidade-de-tensao-de-sistemas-eletricos-utilizando-tecnicas-de-classificacao-2018 monthly 0.6 http://localhost:3000/projects/re-invitation-programme-for-former-scholarship-holders-daad-ias-uni-stuttgart-2018 monthly 0.6 http://localhost:3000/projects/avaliacao-de-metodologias-e-procedimentos-para-ensaios-de-modelos-de-sistemas-de-protecao-2018 monthly 0.6 http://localhost:3000/projects/analise-e-desenvolvimento-de-um-algoritmo-de-religamento-monopolar-adaptativo-rapido-para-linhas-de-transmissao-de-meio-comprimento-de-onda-2018 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-metodos-algoritmicos-para-verificacao-de-software-embarcado-em-veiculos-aereos-nao-tripulados-usando-aprendizagem-de-maquina-2018 monthly 0.6 http://localhost:3000/projects/conceitos-basicos-de-matlab-aplicados-a-engenharia-2018 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-algoritmos-de-controle-preditivo-nao-linear-e-de-avaliacao-de-desempenho-de-controladores-preditivos-para-plataformas-de-producao-de-petroleo-fase-2-2018 monthly 0.6 http://localhost:3000/projects/sustainable-and-replicable-off-grid-renewable-energy-system-for-riverside-communities-in-the-amazon-brazil-star-energy-2017 monthly 0.6 http://localhost:3000/projects/classificacao-de-eventos-eletricos-de-alta-frequencia-em-redes-eletricas-domesticas-2017 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-um-micro-sistema-para-emulacao-de-uma-unidade-de-hidrogeracao-de-energia-eletrica-2017 monthly 0.6 http://localhost:3000/projects/descricao-e-dimensionamento-de-sistemas-fotovoltaicos-autonomos-2017 monthly 0.6 http://localhost:3000/projects/modelagem-e-simulacao-de-sistemas-dinamicos-2017 monthly 0.6 http://localhost:3000/projects/avaliacao-do-impacto-da-variacao-do-custo-com-energia-eletrica-na-tarifa-de-agua-e-esgoto-2016 monthly 0.6 http://localhost:3000/projects/tupe-energia-e-desenvolvimento-sustentavel-2016 monthly 0.6 http://localhost:3000/projects/tupe-energia-e-desenvolvimento-sustentavel-2016-2-2016 monthly 0.6 http://localhost:3000/projects/projeto-pjd-plataforma-tecnologica-para-desenvolvimento-e-capacitacao-em-smart-grid-e-geracao-distribuida-2016 monthly 0.6 http://localhost:3000/projects/geracao-distribuida-para-sistema-eletrico-rural-isolado-na-amazonia-brasileira-2016 monthly 0.6 http://localhost:3000/projects/dsverifier-a-bounded-model-checking-tool-to-verify-digital-systems-with-uncertainties-2016 monthly 0.6 http://localhost:3000/projects/dsverifier-aided-verification-applied-to-control-software-in-unmanned-aerial-vehicles-2016 monthly 0.6 http://localhost:3000/projects/modelagem-e-controle-de-motor-brushless-dc-por-logica-fuzzy-2016 monthly 0.6 http://localhost:3000/projects/seguranca-de-informacao-em-sistemas-de-automacao-estudo-de-caso-de-um-controlador-logico-programavel-2016 monthly 0.6 http://localhost:3000/projects/eficiencia-energetica-na-escola-superior-de-tecnologia-da-uea-am-viabilidade-e-automaca-807-o-2016 monthly 0.6 http://localhost:3000/projects/fomento-a-producao-cientifica-do-grupo-de-pesquisa-em-verificacao-de-software-e-sistemas-2015 monthly 0.6 http://localhost:3000/projects/reconhecimento-de-padroes-por-detector-por-produto-interno-2015 monthly 0.6 http://localhost:3000/projects/religamento-monopolar-em-linhas-de-meio-comprimento-de-onda-2015 monthly 0.6 http://localhost:3000/projects/metodo-de-religamento-monopolar-e-tripolar-adaptativo-rapido-em-linhas-de-transmissao-2015 monthly 0.6 http://localhost:3000/projects/dia-nacional-das-comunicacoes-2015 monthly 0.6 http://localhost:3000/projects/sistema-de-monitoramento-de-atletas-cegos-em-modalidade-corrida-em-pista-guia-vibratil-2014 monthly 0.6 http://localhost:3000/projects/avaliacao-do-papel-dos-institutos-federais-de-educacao-ciencia-e-tecnologia-como-instrumentos-de-inovacao-2014 monthly 0.6 http://localhost:3000/projects/pesquisa-e-inovacao-tecnologica-em-redes-de-computadores-e-processamento-digital-de-sinais-2014 monthly 0.6 http://localhost:3000/projects/verificacao-de-hardware-e-software-baseada-em-inducao-matematica-para-sistemas-embarcados-2014 monthly 0.6 http://localhost:3000/projects/verificacao-de-modelos-limitada-baseado-nas-teorias-do-modulo-da-satisfatibilidade-para-programas-multi-tarefa-2014 monthly 0.6 http://localhost:3000/projects/verificacao-de-programas-c-c-baseados-em-processadores-de-varios-nucleos-2014 monthly 0.6 http://localhost:3000/projects/programa-de-treinamento-de-jovens-engenheiros-para-desenvolvimento-de-sistemas-de-processamento-digital-de-imagens-2014 monthly 0.6 http://localhost:3000/projects/pro-engenharias-2014 monthly 0.6 http://localhost:3000/projects/fabrica-de-software-dtv-2014 monthly 0.6 http://localhost:3000/projects/sistema-multimodal-para-treinamento-a-distancia-em-ambiente-virtual-ou-de-realidade-aumentada-destinado-aos-usuarios-de-cadeiras-de-rodas-motorizadas-2014 monthly 0.6 http://localhost:3000/projects/pesquisa-de-usabilidade-da-plataforma-raspberry-pi-em-transmissoes-wi-fi-2014 monthly 0.6 http://localhost:3000/projects/monitoramento-e-controle-de-redes-sem-fio-heterogeneas-2014 monthly 0.6 http://localhost:3000/projects/triplo-s-sistema-de-monitoramento-e-controle-inteligente-de-redes-sem-fio-heterogeneas-2014 monthly 0.6 http://localhost:3000/projects/sistema-auxiliador-na-busca-da-reintegracao-de-jovens-em-depedencia-quimica-do-am-2014 monthly 0.6 http://localhost:3000/projects/desenvolvimento-e-testes-experimentais-de-prototipos-de-controladores-robustos-para-a-melhoria-do-amortecimento-de-modos-eletromecanicos-em-sistemas-de-potencia-s-s-2013 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-tecnologias-de-base-para-ambientes-inteligentes-industriais-2013 monthly 0.6 http://localhost:3000/projects/pesquisa-e-formacao-derecursos-humanos-em-nivel-de-graduacao-e-pos-graduacao-nas-areas-deautomacao-industrial-software-para-dispositivos-moveis-e-tv-digital-2013 monthly 0.6 http://localhost:3000/projects/verificacao-de-propriedades-temporais-em-software-embarcado-usando-as-teorias-do-modulo-da-satisfatibilidade-2013 monthly 0.6 http://localhost:3000/projects/investigacao-de-tecnicas-modernas-de-desenvolvimento-de-software-para-automacao-industrial-visando-sustentabilidade-energetica-e-interacao-eficaz-com-o-usuario-2013 monthly 0.6 http://localhost:3000/projects/pesquisa-e-formacao-de-recursos-humanos-em-nivel-de-graduacao-e-pos-graduacao-nas-areas-deautomacao-industrial-software-para-dispositivos-moveis-e-tv-digital-2013 monthly 0.6 http://localhost:3000/projects/procad-ufrgs-ufam-ufes-cooperacao-academica-na-area-de-sistemas-de-automacao-e-controle-para-tecnologias-assistivas-2013 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-servicos-digitais-para-acompanhamento-de-prescricoes-medicas-baseados-em-ambientes-inteligentes-2013 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-aplicativos-de-software-para-sistemas-digitais-convergentes-utilizando-abordagens-modernas-de-engenharia-de-software-2013 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-aplicativos-android-para-linha-samsung-mobile-smartphones-e-tablets-2013 monthly 0.6 http://localhost:3000/projects/unibral-2013-tecnicas-modernas-de-desenvolvimento-de-automacao-industrial-visando-sustentabilidade-energetica-e-interacao-eficaz-com-o-usuario-2013 monthly 0.6 http://localhost:3000/projects/implementacao-do-religamento-monopolar-adaptativo-rapido-baseado-na-assinatura-harmonica-de-tensao-no-simulador-digital-em-tempo-real-rtds-2013 monthly 0.6 http://localhost:3000/projects/programa-de-capacitacao-de-recursos-humanos-em-tecnologias-da-informacao-e-computacao-2013 monthly 0.6 http://localhost:3000/projects/arquitetura-para-uma-cadeira-de-rodas-integrada-em-um-ambiente-inteligente-2012 monthly 0.6 http://localhost:3000/projects/casadinho-ufam-ufmg-pesquisa-e-desenvolvimento-de-tecnologias-de-base-para-ambientes-inteligentes-industriais-2012 monthly 0.6 http://localhost:3000/projects/confeccao-de-um-dispositivo-de-monitoramento-e-controle-de-energia-para-consumidores-residenciais-2012 monthly 0.6 http://localhost:3000/projects/bemo-cofra-fp7-eu-brazil-2012 monthly 0.6 http://localhost:3000/projects/abordagem-de-atrribuicao-de-canais-baseada-em-multiplos-fatores-para-redes-locais-sem-fio-2012 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-predicao-de-falhas-em-processos-industriais-predfalt-2011 monthly 0.6 http://localhost:3000/projects/gear-grupo-de-estudos-aplicados-a-robotica-2011 monthly 0.6 http://localhost:3000/projects/reconhecimento-de-faces-utilizando-plataforma-pi-raspbarry-2011 monthly 0.6 http://localhost:3000/projects/continuous-verification-of-c-programs-using-smt-based-bounded-model-checking-2011 monthly 0.6 http://localhost:3000/projects/smt-based-bounded-model-checking-timed-ltl-properties-for-embedded-software-2011 monthly 0.6 http://localhost:3000/projects/reconhecimento-de-faces-utilizando-plataforma-pi-raspberry-2011 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-predicao-de-falhas-em-processos-industriais-pred-falt-2011 monthly 0.6 http://localhost:3000/projects/projeto-de-atividade-curricular-de-extensao-pace-cine-icet-2010 monthly 0.6 http://localhost:3000/projects/inclusao-digital-2010 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-sistemas-para-monitoramento-e-controle-inteligente-de-sistemas-eletricos-de-potencia-2009 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-competencias-em-software-livre-e-software-de-codigo-aberto-para-plataformas-moveis-embarcadas-2009 monthly 0.6 http://localhost:3000/projects/treinamento-de-jovens-engenheiros-para-desenvolvimento-de-hardware-para-tv-digital-2009 monthly 0.6 http://localhost:3000/projects/unibral-ufam-e-uni-stuttgart-cooperacao-academica-com-a-universidade-de-stuttgart-alemanha-2009 monthly 0.6 http://localhost:3000/projects/notos-new-algorithm-for-ltl-model-checking-with-satisfiability-2008 monthly 0.6 http://localhost:3000/projects/coconut-a-correct-by-construction-workbench-for-design-and-verification-of-embedded-systems-2008 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-aplicacao-java-embarcada-em-set-top-box-para-tv-digital-sistema-de-armazenamento-e-apresentacao-de-dados-extraidos-de-equipamentos-de-medicao-de-pressao-arterial-e-ou-diabetes-2008 monthly 0.6 http://localhost:3000/projects/infra-estrutura-laboratorial-para-o-programa-de-pos-graduacao-em-engenharia-eletrica-da-ufam-2008 monthly 0.6 http://localhost:3000/projects/reinventando-a-engenharia-ciencia-ja-2008 monthly 0.6 http://localhost:3000/projects/treinamento-de-jovens-engenheiros-para-desenvolvimento-de-software-para-tv-digital-2008 monthly 0.6 http://localhost:3000/projects/laboratorio-de-convergencia-digital-e-computacao-pervasiva-2007 monthly 0.6 http://localhost:3000/projects/mestrado-interinstitucional-entre-a-utfpr-e-o-ifam-antigo-cefet-am-em-engenharia-mecanica-e-de-materiais-2007 monthly 0.6 http://localhost:3000/projects/desenvolvimento-do-aplicativo-guia-de-programacao-eletronico-epg-2006 monthly 0.6 http://localhost:3000/projects/investigacao-e-desenvolvimento-de-um-webphone-para-a-plataforma-nortel-2006 monthly 0.6 http://localhost:3000/projects/laboratorio-de-excelencia-em-p-d-utilizando-tecnologia-j2me-2006 monthly 0.6 http://localhost:3000/projects/infra-estrutura-de-suporte-de-informatica-aos-grupos-de-pesquisa-do-cefet-am-financiado-pelo-edital-de-infra-estrutura-da-finep-2006 monthly 0.6 http://localhost:3000/projects/pesquisa-e-elaboracao-de-um-tutorial-para-utilizacao-do-software-scilab-como-ferramenta-de-ensino-2006 monthly 0.6 http://localhost:3000/projects/definicao-de-uma-arquitetura-de-componentes-de-software-otimizada-para-o-desenvolvimento-de-programas-para-sistemas-embarcados-2005 monthly 0.6 http://localhost:3000/projects/software-para-sistema-de-gestao-da-qualidade-meio-ambiente-seguranca-e-saude-ocupacional-financiado-pela-fapeam-edital-pappe-2005 monthly 0.6 http://localhost:3000/projects/implantacao-de-um-laboratorio-de-pesquisa-e-desenvolvimento-para-sistemas-de-tv-digital-2005 monthly 0.6 http://localhost:3000/projects/linux-mobile-phone-manager-2004 monthly 0.6 http://localhost:3000/projects/aquisicao-de-dados-de-processo-de-um-gasogenio-a-carvao-vegetal-para-geracao-de-energia-eletrica-2004 monthly 0.6 http://localhost:3000/projects/avaliacao-do-efeito-de-alguns-extratos-naturais-sobre-microorganismos-patogenicos-nas-infeccoes-endodonticas-2004 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-agenda-eletronica-para-celulares-2003 monthly 0.6 http://localhost:3000/projects/laboratorio-de-desenvolvimento-de-aplicacoes-para-sistemas-wireless-baseados-na-plataforama-java-estudo-de-viabilidade-2003 monthly 0.6 http://localhost:3000/projects/programa-de-capacitacao-e-descoberta-de-jovens-talentos-em-java-e-tecnologias-associadas-para-aplicacoes-de-telefonia-celular-2003 monthly 0.6 http://localhost:3000/projects/desenvolvimento-e-sistema-de-automacao-industrial-para-processamento-armazenamento-e-apresentacao-de-dados-provenientes-de-sistemas-de-testes-de-displays-de-celulares-2003 monthly 0.6 http://localhost:3000/projects/laboratorio-de-desenvolvimento-de-aplicacoes-para-sistemas-wireless-baseados-na-plataforma-java-e-symbian-estudo-de-viabilidade-do-symbian-wireless-phonebook-2002 monthly 0.6 http://localhost:3000/projects/estudos-das-caracteristicas-do-solo-de-manaus-para-determinacao-de-sistemas-de-aterramento-otimo-2001 monthly 0.6 http://localhost:3000/publications/electrocardiographic-signal-compression-based-on-distributed-source-coding-2027-74 monthly 0.6 http://localhost:3000/publications/systematic-survey-on-model-predictive-control-schemes-applied-to-offshore-deep-water-wells-in-oil-and-gas-industry-2026-114 monthly 0.6 http://localhost:3000/publications/handling-asynchronous-scheduling-functions-in-periodic-event-triggered-gain-scheduled-control-with-guaranteed-polytopic-inclusion-2026-129 monthly 0.6 http://localhost:3000/publications/leveraging-template-matching-for-efficient-android-screenshot-visual-inspection-2026-79 monthly 0.6 http://localhost:3000/publications/systematic-lmi-approaches-to-design-multivariable-sliding-mode-controllers-for-uncertain-systems-2026-96 monthly 0.6 http://localhost:3000/publications/estimacao-distribuida-de-sistemas-em-rede-com-interconexoes-nao-lineares-2026-72 monthly 0.6 http://localhost:3000/publications/controle-multiformacao-para-sistemas-multiagentes-lineares-em-tempo-discreto-2026-76 monthly 0.6 http://localhost:3000/publications/dynamic-event-triggered-control-of-discrete-time-nonlinear-systems-based-on-difference-algebraic-representations-2026-112 monthly 0.6 http://localhost:3000/publications/comparative-evaluation-of-dnns-and-template-matching-for-gui-validation-on-android-devices-2026-90 monthly 0.6 http://localhost:3000/publications/llm-based-text-to-jql-generation-an-automated-test-using-execution-and-structural-indicators-2026-92 monthly 0.6 http://localhost:3000/publications/bearing-fault-prognosis-based-on-evolving-granular-models-2026-57 monthly 0.6 http://localhost:3000/publications/plataforma-robotica-movel-para-desenvolvimento-de-estrategias-de-seguranca-cibernetica-2026-86 monthly 0.6 http://localhost:3000/publications/controle-baseado-em-eventos-de-sistemas-lpv-sujeitos-a-saturacoes-nos-atuadores-2026-79 monthly 0.6 http://localhost:3000/publications/energy-pricing-in-unit-commitment-using-lagrangian-relaxation-2026-61 monthly 0.6 http://localhost:3000/publications/exploiting-domain-knowledge-for-content-agnostic-template-matching-in-structured-environments-2026-93 monthly 0.6 http://localhost:3000/publications/deteccao-de-ataques-ciberneticos-em-robos-moveis-baseada-em-inteligencia-artificial-2026-83 monthly 0.6 http://localhost:3000/publications/finding-software-vulnerabilities-in-large-c-projects-via-bounded-model-checking-2026-79 monthly 0.6 http://localhost:3000/publications/bridging-the-robustness-gap-stress-testing-artificial-intelligence-algorithms-2026-77 monthly 0.6 http://localhost:3000/publications/a-verified-pipeline-framework-for-certifiable-ai-robustness-2026-59 monthly 0.6 http://localhost:3000/publications/a-modular-methodology-for-on-device-audio-transcription-from-live-media-2026-71 monthly 0.6 http://localhost:3000/publications/on-the-impact-of-speech-to-text-errors-on-user-perceived-relevance-in-end-to-end-dtv-recommendation-systems-2026-107 monthly 0.6 http://localhost:3000/publications/um-pipeline-hibrido-para-deteccao-inteligente-e-confiavel-de-bugs-e-code-smells-em-python-com-modelos-de-linguagem-e-verificacao-formal-2026-135 monthly 0.6 http://localhost:3000/publications/denial-of-service-attack-detection-in-internet-connected-photovoltaic-inverters-an-ensemble-machine-learning-approach-2026-117 monthly 0.6 http://localhost:3000/publications/memory-safety-in-linux-device-drivers-enhancing-security-with-formal-verification-2026-81 monthly 0.6 http://localhost:3000/publications/formal-verification-of-critical-modules-in-the-px4-autopilot-using-bounded-model-checking-2026-89 monthly 0.6 http://localhost:3000/publications/symbolic-formal-verification-of-quantum-circuits-for-post-quantum-cryptography-governance-in-critical-infrastructures-2026-117 monthly 0.6 http://localhost:3000/publications/cyberattack-vectors-in-photovoltaic-systems-applying-artificial-intelligence-for-internetconnected-inverter-monitoring-2026-118 monthly 0.6 http://localhost:3000/publications/large-language-model-aided-intent-verification-via-grounded-obligation-models-2026-77 monthly 0.6 http://localhost:3000/publications/dynamic-output-feedback-control-with-reference-tracking-a-quasi-data-driven-approach-2026-84 monthly 0.6 http://localhost:3000/publications/extremum-seeking-control-for-actuation-dynamics-governed-by-a-wave-pde-with-distributed-effects-2026-95 monthly 0.6 http://localhost:3000/publications/deteccao-de-ataques-em-sistemas-ciberfisicos-com-base-em-modelos-evolutivos-2026-75 monthly 0.6 http://localhost:3000/publications/comparacao-de-sistemas-de-controle-baseados-em-eventos-via-analise-de-modelos-de-trafego-2026-88 monthly 0.6 http://localhost:3000/publications/controle-com-acionamento-periodico-por-eventos-assincrono-para-teleoperacao-bilateral-em-rede-2026-93 monthly 0.6 http://localhost:3000/publications/algoritmo-de-agrupamento-evolutivo-baseado-em-pca-incremental-aplicado-ao-monitoramento-de-redes-iiot-sob-ataques-ciberneticos-2026-126 monthly 0.6 http://localhost:3000/publications/controle-extremal-com-dinamica-de-atuacao-governada-por-equacao-de-onda-com-efeito-distribuido-2026-94 monthly 0.6 http://localhost:3000/publications/condicao-de-projeto-simultaneo-para-controle-de-busca-extremal-acionado-por-eventos-2026-83 monthly 0.6 http://localhost:3000/publications/estrategia-de-controle-lqg-resiliente-a-ataques-dos-usando-floresta-de-isolamento-para-deteccao-de-anomalias-2026-108 monthly 0.6 http://localhost:3000/publications/controle-com-acionamento-dinamico-por-eventos-baseado-em-dados-para-sistemas-lur-e-2026-82 monthly 0.6 http://localhost:3000/publications/sintese-robusta-de-controladores-baseada-em-dados-via-dissipatividade-2026-69 monthly 0.6 http://localhost:3000/publications/analise-tecnica-e-economica-da-geracao-distribuida-fotovoltaica-em-redes-de-distribuicao-de-baixa-tensao-sob-a-lei-14-300-2022-considerando-beneficios-tecnicos-184 monthly 0.6 http://localhost:3000/publications/implementacao-de-framework-em-software-livre-com-opendss-para-simulacao-de-ataques-ciberfisicos-em-redes-eletricas-com-recursos-energeticos-distribuidos-2026-152 monthly 0.6 http://localhost:3000/publications/deteccao-automatica-de-riscos-por-vegetacao-em-redes-de-distribuicao-na-ufam-utilizando-reconhecimento-de-padroes-e-processamento-digital-de-imagens-2026-148 monthly 0.6 http://localhost:3000/publications/investigacao-de-tecnicas-de-aprendizado-de-maquina-nao-supervisionado-embarcadas-em-raspberry-pi-pico-para-deteccao-de-anomalias-no-consumo-energetico-de-client-171 monthly 0.6 http://localhost:3000/publications/analise-energetica-e-da-justica-de-corte-na-aplicacao-do-controle-volt-watt-com-uso-da-solucao-de-barganha-de-nash-em-redes-de-distribuicao-de-baixa-tensao-sob-199 monthly 0.6 http://localhost:3000/publications/snn-based-joint-space-control-of-the-serv-arm-robot-on-low-cost-embedded-hardware-2026-81 monthly 0.6 http://localhost:3000/publications/skyt-prompt-contracts-for-software-repeatability-in-llm-assisted-development-2026-76 monthly 0.6 http://localhost:3000/publications/smartwatch-based-gesture-recognition-for-medication-adherence-via-cnn-bilstm-networks-2026-85 monthly 0.6 http://localhost:3000/publications/ferramenta-computacional-para-modelagem-e-validacao-automatica-de-rdbts-da-bdgd-para-estudos-estaticos-e-temporais-em-sistemas-eletricos-de-potencia-2026-148 monthly 0.6 http://localhost:3000/publications/implementacao-de-visao-computacional-usando-yolov8-para-monitoramento-em-tempo-real-na-plataforma-didatica-mps-2026-110 monthly 0.6 http://localhost:3000/publications/avaliacao-de-uma-arquitetura-de-microrrede-cc-como-solucao-energetica-sustentavel-para-comunidades-isoladas-no-amazonas-2026-119 monthly 0.6 http://localhost:3000/publications/estudo-probabilistico-dos-custos-gerados-em-rdbts-para-concessionarias-de-energia-sob-operacao-conjunta-de-gdfv-e-ve-sujeitos-aos-controles-volt-watt-e-volt-var-160 monthly 0.6 http://localhost:3000/publications/the-technical-proficiency-gap-in-engineering-and-technology-education-in-brazil-a-pre-and-post-test-analysis-of-python-for-industrial-automation-2026-144 monthly 0.6 http://localhost:3000/publications/a-digital-transformation-experience-for-robotic-process-automation-rpa-education-with-python-in-the-brazilian-amazon-region-2026-123 monthly 0.6 http://localhost:3000/publications/a-new-era-in-software-security-towards-self-healing-software-via-large-language-models-and-formal-verification-2025-110 monthly 0.6 http://localhost:3000/publications/securefalcon-are-we-there-yet-in-automated-software-vulnerability-detection-with-llms-2025-85 monthly 0.6 http://localhost:3000/publications/a-review-of-state-of-the-art-techniques-for-large-language-model-compression-2025-76 monthly 0.6 http://localhost:3000/publications/development-of-a-novel-retrofit-framework-considering-industry-4-0-concepts-a-case-study-of-a-modular-production-system-2025-119 monthly 0.6 http://localhost:3000/publications/dynamic-intelligence-assessment-benchmarking-llms-on-the-road-to-agi-with-a-focus-on-model-confidence-2025-101 monthly 0.6 http://localhost:3000/publications/privacy-preserving-and-accountable-billing-in-peer-to-peer-energy-trading-markets-with-homomorphic-encryption-and-blockchain-2024-124 monthly 0.6 http://localhost:3000/publications/castle-benchmarking-dataset-for-static-code-analyzers-and-llms-towards-cwe-detection-2025-84 monthly 0.6 http://localhost:3000/publications/neural-network-verification-is-a-programming-language-challenge-2025-63 monthly 0.6 http://localhost:3000/publications/esbmc-v7-7-efficient-concurrent-software-verification-with-scheduling-incremental-smt-and-partial-order-reduction-2025-113 monthly 0.6 http://localhost:3000/publications/supporting-formal-software-verification-with-large-language-models-an-experimental-study-2025-88 monthly 0.6 http://localhost:3000/publications/reqinone-a-large-language-model-based-agent-for-software-requirements-specification-generation-2025-94 monthly 0.6 http://localhost:3000/publications/fault-tolerant-dynamic-output-feedback-control-of-lpv-systems-via-fault-hiding-2025-78 monthly 0.6 http://localhost:3000/publications/extremum-seeking-control-for-scalar-maps-with-distributed-diffusion-pdes-2025-72 monthly 0.6 http://localhost:3000/publications/tracking-boats-on-amazon-rivers-a-case-study-with-the-lora-lorawan-2025-66 monthly 0.6 http://localhost:3000/publications/resilient-dynamic-event-triggered-fuzzy-control-against-dos-attacks-on-cyber-physical-systems-2025-93 monthly 0.6 http://localhost:3000/publications/intelligent-maintenance-system-for-legacy-vehicles-2025-50 monthly 0.6 http://localhost:3000/publications/enabling-technologies-of-industry-4-0-for-the-modernization-of-an-industrial-process-2025-84 monthly 0.6 http://localhost:3000/publications/static-output-feedback-control-design-from-data-2025-47 monthly 0.6 http://localhost:3000/publications/automatic-correction-system-for-learning-activities-in-remote-access-laboratories-in-the-mechatronics-area-2025-106 monthly 0.6 http://localhost:3000/publications/a-distributed-gain-scheduled-observer-based-approach-for-the-practical-consensus-of-lpv-multi-agent-systems-2025-107 monthly 0.6 http://localhost:3000/publications/joint-estimation-of-deception-attacks-on-sensors-and-actuators-in-cyber-physical-systems-2025-88 monthly 0.6 http://localhost:3000/publications/development-of-a-hybrid-fractional-order-fuzzy-pid-controller-applied-to-a-dc-dc-buck-converter-2025-95 monthly 0.6 http://localhost:3000/publications/esbmc-v7-7-automating-branch-coverage-analysis-using-cfg-based-instrumentation-and-smt-solving-competition-contribution-2025-119 monthly 0.6 http://localhost:3000/publications/mitigating-insider-threats-insights-from-software-security-experts-for-process-improvement-and-risk-reduction-2025-109 monthly 0.6 http://localhost:3000/publications/data-driven-nonquadratic-stabilization-of-takagi-sugeno-fuzzy-systems-2025-69 monthly 0.6 http://localhost:3000/publications/a-novel-lmi-based-design-of-rational-control-laws-for-a-class-of-nonlinear-systems-modeled-as-differential-algebraic-equations-2025-126 monthly 0.6 http://localhost:3000/publications/robust-control-methodology-applied-in-inverted-pendulum-system-considering-polytopic-uncertainty-2025-96 monthly 0.6 http://localhost:3000/publications/incremental-learning-based-rolling-bearing-prognostics-with-granular-uncertainty-quantification-2025-95 monthly 0.6 http://localhost:3000/publications/automated-evaluation-of-digital-tv-middleware-using-fuzzing-and-pairwise-for-test-generation-2025-92 monthly 0.6 http://localhost:3000/publications/enhanced-user-experience-in-digital-tv-recommending-content-in-free-to-air-tv-contexts-2025-86 monthly 0.6 http://localhost:3000/publications/modular-architecture-for-robustness-assessment-in-ai-using-smart-inference-2025-74 monthly 0.6 http://localhost:3000/publications/cloud-control-for-cyber-physical-systems-in-the-presence-of-dos-attacks-2025-71 monthly 0.6 http://localhost:3000/publications/dynamic-event-triggered-control-for-nonlinear-systems-via-differential-algebraic-representation-2025-95 monthly 0.6 http://localhost:3000/publications/impact-of-environmental-constraints-in-hydrothermal-energy-planning-2025-67 monthly 0.6 http://localhost:3000/publications/optimizing-user-experience-a-feedback-based-performance-evaluation-methodology-for-recommendation-systems-2025-105 monthly 0.6 http://localhost:3000/publications/natural-language-processing-models-for-named-entity-recognition-in-digital-tv-audio-2025-83 monthly 0.6 http://localhost:3000/publications/distributed-leader-following-formation-of-discrete-time-multi-agent-lpv-systems-2025-79 monthly 0.6 http://localhost:3000/publications/adaptive-economic-model-predictive-control-with-safety-constraints-for-an-electric-submersible-pump-lifted-well-2025-111 monthly 0.6 http://localhost:3000/publications/prognostico-de-falhas-em-rolamentos-baseado-em-modelos-granulares-evolutivos-2025-76 monthly 0.6 http://localhost:3000/publications/desenvolvimento-identificacao-e-controle-de-um-sistema-pendulo-helice-2025-69 monthly 0.6 http://localhost:3000/publications/prognostics-of-rolling-bearings-based-on-neuro-fuzzy-evolving-models-2025-68 monthly 0.6 http://localhost:3000/publications/detecao-de-ataques-ciberneticos-em-robos-moveis-baseada-em-inteligencia-artificial-2025-82 monthly 0.6 http://localhost:3000/publications/estabilizacao-regional-de-uma-classe-de-sistemas-nao-lineares-via-funcoes-de-lyapunov-polinomiais-2025-97 monthly 0.6 http://localhost:3000/publications/controle-robusto-baseado-em-eventos-aplicado-a-um-sistema-ball-on-plate-2025-71 monthly 0.6 http://localhost:3000/publications/comparative-technical-and-economic-performance-of-four-inverter-architectures-in-urban-pv-microgeneration-systems-2025-113 monthly 0.6 http://localhost:3000/publications/resilient-event-based-control-of-dc-dc-converters-subject-to-deception-cyberattacks-2025-83 monthly 0.6 http://localhost:3000/publications/periodic-event-triggered-control-of-hvac-systems-2025-48 monthly 0.6 http://localhost:3000/publications/esbmc-v7-6-enhanced-model-checking-of-c-programs-with-clang-ast-2025-63 monthly 0.6 http://localhost:3000/publications/vo-gcse-verification-optimization-through-global-common-subexpression-elimination-2025-81 monthly 0.6 http://localhost:3000/publications/gpt-but-backwards-exactly-inverting-language-model-outputs-2025-58 monthly 0.6 http://localhost:3000/publications/montague-semantics-and-modifier-consistency-measurement-in-neural-language-models-2025-81 monthly 0.6 http://localhost:3000/publications/layered-middleware-architecture-for-integrating-digital-tv-with-external-applications-2025-85 monthly 0.6 http://localhost:3000/publications/unittenx-generating-tests-for-legacy-packages-with-ai-agents-powered-by-formal-verification-2025-91 monthly 0.6 http://localhost:3000/publications/2025-0 monthly 0.6 http://localhost:3000/publications/llm-assisted-translation-and-bounded-model-checking-of-python-code-2025-66 monthly 0.6 http://localhost:3000/publications/fault-hiding-of-nonlinear-parameter-varying-systems-2025-51 monthly 0.6 http://localhost:3000/publications/unit-vector-control-design-under-saturating-actuators-2025-53 monthly 0.6 http://localhost:3000/publications/dynamic-reconfiguration-blocks-for-fault-tolerant-control-of-linear-parameter-varying-systems-2025-93 monthly 0.6 http://localhost:3000/publications/monitoramento-de-processos-industriais-usando-agrupamento-evolutivo-baseado-em-autoencoder-2025-90 monthly 0.6 http://localhost:3000/publications/controle-extremal-multivariavel-com-atuadores-saturantes-2025-56 monthly 0.6 http://localhost:3000/publications/application-of-anfis-ensemble-with-sparsemax-activation-in-ship-acoustic-classification-2025-87 monthly 0.6 http://localhost:3000/publications/aplicacao-do-fuzzy-c-means-como-extrator-de-caracteristicas-em-representacoes-mel-espectrais-para-classificacao-de-navios-2025-121 monthly 0.6 http://localhost:3000/publications/monitoramento-de-pedestres-nas-dependencias-da-ufam-utilizando-reconhecimento-facial-visando-a-seguranca-da-comunidade-academica-2025-128 monthly 0.6 http://localhost:3000/publications/estudo-probabilistico-para-quantificacao-das-perdas-tecnicas-e-da-capacidade-de-hospedagem-de-sistemas-fotovoltaicos-distribuidos-sob-condicoes-climaticas-varia-173 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-uma-arquitetura-de-microrrede-para-solucao-energetica-sustentavel-de-comunidades-isoladas-no-amazonas-2025-120 monthly 0.6 http://localhost:3000/publications/analysis-and-prediction-of-lithium-ion-battery-degradation-in-equatorial-environments-using-a-hybrid-approach-2025-109 monthly 0.6 http://localhost:3000/publications/retrofitting-legacy-vehicles-to-acquire-iov-capability-2025-54 monthly 0.6 http://localhost:3000/publications/lstm-networks-for-fine-gesture-classification-2025-45 monthly 0.6 http://localhost:3000/publications/legacy-iov-on-board-device-to-integrate-old-vehicles-into-the-internet-2025-70 monthly 0.6 http://localhost:3000/publications/investigation-of-inverse-kinematics-algorithms-for-trajectory-resolution-in-ros-based-cobot-pick-and-place-systems-2025-114 monthly 0.6 http://localhost:3000/publications/adherence-monitoring-via-wearable-devices-an-iot-architecture-integrating-edge-computing-and-blockchain-2025-103 monthly 0.6 http://localhost:3000/publications/teaching-llm-programming-in-industrially-focused-courses-2025-56 monthly 0.6 http://localhost:3000/publications/revolutionizing-cyber-threat-detection-with-large-language-models-a-privacy-preserving-bert-based-lightweight-model-for-iot-iiot-devices-2024-136 monthly 0.6 http://localhost:3000/publications/a-comprehensive-review-of-model-compression-techniques-in-machine-learning-2024-74 monthly 0.6 http://localhost:3000/publications/how-secure-is-ai-generated-code-a-large-scale-comparison-of-large-language-models-2025-81 monthly 0.6 http://localhost:3000/publications/llm-generated-invariants-for-bounded-model-checking-without-loop-unrolling-2024-74 monthly 0.6 http://localhost:3000/publications/counterexample-guided-neural-network-quantization-refinement-2023-60 monthly 0.6 http://localhost:3000/publications/a-co-design-condition-for-dynamic-event-triggered-feedback-linearization-control-2024-80 monthly 0.6 http://localhost:3000/publications/fractional-order-robust-control-design-under-parametric-uncertain-approach-2024-74 monthly 0.6 http://localhost:3000/publications/an-enhanced-voltage-control-method-for-fair-active-power-curtailment-of-rooftop-pv-systems-in-lv-distribution-networks-2024-118 monthly 0.6 http://localhost:3000/publications/a-large-language-model-approach-to-sql-to-text-generation-2024-57 monthly 0.6 http://localhost:3000/publications/experimental-implementation-of-hydraulic-turbine-dynamics-and-a-fractional-order-speed-governor-controller-on-a-small-scale-power-system-2024-136 monthly 0.6 http://localhost:3000/publications/event-triggered-control-for-lpv-systems-under-hybrid-cyberattacks-2024-65 monthly 0.6 http://localhost:3000/publications/mitigating-voltage-drop-and-excessive-step-voltage-regulator-tap-operation-in-distribution-networks-due-to-electric-vehicle-fast-charging-2024-137 monthly 0.6 http://localhost:3000/publications/esbmc-python-a-bounded-model-checker-for-python-programs-2024-56 monthly 0.6 http://localhost:3000/publications/fault-estimation-for-nonlinear-parameter-varying-time-delayed-systems-2024-69 monthly 0.6 http://localhost:3000/publications/fusebmc-v4-improving-code-coverage-with-smart-seeds-via-bmc-fuzzing-and-static-analysis-2024-87 monthly 0.6 http://localhost:3000/publications/event-triggered-dynamic-output-feedback-control-for-lpv-systems-2024-63 monthly 0.6 http://localhost:3000/publications/verifying-components-of-arm-confidential-computing-architecture-with-esbmc-2024-74 monthly 0.6 http://localhost:3000/publications/fractional-order-identification-system-based-on-sundaresan-s-technique-2024-70 monthly 0.6 http://localhost:3000/publications/synthetic-data-aided-federated-learning-using-foundation-models-2024-63 monthly 0.6 http://localhost:3000/publications/comparison-of-economic-model-predictive-controllers-for-gas-lift-optimization-in-offshore-oil-and-gas-rigs-2024-106 monthly 0.6 http://localhost:3000/publications/stability-evaluation-of-a-multi-stage-converter-system-considering-a-cpl-connected-2024-82 monthly 0.6 http://localhost:3000/publications/rapid-taint-assisted-concolic-execution-tace-2024-44 monthly 0.6 http://localhost:3000/publications/exploring-the-impact-of-zero-cost-proxies-for-hybrid-vision-transformers-2024-72 monthly 0.6 http://localhost:3000/publications/jcwit-a-correctness-witness-validator-for-java-programs-based-on-bounded-model-checking-2024-87 monthly 0.6 http://localhost:3000/publications/experimental-evaluation-of-the-robust-controllers-applied-on-a-single-inductor-multiple-output-dc-dc-buck-converter-to-minimize-cross-regulation-considering-par-206 monthly 0.6 http://localhost:3000/publications/software-patterns-and-data-structures-for-the-runtime-coordination-of-robots-with-a-focus-on-real-time-execution-performance-2024-124 monthly 0.6 http://localhost:3000/publications/regional-static-output-feedback-stabilization-based-on-polynomial-lyapunov-functions-for-a-class-of-nonlinear-systems-2024-117 monthly 0.6 http://localhost:3000/publications/towards-releasing-vit-from-pre-training-2024-39 monthly 0.6 http://localhost:3000/publications/a-comparative-analysis-between-lua-interpreter-variants-compiled-to-wasm-javascript-and-native-2024-94 monthly 0.6 http://localhost:3000/publications/trust-but-verify-evaluating-developer-behavior-in-mitigating-security-vulnerabilities-in-open-source-software-projects-2024-118 monthly 0.6 http://localhost:3000/publications/safe-uav-continuous-control-architecture-design-2024-47 monthly 0.6 http://localhost:3000/publications/projeto-de-controladores-tipo-pid-para-estabilizacao-de-sistemas-multivariaveis-a-tempo-discreto-2024-96 monthly 0.6 http://localhost:3000/publications/hobots-a-remote-teaching-method-for-collaborative-robotics-learning-2024-67 monthly 0.6 http://localhost:3000/publications/wip-application-of-serious-games-in-a-university-industrial-related-laboratory-working-with-collaborative-robots-2024-112 monthly 0.6 http://localhost:3000/publications/analise-de-desempenho-dinamico-de-sistemas-de-controle-de-carga-frequencia-em-plantas-termicas-com-turbinas-a-gas-aplicando-controle-fracionario-2024-144 monthly 0.6 http://localhost:3000/publications/aplicacao-de-controle-robusto-ao-problema-de-eletromobilidade-em-comunidades-isoladas-na-amazonia-2024-97 monthly 0.6 http://localhost:3000/publications/projeto-de-controle-robusto-baseado-na-minimizacao-de-impedancia-de-saida-aplicado-a-microrredes-cc-com-cpl-2024-107 monthly 0.6 http://localhost:3000/publications/estudo-probabilistico-da-capacidade-de-hospedagem-de-eletropostos-em-sistemas-de-subtransmissao-sob-criterios-operativos-da-margem-estabilidade-de-tensao-2024-153 monthly 0.6 http://localhost:3000/publications/proposta-de-metodologia-retrofit-aplicada-em-um-processo-produtivo-legado-2024-73 monthly 0.6 http://localhost:3000/publications/controle-de-prototipo-de-suspensao-ativa-para-veiculos-de-competicao-off-road-2024-77 monthly 0.6 http://localhost:3000/publications/construcao-e-projeto-de-controle-de-um-prototipo-de-pendulo-invertido-rotacional-2024-80 monthly 0.6 http://localhost:3000/publications/controle-robusto-h-com-saturacao-do-sinal-de-controle-aplicado-a-um-sistema-ball-on-plate-2024-89 monthly 0.6 http://localhost:3000/publications/predicoes-de-lesoes-esportivas-com-base-em-aprendizado-de-maquina-2024-65 monthly 0.6 http://localhost:3000/publications/esbmc-v7-4-harnessing-the-power-of-intervals-competition-contribution-2024-69 monthly 0.6 http://localhost:3000/publications/a-fuzzing-based-test-creation-approach-for-evaluating-digital-tv-receivers-via-transport-streams-2024-96 monthly 0.6 http://localhost:3000/publications/rede-neural-adaptativa-com-multiplas-camadas-paralelas-aplicacao-ao-monitoramento-de-processos-industriais-2024-106 monthly 0.6 http://localhost:3000/publications/controle-por-realimentacao-de-saida-via-dados-2024-45 monthly 0.6 http://localhost:3000/publications/controle-por-realimentacao-linearizante-para-rastreamendo-de-maxima-potencia-em-um-sistema-fotovoltaico-com-conversor-buck-2024-122 monthly 0.6 http://localhost:3000/publications/controle-extremal-com-equacoes-diferenciais-parciais-de-difusao-distribuidas-2024-76 monthly 0.6 http://localhost:3000/publications/proposta-de-um-algoritmo-baseado-em-autocodificador-neural-evolutivo-para-monitoramento-de-processos-2024-100 monthly 0.6 http://localhost:3000/publications/controle-baseado-em-eventos-de-conversores-cc-cc-com-cargas-de-potencia-constante-2024-81 monthly 0.6 http://localhost:3000/publications/estimacao-e-compensacao-de-ataques-de-injecao-de-dados-falsos-em-atuadores-de-sistemas-lpv-2024-90 monthly 0.6 http://localhost:3000/publications/aplicacao-de-tecnicas-de-controle-robusto-ao-problema-de-eletromobilidade-em-comunidades-isoladas-na-amazonia-2024-109 monthly 0.6 http://localhost:3000/publications/an-automatic-correction-mechanism-for-practical-experiments-based-on-digital-twins-2024-82 monthly 0.6 http://localhost:3000/publications/remote-training-method-to-assist-robotic-activity-in-industry-2024-61 monthly 0.6 http://localhost:3000/publications/detection-of-cyberattacks-in-iot-networks-using-artificial-intelligence-a-comparative-study-2024-91 monthly 0.6 http://localhost:3000/publications/dynamic-performance-analysis-of-load-frequency-control-systems-in-thermal-plants-with-gas-turbines-applying-fractional-control-2024-126 monthly 0.6 http://localhost:3000/publications/classificacao-de-ataques-ciberneticos-em-redes-mqtt-com-base-em-aprendizado-de-maquina-2024-86 monthly 0.6 http://localhost:3000/publications/platform-to-help-cnn-training-in-manufacturing-teaching-environments-2024-68 monthly 0.6 http://localhost:3000/publications/an-innovative-approach-to-automatically-help-activities-corrections-in-remote-laboratories-in-the-mechatronics-area-using-intelligent-digital-twins-2024-147 monthly 0.6 http://localhost:3000/publications/proposta-de-controle-robusto-baseado-na-minimizacao-de-impedancia-de-saida-aplicado-a-microredes-cc-com-cpl-2024-107 monthly 0.6 http://localhost:3000/publications/sports-injury-predictions-based-on-machine-learning-2024-51 monthly 0.6 http://localhost:3000/publications/feedback-linearization-control-for-maximum-power-point-tracking-in-a-photovoltaic-system-with-a-buck-converter-2024-110 monthly 0.6 http://localhost:3000/publications/projeto-de-controle-robusto-baseado-na-minimiza-o-de-imped-ncia-de-sa-da-aplicado-a-microrredes-cc-com-cpl-2024-106 monthly 0.6 http://localhost:3000/publications/proposta-de-aplicacao-de-um-chatbot-para-o-aprimoramento-do-programa-de-integridade-em-uma-universidade-publica-2024-111 monthly 0.6 http://localhost:3000/publications/leveraging-semantic-similarity-for-non-conformity-management-in-industrial-environments-2024-87 monthly 0.6 http://localhost:3000/publications/operating-behavior-of-a-photovoltaic-driven-electrolysis-system-2024-63 monthly 0.6 http://localhost:3000/publications/edge-learning-for-6g-enabled-internet-of-things-a-comprehensive-survey-of-vulnerabilities-datasets-and-defenses-2023-111 monthly 0.6 http://localhost:3000/publications/the-formai-dataset-generative-ai-in-software-security-through-the-lens-of-formal-verification-2023-93 monthly 0.6 http://localhost:3000/publications/event-triggered-control-of-takagi-sugeno-fuzzy-systems-under-deception-attacks-2023-78 monthly 0.6 http://localhost:3000/publications/a-switching-approach-to-event-triggered-control-systems-under-denial-of-service-attacks-2023-87 monthly 0.6 http://localhost:3000/publications/poisoning-attacks-in-federated-edge-learning-for-digital-twin-6g-enabled-iots-an-anticipatory-study-2023-99 monthly 0.6 http://localhost:3000/publications/development-of-a-novel-methodology-to-retrofit-legacy-systems-in-the-context-of-industry-4-0-2023-92 monthly 0.6 http://localhost:3000/publications/autonomous-ground-navigation-in-highly-constrained-spaces-lessons-learned-from-the-second-barn-challenge-at-icra-2023-competitions-2023-130 monthly 0.6 http://localhost:3000/publications/plug-and-play-distributed-control-of-large-scale-nonlinear-systems-2023-66 monthly 0.6 http://localhost:3000/publications/distributed-control-of-time-delay-interconnected-nonlinear-systems-2023-66 monthly 0.6 http://localhost:3000/publications/accelerated-dual-dynamic-integer-programming-applied-to-short-term-power-generation-scheduling-2023-94 monthly 0.6 http://localhost:3000/publications/distributed-event-triggered-fuzzy-control-for-nonlinear-interconnected-systems-2023-78 monthly 0.6 http://localhost:3000/publications/a-simplified-economic-model-predictive-control-for-a-gas-lifted-oil-production-network-based-on-modifier-adaptation-2023-115 monthly 0.6 http://localhost:3000/publications/a-privacy-preserving-and-accountable-billing-protocol-for-peer-to-peer-energy-trading-markets-2023-93 monthly 0.6 http://localhost:3000/publications/monitoring-and-controlling-industrial-cyber-physical-systems-with-digital-twin-and-augmented-reality-2023-100 monthly 0.6 http://localhost:3000/publications/dbvinci-towards-the-usage-of-gpt-engine-for-processing-sql-queries-2023-66 monthly 0.6 http://localhost:3000/publications/reconfiguration-blocks-and-fault-hiding-design-applications-and-challenges-2023-74 monthly 0.6 http://localhost:3000/publications/airepair-a-repair-platform-for-neural-networks-2023-46 monthly 0.6 http://localhost:3000/publications/lsverifier-a-bmc-approach-to-identify-security-vulnerabilities-in-c-open-source-software-projects-2023-97 monthly 0.6 http://localhost:3000/publications/probabilistic-operational-costs-assessment-of-combined-pv-pev-connections-in-lv-distribution-networks-2023-101 monthly 0.6 http://localhost:3000/publications/certified-private-inference-on-neural-networks-via-lipschitz-guided-abstraction-refinement-2023-90 monthly 0.6 http://localhost:3000/publications/towards-global-neural-network-abstractions-with-locally-exact-reconstruction-2023-76 monthly 0.6 http://localhost:3000/publications/qnnrepair-quantized-neural-network-repair-2023-41 monthly 0.6 http://localhost:3000/publications/esbmc-v7-3-model-checking-c-programs-using-clang-ast-2023-52 monthly 0.6 http://localhost:3000/publications/proposal-of-fault-detection-and-diagnosis-system-architecture-for-residential-air-conditioners-based-on-the-internet-of-things-2023-126 monthly 0.6 http://localhost:3000/publications/on-interventional-probing-in-high-dimensions-an-nli-case-study-2023-62 monthly 0.6 http://localhost:3000/publications/evaluation-of-ginga-s-cc-web-service-module-2023-43 monthly 0.6 http://localhost:3000/publications/hidden-design-principles-in-zero-cost-performance-predictors-for-neural-architecture-search-2023-91 monthly 0.6 http://localhost:3000/publications/estudo-dos-custos-gerados-as-concessionarias-com-rdbts-sob-operacao-conjunta-de-pv-e-ve-sujeitos-ao-controle-volt-var-2023-117 monthly 0.6 http://localhost:3000/publications/editorial-robots-in-assisted-living-environments-enhancements-challenges-and-future-perspectives-2023-96 monthly 0.6 http://localhost:3000/publications/investigac-ao-de-metodologias-de-sintonia-de-controladores-fracionarios-aplicados-ao-problema-de-amortecimento-de-oscilac-oes-eletromec-anicas-2023-142 monthly 0.6 http://localhost:3000/publications/comparacao-de-abordagens-de-controle-via-lmi-usando-diferentes-modelagens-aplicado-a-microrrede-cc-com-carga-cpl-2023-112 monthly 0.6 http://localhost:3000/publications/digitalizacao-de-uma-planta-industrial-utilizando-o-protocolo-de-comunicacao-opc-ua-e-aplicacao-node-red-2023-104 monthly 0.6 http://localhost:3000/publications/design-of-rst-digital-controller-and-plc-implementation-on-a-water-level-bench-2023-78 monthly 0.6 http://localhost:3000/publications/proposta-de-metodologia-retrofit-para-atualizar-sistemas-legados-2023-64 monthly 0.6 http://localhost:3000/publications/estrategia-de-controle-nao-linear-com-estimativa-de-dominio-de-atracao-para-uma-classe-de-sistemas-sujeitos-a-saturacao-nos-atuadores-2023-133 monthly 0.6 http://localhost:3000/publications/aplicando-mineracao-de-dados-e-aprendizagem-de-maquina-para-planejamento-energetico-de-comunidades-ribeirinhas-estudo-de-caso-da-reserva-do-tupe-no-amazonas-202-156 monthly 0.6 http://localhost:3000/publications/uso-de-energia-solar-fotovoltaica-e-de-biodigestor-na-comunidade-indigena-tres-unidos-estudo-de-caso-2023-100 monthly 0.6 http://localhost:3000/publications/ebf-4-2-black-box-cooperative-verification-for-concurrent-programs-competition-contribution-2023-91 monthly 0.6 http://localhost:3000/publications/fusebmc-ia-interval-analysis-and-methods-for-test-case-generation-competition-contribution-2023-90 monthly 0.6 http://localhost:3000/publications/towards-integrity-and-reliability-in-embedded-systems-the-synergy-of-esbmc-and-arduino-integration-2023-98 monthly 0.6 http://localhost:3000/publications/misofuzz-a-modular-infrastructure-for-scalable-fuzzing-orchestration-2023-68 monthly 0.6 http://localhost:3000/publications/aplicando-tecnicas-de-programacao-por-restricoes-com-raciocinio-automatico-para-verificacao-formal-de-software-2023-110 monthly 0.6 http://localhost:3000/publications/uma-nova-condicao-quase-lmi-para-projeto-de-controladores-pid-multivariaveis-2023-76 monthly 0.6 http://localhost:3000/publications/static-output-feedback-control-of-time-delayed-lpv-systems-under-actuator-saturation-2023-84 monthly 0.6 http://localhost:3000/publications/controle-distribuido-com-acionamento-por-eventos-para-sistemas-nao-lineares-interconectados-2023-91 monthly 0.6 http://localhost:3000/publications/output-feedback-control-of-takagi-sugeno-fuzzy-systems-with-unmeasured-nonlinearities-via-a-local-separation-principle-2023-118 monthly 0.6 http://localhost:3000/publications/interface-de-comunicacao-e-controle-de-recarga-inteligente-para-veiculos-eletricos-2023-82 monthly 0.6 http://localhost:3000/publications/uso-do-metodo-de-monte-carlo-para-a-criacao-de-curvas-de-cargas-residenciais-regionais-2023-86 monthly 0.6 http://localhost:3000/publications/auxiliar-terapeutico-interativo-para-o-desenvolvimento-de-habilidades-em-criancas-autistas-2023-90 monthly 0.6 http://localhost:3000/publications/analise-comparativa-entre-solucoes-pelo-lado-da-rede-e-solucoes-pelo-lado-da-gd-para-mitigacao-da-sobretensao-em-redes-de-distribuicao-de-bt-com-penetracao-da-g-179 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-uma-plataforma-iot-para-monitoramento-da-qualidade-da-agua-na-piscicultura-2023-93 monthly 0.6 http://localhost:3000/publications/monitoramento-na-cadeia-de-frio-durante-o-processo-de-vacinacao-por-meio-de-sensoriamento-baseado-em-iot-e-tecnicas-de-machine-learning-2023-135 monthly 0.6 http://localhost:3000/publications/investigacao-de-metodologias-de-sintonia-de-controladores-fracionarios-aplicados-ao-problema-de-amortecimento-de-oscilacoes-eletromecanicas-2023-139 monthly 0.6 http://localhost:3000/publications/comparacao-de-abordagens-de-controle-via-lmis-usando-diferentes-modelagens-aplicado-a-microrrede-cc-com-carga-de-potencia-constante-2023-131 monthly 0.6 http://localhost:3000/publications/digitalizacao-de-uma-planta-industrial-utilizando-o-protocolo-de-comunicacao-opc-ua-2023-83 monthly 0.6 http://localhost:3000/publications/uma-estrategia-de-retrofit-para-deteccao-de-ultrapassagens-de-demanda-em-sistemas-prediais-legados-2023-98 monthly 0.6 http://localhost:3000/publications/os-sistemas-eletricos-isolados-desafios-das-comunidades-rurais-ao-longo-do-percurso-do-linhao-de-tucurui-na-regiao-do-baixo-amazonas-2023-132 monthly 0.6 http://localhost:3000/publications/composition-of-reactive-coordinated-execution-for-iec-62264-work-centers-and-work-units-best-practices-for-traceability-and-stability-2023-133 monthly 0.6 http://localhost:3000/publications/using-smote-techniques-for-industrial-defects-diagnosis-to-feed-machine-learning-models-2023-87 monthly 0.6 http://localhost:3000/publications/controle-preditivo-economico-baseado-em-dados-entrada-saida-aplicado-em-um-poco-de-petroleo-2023-91 monthly 0.6 http://localhost:3000/publications/digital-twin-applications-a-survey-of-recent-advances-and-challenges-2022-68 monthly 0.6 http://localhost:3000/publications/codesign-of-dynamic-event-triggered-gain-scheduling-control-for-a-class-of-nonlinear-systems-2022-92 monthly 0.6 http://localhost:3000/publications/dual-rate-control-framework-with-safe-watermarking-against-deception-attacks-2022-76 monthly 0.6 http://localhost:3000/publications/dynamic-event-triggered-gain-scheduling-control-of-discrete-time-quasi-lpv-system-2022-81 monthly 0.6 http://localhost:3000/publications/piecewise-linear-approximations-for-hydropower-production-function-applied-on-the-hydrothermal-unit-commitment-problem-2022-118 monthly 0.6 http://localhost:3000/publications/learning-event-triggered-control-based-on-evolving-data-driven-fuzzy-granular-models-2022-84 monthly 0.6 http://localhost:3000/publications/combined-pv-pev-hosting-capacity-analysis-in-low-voltage-distribution-networks-2022-78 monthly 0.6 http://localhost:3000/publications/mpc-using-an-on-line-ts-fuzzy-learning-approach-with-application-to-autonomous-driving-2022-86 monthly 0.6 http://localhost:3000/publications/esbmc-cheri-towards-verification-of-c-programs-for-cheri-platforms-with-esbmc-2022-77 monthly 0.6 http://localhost:3000/publications/a-fuzzing-based-test-creation-approach-for-evaluating-digital-tv-receivers-via-transport-streams-2022-96 monthly 0.6 http://localhost:3000/publications/guaranteed-region-of-attraction-estimation-for-time-delayed-fuzzy-systems-via-static-output-feedback-control-2022-108 monthly 0.6 http://localhost:3000/publications/a-sufficient-condition-to-design-unknown-input-observers-for-nonlinear-systems-with-arbitrary-relative-degree-2022-109 monthly 0.6 http://localhost:3000/publications/event-triggered-control-of-quasi-lpv-systems-with-communication-delays-2022-70 monthly 0.6 http://localhost:3000/publications/privacy-friendly-peer-to-peer-energy-trading-a-game-theoretical-approach-2022-72 monthly 0.6 http://localhost:3000/publications/a-survey-of-digital-television-interactivity-technologies-2022-57 monthly 0.6 http://localhost:3000/publications/wit4java-a-violation-witness-validator-for-java-verifiers-competition-paper-2022-75 monthly 0.6 http://localhost:3000/publications/fault-classification-and-phase-selector-algorithm-for-half-wavelength-transmission-lines-2022-88 monthly 0.6 http://localhost:3000/publications/combining-bmc-and-fuzzing-techniques-for-finding-software-vulnerabilities-in-concurrent-programs-2022-96 monthly 0.6 http://localhost:3000/publications/towards-privacy-preserving-local-energy-markets-2022-47 monthly 0.6 http://localhost:3000/publications/a-novel-strategy-for-smart-building-convergence-based-on-the-smartlvgrid-metamodel-2022-82 monthly 0.6 http://localhost:3000/publications/impact-evaluation-of-solar-photovoltaic-electrification-indigenous-community-case-study-in-brazilian-amazon-2022-107 monthly 0.6 http://localhost:3000/publications/systematicity-compositionality-and-transitivity-of-deep-nlp-models-a-metamorphic-testing-perspective-2022-100 monthly 0.6 http://localhost:3000/publications/static-output-feedback-stabilization-of-discrete-time-lpv-systems-under-actuator-saturation-2022-91 monthly 0.6 http://localhost:3000/publications/implementation-of-the-system-of-remote-laboratories-in-the-area-of-mechatronics-for-learning-without-human-supervision-2022-118 monthly 0.6 http://localhost:3000/publications/data-driven-prognostics-based-on-evolving-fuzzy-degradation-models-for-power-semiconductor-devices-2022-98 monthly 0.6 http://localhost:3000/publications/esbmc-solidity-an-smt-based-model-checker-for-solidity-smart-contracts-2022-70 monthly 0.6 http://localhost:3000/publications/gesture-recognition-of-wrist-motion-based-on-wearables-sensors-2022-62 monthly 0.6 http://localhost:3000/publications/fault-detection-for-photovoltaic-systems-using-fuzzy-c-means-clustering-2022-71 monthly 0.6 http://localhost:3000/publications/esbmc-jimple-verifying-kotlin-programs-via-jimple-intermediate-representation-2022-77 monthly 0.6 http://localhost:3000/publications/navigation-robot-training-with-deep-q-learning-monitored-by-digital-twin-2022-72 monthly 0.6 http://localhost:3000/publications/an-evolutionary-search-algorithm-for-efficient-resnet-based-architectures-a-case-study-on-gender-recognition-2022-108 monthly 0.6 http://localhost:3000/publications/learning-iot-methodological-framework-for-remote-robotics-teaching-2022-66 monthly 0.6 http://localhost:3000/publications/continuous-supervision-and-diagnostics-system-for-legacy-vehicles-integrated-to-ambient-intelligence-2022-100 monthly 0.6 http://localhost:3000/publications/a-retrofit-strategy-for-real-time-monitoring-of-building-electrical-circuits-based-on-the-smartlvgrid-metamodel-2022-111 monthly 0.6 http://localhost:3000/publications/construction-of-a-digital-twin-for-reliability-analysis-a-case-study-of-a-storage-process-2022-89 monthly 0.6 http://localhost:3000/publications/stabilization-of-rational-nonlinear-discrete-time-systems-by-state-feedback-and-static-output-feedback-2022-102 monthly 0.6 http://localhost:3000/publications/position-paper-towards-a-hybrid-approach-to-protect-against-memory-safety-vulnerabilities-2022-89 monthly 0.6 http://localhost:3000/publications/stability-analysis-of-uncertain-discrete-time-systems-with-time-varying-delays-using-difference-algebraic-representation-2022-120 monthly 0.6 http://localhost:3000/publications/passivation-based-control-reconfiguration-with-virtual-actuators-2022-64 monthly 0.6 http://localhost:3000/publications/a-set-based-uncertainty-quantification-of-evolving-fuzzy-models-for-data-driven-prognostics-2022-91 monthly 0.6 http://localhost:3000/publications/deteccao-e-classificacao-de-falta-em-rede-de-distribuicao-de-energia-conectada-em-gerador-pv-usando-logica-fuzzy-com-identificacao-parametrica-online-2022-149 monthly 0.6 http://localhost:3000/publications/remote-teaching-method-for-human-robot-collaboration-on-the-factory-floor-2022-73 monthly 0.6 http://localhost:3000/publications/formal-synthesis-of-non-fragile-state-feedback-digital-controllers-considering-performance-requirements-for-step-response-2022-121 monthly 0.6 http://localhost:3000/publications/summary-of-model-checking-c-programs-2022-36 monthly 0.6 http://localhost:3000/publications/gesture-recognition-of-wrist-motion-using-low-frequency-ppg-2022-59 monthly 0.6 http://localhost:3000/publications/ceg4n-counter-example-guided-neural-network-quantization-refinement-2022-67 monthly 0.6 http://localhost:3000/publications/performance-evaluation-of-different-tos-using-heterogeneous-communication-interfaces-in-fanets-2021-94 monthly 0.6 http://localhost:3000/publications/avaliacao-de-modelo-de-maturidade-rami-de-industria-4-0-estudo-de-caso-de-um-sistema-de-alocacao-de-recursos-2022-108 monthly 0.6 http://localhost:3000/publications/aplicacao-de-controle-via-realimentacao-dinamica-de-saida-baseado-em-lmi-para-amortecer-oscilacoes-eletromecanicas-no-sep-2022-121 monthly 0.6 http://localhost:3000/publications/projeto-e-implementacao-de-um-controlador-fopi-em-uma-bancada-de-controle-de-nivel-2022-82 monthly 0.6 http://localhost:3000/publications/implementacao-de-um-fopss-via-alocacao-de-polos-de-ordem-fracionaria-ao-problema-de-amortecimento-das-oscilacoes-eletromecanicas-de-um-sistema-em-escala-reduzid-161 monthly 0.6 http://localhost:3000/publications/analise-de-estabilidade-de-microrredes-cc-utilizando-criterios-baseados-em-regiao-proibida-2022-90 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-uma-malha-auxiliar-ativa-baseada-em-esp-para-mitigacao-de-oscilacoes-em-conversores-cc-cc-2022-108 monthly 0.6 http://localhost:3000/publications/backstepping-controller-strategy-applied-in-a-non-holonomic-mobile-robot-2022-72 monthly 0.6 http://localhost:3000/publications/improved-gain-scheduled-control-design-for-rational-nonlinear-discrete-time-systems-with-input-saturation-2022-105 monthly 0.6 http://localhost:3000/publications/a-contribuicao-das-metodologias-ativas-para-o-trabalho-em-equipe-nos-laboratorios-moveis-do-projeto-academia-stem-2022-113 monthly 0.6 http://localhost:3000/publications/realidade-aumentada-no-aprendizado-de-ciencias-2022-46 monthly 0.6 http://localhost:3000/publications/modelo-de-ensino-stem-e-metodologias-ativas-aplicadas-nos-laboratorios-moveis-de-manaus-2022-87 monthly 0.6 http://localhost:3000/publications/insercao-das-tecnologias-digitais-na-educacao-experiencias-nos-laboratorios-moveis-do-projeto-academia-stem-2022-107 monthly 0.6 http://localhost:3000/publications/inclusao-da-educacao-4-0-no-ensino-medio-atraves-do-projeto-de-uma-casa-automatizada-controlada-por-celular-2022-107 monthly 0.6 http://localhost:3000/publications/estudo-de-caso-de-aplicacao-de-aprendizagem-de-maquina-em-dados-coletados-de-comunidade-ribeirinha-atendida-pelo-luz-para-todos-no-baixo-rio-negro-amazonas-2022-155 monthly 0.6 http://localhost:3000/publications/enncore-end-to-end-conceptual-guarding-of-neural-architectures-2022-62 monthly 0.6 http://localhost:3000/publications/fusebmc-v4-smart-seed-generation-for-hybrid-fuzzing-competition-contribution-2022-76 monthly 0.6 http://localhost:3000/publications/ceg4n-counter-example-guided-neural-network-quantization-refinemen-2022-66 monthly 0.6 http://localhost:3000/publications/control-flow-graph-formal-verification-and-constraint-programming-techniques-2022-76 monthly 0.6 http://localhost:3000/publications/combinatorial-methods-to-explore-cfg-paths-in-bmc-counterexamples-2022-65 monthly 0.6 http://localhost:3000/publications/application-of-interval-arithmetic-and-constraint-programming-in-the-optimization-of-formal-verification-processes-2022-114 monthly 0.6 http://localhost:3000/publications/estabilizadores-virtuais-para-conversores-cc-cc-com-cargas-de-potencia-constante-2022-80 monthly 0.6 http://localhost:3000/publications/controle-distribuido-para-sistemas-nao-lineares-interconectados-sujeitos-a-retardos-variantes-no-tempo-nas-interconexoes-2022-120 monthly 0.6 http://localhost:3000/publications/controle-com-acionamento-por-eventos-resiliente-a-ataques-de-negacao-de-servico-2022-79 monthly 0.6 http://localhost:3000/publications/controle-em-rede-com-acionamento-por-eventos-para-sistemas-sujeitos-a-ataques-ciberneticos-2022-90 monthly 0.6 http://localhost:3000/publications/uma-estrategia-de-controle-de-tensao-baseada-em-sensibilidade-para-reducao-igualitaria-das-injecoes-de-potencia-ativa-de-geradores-fv-em-redes-de-distribuicao-d-164 monthly 0.6 http://localhost:3000/publications/estudo-probabilistico-da-capacidade-de-hospedagem-combinada-de-microgeradores-fotovoltaicos-e-veiculos-eletricos-sob-controle-volt-var-local-em-redes-de-distrib-181 monthly 0.6 http://localhost:3000/publications/teaching-industry-4-0-related-topics-during-the-covid-19-restrictions-an-experience-report-2022-90 monthly 0.6 http://localhost:3000/publications/remote-lab-system-for-teaching-engineering-topics-related-to-mechatronics-2022-73 monthly 0.6 http://localhost:3000/publications/seletor-de-fases-faltosas-para-linhas-de-transmissao-de-um-pouco-mais-de-meio-comprimento-de-onda-2022-97 monthly 0.6 http://localhost:3000/publications/uma-estrategia-de-retrofit-para-monitoramento-energetico-em-sistemas-prediais-legados-2022-85 monthly 0.6 http://localhost:3000/publications/estrategia-de-controlador-backstepping-aplicada-em-um-robo-movel-nao-holonomico-2022-79 monthly 0.6 http://localhost:3000/publications/business-intelligence-as-a-decision-support-tool-for-the-brazilian-public-administration-2022-88 monthly 0.6 http://localhost:3000/publications/estrategias-de-controle-aplicadas-a-um-conversor-de-potencia-do-tipo-buck-com-estrutura-simo-2022-92 monthly 0.6 http://localhost:3000/publications/learniung-iot-methodological-framework-for-remote-robotics-teaching-2022-67 monthly 0.6 http://localhost:3000/publications/distributed-control-of-networked-nonlinear-systems-via-interconnected-takagi-sugeno-fuzzy-systems-with-nonlinear-consequent-2021-123 monthly 0.6 http://localhost:3000/publications/robust-control-of-interconnected-power-electronic-converters-to-enhance-performance-in-dc-distribution-systems-a-case-of-study-2020-126 monthly 0.6 http://localhost:3000/publications/constrained-output-feedback-control-for-discrete-time-fuzzy-systems-with-local-nonlinear-models-subject-to-state-and-input-constraints-2021-134 monthly 0.6 http://localhost:3000/publications/dynamic-periodic-event-triggered-gain-scheduling-control-co-design-for-quasi-lpv-systems-2021-88 monthly 0.6 http://localhost:3000/publications/model-checking-c-programs-2021-25 monthly 0.6 http://localhost:3000/publications/fusebmc-an-energy-efficient-test-generator-for-finding-security-vulnerabilities-in-c-programs-2021-93 monthly 0.6 http://localhost:3000/publications/improved-robust-gain-scheduling-static-output-feedback-control-for-discrete-time-lpv-systems-2021-92 monthly 0.6 http://localhost:3000/publications/passivation-blocks-for-fault-tolerant-control-of-nonlinear-systems-2021-66 monthly 0.6 http://localhost:3000/publications/delayed-nonquadratic-l2-stabilization-of-continuous-time-nonlinear-takagi-sugeno-fuzzy-models-2021-93 monthly 0.6 http://localhost:3000/publications/online-range-based-slam-using-b-spline-surfaces-2021-47 monthly 0.6 http://localhost:3000/publications/fusebmc-a-white-box-fuzzer-for-finding-security-vulnerabilities-in-c-programs-competition-contribution-2021-102 monthly 0.6 http://localhost:3000/publications/verifying-security-vulnerabilities-for-blockchain-based-smart-contracts-2021-71 monthly 0.6 http://localhost:3000/publications/communication-interface-manager-for-improving-performance-of-heterogeneous-uav-networks-2021-87 monthly 0.6 http://localhost:3000/publications/local-sampled-data-gain-scheduling-control-of-quasi-lpv-systems-2021-63 monthly 0.6 http://localhost:3000/publications/application-of-a-robust-faulted-phase-selector-to-high-resistance-and-weak-infeed-fault-conditions-on-a-1000-kv-uhv-transmission-line-2021-133 monthly 0.6 http://localhost:3000/publications/evolving-fuzzy-system-applied-to-battery-charge-capacity-prediction-for-fault-prognostics-2021-89 monthly 0.6 http://localhost:3000/publications/comparative-study-of-control-methodologies-and-pll-topologies-to-enhance-the-performance-of-the-synchronization-of-grid-tied-pv-system-2021-134 monthly 0.6 http://localhost:3000/publications/robot-training-and-navigation-through-the-deep-q-learning-algorithm-2021-67 monthly 0.6 http://localhost:3000/publications/industrial-real-time-digital-twin-system-for-remote-teaching-using-node-red-2021-75 monthly 0.6 http://localhost:3000/publications/hardware-update-through-digital-tv-signals-2021-42 monthly 0.6 http://localhost:3000/publications/assisted-counterexample-guided-inductive-optimization-for-robot-path-planning-2021-77 monthly 0.6 http://localhost:3000/publications/avaliacao-de-desempenho-de-tecnologias-emergentes-para-controle-de-tensao-em-redes-de-distribuicao-com-elevada-penetracao-de-microgeracao-fotovoltaica-performan-294 monthly 0.6 http://localhost:3000/publications/virtual-setup-automatic-virtualization-of-industrial-plants-for-didactic-purposes-2021-81 monthly 0.6 http://localhost:3000/publications/creation-of-a-virtual-learning-environment-to-support-presential-discipline-in-a-technological-course-2021-101 monthly 0.6 http://localhost:3000/publications/robust-control-of-a-three-phase-separator-an-lmi-approach-2021-57 monthly 0.6 http://localhost:3000/publications/estabilizacao-de-reguladores-de-tensao-da-topologia-buck-conectado-a-uma-cpl-utilizando-tecnicas-de-controle-baseadas-em-lmi-2021-124 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-uma-malha-auxiliar-ativa-para-supressao-de-oscilacoes-decorrentes-da-conexao-com-cpl-em-sistemas-de-distribuicao-cc-2021-134 monthly 0.6 http://localhost:3000/publications/comparacao-de-tecnicas-de-controle-via-lmi-aplicadas-em-microrredes-cc-com-cpl-2021-78 monthly 0.6 http://localhost:3000/publications/investigacao-de-tecnicas-de-controle-de-ordem-fracionaria-aplicadas-ao-controle-de-um-sistema-de-tres-tanques-acoplados-2021-119 monthly 0.6 http://localhost:3000/publications/applying-the-automationml-tool-to-improve-the-students-skills-in-automation-2021-75 monthly 0.6 http://localhost:3000/publications/cubo-tecnologico-assistivo-para-inclusao-e-desenvolvimento-educacional-de-criancas-com-tea-2021-90 monthly 0.6 http://localhost:3000/publications/incremental-learning-and-state-space-evolving-fuzzy-control-of-nonlinear-time-varying-systems-with-unknown-model-2021-112 monthly 0.6 http://localhost:3000/publications/sistema-de-solicitacao-e-monitoramento-de-estoque-em-tempo-real-utilizando-node-red-para-ensino-remoto-2021-102 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-uma-ferramenta-didatica-para-o-ensino-de-automacao-e-controle-de-sistemas-de-tanques-industriais-2021-115 monthly 0.6 http://localhost:3000/publications/virtual-setup-virtualizacao-automatica-de-plantas-industriais-2021-61 monthly 0.6 http://localhost:3000/publications/development-of-a-didactic-tool-for-teaching-automation-and-control-theory-based-on-an-industrial-tank-system-2021-108 monthly 0.6 http://localhost:3000/publications/investigacao-da-aplicacao-de-controle-robusto-de-corrente-em-um-circuito-conversor-cc-cc-buck-aplicado-a-um-emulador-de-sistema-de-hidrogeracao-de-energia-eletr-163 monthly 0.6 http://localhost:3000/publications/applying-the-automationml-tool-to-improve-the-students-skill-in-automation-2021-74 monthly 0.6 http://localhost:3000/publications/a-review-of-technologies-and-techniques-for-indoor-navigation-systems-for-the-visually-impaired-2020-95 monthly 0.6 http://localhost:3000/publications/a-multiple-parameterization-approach-for-local-stabilization-of-constrained-takagi-sugeno-fuzzy-systems-with-nonlinear-consequents-2020-130 monthly 0.6 http://localhost:3000/publications/fault-tolerant-control-for-linear-parameter-varying-systems-an-improved-robust-virtual-actuator-and-sensor-approach-2020-115 monthly 0.6 http://localhost:3000/publications/ts-fuzzy-reconfiguration-blocks-for-fault-tolerant-control-of-nonlinear-systems-2020-79 monthly 0.6 http://localhost:3000/publications/data-driven-prognostics-of-rolling-element-bearings-using-a-novel-error-based-evolving-takagi-sugeno-fuzzy-model-2020-112 monthly 0.6 http://localhost:3000/publications/esbmc-6-1-automated-test-case-generation-using-bounded-model-checking-2020-69 monthly 0.6 http://localhost:3000/publications/improving-prediction-accuracy-in-neighborhood-based-collaborative-filtering-by-using-local-similarity-2020-101 monthly 0.6 http://localhost:3000/publications/robust-sampled-data-controller-design-for-uncertain-nonlinear-systems-via-euler-discretization-2020-94 monthly 0.6 http://localhost:3000/publications/uncertain-data-modeling-based-on-evolving-ellipsoidal-fuzzy-information-granules-2020-80 monthly 0.6 http://localhost:3000/publications/design-and-experimental-assessment-of-a-robust-voltage-control-for-dc-dc-converters-considering-components-parametric-uncertainties-2020-131 monthly 0.6 http://localhost:3000/publications/verification-and-refutation-of-c-programs-based-on-k-induction-and-invariant-inference-2020-86 monthly 0.6 http://localhost:3000/publications/a-semi-supervised-convolutional-neural-network-based-on-subspace-representation-for-image-classification-2020-104 monthly 0.6 http://localhost:3000/publications/a-fuzzy-type-2-fault-detection-methodology-to-minimize-false-alarm-rate-in-induction-monitoring-motor-applications-2020-114 monthly 0.6 http://localhost:3000/publications/fractional-order-pole-placement-for-a-buck-converter-based-on-commensurable-transfer-function-2020-93 monthly 0.6 http://localhost:3000/publications/new-mitigation-method-and-analysis-of-the-secondary-arc-current-in-half-wavelength-transmission-lines-2020-101 monthly 0.6 http://localhost:3000/publications/understanding-household-fuel-choice-behaviour-in-the-amazonas-state-brazil-effects-of-validation-and-feature-selection-2020-118 monthly 0.6 http://localhost:3000/publications/comparative-study-of-control-strategies-for-stabilization-and-performance-improvement-of-dc-microgrids-with-a-cpl-connected-2020-123 monthly 0.6 http://localhost:3000/publications/fukunaga-koontz-convolutional-network-with-applications-on-character-classification-2020-83 monthly 0.6 http://localhost:3000/publications/a-hybrid-indoor-positioning-system-using-a-linear-weighted-policy-learner-and-iterative-pdr-2020-91 monthly 0.6 http://localhost:3000/publications/b-spline-surfaces-for-range-based-environment-mapping-2020-53 monthly 0.6 http://localhost:3000/publications/active-depth-estimation-stability-analysis-and-its-applications-2020-63 monthly 0.6 http://localhost:3000/publications/an-efficient-floating-point-bit-blasting-api-for-verifying-c-programs-2020-69 monthly 0.6 http://localhost:3000/publications/gain-scheduled-control-design-for-discrete-time-nonlinear-systems-using-difference-algebraic-representations-2021-108 monthly 0.6 http://localhost:3000/publications/generalized-non-monotonic-lyapunov-functions-for-analysis-and-synthesis-of-takagi-sugeno-systems-2020-96 monthly 0.6 http://localhost:3000/publications/synthesis-of-solar-photovoltaic-systems-optimal-sizing-comparison-2020-65 monthly 0.6 http://localhost:3000/publications/formal-non-fragile-verification-of-step-response-requirements-for-digital-state-feedback-control-systems-2020-104 monthly 0.6 http://localhost:3000/publications/a-digital-solution-to-surpass-incidents-on-100m-sprint-for-paralympic-visually-impaired-athletes-2020-96 monthly 0.6 http://localhost:3000/publications/dissipativity-and-stability-recovery-by-fault-hiding-2020-52 monthly 0.6 http://localhost:3000/publications/direct-form-digital-robust-rst-control-based-on-chebyshev-sphere-optimization-applied-in-a-dc-dc-power-converter-2020-112 monthly 0.6 http://localhost:3000/publications/alocacao-otima-de-sistemas-de-armazenamento-de-energia-a-baterias-para-mitigar-sobretensao-em-redes-eletricas-sob-massiva-penetracao-de-geracao-fotovoltaica-202-156 monthly 0.6 http://localhost:3000/publications/fault-prognostics-of-rolling-bearings-using-a-hybrid-approach-2020-61 monthly 0.6 http://localhost:3000/publications/gerenciamento-de-interfaces-para-prover-comunicacao-heterogenea-em-redes-compostas-por-multiplos-uavs-2020-101 monthly 0.6 http://localhost:3000/publications/classificacao-automatica-de-modulacoes-utilizando-redes-neurais-artificiais-com-regularizacao-bayesiana-e-algoritmo-de-retropropagacao-de-levenberg-marquardt-20-157 monthly 0.6 http://localhost:3000/publications/avaliacao-probabilistica-dos-impactos-tecnicos-da-insercao-de-microgeradores-fotovoltaicos-e-veiculos-eletricos-em-uma-rede-de-distribuicao-2020-139 monthly 0.6 http://localhost:3000/publications/avaliacao-de-desempenho-de-tecnologias-emergentes-para-controle-de-tensao-em-redes-de-distribuicao-com-elevada-penetracao-de-microgeracao-fotovoltaica-2020-150 monthly 0.6 http://localhost:3000/publications/investigacao-de-estrategias-de-controle-para-conversores-de-potencia-boost-aplicados-em-sistemas-fotovoltaicos-2020-110 monthly 0.6 http://localhost:3000/publications/estrategias-de-controle-aplicadas-para-mitigacao-de-oscilacoes-decorrentes-de-cpl-em-uma-micro-rede-cc-do-tipo-boost-buck-2020-121 monthly 0.6 http://localhost:3000/publications/investigacao-de-estrategias-de-controle-classico-aplicadas-a-conversores-de-potencia-do-tipo-flyback-2020-100 monthly 0.6 http://localhost:3000/publications/descricao-de-um-processo-de-manufatura-utilizando-arquitetura-baseada-em-sistema-multiagentes-2020-93 monthly 0.6 http://localhost:3000/publications/esbmc-scalable-and-precise-test-case-generation-based-on-the-floating-point-theory-competition-contribution-2020-107 monthly 0.6 http://localhost:3000/publications/map2check-using-symbolic-execution-and-fuzzing-competition-contribution-2020-71 monthly 0.6 http://localhost:3000/publications/probabilistic-analysis-based-on-steady-state-voltage-level-compliance-indicators-for-lv-distribution-networks-with-high-pv-and-ev-penetration-2020-141 monthly 0.6 http://localhost:3000/publications/analise-do-religamento-monopolar-em-linhas-de-transmissao-nao-convencionais-2020-75 monthly 0.6 http://localhost:3000/publications/estudo-de-caso-de-ensaio-em-sistema-de-protecao-diferencial-de-barras-uma-alternativa-de-simulacao-em-malha-fechada-2020-115 monthly 0.6 http://localhost:3000/publications/estrategias-de-controle-aplicadas-para-mitigacao-de-oscilacoes-decorrentes-de-cpl-em-uma-microrrede-cc-do-tipo-boost-buck-2020-121 monthly 0.6 http://localhost:3000/publications/controle-preditivo-robusto-baseado-em-tubos-para-modelos-de-entrada-e-saida-2020-75 monthly 0.6 http://localhost:3000/publications/a-digital-twin-architecture-based-on-the-industrial-internet-of-things-technologies-2019-83 monthly 0.6 http://localhost:3000/publications/esbmc-v6-0-verifying-c-programs-using-k-induction-and-invariant-inference-2019-73 monthly 0.6 http://localhost:3000/publications/novel-robust-methodology-for-controller-design-aiming-to-ensure-dc-microgrid-stability-under-cpl-power-variation-2019-112 monthly 0.6 http://localhost:3000/publications/efficient-lmi-conditions-for-enhanced-stabilization-of-discrete-time-takagi-sugeno-models-via-delayed-nonquadratic-lyapunov-functions-2019-133 monthly 0.6 http://localhost:3000/publications/interval-robust-controller-to-minimize-oscillations-effects-caused-by-constant-power-load-in-a-dc-multi-converter-buck-buck-system-2019-130 monthly 0.6 http://localhost:3000/publications/commercial-devices-based-system-designed-to-improve-the-treatment-adherence-of-hypertensive-patients-2019-100 monthly 0.6 http://localhost:3000/publications/a-survey-on-automated-symbolic-verification-and-its-application-for-synthesizing-cyber-physical-systems-2020-103 monthly 0.6 http://localhost:3000/publications/automated-formal-verification-of-stand-alone-solar-photovoltaic-systems-2019-71 monthly 0.6 http://localhost:3000/publications/jbmc-bounded-model-checking-for-java-bytecode-competition-contribution-2019-70 monthly 0.6 http://localhost:3000/publications/smt-based-refutation-of-spurious-bug-reports-in-the-clang-static-analyzer-2019-73 monthly 0.6 http://localhost:3000/publications/electric-powered-wheelchair-command-by-information-fusion-from-eye-tracking-and-bci-2019-83 monthly 0.6 http://localhost:3000/publications/finding-security-vulnerabilities-in-unmanned-aerial-vehicles-using-software-verification-2019-88 monthly 0.6 http://localhost:3000/publications/hardware-implementation-and-performance-evaluation-of-the-fast-adaptive-single-phase-auto-reclosing-algorithm-2019-109 monthly 0.6 http://localhost:3000/publications/single-phase-shift-control-of-dab-converter-using-robust-parametric-approach-2019-76 monthly 0.6 http://localhost:3000/publications/the-raising-role-of-virtual-reality-in-accessibility-systems-2019-60 monthly 0.6 http://localhost:3000/publications/verifying-fragility-in-digital-systems-with-uncertainties-using-dsverifier-v2-0-2019-79 monthly 0.6 http://localhost:3000/publications/incremental-bounded-model-checking-of-artificial-neural-networks-in-cuda-2019-72 monthly 0.6 http://localhost:3000/publications/a-framework-for-depth-estimation-and-relative-localization-of-ground-robots-using-computer-vision-2019-97 monthly 0.6 http://localhost:3000/publications/performance-analysis-of-ieee-802-11p-and-ieee-802-11n-based-on-qos-for-uav-networks-2019-83 monthly 0.6 http://localhost:3000/publications/comparison-of-the-pll-control-techniques-applied-in-photovoltaic-system-2019-71 monthly 0.6 http://localhost:3000/publications/audio-guide-for-visually-impaired-people-based-on-combination-of-stereo-vision-and-musical-tones-2020-96 monthly 0.6 http://localhost:3000/publications/wearable-system-for-early-identification-of-parkinson-s-disease-symptoms-through-the-evaluation-of-the-gait-training-2019-116 monthly 0.6 http://localhost:3000/publications/evaluating-the-spasticity-level-during-the-rehabilitation-process-a-survey-of-traditional-methods-and-a-new-trend-2019-113 monthly 0.6 http://localhost:3000/publications/apache-dynamic-update-for-feedback-control-of-computing-resources-2019-65 monthly 0.6 http://localhost:3000/publications/control-synthesis-for-fuzzy-systems-with-local-nonlinear-models-subject-to-actuator-saturation-2019-94 monthly 0.6 http://localhost:3000/publications/comparative-study-of-control-strategies-for-oscillation-damping-in-dc-microgrids-2019-80 monthly 0.6 http://localhost:3000/publications/evaluacion-experimental-del-rendimiento-de-los-controladores-fuzzy-aplicados-en-un-sistema-fotovoltaico-autonomo-2019-112 monthly 0.6 http://localhost:3000/publications/investigacao-de-tecnicas-de-controle-de-ordem-fracionaria-aplicados-ao-amortecimento-de-oscilacoes-eletromecanicas-em-um-sistema-eletrico-de-potencia-em-escala-168 monthly 0.6 http://localhost:3000/publications/stabilization-of-dc-microgrids-with-point-of-load-converters-as-constant-power-loads-2019-84 monthly 0.6 http://localhost:3000/publications/robust-eigenvalue-assignment-via-sampled-state-feedback-for-linear-polytopic-discrete-time-periodic-systems-2019-107 monthly 0.6 http://localhost:3000/publications/real-time-mamdani-type-fuzzy-maneuvering-control-of-a-differential-drive-mobile-robot-2019-85 monthly 0.6 http://localhost:3000/publications/investigation-of-control-strategies-to-mitigate-the-oscillation-effects-caused-by-interconnected-buck-converters-2019-112 monthly 0.6 http://localhost:3000/publications/open-and-closed-loop-identification-and-control-of-a-thermal-system-2019-67 monthly 0.6 http://localhost:3000/publications/identificacao-e-modelagem-de-planta-termica-para-controle-via-tecnicas-de-controle-classica-2019-91 monthly 0.6 http://localhost:3000/publications/investigacao-de-tecnicas-de-controle-de-ordem-fracionaria-aplicadas-a-regulacao-de-tensao-e-estabilidade-dinamica-a-pequenos-sinais-2019-131 monthly 0.6 http://localhost:3000/publications/investigacao-da-metodologia-classica-de-projeto-de-controle-para-melhorar-o-desempenho-dinamico-do-sistema-fotovoltaico-conectado-na-rede-2019-137 monthly 0.6 http://localhost:3000/publications/investigacao-de-controle-de-ordem-fracionaria-aplicada-ao-problema-da-regulacao-de-velocidade-de-turbinas-hidraulicas-2019-117 monthly 0.6 http://localhost:3000/publications/modelagem-e-controle-de-conversores-cc-cc-via-estrategias-de-controle-classicas-2019-79 monthly 0.6 http://localhost:3000/publications/construcao-de-um-sistema-de-monitoramento-de-grandezas-eletricas-aplicadas-em-um-motor-de-inducao-bifasico-2019-106 monthly 0.6 http://localhost:3000/publications/investigacao-de-controle-de-ordem-fracionaria-aplicada-ao-problema-de-regulacao-de-velocidade-de-turbina-hidraulica-de-2kva-2019-123 monthly 0.6 http://localhost:3000/publications/pll-and-current-mode-control-design-methodologies-applied-to-improve-the-performance-of-a-grid-tie-photovoltaic-system-2019-118 monthly 0.6 http://localhost:3000/publications/investigacao-experimental-do-desempenho-de-um-regulador-automatico-de-tensao-digital-aplicado-a-um-sistema-de-microgeracao-de-energia-eletrica-2019-142 monthly 0.6 http://localhost:3000/publications/investigacoes-de-tecnica-de-controle-de-ordem-fracionaria-aplicadas-a-regulacao-de-tensao-e-estabilidade-dinamica-a-pequenos-sinais-2019-131 monthly 0.6 http://localhost:3000/publications/controle-descentralizado-de-sistemas-interconectados-por-nao-linearidades-setoriais-sujeitos-a-saturacao-nos-atuadores-2019-118 monthly 0.6 http://localhost:3000/publications/analise-de-compromisso-entre-granularidade-e-interpretabilidade-em-sistemas-granulares-evolutivos-2019-97 monthly 0.6 http://localhost:3000/publications/compressao-de-sinais-de-eletrocardiograma-utilizando-tecnicas-de-codificacao-distribuida-2019-88 monthly 0.6 http://localhost:3000/publications/boost-the-impact-of-continuous-formal-verification-in-industry-2019-62 monthly 0.6 http://localhost:3000/publications/fuzzy-maneuvering-controller-optimization-using-an-optimum-differential-drive-mobile-robot-model-2019-96 monthly 0.6 http://localhost:3000/publications/comparative-evaluation-of-fuzzy-maneuvering-controllers-robustness-for-differential-drive-mobile-robots-2019-103 monthly 0.6 http://localhost:3000/publications/smartshelf-prateleira-inteligente-para-controle-de-medicamentos-2019-63 monthly 0.6 http://localhost:3000/publications/ambiente-de-treinamento-por-teleoperacao-para-novos-usuarios-de-cadeiras-de-rodas-motorizadas-baseado-em-multiplos-metodos-de-conducao-2019-134 monthly 0.6 http://localhost:3000/publications/behavior-of-the-single-phase-auto-reclosing-in-half-wavelength-transmission-line-2019-80 monthly 0.6 http://localhost:3000/publications/novas-condicoes-para-recuperacao-de-estabilidade-com-atuadores-virtuais-estaticos-2019-81 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-um-sistema-de-navegacao-para-robos-moveis-baseado-em-visao-computacional-2019-91 monthly 0.6 http://localhost:3000/publications/investigation-of-the-classical-control-design-methodology-to-improve-the-performance-of-the-photovoltaic-system-on-grid-2019-119 monthly 0.6 http://localhost:3000/publications/investigation-of-the-performance-of-the-classical-control-design-methodologies-to-mitigate-the-undesirable-oscillation-due-to-cpl-variation-in-a-smart-grid-syst-162 monthly 0.6 http://localhost:3000/publications/esbmc-5-0-an-industrial-strength-c-model-checker-2018-48 monthly 0.6 http://localhost:3000/publications/jbmc-a-bounded-model-checking-tool-for-verifying-java-bytecode-2018-62 monthly 0.6 http://localhost:3000/publications/exploring-virtual-reality-to-enable-deaf-or-hard-of-hearing-accessibility-in-live-theaters-a-case-study-2018-103 monthly 0.6 http://localhost:3000/publications/evaluating-accessibility-features-designed-for-virtual-reality-context-2018-70 monthly 0.6 http://localhost:3000/publications/fall-detection-system-by-machine-learning-framework-for-public-health-2018-69 monthly 0.6 http://localhost:3000/publications/low-level-active-visual-navigation-increasing-robustness-of-vision-based-localization-using-potential-fields-2018-108 monthly 0.6 http://localhost:3000/publications/esbmc-gpu-a-context-bounded-model-checking-tool-to-verify-cuda-programs-2017-71 monthly 0.6 http://localhost:3000/publications/sim3tanks-a-benchmark-model-simulator-for-process-control-and-monitoring-2018-72 monthly 0.6 http://localhost:3000/publications/dsverifier-aided-verification-applied-to-attitude-control-software-in-unmanned-aerial-vehicles-2018-94 monthly 0.6 http://localhost:3000/publications/robust-decentralized-controller-for-minimizing-coupling-effect-in-single-inductor-multiple-output-dc-dc-converter-operating-in-continuous-conduction-mode-2018-153 monthly 0.6 http://localhost:3000/publications/safe-automated-and-formal-synthesis-of-digital-controllers-for-continuous-plants-2018-80 monthly 0.6 http://localhost:3000/publications/a-guidance-system-for-blind-and-visually-impaired-people-via-hybrid-data-fusion-2018-79 monthly 0.6 http://localhost:3000/publications/implementation-and-performance-evaluation-of-a-harmonic-filter-for-use-in-adaptive-single-phase-reclosing-2018-105 monthly 0.6 http://localhost:3000/publications/a-coverage-planner-for-auvs-using-b-splines-2018-43 monthly 0.6 http://localhost:3000/publications/teleoperation-training-environment-for-new-users-of-electric-powered-wheelchairs-based-on-multiple-driving-methods-2018-114 monthly 0.6 http://localhost:3000/publications/benchmarking-of-java-verification-tools-at-the-software-verification-competition-sv-comp-2018-88 monthly 0.6 http://localhost:3000/publications/training-environment-for-electric-powered-wheelchairs-using-teleoperation-through-a-head-mounted-display-2018-104 monthly 0.6 http://localhost:3000/publications/parameter-optimization-of-an-interval-robust-controller-of-a-buck-converter-subject-to-parametric-uncertainties-2018-111 monthly 0.6 http://localhost:3000/publications/robust-control-for-dc-dc-buck-converter-under-parametric-uncertainties-2018-70 monthly 0.6 http://localhost:3000/publications/a-b-spline-mapping-framework-for-long-term-autonomous-operations-2018-64 monthly 0.6 http://localhost:3000/publications/counterexample-guided-inductive-optimization-based-on-satisfiability-modulo-theories-2018-84 monthly 0.6 http://localhost:3000/publications/map2check-using-llvm-and-klee-2018-29 monthly 0.6 http://localhost:3000/publications/mobihealth-a-system-to-improve-medication-adherence-in-hypertensive-patients-2018-76 monthly 0.6 http://localhost:3000/publications/towards-counterexample-guided-k-induction-for-fast-bug-detection-2018-64 monthly 0.6 http://localhost:3000/publications/a-tool-for-the-automatic-selection-of-mechatronics-remote-laboratories-based-on-their-actual-effective-costs-2018-108 monthly 0.6 http://localhost:3000/publications/teleoperation-training-environment-for-new-users-of-electric-powered-wheelchairs-2018-80 monthly 0.6 http://localhost:3000/publications/dsvalidator-2018-11 monthly 0.6 http://localhost:3000/publications/analysis-of-rf-433-mhz-communication-in-home-monitoring-prototype-2018-65 monthly 0.6 http://localhost:3000/publications/multi-factor-dynamic-channel-assignment-approach-for-wi-fi-networks-2018-67 monthly 0.6 http://localhost:3000/publications/strengthening-of-students-skills-through-practical-tests-in-a-belt-conveyor-training-system-2018-91 monthly 0.6 http://localhost:3000/publications/sistema-inteligente-agil-de-processo-evolutivo-siape-um-prototipo-brasileiro-de-sistemas-eps-2018-92 monthly 0.6 http://localhost:3000/publications/test-of-a-fast-adaptive-reclosing-algorithm-for-transmission-lines-using-a-programmable-hardware-2018-96 monthly 0.6 http://localhost:3000/publications/experimental-assessment-of-a-robust-controller-design-via-interval-analysis-applied-to-a-dc-dc-buck-converter-2018-109 monthly 0.6 http://localhost:3000/publications/the-use-of-a-mechatronic-systems-simulator-in-engineering-courses-2018-65 monthly 0.6 http://localhost:3000/publications/bounded-model-checking-of-c-programs-based-on-the-qt-cross-platform-framework-journal-first-abstract-2018-100 monthly 0.6 http://localhost:3000/publications/application-of-path-planning-based-on-artificial-potential-fields-to-mobile-robots-with-distributed-processing-2018-110 monthly 0.6 http://localhost:3000/publications/estabilizacao-de-modelos-fuzzy-takagi-sugeno-a-tempo-discreto-reduzindo-o-conservadorismo-no-controle-nao-pdc-2018-109 monthly 0.6 http://localhost:3000/publications/i-jack-wearable-system-for-collection-and-evaluation-physiological-data-2018-71 monthly 0.6 http://localhost:3000/publications/agile-software-development-methods-for-prototyping-of-innovative-concepts-in-manufacturing-automation-2018-101 monthly 0.6 http://localhost:3000/publications/didactic-framework-for-teaching-c-programming-language-a-proposal-based-on-cooperative-and-competitive-learning-techniques-2018-122 monthly 0.6 http://localhost:3000/publications/investigacao-experimental-de-tecnicas-de-controle-digital-aplicadas-em-um-conversor-na-topologia-buck-2018-101 monthly 0.6 http://localhost:3000/publications/investigacao-do-desempenho-e-estabilidade-de-controladores-pid-aplicados-ao-controle-de-velocidade-de-um-sistemas-de-servoacionamento-ca-utilizando-metodos-clas-177 monthly 0.6 http://localhost:3000/publications/metodologia-para-desenvolvimento-de-sistemas-evolutivos-medse-principios-basicos-2018-80 monthly 0.6 http://localhost:3000/publications/single-phase-fault-detection-in-balanced-14-bus-system-using-artificial-neural-networks-2018-87 monthly 0.6 http://localhost:3000/publications/using-clang-as-a-frontend-on-a-formal-verification-tool-2018-55 monthly 0.6 http://localhost:3000/publications/wind-turbine-power-curve-modeling-based-on-hybrid-fuzzy-clustering-algorithms-2018-77 monthly 0.6 http://localhost:3000/publications/analise-do-comportamento-termico-em-motores-de-inducao-submetidos-a-variacao-de-carga-mecanica-com-aquisicao-automatica-de-dados-2018-128 monthly 0.6 http://localhost:3000/publications/monitoring-and-controlling-of-industrial-automation-system-considering-vague-inputs-2018-83 monthly 0.6 http://localhost:3000/publications/sistema-de-selecao-de-laboratorios-de-acesso-remoto-como-suporte-a-ambientes-de-aprendizagem-de-mecatronica-2018-107 monthly 0.6 http://localhost:3000/publications/estima-o-de-falhas-com-filtro-de-kalman-unscented-aumentado-para-um-sistema-de-tr-s-tanques-2018-91 monthly 0.6 http://localhost:3000/publications/modelagem-e-controle-por-escalonamento-de-ganhos-descentralizado-para-um-sistema-de-tr-s-tanques-acoplados-2018-106 monthly 0.6 http://localhost:3000/publications/use-of-solar-energy-applied-to-the-storage-and-management-of-pluvial-water-2018-74 monthly 0.6 http://localhost:3000/publications/single-phase-fault-detection-in-balanced-14-bars-system-using-artificial-neural-network-2018-87 monthly 0.6 http://localhost:3000/publications/estimacao-de-falhas-com-filtro-de-kalman-unscented-aumentado-para-um-sistema-de-tres-tanques-2018-92 monthly 0.6 http://localhost:3000/publications/projeto-de-um-compensador-lead-lag-digital-na-modalidade-pole-shifting-para-reduzir-oscilacoes-em-sistemas-de-bombeamento-2018-121 monthly 0.6 http://localhost:3000/publications/investigacao-experimental-de-tecnicas-de-controle-digital-aplicadas-em-um-conversor-cc-cc-5-kw-na-topologia-buck-2018-112 monthly 0.6 http://localhost:3000/publications/a-four-element-a-t-shaped-slot-wideband-phased-array-antenna-for-5g-mobile-terminals-2018-84 monthly 0.6 http://localhost:3000/publications/automated-formal-synthesis-of-digital-controllers-for-state-space-physical-plants-2017-81 monthly 0.6 http://localhost:3000/publications/comparison-of-secondary-arcs-for-reclosing-applications-2017-55 monthly 0.6 http://localhost:3000/publications/comparison-between-traditional-single-phase-auto-reclosing-and-adaptive-technique-based-on-harmonic-content-measurement-2016-119 monthly 0.6 http://localhost:3000/publications/depthk-a-k-induction-verifier-based-on-invariant-inference-for-c-programs-2017-73 monthly 0.6 http://localhost:3000/publications/formal-non-fragile-stability-verification-of-digital-control-systems-with-uncertainty-2017-85 monthly 0.6 http://localhost:3000/publications/bounded-model-checking-of-c-programs-based-on-the-qt-cross-platform-framework-2017-77 monthly 0.6 http://localhost:3000/publications/sound-and-automated-synthesis-of-digital-stabilizing-controllers-for-continuous-plants-2017-86 monthly 0.6 http://localhost:3000/publications/single-phase-auto-reclosing-mitigation-procedure-for-half-wavelength-transmission-line-2017-86 monthly 0.6 http://localhost:3000/publications/planning-and-evaluation-of-uav-mission-planner-for-intralogistics-problems-2017-74 monthly 0.6 http://localhost:3000/publications/a-method-to-localize-faults-in-concurrent-c-programs-2017-52 monthly 0.6 http://localhost:3000/publications/verifying-digital-systems-with-matlab-2017-37 monthly 0.6 http://localhost:3000/publications/implementation-and-performance-evaluation-of-a-harmonic-filter-for-use-in-adaptive-single-phase-reclosing-2017-105 monthly 0.6 http://localhost:3000/publications/dssynth-an-automated-digital-controller-synthesis-tool-for-physical-plants-2017-74 monthly 0.6 http://localhost:3000/publications/a-location-technique-based-on-hybrid-data-fusion-used-to-increase-the-indoor-location-accuracy-2017-94 monthly 0.6 http://localhost:3000/publications/optce-a-counterexample-guided-inductive-optimization-solver-2017-59 monthly 0.6 http://localhost:3000/publications/multi-core-model-checking-and-maximum-satisfiability-applied-to-hardware-software-partitioning-2017-94 monthly 0.6 http://localhost:3000/publications/proposal-of-new-hybrid-fuzzy-clustering-algorithms-application-to-breast-cancer-dataset-2017-87 monthly 0.6 http://localhost:3000/publications/a-power-control-and-anticolision-mechanism-for-rfid-systems-2017-59 monthly 0.6 http://localhost:3000/publications/classificacao-automatica-de-modulacoes-mono-e-multiportadoras-utilizando-metodo-de-extracao-de-caracteristicas-e-classificadores-svm-2017-132 monthly 0.6 http://localhost:3000/publications/indoor-visual-localization-of-a-wheelchair-using-shi-tomasi-and-klt-2017-67 monthly 0.6 http://localhost:3000/publications/verification-of-magnitude-and-phase-responses-in-fixed-point-digital-filters-2017-76 monthly 0.6 http://localhost:3000/publications/proposal-of-a-simulator-for-evolutionary-production-systems-2017-59 monthly 0.6 http://localhost:3000/publications/counterexample-guided-inductive-optimization-applied-to-mobile-robots-path-planning-2017-83 monthly 0.6 http://localhost:3000/publications/avaliacao-experimental-de-desempenho-de-controlador-fuzzy-aplicado-a-um-sistema-de-fotogeracao-de-energia-eletrica-2017-114 monthly 0.6 http://localhost:3000/publications/analise-de-um-circuito-da-perna-direita-com-compensacao-para-melhorar-o-desempenho-de-sinais-biopotenciais-2017-106 monthly 0.6 http://localhost:3000/publications/construcao-de-um-prototipo-educacional-de-uma-estacao-de-medicao-e-regulagem-de-pressao-de-gas-natural-2017-102 monthly 0.6 http://localhost:3000/publications/prototipo-bombeio-mecanico-com-controle-e-monitoramento-de-nivel-e-vazao-no-reservatorio-2017-88 monthly 0.6 http://localhost:3000/publications/construcao-de-um-prototipo-de-sistema-automatizado-de-carga-e-descarga-em-balsas-tanque-conforme-normas-e-logistica-regional-2017-124 monthly 0.6 http://localhost:3000/publications/prototipo-separador-trifasico-horizontal-2017-40 monthly 0.6 http://localhost:3000/publications/prototipo-bombeio-por-cavidade-progressiva-2017-42 monthly 0.6 http://localhost:3000/publications/resource-allocation-through-mobile-autonomous-robots-using-the-educational-platform-2017-83 monthly 0.6 http://localhost:3000/publications/prototipo-para-guiar-atletas-com-deficiencia-visual-em-trajetoria-retilinea-2017-75 monthly 0.6 http://localhost:3000/publications/uma-abordagem-matematica-de-estimacao-de-distancia-em-pista-de-atletismo-baseada-em-potencia-de-sinal-2017-101 monthly 0.6 http://localhost:3000/publications/analise-de-parametros-para-desagregacao-de-sinais-de-consumo-de-energia-eletrica-2017-80 monthly 0.6 http://localhost:3000/publications/encoding-floating-points-using-the-smt-theory-in-esbmc-an-empirical-evaluation-over-the-sv-comp-benchmarks-2017-106 monthly 0.6 http://localhost:3000/publications/identificacao-automatica-de-especies-de-morcegos-insetivoros-da-mata-atlantica-atraves-do-sinal-de-ecolocalizacao-utilizando-sistema-especialista-fuzzy-e-maquin-182 monthly 0.6 http://localhost:3000/publications/strategy-for-classification-of-hydrological-variables-using-subtractive-fuzzy-ckmeans-and-non-negative-matrix-factoring-on-a-temporal-scale-2017-139 monthly 0.6 http://localhost:3000/publications/aplicacao-digital-twin-para-deteccao-de-falhas-e-diagnostico-em-equipamentos-de-uso-domestico-2017-93 monthly 0.6 http://localhost:3000/publications/teste-de-um-algoritmo-de-religamento-adaptativo-rapido-para-linhas-de-transmissao-utilizando-rele-de-protecao-2017-109 monthly 0.6 http://localhost:3000/publications/resource-allocation-through-mobile-autonomous-robots-using-the-educational-platform-lego-2017-88 monthly 0.6 http://localhost:3000/publications/triplos-smart-spectrum-sensing-uma-ferramenta-para-analise-de-ocupacao-de-espectro-para-redes-ieee-802-11-2017-105 monthly 0.6 http://localhost:3000/publications/data-driven-fault-detection-and-isolation-scheme-for-a-wind-turbine-benchmark-2016-77 monthly 0.6 http://localhost:3000/publications/blind-user-wearable-audio-assistance-for-indoor-navigation-based-on-visual-markers-and-ultrasonic-obstacle-detection-2016-116 monthly 0.6 http://localhost:3000/publications/verifying-cuda-programs-using-smt-based-context-bounded-model-checking-2016-70 monthly 0.6 http://localhost:3000/publications/verification-of-fixed-point-digital-controllers-using-direct-and-delta-forms-realizations-2016-89 monthly 0.6 http://localhost:3000/publications/multimodal-system-for-training-at-distance-in-a-virtual-or-augmented-reality-environment-for-users-of-electric-powered-wheelchairs-2016-130 monthly 0.6 http://localhost:3000/publications/vibrotactile-sensory-substitution-on-personal-navigation-remotely-controlled-vibrotactile-feedback-wearable-system-to-aid-visually-impaired-2016-139 monthly 0.6 http://localhost:3000/publications/bounded-model-checking-for-fixed-point-digital-filters-2016-54 monthly 0.6 http://localhost:3000/publications/smt-based-context-bounded-model-checking-for-cuda-programs-2016-58 monthly 0.6 http://localhost:3000/publications/virtual-and-augmented-reality-environment-for-remote-training-of-wheelchairs-users-social-mobile-and-wearable-technologies-applied-to-rehabilitation-2016-148 monthly 0.6 http://localhost:3000/publications/hybrid-indoor-navigation-as-sistant-for-visually-impaired-people-based-on-fusion-of-proximity-method-and-pattern-recognition-algorithm-2016-134 monthly 0.6 http://localhost:3000/publications/smt-based-verification-applied-to-non-convex-optimization-problems-2016-66 monthly 0.6 http://localhost:3000/publications/ubmed-a-ubiquitous-system-for-monitoring-medication-adherence-2016-61 monthly 0.6 http://localhost:3000/publications/complementary-training-programme-for-electrical-and-computer-engineering-students-through-an-industrial-academic-collaboration-2016-126 monthly 0.6 http://localhost:3000/publications/remote-monitoring-and-control-of-an-electric-powered-wheelchair-in-an-assisted-living-environment-2016-97 monthly 0.6 http://localhost:3000/publications/indoor-navigation-assistant-for-visually-impaired-by-pedestrian-dead-reckoning-and-position-estimative-of-correction-for-patterns-recognition-2016-141 monthly 0.6 http://localhost:3000/publications/universal-system-for-integrating-commercial-medical-devices-with-standardized-digital-tv-system-2016-95 monthly 0.6 http://localhost:3000/publications/smt-based-context-bounded-model-checking-for-embedded-systems-challenges-and-future-trends-2016-90 monthly 0.6 http://localhost:3000/publications/intelligent-system-for-medication-management-in-residential-environments-2016-72 monthly 0.6 http://localhost:3000/publications/epscore-a-didactic-open-architecture-of-an-evolvable-production-system-2016-70 monthly 0.6 http://localhost:3000/publications/contextualizing-and-capturing-individual-user-interactions-in-shared-itv-environments-2017-85 monthly 0.6 http://localhost:3000/publications/an-experience-report-of-inter-institutional-engineering-degree-programs-in-the-amazon-region-2016-92 monthly 0.6 http://localhost:3000/publications/modelado-fenomenologico-e-identificacion-parametrica-aplicada-al-monitoreo-de-una-correa-transportadora-en-una-mina-de-cobre-2016-124 monthly 0.6 http://localhost:3000/publications/investigacao-de-estrategias-de-controle-fuzzy-aplicado-em-um-sistema-fotovoltaico-autonomo-2016-90 monthly 0.6 http://localhost:3000/publications/estrategia-de-analise-de-fragilidade-de-controladores-digitais-classicos-implementados-em-um-moinho-de-minerio-2016-110 monthly 0.6 http://localhost:3000/publications/relay-feedback-method-for-a-quadrotor-altitude-control-2016-54 monthly 0.6 http://localhost:3000/publications/rope-tether-usability-evaluation-with-visually-impaired-athletes-in-paralympic-race-tracks-2016-90 monthly 0.6 http://localhost:3000/publications/avancos-e-desafios-da-geracao-fotovoltaica-no-estado-do-amazonas-2016-64 monthly 0.6 http://localhost:3000/publications/construcao-de-um-vaso-separador-bifasico-horizontal-2016-51 monthly 0.6 http://localhost:3000/publications/um-sistema-para-monitoramento-e-controle-de-bombas-hidraulicas-2016-62 monthly 0.6 http://localhost:3000/publications/evaluation-of-methods-for-disinfection-of-anesthetic-tubes-in-dental-clinic-2016-75 monthly 0.6 http://localhost:3000/publications/hunting-memory-bugs-in-c-programs-with-map2check-competition-contribution-2016-73 monthly 0.6 http://localhost:3000/publications/esbmcqtom-a-bounded-model-checking-tool-to-verify-qt-applications-2016-65 monthly 0.6 http://localhost:3000/publications/verificacao-de-programas-multi-threads-baseados-no-framework-multiplataforma-qt-2016-79 monthly 0.6 http://localhost:3000/publications/aplicacao-de-fuzzy-ckmeans-subtrativo-e-fatoracao-nao-negativa-de-matriz-para-classificacao-de-variaveis-hidrologicas-em-escala-temporal-2016-136 monthly 0.6 http://localhost:3000/publications/prototipo-para-protecao-de-um-sistema-eletromecanico-submetido-a-falta-do-fornecimento-de-energia-eletrica-2016-106 monthly 0.6 http://localhost:3000/publications/analise-de-metodos-de-correcao-de-iluminacao-2016-44 monthly 0.6 http://localhost:3000/publications/deteccao-e-analise-de-conteudo-de-telas-de-tv-e-monitores-2016-57 monthly 0.6 http://localhost:3000/publications/sistema-inteligente-para-gerenciamento-de-medicacao-em-ambientes-residenciais-2016-77 monthly 0.6 http://localhost:3000/publications/assistente-de-navegacao-indoor-para-deficientes-visuais-atraves-de-pedestrian-dead-reckoning-e-correcao-de-estimativa-de-posicao-por-reconhecimento-de-padroes-2-158 monthly 0.6 http://localhost:3000/publications/construcao-de-um-prototipo-de-vaso-separador-bifasico-horizontal-2016-64 monthly 0.6 http://localhost:3000/publications/development-of-the-parametric-estimation-system-based-on-technique-multi-model-fuzzy-applied-on-belt-conveyor-system-2016-116 monthly 0.6 http://localhost:3000/publications/fragility-analysis-strategy-of-classic-digital-controllers-applied-on-a-run-of-mine-ore-milling-circuit-2016-103 monthly 0.6 http://localhost:3000/publications/investigacao-de-estrategia-para-identificacao-de-sistemas-em-malha-fechada-aplicada-a-deteccao-de-faltas-2016-104 monthly 0.6 http://localhost:3000/publications/avastec-ambiente-virtual-de-aprendizagem-em-sistema-de-telefonia-celular-2016-72 monthly 0.6 http://localhost:3000/publications/sistema-auxiliador-na-busca-da-reintegracao-de-jovens-em-dependencia-quimica-do-estado-do-amazonas-estudo-experimental-regiao-metropolitana-de-manaus-2016-149 monthly 0.6 http://localhost:3000/publications/um-modelo-interdisciplinar-com-enfase-na-inclusao-da-informatica-na-formacao-basica-e-media-2016-91 monthly 0.6 http://localhost:3000/publications/handling-loops-in-bounded-model-checking-of-c-programs-via-k-induction-2015-70 monthly 0.6 http://localhost:3000/publications/applying-smt-based-verification-to-hardware-software-partitioning-in-embedded-systems-2015-85 monthly 0.6 http://localhost:3000/publications/model-checking-embedded-c-software-using-k-induction-and-invariants-2015-67 monthly 0.6 http://localhost:3000/publications/dsverifier-a-bounded-model-checking-tool-for-digital-systems-2015-60 monthly 0.6 http://localhost:3000/publications/a-fractional-order-power-system-stabilizer-applied-on-a-small-scale-generation-system-2015-85 monthly 0.6 http://localhost:3000/publications/bounded-model-checking-of-c-programs-based-on-the-qt-framework-2015-62 monthly 0.6 http://localhost:3000/publications/architecture-for-integrating-healthcare-services-to-the-brazilian-digital-tv-system-2015-83 monthly 0.6 http://localhost:3000/publications/a-computationally-efficient-method-for-optimal-input-flow-control-of-timed-event-graphs-ensuring-a-given-production-rate-2015-120 monthly 0.6 http://localhost:3000/publications/memory-management-test-case-generation-of-c-programs-using-bounded-model-checking-2015-81 monthly 0.6 http://localhost:3000/publications/fault-localization-in-multi-threaded-c-programs-using-bounded-model-checking-2015-76 monthly 0.6 http://localhost:3000/publications/applying-multi-core-model-checking-to-hardware-software-partitioning-in-embedded-systems-2015-88 monthly 0.6 http://localhost:3000/publications/synchronising-operations-on-productive-systems-modelled-by-timed-event-graphs-2015-77 monthly 0.6 http://localhost:3000/publications/extending-an-intelligent-medicine-cabinet-through-the-use-of-consumer-electronic-devices-in-order-to-increase-the-medication-adherence-2015-134 monthly 0.6 http://localhost:3000/publications/an-intelligent-medication-system-designed-to-improve-the-medication-adherence-2015-77 monthly 0.6 http://localhost:3000/publications/verificacao-de-kernels-em-programas-cuda-usando-bounded-model-checking-2015-70 monthly 0.6 http://localhost:3000/publications/teaching-digital-tv-programming-for-engineering-students-an-industry-oriented-proposal-2015-86 monthly 0.6 http://localhost:3000/publications/iris-recognition-using-minimum-average-correlation-energy-and-principal-component-2015-81 monthly 0.6 http://localhost:3000/publications/dyed-banknotes-detection-system-using-digital-image-processing-2015-62 monthly 0.6 http://localhost:3000/publications/reconhecimento-de-padroes-de-falhas-tipo-fenda-em-chapa-de-aluminio-utilizando-clusterizacao-fuzzy-2015-98 monthly 0.6 http://localhost:3000/publications/comparacao-entre-o-religamento-monopolar-tradicional-e-a-tecnica-adaptativa-baseada-na-medicao-do-conteudo-harmonico-2015-116 monthly 0.6 http://localhost:3000/publications/cooperative-motion-control-of-a-formation-of-uavs-2015-49 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-um-sistema-de-estimacao-parametrica-utilizando-a-tecnica-multi-model-fuzzy-aplicada-a-sistemas-do-tipo-correia-transportadora-2015-144 monthly 0.6 http://localhost:3000/publications/discrete-robust-control-for-quadrotors-stability-2015-48 monthly 0.6 http://localhost:3000/publications/network-hardware-review-for-a-location-system-2015-45 monthly 0.6 http://localhost:3000/publications/uma-comparacao-entre-os-protocolos-ttp-e-flexray-usando-um-simulador-de-tempo-real-2015-82 monthly 0.6 http://localhost:3000/publications/a-biomassa-como-solucao-energetica-para-o-estado-do-amazonas-2015-60 monthly 0.6 http://localhost:3000/publications/biomass-residues-as-electricity-generation-source-in-low-hd-source-in-regions-of-brazil-2015-87 monthly 0.6 http://localhost:3000/publications/filtragem-discriminativa-com-analise-de-componentes-principais-e-alinhamento-adaptativo-2015-87 monthly 0.6 http://localhost:3000/publications/discriminative-filtering-with-principal-component-analysis-and-adaptive-alignment-2015-81 monthly 0.6 http://localhost:3000/publications/programa-de-formacao-complementar-em-sistemas-de-processamento-digital-de-imagens-em-colaboracao-com-a-industria-para-alunos-de-graduacao-2015-137 monthly 0.6 http://localhost:3000/publications/verificacao-de-programas-c-baseados-no-framework-multiplataforma-qt-2015-67 monthly 0.6 http://localhost:3000/publications/verificacao-de-modelos-aplicada-aos-filtros-espaciais-em-processamento-digital-de-imagens-2015-89 monthly 0.6 http://localhost:3000/publications/hardware-reconfiguration-based-on-broadcasted-digital-tv-signal-2015-63 monthly 0.6 http://localhost:3000/publications/reconhecimento-de-padroes-de-especies-de-morcegos-do-sul-da-bahia-utilizando-clusterizacao-fuzzy-2015-96 monthly 0.6 http://localhost:3000/publications/aplicacao-da-clusterizacao-fuzzy-ckmeans-subtrativa-para-classificacao-dos-elementos-quimicos-da-tabela-periodica-2015-113 monthly 0.6 http://localhost:3000/publications/filtros-digitais-aplicados-para-separacao-de-audio-2015-50 monthly 0.6 http://localhost:3000/publications/um-sensor-capacitivo-para-medir-concentracao-de-liquidos-em-sistemas-bifasicos-2015-78 monthly 0.6 http://localhost:3000/publications/dynamic-integration-of-appliances-into-zigbee-home-networks-through-web-services-2015-80 monthly 0.6 http://localhost:3000/publications/automacao-de-baixo-custo-via-radiofrequencia-unidirecional-com-repeticao-de-sinais-2015-82 monthly 0.6 http://localhost:3000/publications/framework-didatico-para-o-ensino-de-programacao-embarcada-uma-abordagem-baseada-em-tecnicas-de-aprendizagem-cooperativa-e-competitiva-2015-133 monthly 0.6 http://localhost:3000/publications/implementation-of-fast-adaptive-single-phase-reclosing-based-on-measurement-of-harmonic-content-in-the-real-time-digital-simulator-rtds-2015-135 monthly 0.6 http://localhost:3000/publications/modulacao-de-grandezas-harmonicas-no-rtds-para-aplicacao-em-rele-de-protecao-de-linha-de-transmissao-2015-100 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-um-supervisor-fuzzy-takagi-sugeno-kang-aplicado-a-um-sistema-do-tipo-correia-transportadora-de-minerio-2015-121 monthly 0.6 http://localhost:3000/publications/modelagem-e-estimacao-parametrica-de-um-sistema-real-de-tranporte-de-minerios-em-escala-industrial-2015-98 monthly 0.6 http://localhost:3000/publications/estrategia-de-identificacao-de-sistemas-e-controle-pid-via-algortimo-genetico-em-modelo-de-ilhas-2015-96 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-um-simulador-fuzzy-para-proposicao-de-setpoint-de-tempe-ratura-e-pressao-no-controle-da-area-superficial-da-alumina-2015-134 monthly 0.6 http://localhost:3000/publications/estrategia-de-identificacao-de-sistemas-e-sitonia-de-controladores-classicos-utilizando-algoritmos-geneticos-em-ilhas-2015-117 monthly 0.6 http://localhost:3000/publications/fpn-attenuation-by-reset-drain-actuation-in-the-linear-logarithmic-active-pixel-sensor-2014-86 monthly 0.6 http://localhost:3000/publications/verification-of-delta-form-realization-in-fixed-point-digital-controllers-using-bounded-model-checking-2014-102 monthly 0.6 http://localhost:3000/publications/fvms-software-in-the-loop-flight-simulation-experiments-guidance-navigation-and-control-2014-87 monthly 0.6 http://localhost:3000/publications/smt-based-bounded-model-checking-of-fixed-point-digital-controllers-2014-67 monthly 0.6 http://localhost:3000/publications/applying-symbolic-bounded-model-checking-to-the-2012-rers-greybox-challenge-2014-75 monthly 0.6 http://localhost:3000/publications/fiducial-points-detection-using-svm-linear-classifiers-2014-54 monthly 0.6 http://localhost:3000/publications/bmclua-verification-of-lua-programs-in-digital-tv-interactive-applications-2014-74 monthly 0.6 http://localhost:3000/publications/an-educational-and-research-cooperation-between-brazil-and-germany-on-industrial-automation-topics-2014-98 monthly 0.6 http://localhost:3000/publications/influence-of-quantity-of-principal-component-in-discriminative-filtering-2014-72 monthly 0.6 http://localhost:3000/publications/second-screen-prototype-for-broadcasted-digital-tv-users-in-isdb-tb-standard-2014-76 monthly 0.6 http://localhost:3000/publications/implementacao-de-um-regulador-de-velocidade-baseado-em-lei-de-controle-fracionaria-aplicado-em-um-sistema-de-geracao-de-energia-de-10-kva-2014-137 monthly 0.6 http://localhost:3000/publications/estimacao-parametrica-e-modelagem-fenomenomenologica-de-um-sistema-de-transporte-de-minerios-em-minas-de-cobre-2014-110 monthly 0.6 http://localhost:3000/publications/constituicao-de-um-algoritmo-de-deteccao-de-faltas-utilizando-intervalo-modal-em-um-sistema-de-transporte-de-minerios-em-minas-de-cobre-2014-135 monthly 0.6 http://localhost:3000/publications/modelagem-e-desenvolvimento-de-simulador-de-turbina-eolica-utilizando-uma-estrategia-de-controle-fuzzy-do-tipo-takagi-sugeno-2014-124 monthly 0.6 http://localhost:3000/publications/constituicao-de-um-supervisor-do-fuzzy-do-tipo-takagi-sugeno-kang-para-um-sistema-correia-transportadora-de-mineiro-2014-115 monthly 0.6 http://localhost:3000/publications/projeto-de-controladores-robustos-por-realimentacao-de-estados-atraves-da-abordagem-por-lmis-2014-92 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-um-controlador-fuzzy-para-quadrotores-2014-56 monthly 0.6 http://localhost:3000/publications/aplicando-verificacao-de-modelos-para-o-particionamento-de-hardware-software-2014-76 monthly 0.6 http://localhost:3000/publications/primeira-experiencia-de-uso-de-lampadas-led-em-larga-escala-no-estado-do-amazona-2014-80 monthly 0.6 http://localhost:3000/publications/metodologia-para-analise-de-viabilidade-economica-de-investimentos-em-fontes-renovaveis-de-energia-no-estado-do-amazonas-2014-120 monthly 0.6 http://localhost:3000/publications/geracao-de-energia-eletrica-com-etanol-de-mandioca-manihot-sculenta-crantz-no-estado-do-amazonas-2014-96 monthly 0.6 http://localhost:3000/publications/esbmc-v1-22-competition-contribution-2014-36 monthly 0.6 http://localhost:3000/publications/a-secondary-screen-architecture-to-accurately-capture-viewers-interactions-in-an-itv-environment-2014-96 monthly 0.6 http://localhost:3000/publications/bmclua-verificacao-de-programas-lua-em-aplicacoes-interativas-de-tv-digital-2014-75 monthly 0.6 http://localhost:3000/publications/arquitetura-experimental-para-automacao-e-integracao-de-ambientes-inteligentes-com-dispositivos-moveis-2014-102 monthly 0.6 http://localhost:3000/publications/constituicao-de-um-algoritmo-de-deteccao-de-faltas-utilizando-intervalo-modal-em-um-sistema-em-um-sistema-de-transporte-de-minerios-em-minas-de-cobre-2014-149 monthly 0.6 http://localhost:3000/publications/estimacao-parametrica-e-modelagem-fenomenologica-de-um-sistema-de-transporte-de-minerios-em-minas-de-cobre-2014-106 monthly 0.6 http://localhost:3000/publications/constituicao-de-um-supervisor-de-fuzzy-do-tipo-takagi-sugeno-kang-para-um-sistema-correia-transportadora-2014-104 monthly 0.6 http://localhost:3000/publications/modelagem-e-desenvolvimento-de-simulador-de-turbina-eolica-utilizando-estrategia-de-controle-fuzzy-do-tipo-takagi-sugeno-2014-120 monthly 0.6 http://localhost:3000/publications/modelagem-fenomenologica-e-estimacao-parametrica-aplicada-a-uma-correia-de-transporte-de-minerios-2014-97 monthly 0.6 http://localhost:3000/publications/controlador-de-velocidade-do-dispositivo-auxiliar-do-ventriculo-esquerdo-usando-principios-de-logica-nebulosa-2014-109 monthly 0.6 http://localhost:3000/publications/controle-de-velocidade-do-dispositivo-auxiliar-do-ventriculo-esquerdo-usando-logica-nebulosa-2014-92 monthly 0.6 http://localhost:3000/publications/smt-based-bounded-model-checking-of-c-programs-2013-46 monthly 0.6 http://localhost:3000/publications/handling-unbounded-loops-with-esbmc-1-20-competition-contribution-2013-65 monthly 0.6 http://localhost:3000/publications/model-checking-ltl-properties-over-ansi-c-programs-with-bounded-traces-2013-70 monthly 0.6 http://localhost:3000/publications/verifying-fixed-point-digital-filters-using-smt-based-bounded-model-checking-2013-76 monthly 0.6 http://localhost:3000/publications/an-intelligent-medicine-cabinet-proposed-to-increase-medication-adherence-2013-73 monthly 0.6 http://localhost:3000/publications/reusable-hardware-and-software-model-for-remote-supervision-of-industrial-automation-systems-using-web-technologies-2013-115 monthly 0.6 http://localhost:3000/publications/voice-activated-system-to-remotely-control-industrial-and-building-automation-systems-using-cloud-computing-2013-107 monthly 0.6 http://localhost:3000/publications/control-of-input-stream-of-manufacturing-systems-modeled-by-timed-event-graphs-and-max-pus-algebra-2013-98 monthly 0.6 http://localhost:3000/publications/a-sms-based-application-store-for-emerging-market-2013-49 monthly 0.6 http://localhost:3000/publications/a-mobile-based-system-for-content-delivery-over-sms-2013-51 monthly 0.6 http://localhost:3000/publications/projeto-e-implementacao-experimental-de-um-regulador-de-velocidade-segundo-projeto-de-pid-de-ordem-fracionaria-2013-110 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-um-sistema-fuzzy-baseado-em-estimacao-parametrica-para-deteccao-e-identificacao-de-faltas-em-sistema-de-geracao-fotovoltaica-interligada-a-re-171 monthly 0.6 http://localhost:3000/publications/analise-experimental-de-um-controlador-fopid-aplicado-em-um-regulador-de-velocidade-de-um-sistema-de-geracao-em-escala-reduzida-de-10-kva-2013-137 monthly 0.6 http://localhost:3000/publications/supervisor-genetico-fuzzy-intervalar-do-tipo-2-aplicado-no-diagnostico-de-faltas-incipientes-em-enrolamento-de-estator-de-motores-trifasicos-de-inducao-2013-151 monthly 0.6 http://localhost:3000/publications/dynamic-and-automated-product-derivation-for-consumer-electronics-software-applications-2013-87 monthly 0.6 http://localhost:3000/publications/sistema-de-deteccao-de-pontos-fiduciais-utilizando-classificadores-lineares-c-svc-2013-81 monthly 0.6 http://localhost:3000/publications/avaliacao-do-desempenho-dos-fd-em-um-sistema-de-deteccao-de-pontos-fiduciais-2013-76 monthly 0.6 http://localhost:3000/publications/verificacao-de-codigos-lua-utilizando-bmclua-2013-44 monthly 0.6 http://localhost:3000/publications/verificacao-de-propriedades-de-filtros-digitais-implementados-com-aritmetica-de-ponto-fixo-2013-90 monthly 0.6 http://localhost:3000/publications/verificacao-baseada-em-inducao-matematica-para-programas-c-c-2013-60 monthly 0.6 http://localhost:3000/publications/verificacao-de-aplicacoes-ami-usando-java-pathfinder-2013-52 monthly 0.6 http://localhost:3000/publications/use-of-hand-gestures-as-interface-for-interaction-between-multi-users-and-the-idtv-2013-82 monthly 0.6 http://localhost:3000/publications/4th-euroitv-2013-workshop-on-interactive-digital-tv-in-emergent-economies-thinking-outside-the-tv-box-2013-101 monthly 0.6 http://localhost:3000/publications/um-armario-de-medicamento-inteligente-desenvolvido-para-aumentar-a-eficiencia-da-medicacao-2013-90 monthly 0.6 http://localhost:3000/publications/metodos-de-controle-do-fluxo-de-entrada-para-grafos-de-eventos-temporizados-2013-75 monthly 0.6 http://localhost:3000/publications/aplicacao-de-tecnicas-de-modelagem-de-um-sistema-biologico-nas-disciplinas-de-introducao-a-analise-de-circuitos-eletricos-2013-121 monthly 0.6 http://localhost:3000/publications/proposta-de-controlador-de-velocidade-para-o-dispositivo-auxiliar-do-ventriculo-esquerdo-2013-88 monthly 0.6 http://localhost:3000/publications/constituicao-de-um-sistema-caotico-unificado-utilizado-para-a-transmissao-de-informacoes-de-forma-criptografada-2013-111 monthly 0.6 http://localhost:3000/publications/smt-based-bounded-model-checking-for-embedded-ansi-c-software-2012-61 monthly 0.6 http://localhost:3000/publications/context-bounded-model-checking-with-esbmc-1-17-competition-contribution-2012-71 monthly 0.6 http://localhost:3000/publications/strategies-for-agile-software-testing-automation-an-industrial-experience-2012-73 monthly 0.6 http://localhost:3000/publications/software-test-automation-practices-in-agile-development-environment-an-industry-experience-report-2012-97 monthly 0.6 http://localhost:3000/publications/understanding-programming-bugs-in-ansi-c-software-using-bounded-model-checking-counter-examples-2012-95 monthly 0.6 http://localhost:3000/publications/designing-an-extension-api-for-bridging-ginga-idtv-applications-and-home-services-2012-81 monthly 0.6 http://localhost:3000/publications/a-car-racing-based-strategy-for-the-dynamic-voltage-and-frequency-scaling-technique-2012-83 monthly 0.6 http://localhost:3000/publications/sintonia-de-controladores-pid-pelos-metodos-de-ziegler-nichols-e-resposta-em-frequencia-para-a-regulacao-de-velocidade-de-um-sistema-de-geracao-em-escala-reduzi-171 monthly 0.6 http://localhost:3000/publications/modernizacao-da-instrumentacao-para-controle-e-acionamento-de-um-sistema-de-geracao-em-escala-reduzida-2012-102 monthly 0.6 http://localhost:3000/publications/laboratorio-virtual-docente-para-um-sistema-multivariavel-2012-57 monthly 0.6 http://localhost:3000/publications/geracao-de-energia-eletrica-com-etanol-de-mandioca-no-estado-do-amazonas-2012-72 monthly 0.6 http://localhost:3000/publications/a-distributed-extension-of-the-hybrid-prs-system-using-video-processing-to-command-a-robot-via-bluetooth-2012-104 monthly 0.6 http://localhost:3000/publications/sistema-de-monitoramento-a-distancia-para-unidade-de-celula-a-combustivel-2012-73 monthly 0.6 http://localhost:3000/publications/controle-de-posicao-dos-elos-de-um-robo-manipulador-utilizando-controladores-classicos-digitais-2012-95 monthly 0.6 http://localhost:3000/publications/using-a-voting-classification-algorithm-with-neural-networks-and-collaborative-filtering-in-movie-recommendations-for-interactive-digital-tv-2012-140 monthly 0.6 http://localhost:3000/publications/reconfigurable-systems-for-digital-tv-environment-2012-49 monthly 0.6 http://localhost:3000/publications/metodo-para-controle-de-fluxo-de-entrada-em-sistemas-max-plus-lineares-garantindo-uma-dada-taxa-de-producao-2012-107 monthly 0.6 http://localhost:3000/publications/dispositivo-de-teste-para-reduzir-defeitos-em-equipamentos-medicos-2012-66 monthly 0.6 http://localhost:3000/publications/modelagem-simulacao-controle-e-animacao-de-sistema-ball-beam-utilizando-o-software-matlab-2012-89 monthly 0.6 http://localhost:3000/publications/identificacao-de-caos-em-motore-de-imas-permanentes-pmsm-2012-56 monthly 0.6 http://localhost:3000/publications/calculo-de-curto-circuito-trifasico-em-sistemas-eletricos-utilizando-o-software-matlab-2012-86 monthly 0.6 http://localhost:3000/publications/verifying-multi-threaded-software-using-smt-based-context-bounded-model-checking-2011-80 monthly 0.6 http://localhost:3000/publications/context-bounded-model-checking-of-ltl-properties-for-ansi-c-software-2011-68 monthly 0.6 http://localhost:3000/publications/gift-young-engineers-an-extra-curricular-initiative-for-updating-computer-and-electrical-engineering-courses-2011-108 monthly 0.6 http://localhost:3000/publications/verifying-embedded-c-software-with-timing-constraints-using-an-untimed-bounded-model-checker-2011-92 monthly 0.6 http://localhost:3000/publications/reinventing-the-engineering-an-extracurricular-program-designed-to-attract-new-engineering-students-2011-99 monthly 0.6 http://localhost:3000/publications/an-infrastructure-for-managing-residential-devices-through-the-declarative-environment-of-the-brazilian-idtv-middleware-2011-119 monthly 0.6 http://localhost:3000/publications/a-framework-for-hardware-reconfiguration-using-the-digital-tv-signal-2011-68 monthly 0.6 http://localhost:3000/publications/upgrading-the-training-of-undergraduate-students-by-addressing-market-demands-2011-77 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-laboratorio-para-ensino-e-pesquisa-em-automacao-e-acionamentos-industriais-convenio-weg-automacao-ufpa-2011-121 monthly 0.6 http://localhost:3000/publications/a-formal-method-for-modeling-verification-and-synthesis-of-embedded-reactive-systems-2011-84 monthly 0.6 http://localhost:3000/publications/deteccao-e-reconhecimento-do-centro-do-olho-utilizando-svm-2011-58 monthly 0.6 http://localhost:3000/publications/metodologia-de-reconfiguracao-de-hardware-utilizando-o-sinal-de-tv-digital-2011-74 monthly 0.6 http://localhost:3000/publications/smart-composition-of-reusable-software-components-in-product-lines-2011-66 monthly 0.6 http://localhost:3000/publications/melhoria-no-desenvolvimento-agil-com-implantacao-de-processo-de-integracao-continua-multiplataforma-para-java-e-net-2011-115 monthly 0.6 http://localhost:3000/publications/experiencia-em-processo-de-teste-iterativo-e-automatizado-para-data-warehouse-2011-77 monthly 0.6 http://localhost:3000/publications/gemptv-ginga-ncl-emulator-for-portable-digital-tv-2011-49 monthly 0.6 http://localhost:3000/publications/experiences-in-the-designing-and-implementing-an-extension-api-to-converge-idtv-and-homegateway-2011-95 monthly 0.6 http://localhost:3000/publications/sms-as-interactive-channel-for-portable-digital-tv-receivers-2011-60 monthly 0.6 http://localhost:3000/publications/gift-young-engineers-an-initiative-for-updating-computer-and-electrical-engineering-courses-2011-91 monthly 0.6 http://localhost:3000/publications/atividades-de-pesquisa-e-extensao-numa-interacao-universidade-empresa-um-relato-de-experiencia-entre-o-ceteli-ufam-e-indt-nokia-2011-127 monthly 0.6 http://localhost:3000/publications/relato-de-experiencias-de-um-minter-em-engenharia-mecanica-e-de-materiais-entre-o-ifam-e-a-utfpr-2011-96 monthly 0.6 http://localhost:3000/publications/experiencia-em-aplicacao-de-processo-de-teste-de-software-iterativo-e-automatico-2011-80 monthly 0.6 http://localhost:3000/publications/remocao-do-fundo-da-cena-para-deteccao-da-silhueta-da-mao-humana-e-deteccao-de-movimento-2011-88 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-um-modulo-alternativo-de-radio-frequencia-433-92mhz-2011-70 monthly 0.6 http://localhost:3000/publications/simulacao-e-construcao-de-controladores-classicos-propostos-ao-ensino-de-engenharia-2011-83 monthly 0.6 http://localhost:3000/publications/desenvolvimento-e-aplicacao-de-motores-de-corrente-continua-virtuais-aplicados-nas-aulas-laboratoriais-de-controle-de-sistemas-2011-126 monthly 0.6 http://localhost:3000/publications/sistema-de-comunicacao-remota-atraves-de-modulos-de-transmissao-e-recepcao-de-radio-frequencia-utilizando-o-ambiente-de-simulacao-matlab-2011-136 monthly 0.6 http://localhost:3000/publications/a-utilizacao-do-metodo-de-diferencas-finitas-para-solucionar-problemas-de-engenharia-com-a-utilizacao-do-software-matlab-2011-120 monthly 0.6 http://localhost:3000/publications/simulacao-de-controladores-analogicos-variaveis-utilizando-o-software-eletronic-workbenchs-2011-90 monthly 0.6 http://localhost:3000/publications/modelagem-simulacao-e-animacao-de-motor-dc-em-ambiente-matlab-2011-61 monthly 0.6 http://localhost:3000/publications/continuous-verification-of-large-embedded-software-using-smt-based-bounded-model-checking-2010-89 monthly 0.6 http://localhost:3000/publications/scrumpl-software-product-line-engineering-with-scrum-2010-52 monthly 0.6 http://localhost:3000/publications/idtv-home-gateway-convergence-an-open-software-model-integrating-the-ginga-middleware-and-the-osgi-framework-2011-108 monthly 0.6 http://localhost:3000/publications/monitoring-of-hypertensive-patients-through-conventional-medical-devices-integrated-to-the-brazilian-digital-tv-2010-111 monthly 0.6 http://localhost:3000/publications/controle-por-modo-deslizante-hierarquico-do-sistema-duplo-pendulo-invertido-sobre-um-carro-com-atenuacao-de-chattering-2010-118 monthly 0.6 http://localhost:3000/publications/armbee-uma-arquitetura-de-hardware-modular-multi-radio-para-gateways-de-redes-de-sensores-sem-fio-2010-97 monthly 0.6 http://localhost:3000/publications/bounded-model-checking-of-multi-threaded-software-using-smt-solvers-2010-67 monthly 0.6 http://localhost:3000/publications/exploiting-safety-properties-in-bounded-model-checking-for-test-cases-generation-of-c-programs-2010-94 monthly 0.6 http://localhost:3000/publications/mhealth-integrating-conventional-medical-devices-with-the-brazilian-digital-tv-and-mobile-phones-2010-96 monthly 0.6 http://localhost:3000/publications/game-tv-um-framework-de-jogos-digitais-2d-para-tv-digital-2010-57 monthly 0.6 http://localhost:3000/publications/development-of-an-academic-laboratory-of-interactive-digital-tv-in-amazon-objectives-and-main-projects-2010-102 monthly 0.6 http://localhost:3000/publications/a-software-product-line-requirements-and-reference-architecture-for-tv-navigation-system-2010-88 monthly 0.6 http://localhost:3000/publications/workshop-on-interactive-digital-tv-in-emergent-countries-2010-56 monthly 0.6 http://localhost:3000/publications/transinfo-uma-aplicacao-hibrida-de-codigo-aberto-para-dispositivos-moveis-que-auxilia-usuarios-com-informacoes-sobre-o-transito-local-2010-133 monthly 0.6 http://localhost:3000/publications/programa-de-formacao-complementar-adequando-a-formacao-dos-academicos-de-engenharia-eletrica-e-da-computacao-para-as-demandas-de-mercado-2010-136 monthly 0.6 http://localhost:3000/publications/interactive-software-testing-process-for-scrum-and-waterfall-projects-with-open-source-testing-tools-experience-2010-111 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-um-jogo-educacional-baseado-em-imagens-e-palavras-para-a-tv-digital-2010-86 monthly 0.6 http://localhost:3000/publications/geracao-automatica-de-codigo-para-redes-de-sensores-sem-fio-baseado-em-componentes-de-software-2010-94 monthly 0.6 http://localhost:3000/publications/avaliacao-de-ambientes-de-desenvolvimento-para-automacao-do-problema-do-cubo-magico-para-o-robo-lego-mindstorms-nxt-2010-115 monthly 0.6 http://localhost:3000/publications/modelagem-e-geracao-de-codigo-para-redes-de-sensores-sem-fio-usando-communicating-x-machine-2010-91 monthly 0.6 http://localhost:3000/publications/sistema-didatico-de-aquisicao-de-dados-e-controle-aplicado-nas-aulas-de-laboratorio-de-sistemas-de-controle-2010-107 monthly 0.6 http://localhost:3000/publications/fibras-opticas-comparacao-da-atenuacao-com-condutores-metalicos-2010-63 monthly 0.6 http://localhost:3000/publications/a-utilizacao-de-componentes-optoeletronicos-para-a-implementacao-de-um-sensor-de-deslocamento-angular-2010-101 monthly 0.6 http://localhost:3000/publications/analise-comparativa-da-transmissao-de-dados-com-fibras-opticas-e-condutores-metalicos-2010-85 monthly 0.6 http://localhost:3000/publications/lite-um-algoritmo-de-localizacao-temporal-e-ordenacao-de-eventos-em-redes-de-sensores-sem-fio-compostas-por-nos-dessincronizados-2010-128 monthly 0.6 http://localhost:3000/publications/smt-based-bounded-model-checking-for-embedded-ansi-c-software-2009-61 monthly 0.6 http://localhost:3000/publications/a-home-automation-proposal-built-on-the-ginga-digital-tv-middleware-and-the-osgi-framework-2009-90 monthly 0.6 http://localhost:3000/publications/on-the-use-of-scrum-for-the-management-of-practical-projects-in-graduate-courses-2009-80 monthly 0.6 http://localhost:3000/publications/an-experience-to-use-robotics-to-improve-computer-science-learning-2009-66 monthly 0.6 http://localhost:3000/publications/a-convergence-proposal-between-the-brazilian-middleware-for-idtv-and-home-network-platforms-2009-91 monthly 0.6 http://localhost:3000/publications/a-software-model-supporting-the-management-of-home-network-services-through-the-brazilian-idtv-2009-94 monthly 0.6 http://localhost:3000/publications/a-communication-infrastructure-between-the-brazilian-interactive-digital-tv-and-residential-devices-2009-99 monthly 0.6 http://localhost:3000/publications/using-the-idtv-for-managing-services-in-the-ubiquitous-computing-environment-2009-76 monthly 0.6 http://localhost:3000/publications/modelo-de-convergencia-entre-o-middleware-brasileiro-de-tvdi-e-plataformas-de-software-para-home-networking-2009-107 monthly 0.6 http://localhost:3000/publications/implementacao-de-um-bloqueador-de-conteudo-para-tv-digital-2009-58 monthly 0.6 http://localhost:3000/publications/uma-proposta-de-arquitetura-para-framework-de-jogos-digitais-para-tv-digital-2009-76 monthly 0.6 http://localhost:3000/publications/proposta-de-implementacao-de-software-adaptativo-utilizando-linhas-de-produto-de-software-dinamicas-2009-99 monthly 0.6 http://localhost:3000/publications/implementacao-de-healthcare-integrando-um-gateway-e-a-tv-digital-para-monitorar-idosos-2009-86 monthly 0.6 http://localhost:3000/publications/an-agile-development-methodology-applied-to-embedded-control-software-under-stringent-hardware-constraints-2008-106 monthly 0.6 http://localhost:3000/publications/a-platform-based-software-design-methodology-for-embedded-control-systems-an-agile-toolkit-2008-90 monthly 0.6 http://localhost:3000/publications/an-engineering-educational-application-developed-for-the-brazilian-digital-tv-system-2008-84 monthly 0.6 http://localhost:3000/publications/towards-a-model-driven-engineering-approach-for-developing-embedded-hard-real-time-software-2008-91 monthly 0.6 http://localhost:3000/publications/towards-a-semiformal-development-methodology-for-embedded-systems-2008-65 monthly 0.6 http://localhost:3000/publications/mandos-a-user-interaction-method-in-embedded-applications-for-mobile-telephony-2008-78 monthly 0.6 http://localhost:3000/publications/an-educational-component-based-digital-tv-middleware-for-the-brazilian-s-system-2008-79 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-um-processo-de-software-aderente-a-iso-9001-2000-baseado-no-processo-agil-scrum-2008-98 monthly 0.6 http://localhost:3000/publications/ezrealtime-a-domain-specific-modeling-tool-for-embedded-hard-real-time-software-synthesis-2008-89 monthly 0.6 http://localhost:3000/publications/proposta-de-convergencia-entre-o-middleware-de-referencia-brasileiro-de-tv-digital-e-plataformas-de-redes-residenciais-2008-118 monthly 0.6 http://localhost:3000/publications/o-uso-de-realidade-virtual-em-sistemas-teleroboticos-baseados-na-internet-2008-73 monthly 0.6 http://localhost:3000/publications/implementacao-de-redes-de-sensores-sem-fio-para-ambientes-industriais-oportunidades-e-desafios-2008-94 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-aplicacoes-embarcadas-para-lego-rcx-2-0-utilizando-software-livre-2008-84 monthly 0.6 http://localhost:3000/publications/ambient-intelligence-conceitos-gerais-estado-da-arte-e-aplicacoes-futuras-2008-73 monthly 0.6 http://localhost:3000/publications/cenario-de-convergencia-entre-a-tv-digital-e-dispositivos-eletronicos-em-sistemas-de-automacao-residencial-2008-106 monthly 0.6 http://localhost:3000/publications/processo-de-desenvolvimento-de-software-para-aplicacoes-de-tempo-real-2008-69 monthly 0.6 http://localhost:3000/publications/analise-do-processo-de-desenvolvimento-de-aplicacoes-para-tv-digital-interativa-em-um-cenario-de-t-commerce-2008-107 monthly 0.6 http://localhost:3000/publications/a-robotica-como-ambiente-de-programacao-utilizando-o-kit-lego-mindstorms-2008-72 monthly 0.6 http://localhost:3000/publications/middleware-baseado-em-modelos-de-convergencia-entre-plataformas-de-software-para-tv-digital-e-redes-residenciais-2008-112 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-uma-arquitetura-de-comunicacao-entre-dispositivos-domesticos-e-moveis-e-o-modelo-brasileiro-de-tv-digital-2008-124 monthly 0.6 http://localhost:3000/publications/towards-the-generation-analyze-and-validation-of-mpeg-2-transport-stream-based-on-free-software-for-the-brazilian-digital-tv-system-2008-131 monthly 0.6 http://localhost:3000/publications/agile-development-methodology-for-embedded-systems-a-platform-based-design-approach-2007-83 monthly 0.6 http://localhost:3000/publications/teaching-software-engineering-for-embedded-systems-an-experience-report-from-the-manaus-research-and-development-pole-2007-117 monthly 0.6 http://localhost:3000/publications/txm-an-agile-hw-sw-development-methodology-for-building-medical-devices-2007-71 monthly 0.6 http://localhost:3000/publications/applying-scrum-and-organizational-patterns-to-multi-site-software-development-2007-77 monthly 0.6 http://localhost:3000/publications/set-top-box-caracteristicas-e-necessidades-2007-42 monthly 0.6 http://localhost:3000/publications/desenvolvimento-de-um-micro-nucleo-de-tempo-real-para-o-micro-controlador-89c8252-para-o-ensino-de-programacao-para-tempo-real-2007-126 monthly 0.6 http://localhost:3000/publications/desafios-da-implantacao-de-uma-diretoria-de-pesqusa-e-pos-graduacao-no-cefet-am-2007-79 monthly 0.6 http://localhost:3000/publications/os-dez-maiores-desafios-da-automacao-industrial-as-perspectivas-para-o-futuro-2007-77 monthly 0.6 http://localhost:3000/publications/a-germany-brazil-experience-report-on-teaching-software-engineering-for-electrical-engineering-undergraduate-students-2006-117 monthly 0.6 http://localhost:3000/publications/unibral-an-education-and-research-cooperation-between-brazil-and-germany-2006-72 monthly 0.6 http://localhost:3000/publications/uma-metodologia-germano-brasileira-para-o-ensino-de-engenharia-de-software-para-alunos-de-engenharia-eletrica-2006-109 monthly 0.6 http://localhost:3000/publications/levantamento-da-area-de-cobertura-de-uma-rede-wireless-802-11-um-estudo-de-caso-na-uned-de-manaus-2006-97 monthly 0.6 http://localhost:3000/publications/gerenciamento-remoto-de-aparelhos-eletronicos-utilizando-pdas-e-bluetooth-2006-73 monthly 0.6 http://localhost:3000/publications/web-site-de-plantas-medicinais-um-portal-de-divulgacao-cientifica-sobre-extratos-naturais-amazonicos-2006-100 monthly 0.6 http://localhost:3000/publications/aplicando-padroes-de-gerencia-de-configuracao-de-software-em-projetos-geograficamente-distribuidos-2005-98 monthly 0.6 http://localhost:3000/publications/minimizando-riscos-na-gestao-estrategica-proposta-de-uso-de-inteligencia-competitiva-em-instituicao-de-ensino-e-pesquisa-2004-120 monthly 0.6 http://localhost:3000/publications/mapas-de-isorresistividades-eletricas-aparentes-do-solo-superficial-da-cidade-de-manaus-2004-87 monthly 0.6 http://localhost:3000/publications/comparacao-entre-mapas-de-isorresistividades-eletricas-aparentes-do-solo-superficial-de-manaus-a-partir-de-series-de-dados-completos-e-estatisticos-2004-147 monthly 0.6 http://localhost:3000/publications/melhoramento-do-processo-produtivo-de-ceramica-estrutural-como-acao-mitigadora-para-estabilizacao-ou-reducao-adicional-nas-emissoes-de-gases-do-efeito-estufa-20-157 monthly 0.6 http://localhost:3000/publications/projeto-de-arranjos-de-aterramento-otimo-para-protecao-de-sistemas-de-distribuicao-de-energia-eletrica-da-concessionaria-manaus-energia-s-a-na-cidade-de-manaus-159 monthly 0.6 http://localhost:3000/publications/malhas-de-aterramento-do-sistema-eletrico-da-manaus-energia-um-estudo-de-caso-2003-77 monthly 0.6 http://localhost:3000/publications/estudo-das-caracteristicas-do-solo-de-manaus-para-determinacao-de-sistemas-de-aterramento-otimo-2003-95 monthly 0.6 http://localhost:3000/publications/metodologia-para-avaliacao-de-dispositivos-para-identificacao-de-impressao-digital-2001-82 monthly 0.6 http://localhost:3000/publications/on-line-estimation-of-the-stator-resistance-of-induction-machines-based-on-zero-sequence-model-2000-94 monthly 0.6 http://localhost:3000/publications/quasi-time-invariant-parameter-modeling-and-control-of-unbalanced-induction-machines-2000-84 monthly 0.6 http://localhost:3000/publications/modelamento-de-motors-de-inducao-para-faltas-insipientes-2000-56 monthly 0.6 http://localhost:3000/publications/reverse-engineering-konzept-zur-gewinnung-von-verhaltensinformationen-aus-oo-software-2000-85 monthly 0.6 http://localhost:3000/publications/estimating-the-parameters-of-induction-machines-at-standstill-1999-61 monthly 0.6 http://localhost:3000/publications/quasi-time-invariant-parameter-modeling-of-unbalanced-induction-machines-1999-72 monthly 0.6 http://localhost:3000/publications/komponentenbasierte-softwareentwicklung-fur-eingebettete-systeme-mit-synchronen-softwarekomponenten-1999-99 monthly 0.6 http://localhost:3000/publications/a-new-method-for-estimating-all-the-electrical-parameters-of-induction-machines-1998-79 monthly 0.6 http://localhost:3000/publications/on-line-estimation-of-the-stator-resistance-of-an-induction-motor-1998-65 monthly 0.6 http://localhost:3000/publications/proposta-para-reforma-curricular-do-curso-de-engenharia-eletrica-da-universidade-do-amazonas-1994-92 monthly 0.6 http://localhost:3000/publications/use-of-the-excitation-dependent-l-1994-33 monthly 0.6 http://localhost:3000/publications/estimacao-robusta-em-controle-adaptativo-robustez-e-desempenho-1994-62 monthly 0.6 http://localhost:3000/publications/estimacao-robusta-em-controle-adaptativo-por-alocacao-de-polos-1994-62 monthly 0.6 http://localhost:3000/publications/melhorando-a-capacidade-de-acompanhar-variacoes-parametricas-do-estimador-minimos-quadrados-dependente-da-excitacao-1994-115 monthly 0.6 http://localhost:3000/publications/the-use-of-exponential-weighting-in-the-excitation-dependent-least-squares-estimators-1993-85 monthly 0.6 http://localhost:3000/publications/analise-comparativa-dos-observadores-para-fluxo-rotorico-para-sistema-de-acionamento-de-motores-de-inducao-1990-106 monthly 0.6 http://localhost:3000/people/iury-valente-de-bessa monthly 0.6 http://localhost:3000/people/renan-landau-paiva-de-medeiros monthly 0.6 http://localhost:3000/people/alessandro-bezerra-trindade monthly 0.6 http://localhost:3000/people/florindo-antonio-de-carvalho-ayres-junior monthly 0.6 http://localhost:3000/people/joao-bernardo-aranha-ribeiro monthly 0.6 http://localhost:3000/people/joao-edgar-chaves-filho monthly 0.6 http://localhost:3000/people/kenny-vinente-dos-santos monthly 0.6 http://localhost:3000/people/laura-michaella-batista-ribeiro monthly 0.6 http://localhost:3000/people/lucas-carvalho-cordeiro monthly 0.6 http://localhost:3000/people/luiz-alberto-queiroz-cordovil-junior monthly 0.6 http://localhost:3000/people/luiz-eduardo-sales-e-silva monthly 0.6 http://localhost:3000/people/ozenir-farah-da-rocha-dias monthly 0.6 http://localhost:3000/people/pedro-henrique-silva-coutinho monthly 0.6 http://localhost:3000/people/rafael-da-silva-mendonca monthly 0.6 http://localhost:3000/people/rodrigo-farias-araujo monthly 0.6 http://localhost:3000/people/romulo-teixeira-rodrigues monthly 0.6 http://localhost:3000/people/vicente-ferreira-de-lucena-junior monthly 0.6