yusuke1997/dblp-id-title huggingface dataset:
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
Controle Adaptativo de Complexidade do Codificador AV1 baseado em Frente de Pareto e Aprendizado de Máquina
Caracterização e análise de texturas estáticas e dinâmicas utilizando Redes Complexas, Caminhadas Determinísticas e Campos Vetoriais
Mecanismos de soporte al proceso de adopción de un modelo de mejora de procesos de software en las micro, pequeñas y medianas empresas
Inteligência de enxame aplicada a problemas complexos de análise de dados: agrupamento multiobjetivo e mineração de regras de associação em data streams
Desarrollo y validación de un sistema basado en ENFET para aplicación en diálisis
Colaboração em ambientes inteligentes de aprendizagem mediada por um agente social probabilístico
Métodos dos elementos finitos hibridizados aplicados a problemas hidromecânicos : Hybridized finite element methods applied to hydro-mechanical problems
Implementación de un controlador predictivo basado en eventos para un sistema de control en red inalámbrico
Detecção e segmentação automática de batimentos cardíacos do eletrocardiograma por modelagem matemática e combinação das transformadas Wavelet e de Hilbert
Usabilidade de interface humano-computador em um contexto de excluidos digitais
Dynamics of automata networks: theory and numerical experiments
Interfacer: um método para especificação de interfaces para internet do futuro
Metodologia baseada em visão computacional e aprendizado de máquina para guiar o projeto de sistemas de comunicação aumentativa e alternativa usando interação gestual personalizada
Novos métodos de análise de texturas baseados em modelos gravitacionais simplificados e caminhos mais curtos em grafos
Métodos de região de confiança sem derivadas para otimização restrita
Modelo conceitual de gestão de produção baseado na gestão do conhecimento: um estudo no ambiente operário da indústria automotiva
Situation awareness and practical reasoning in dynamic environments
Caracterização fisiográfica e simulação hidrológica em reservatórios da bacia do Jaguaribe-CE
Caracterização do comportamento de confiabilidade das barreiras de segurança de poços de petróleo em diferentes condições de operação utilizando aprendizado de máquina
Método fuzzy para aprendizagem online de parâmetros em redes bayesianas
Controle por modos deslizantes para o modo longitudinal de um dirigível robótico autônomo
Contribución al soporte de ingeniería de tráfico en redes IPV6
JEIS - Framework conceitual e ferramenta de autoria para a construção de jogos digitais para educação infantil de surdos
Identificação e validação do perfil neurolinguístico de programadores através da mineração de repositórios de software
Uma condição suficiente para otimização global sem retrocesso
Modelagem da disponibilidade hídrica em bacias hidrográficas do Cerrado
Uso de agentes inteligentes no controle simultâneo da largura e do reforço dos cordões de solda no processo GMAW-S
Técnicas de optimización para el proceso de grounding en planning clásico
Técnica baseada em contratos para a validação da comunicação de alto nível entre software e hardware
Agile Eteasy: um método para aplicação de testes exploratórios em contextos ágeis
Metaheuristic approaches for 3D-reconstruction-related problems
Algoritmos genéticos para predição ab initio de estrutura de proteínas
Detecção de imagens falsificadas baseada em descritores locais de textura e rede neural convolucional
Otimização da produção de fucoxantina pela diatomácea Phaeodactylum tricornutum: análise computacional associada a cultivos in vitro
Análisis predictivo para los procesos de admisión de la Universidad Nacional del Altiplano - Puno
Essays in economic theory: pricing and information design
Estudio de propiedades físicas de asteroides
Modelagem e simulação de redes IoT, AdHoc e RFID
Um sistema de intervenção computacional para rastreio e monitoramento de leitura em uma proposta de RTI
Detectores de mudança de conceito por meio do mapeamento espacial do fluxo de dados usando quadtree
Descubrimiento de estructuras de cristales y clusters mediante algoritmos genéticos
Algoritmo evolucionário adaptativo em problemas multimodais dinâmicos
FRIDA: um método para elicitação e modelagem de RNFs
Um metamodelo para alinhamento de padrões de requisitos e padrões de testes e um framework para avaliação de metamodelos
Algoritmo Q-learning como estratégia de exploração e/ou explotação para metaheurísticas GRASP e algoritmo genético
Usuários e produção da existência: contribuições de Álvaro Vieira Pinto e Paulo Freire à interação humano-computador
Diseño de un Ecosistema de Internet de las Cosas para el Hogar Conectado Integrando Electrodomésticos de Línea Blanca: Hacia la Creación de Valor con la Información
Diretrizes para a realização de processo de benchmarking colaborativo visando à implementação de melhorias em empresas de construção civil
Mapeo y factorización de modelos orientados a objetos en aplicaciones C
Medidas de performance metabólica usando a expressão gênica de genoma completo
Inventário e neutralização de emissões de gases de efeito estufa: avaliação e desenvolvimento de software de cálculo
Heuristic-based Algorithms and Hardware Designs for Fast Intra-picture Prediction in AV1 Video Coding
Reconfiguration of distribution networks with simultaneous allocation of distributed generation using the whale optimization algorithm
Cálculo da força de argumentos retóricos e sua utilização em diálogos de negociação persuasiva em sistemas multiagente
Identificação inteligente de falhas em máquinas elétricas utilizando informação mútua
Os novos papéis da biblioteca universitária brasileira
Algoritmos genéticos acoplados a cálculos quânticos para refinamento de campo de força
Um framework analítico para a inteligência de enxame : da biologia à computação
Uma abordagem baseada em modelo para integração e gerenciamento dos dados de sistemas de manutenção inteligente através do uso de técnicas de realidade mista
Seleção de rotas em redes para Internet das Coisas baseada em requisitos de aplicações
Estratégias de busca no projeto evolucionista de circuitos combinacionais
Algoritmos conceptuales restringidos basados en semillas
Revisitando o problema de classificação de padrões na presença de outliers usando técnicas de regressão robusta
Um Modelo de Processo de Gestão de Riscos para Ambientes de Múltiplos Projetos de Desenvolvimento de Software
Identificação recursiva de sistemas multivariaveis
Deep representations for iris and periocular biometric systems
Framework para investigação de mapeamentos de aplicações em arquiteturas manycore
Recuperação da informação com abordagem semântica utilizando linguagem natural: a inteligência artificial na ciência da informação
Investigação de complexos proteína-ligante por métodos de bioquímica quântica e evolução molecular
Protocolo de autenticação contínua multimodal com uso de eletrocardiografia para ambientes de computação móvel em nuvem
Proposta de modelo de gestão de confiança para internet das coisas médicas
Abordagem computacional para aprimoramento das habilidades com as emoções em indivíduos com autismo
Árboles de decisión para grandes conjuntos de datos
Smart&Green: Um Framework de Internet das Coisas para Agricultura Inteligente
Geoestatística e sistemas "Fuzzy" na proteção de plantas
Otimização com restrições lineares e pre-condicionamento periodico : teoria e experimentos
Operational planning of smart microgrids considering intraday markets
Reconhecimento de gestos aplicado as áreas da saúde : mudança de paradigma na interação humano computador por meio de estímulos motores e cognitivos
Análise da solução de equações lineares com coeficientes intervalares em diferentes aritméticas intervalares
Soluções para os problemas da soma máxima e do k-ésimo menor elemento de uma sequência usando o modelo BSP/CGM
Aceitação e adoção da internet entre idosos: um estudo de representações e práticas sociais
Métodos analíticos para o estudo do desempenho de redes ópticas elásticas
Precondicionadores para solução de sistemas lineares em arquiteturas paralelas
Uma abordagem híbrida para construção de documentação para apoio à instanciação de frameworks
Modelagem e otimização de desvios em peças termoformadas a vácuo utilizando modelos de regressão múltipla e redes neurais artificiais
Desenvolvimento de um sistema de manutenção inteligente embarcado
Pattern recognition in facial expressions : algorithms and application = Reconhecimento de padrões em expressões faciais: algoritmos e aplicações
Robust visual recognition with deep neural networks
As tecnologias da informação e comunicação como vetores catalisadores de participação cidadã na construção de políticas públicas : o caso dos conselhos de saúde brasileiros
Braille-CM-TUI: ambiente de apoio à construção de conhecimento via mapas conceituais por estudantes com cegueira
Estratégia do planejamento e otimização de sistemas sem fio, considerando redes interferentes: abordagem baseada em cross-layer
Desarrollo de un sistema automático de medición de la masa de café en rama a través de visión de máquina
Enfoque integrado de procesamiento de flujos de datos centrado en metadatos de mediciones
Novas estratégias para otimização por nuvem de partículas aplicadas a problemas com muitos objetivos
Reconhecimento de entidades nomeadas na ?rea da geologia : bacias sedimentares brasileiras
Caracterización espectral del pulso electromagnético radiado por el rayo atmosférico (LEMP) mediante un Detector-Receptor de RF tipo SDR (Software-Defined Radio)
A influência de fatores na produtividade do desenvolvimento de software de acordo com um modelo de estruturas teóricas
Collaborative 3D interactions and their application on virtual, augmented and mixed reality interfaces
Morbi-mortalidade nos municípios brasileiros: associação com indicadores sócio-econômicos e de assistência à saúde. Um estudo multinível
Metodologia heurística para otimização do arranjo de realces abertos e pilares verticais no método sublevel open stoping
Estratégias de alocação de recursos em redes LoRaWAN para inserção de alarmes : Resource allocation strategies in LoRaWAN networks for insertion of alarms
Um jogo sério para apoio ao ensino de modelagem de processo de software baseado em mapas conceituais: uma avaliação experimental
Essays on multivariate generalized Birnbaum-Saunders methods
Using delay differential equations in models of cardiac electrophysiology
Uma proposta para classificação de recursos da IoT explorando o tratamento da incerteza na decisão multicritério
Proceso de agregación para estudios experimentales en ingenieria del software
Extracción de conocimiento en grandes bases de datos utilizando estrategias adaptativas
Understanding test evolution: from highly‑configurable systems to software ecosystems
Modelo multicritério de apoio a decisão espacial para avaliação da vulnerabilidade em homicídio
Correlação espaço-temporal multivariada na melhoria da precisão de predição para redução de dados em redes de sensores sem fio
Investigación, propuesta y validación de un método para la medición del valor co-creado en procesos de innovación en empresas de Tic
Transformação digital do campo: contribuição dos ecossistemas de inovação agrícola e das agtechs no estado de São Paulo
Resource provisioning framework for CPU-FPGA environments with adaptive and synergistic HLS-versioning and DVFS
Projeto de um sistema de registro de sinais de neurônios em matriz de microeletrodos com ressonância estocástica
Novel deep learning methods applied for unconstrained visual object recognition and 3D modeling from point clouds
RM-net: Uma Rede Neural Convolucional, com Função de Custo no Domínio da Frequência, para Realce de Imagens de Impressões Digitais Latentes
Explorando características sociais e de colaboração na recomendação de projetos no GitHub
Un enfoque algorítmico sobre algunas variantes del problema de coloreo de grafos y el problema de conjunto independiente máximo
Controle ativo de vibrações de baixas e altas frequências e ruído radiado de estruturas complexas
Spatio-Temporal Filtering for Automatic Detection of Atrial Arrhythmias
Análise da tomografia e biomecânica da córnea com o uso de inteligência artificial para o diagnóstico e prevenção da ectasia iatrogênica após cirurgia de correção visual a laser
SourceMiner: Um Ambiente Integrado para Visualização Multi-Perspectiva de Software
Framework para constru??o de objetos de aprendizagem com learning analytics
Criação do Portal SETe - saúde, educação e tecnologia da Faculdade de Medicina de Botucatu UNESP
Reliability evaluation of finFET-based SRAMs in the presence of resistive defects
Refactoring graphs: reasoning about refactoring over time
Identificação de marcadores moleculares de diagnóstico e virulência em Leishmania por bioinformática
Diretrizes para definição de recorte de domínio no reúso de ontologias biomédicas: uma abordagem interdisciplinar baseada na análise do compromisso ontológico
Extração de Mapas de Profundidades de Dense Light Fields usando Deep Learning
Um arcabouço holístico para a execução de funções virtualizadas de rede : arquitetura, gerenciamento e aplicações
Sobre grafos com r tamanhos diferentes de conjuntos independentes maximais e algumas extensões
Modelo de sistemas armónicos difusos para la minería temporal
Imitação da voz humana através do processo de análise-por-síntese utilizando algoritmo genético e sintetizador de voz por formantes
Face recognition by exploring part-based representations : Reconhecimento de faces explorando representações baseadas em partes
Uma nova abordagem baseada em enxames de partículas para otimização de muitos objetivos
MOSCA/D: algoritmos científicos multiobjetivo baseados em decomposição
Uso de assinaturas estruturais para proposta de mutações em enzimas β-glicosidase usadas na produção de biocombustíveis
Metodologia para criar objetos de aprendizagem em matemática usando a combinação de ferramentas de autoria
Modelagem e simulação de fluidos via técnicas de sketching, modelos de difusão-reação e método de lattice Boltzmann
Geometria de distâncias e o problema do loop fechado
Capturando aspectos da auto-eficácia do aluno através de um agente inteligente
Network-based methods for analyzing the genetics of human complexdiseases
Recuperação de vídeos comprimidos por conteúdo (Content-based retrieval of compressed videos)
Evolutionary algorithms for learning ensembles of interpretable classifiers
Um framework para análise de custo de ciclo de vida baseado em reuso e interoperabilidade
Uma abordagem holística para o desenvolvimento de software multiplataforma
Mineração de regras de associação espaço-temporais temáticas aplicada a imagens de explosões solares
Propuesta de un Estándar para México de Gestión del Conocimiento e Innovación Tecnólogica
Métodos para segmentação de medula espinhal e esôfago em tomografia computadorizada de planejamento à radioterapia
Grupos de colaboração: a influência da postura interpessoal na aprendizagem de lógica de programação
Avaliação do software Fuzzy Kitten como recurso metodológico para o ensino do raciocínio diagnóstico em enfermagem
Métodos para estimativa de imagens NIR a partir de imagens de câmeras RGB
O processo de construção do conhecimento de algoritmos com o uso de dispositivos móveis considerando estilos preferenciais de aprendizagem
Modelagem geológica por simplóides de Bézier / Geological modeling using Bézier simploids
Êxodo Framework: uma solução para modelagem do comportamento de ambientes para Internet das Coisas
Uso e cobertura da terra na região norte de Moçambique entre 2011 e 2020 : uma abordagem baseada em aprendizado de máquina e computação em nuvem
Providing robustness to non-robust workflow schedulers to uncertainties of available bandwidth : Provendo robustez a escalonadores de workflows sensíveis às incertezas da largura de banda disponível
Detección de deforestación de bosques en imágenes satelitales con redes neuronales convolucionales
Colaboración y comunicación aumentativa mediada por TIC : Diseño de ECCA como un camino hacia la e-inclusión
Sentinel: a multi-objective hyper-heuristic approach for the automatic generation of mutant reduction strategies
Metodologia, modelagem e simulação para análise da capacidade de processamento de um sistema de reservas baseado em nuvem
Theoretical results on a weightless neural classifier and application to computational linguistics
Identificação de descontinuidades em peças metálicas utilizando sinais ultrassônicos e técnicas de problemas inversos
Metaheuristicas multiobjetivo para o problema de restauração do serviço em redes de distribuição de energia eletrica
Tipo 1: entre o visível e o invisível
Pedestrian detection and monitoring with high spatial resolution images using convolutional neural networks and image processing
A Causal-Based Consistent Update Approach for Software-Defined Networks
Algoritmos de solución para el problema multidepósito y multiobjetivo de ruteo de vehículos considerando recogida de productos y restricción de precedencia
Estratégia de planejamento de redes de acesso de alta capilaridade baseada em tecnologia DSL: uma abordagem híbrida empírica e probabilística
Método de avaliação para ambientes e-learning
Avaliação da utilização de melhoria de processo de software baseada em metodologias ágeis em empresas CMMI
Iracema: from note onset detection challenges towards an audio content analysis library for the empirical study of music performance
Reactive scheduling to treat disruptive events in the MRCPSP
A model for automatized data integration in hadoop-based data lakes
Partial least squares: a deep space odyssey
Aprendizado da ligação entre genes em computação evolutiva : uma nova abordagem baseada em estatísticas de baixa ordem
Interacción Tangible en escenarios educativos : Diseño de una herramienta de autor para la creación de actividades educativas basadas en Interacción Tangible
From modeling perceptions to evaluating video summarizers
Análise assintótica de passeios quânticos para algoritmos de busca com múltiplos marcados
Design of an emotion-based controller for dynamical systems
Metodología adaptativa basada en un modelo de seguridad informática en redes privadas virtuales para mejorar el intercambio de información académica contextualizada en entornos de conexiones públicas
Ancestralidade e co-regulação de genes codificadores de proteínas humanas
Ferramenta acessível para produção multimídia : estudo e avaliação com usuários com necessidades especiais
Apoyo de toma de decisión a comunidades de construcción de conocimiento
Novas extensões de técnicas de escalarizações no problema de corte unidimensional inteiro multiobjetivo
Análise do perfil do profissional de tecnologia da informação e comunicação a partir da percepção interna do setor
Sistema especialista para automação do processo de aeração de grãos de milho em pequenas propriedades
Diversidade e similaridade como critério de seleção de classificadores em comitês de seleção dinâmica
Segmentaio automatica de tecidos cerebrais em imagens de ressonancia magnetica do tipo fluid-attenuated inversion recovery
Integração de dados para avaliação da qualidade da anotação dos genes codificadores de proteínas em eucariotos
Detecção e análise de redes de fraturas em afloramentos por métodos de visão computacional adaptativos
Indicadores de convergência e diversidade em algoritmos evolutivos para otimização multiobjetivo
Uma metodologia de avaliação automática para aulas de robótica educacional
Investigação e desenvolvimento de um framework para testes de estratégias de controle automático visando melhoria de desempenho em servidores web apache
Analise e sintese de sistemas a eventos discretos via logica modal
Uma abordagem orientada à observação temporal de aplicações distribuídas baseadas em IoT e configuração de fog computing
Impact of uncertainties in cardiac mechanics simulations
Auxílio ao diagnóstico automático do esôfago de Barrett utilizando aprendizado de máquina
Diferentes métodos de aglutinação para melhoria de processos com múltiplas respostas
Network optimizations in software defined networks for data placement in big data systems
Modelos de confiabilidade de software baseados em cobertura de criterios estruturais de teste
High-performance domain decomposition preconditioners for time-harmonic wave equations
Modos de conversão do conhecimento e desempenho organizacional, tendo como variáveis mediadoras as capacidades dinâmicas e a inovação
Gerenciamento de surpresas estratégicas baseado em sistemas conceituais : detectando ameaças e oportunidades a partir de sinais fracos da Web
Bioinformática como ferramenta para o estudo do mecanismo de efluxo da bomba multidroga AcrB
Controladores neurais adaptativos
Desarrollo de un modelo para la medición de radiación UV-B utilizando técnicas de inteligencia artificial
Algoritmos para controle de densidade em redes de sensores sem fio
Avaliação do uso de códons em infecções virais usando como modelo o vírus da Síndrome Respiratória Aguda Grave (SARS-COV-2)
Reúso de recursos da web semântica para a construção de vocabulários controlados no contexto da ciência da informação
Addressing aspect interactions in an industrial setting: experiences, problems and solutions
Design de interfaces para visualização, exploração e análise de coleções fotográficas
Otimização multiobjetivo e análise de sensibilidade para concepção de dispositivos: aplicação: síntese de antenas refletoras para comunicação via satélite
Towards a design methodology for specialized immersive training utilizing virtual reality, serious games, biofeedback, and ux design
Prediction of drug targets in human pathogens
Synchronization properties, malleability of synchronization, and nonstationary states ein neural networks
Autômatos celulares e sistemas bio-inspirados aplicados ao controle inteligente de robôs
Uma abordagem anotativa para gerência de variabilidade em linhas de processos de software: concepção, implementação e avaliação
Modelo de proceso de conceptualización de requisitos
Precondicionador de inversa aproximada por blocos
Modelo multidimensional espacio-temporal y lenguaje de consulta para temporadas
Rede nacional de vigilância de morbidade materna grave: explorando aspectos metodológicos da abordagem do near miss materno = Brazilian network for surveillance of severe maternal morbidity: exploring methodological aspects of maternal near miss approach
Three phase methodology: a contribution to the teaching and development of the internet of things = Metodologia das três fases: uma contribuição para o ensino e desenvolvimento em internet das coisas
Modelo de Sitio Móvil Gubernamental : El caso de los municipios del Conurbano Bonaerense
Approximation algorithms in graphs via sample complexity
Relevance, novelty, diversity and personalization in tag recommendation
Reconhecimento de íris utilizando algoritmos genéticos e amostragem não uniforme
Implementação de um sistema de controle inteligente de posição radial aplicado em uma máquina de indução como motor-mancal do tipo bobinado dividido
Um novo algoritmo para interação homem-dispositivo portátil multiplataforma baseado em fluxo óptico
On deep learning features for noisy time series classification
PerMotivE: um framework de apoio ao processo de design de jogos baseado em persuasão, motivação e engajamento
Obtenção de consórcios microbianos produtores de biossurfactantes e biodegradadores de hidrocarboneto recalcitrantes
Síntese de redes de trocadores de calor utilizando algoritmos genéticos e evolução diferencial
Técnica de diagnóstico da integridade superficial do rebolo durante o processo de dressagem baseada em imagens acústicas obtidas por diafragma piezelétrico
Similaridade estrutural de complexos peptídeo-MHC como um indicador para a ocorrência de reatividade cruzada
Análise proteômica comparativa no câncer de mama : predição de vias e funções biológicas e de interações proteicas baseada em espectometria de massa e análise de bioinformática
Balanceamento adaptativo de tráfego em redes interdomínios com múltiplos caminhos através de redes definidas por software
Computação em nuvem no governo: aspectos organizacionais, institucionais e contextuais
Novas estratégias para conserto de soluções degeneradas no algoritmo k-means