Ricardo Luis de Azevedo da Rocha [lattes]

acceptance testing

adaptação

adaptatividade

adaptatividade de 2a ordem

adaptive automata

adaptive decision trees

adaptive programming

adaptive systems

adaptive technology

advanced technology in education and training

agentes inteligentes

agile software development

ahead of time compilation

ajuste de parâmetros de compilação

ajuste de parâmetros de transformação

alfabeto fonético internacional

álgebra de processos

algebraic formulation

algoritmos

algoritmos adaptativos

algoritmos de unificação de redes haplotípicas

algoritmos estatísticos

algoritmos genéticos

alinhamento de cadeias

ambiente de desenvolvimento

análise de sentimentos

análise discriminante

análise fatorial

análise semântica

análise sintática

android

aprendizado computacional

aprendizado incremental

aprendizado por reforço

aprendizagem

aprendizagem de funções de ordenação

aprendizagem de máquina

arquitetura de software

artificial intelligence

arvore de decisão adaptativa

árvores de decisão adaptativas

árvores de prefixo

aspect-oriented programming

aulas de laboratório

automação

automata

automata theory

automated testing

automatic emotions classification

automatização do processo de ajuste de compiladore

autômatos

autômatos adaptativos

autômatos adaptativos de segunda ordem

autômatos finitos

avaliação

avaliação de arquitetura baseada em cenários

avaliação de curso

banco de dados

biodiversidade

biodiversity conservation

biodiversity modeling

biologia computacional

biological system modeling

bitcoin

blockchain

busca

busca local

calculi

capacitação profissional

card game

carreira individual

certificação

ciência da computação

classificação automática de emoções

classificação automática de textos

classificação de textos

clustering

códigos adaptativos

cognition

cognitive science

coleções reindexáveis

collections

combined profile

comércio eletrônico

comparison semantics

competencies

compilação just-in-time

compiladores

compiler transformations

compilers

complex network

complex-event processing (cep)

complexidade

complexidade computacional

complexidade de kolmogorov

componentes reutilizáveis

computabilidade e tese de church

computação evolutiva

computação natural

computação no limite

computação paralela

computação simbólica

computation theory

computational complexity

computational model

computational simulation

computer languages

conservation biology

consistência de coleções

consulta

contact center

context-sensitive languages

contexto semântico em línguas naturais

contratos eletrônicos

corpus

criptomoedas

curso de engenharia

data structure

decisão multicritério

declarative programming

diagrama de atividades de papéis

diagrama de seqüência de mensagens

digital games

direitos autorais

dispositivo adaptativo

domain-specific languages

domínio semântico

ecological niche modeling

educação

educação a distância

education

educational software

emerging function

emoji

emparelhamento de cadeias

engenharia de software

ensino de engenharia

ensino superior

ensino-aprendizagem

entidade nomeada

entropia máxima

epsilon-greedy algorithms

especificação formal de software

estatística multivariada

estimativas

estudo de caso

evolutionary computation

falhas

ferramentas computacionais

ferramentas de software

formação de professores

formal languages

formulação algébrica

frameworks

fundamentos de computação

fusão de sensores

geographical distribution of species

geolocalização

georreferenciamento

gerador de relatórios

gestão da informação

grafos

gramáticas

grapheme-phoneme translator

habilidades e competências

hierarchical formulation

homecare

human behavior

human-computer interaction

image pattern recognition

imageamento de satélite

índices invertidos

indução

inferência

inferência de autômatos

inferência de gramáticas

inferência indutiva

informação acadêmica

informações biométricas

information retrieval

inlining

inteligência artificial

inteligência computacional

inteligência de enxame

interação

interactive learning environments

interactive voice response

intercâmbio eletrônico de documentos

interface homem-máquina

interface rica web

iso 9000

itil

java

java agent

java profile

jogos

jogos de empresas

lambda calculus

language accepting devices

latent semantic indexing

linguagem natural

linguagem para programação adaptativa

linguagens de programação

linguagens de programação extensíveis

linguagens de programação imperativas

linguagens formais

linguagens funcionais

linguagens para programação adaptativas

linguagens sensíveis ao contexto

linguistic modeling

lingüística computacional

llvm

logic reasoning

lógica formal

lógica modal

lógica nebulosa

logical games

logical reasoning

logística

low pulse amplitude

machine learning

máquina de turing

máquinas virtuais

matemática discreta

maximum entropy

maximum entropy methods

medida da informação

medidas de software

mercadologia

meta-modelagem

método

metodologia

metodologia de ensino

metodologia de ensino de conceitos básicos em comp

métodos formais

métricas

metrologia

middleware

migração

mineração de dados

minimum description length

model-based testing

modelagem

modelagem de distribuição de espécies

modelo de aprendizado

modelos computacionais

monitoração

monitoramento agrícola

motivação

motor de anotação e classificação

multi-run profiles

mutabilidade

mutação de código

n-armed bandit

nano-patterns

natural language processing

navegação 3d

ncpa

neural nets

niche-based modeling

nicho ecológico

non-deterministic physical layer

non-invasive blood pressure

normas iso

oberon

object-oriented programming

ontologias

ontologias de domínio

ontologies

orientação a objetos

otimização

otimização de código

padrões de projeto

parallelism

parallelization

performance analysis

photonic packet switching

planjamento estratégico

plataforma dotnet

polarization

predição de tempo de compilação

processadores risc

processamento de língua natural

processamento de linguagem natural

processo químico

produção científica

programação adaptativa

programas de computador

programas de sistema

projeto pedagógico

propriedade intelectual

protection

proteome

protocolo de roteamento

qualidade de software

qualidade de vida

qualidade e produtividade

reconhecimento aproximado de cadeias

reconhecimento de linguagem natural

reconhecimento de padrões

recuperação da informação

recursos humanos

redes de computadores

redes de sensores sem fio

redes e comunicação de dados

redes haplotípicas

redes neurais

redes sociais

reescrita musical

regularization

reinforcement learning

reutilização de software

robôs autônomos

robustness

roteamento com janela de tempo

scalability

search methods

self-modifying software

semântica formal

sensor

sentiment analysis

similaridade semântica

simulação

simulação computacional

simulators

síntese de música

sintetizador texto-voz

sistema de diagnóstico

sistemas computacionais

sistemas de apoio à decisão

sistemas de controle

sistemas de informação

sistemas de recomendação

skills

software embarcado

software quality

species distribution modeling

string matching

structural operational semantics

summarization

tabela de decisão adaptativa

tail recursion

tamanho de código

tecelagem de modelos

tecnologia

tecnologia adaptativa

tecnologia da informação

tecnologias adaptativas

teleinformática

teoria da computação

teoria da predição de solomonoff

teoria de autômatos

teoria de grafos

teoria de linguagens

teoria de linguagens formais

test-driven development

teste de turing

text to speech translator

tradução texto-voz

transcriptome

transformação de modelos

tratamento computacional de linguagens naturais

treinamento

uml

untyped systems

user experience

utilização de gestos

vantagem competitiva

voicexml

weather forecast