VOCÊ ESTÁ AQUI VOLTAR

LISTAGEM DAS LINHAS DE PESQUISA

 
A álgebra de Weyl e seus ideais

Ações de grupos

Aeroacústica computacional

Agrupamento de dados

Agrupamento de dados (clustering)

Algoritmos paralelos e distribuídos para mineração escalável de dados

Análise de dados biológicos

Análise de fluxos de dados (data streams)

Análise de redes sociais (social networks)

Análise de sobrevivência e confiabilidade

Análise e controle de sistemas chaveados

Análise geométrica

Análise na esfera

Análise numérica e topológica de sistemas dinâmicos

Aplicações da teoria de singularidades a problemas de bifurcações

Aplicações de teoria dos jogos em topologia geral.

Aplicações de visualização em análise de dados

Aprendizado ativo, indutivo e transdutivo

Aprendizado de máquina

Aprendizado de máquina

Aprendizado não-supervisionado, semi-supervisionado e supervisionado

Aprendizado por transferência e aprendizado de classe única

Aprendizagem de máquina (machine learning)

Aprendizagem móvel

Aquisição de conhecimento

Arquitetura de software e arquitetura de referência

Arquiteturas para desenvolvimento de software educacional

Arquivamento e recuperação de imagens baseado em conteúdo

Aspectos cognitivos e linguísticos em educação matemática

Avaliação de desempenho

Balanceamento de linhas de produção

Bancos de dados biológicos

Bioinformática

Bioinformática e informática biomédica

Bordismo, bordismo equivariante e cobordismo de variedades.

Classificação automática de obras literárias

Classificação de ações de grupos em variedades e sistemas dinâmicos associados.

Classificação de padrões

Comportamento assintótico

Computação ciente de contexto

Computação científica aplicada em medicina e biologia

Computação distribuída

Computação evolutiva

Computação evolutiva

Computação ubíqua

Concepções do saber matemático e suas relações com o ensino e aprendizagem da matemática.

Construção de recursos linguísticos e computacionais, como corpora e léxicos, para língua geral e es

Consultas por similaridade em bases de dados de imagens médicas

Controle aplicado em minimização de combustível em veículos

Controle de gerenciamento hidrotérmico

Controle e filtragem de sistemas

Controle procedência de dados

Curvas sobre corpos finitos

Data streams

Data warehouse

Data warehousing

Decomposição celular e resoluções de grupos

Descoberta de conhecimento a partir de grandes bases de dados (KDD)

Descoberta de conhecimento e mineração de dados e textos

Desenvolvimento baseado em componentes

Desenvolvimento de aplicações, como sistemas de auxílio à escrita e à leitura, tradução automática,

Desenvolvimento de ferramentas para processamento da língua, como etiquetadores morfossintáticos, an

Desenvolvimento de sistemas web

Desenvolvimento de software livre e de código aberto

Desenvolvimento orientado a aspectos

Desenvolvimento orientado a serviços

Desenvolvimento, avaliação e análise de jogos educacionais

Design rationale de documentos de software

Detecção de anomalias

Detecção de outliers

Dinâmica em variedades

Dinâmica unidimensional

Ensembles

Ensino a distância

Equações de evolução, bifurcação, simetria e sincronização

Equações diferenciais e sistemas dinâmicos não-lineares

Equações diferenciais estocásticas

Equações diferenciais funcionais com retardamento

Equações diferenciais funcionais do tipo neutro

Equações diferenciais funcionais em medida

Equações diferenciais parciais lineares e não lineares

Equações diferenciais sujeitas a condições de impulso.

Escoamentos transicionais laminar-turbulento

Espaços de Calogero-Moser

Estabilidade de controladores para sistemas não-lineares

Estrutura de sistemas dinâmicos

Estrutura e dinâmica de redes sociais

Etnomatemática

Existência, unicidade continuidade e continuação de soluções: Caso crítico

Experimentação em engenharia de software

Ferramentas e ambientes de engenharia de software

Ferramentas e metodologias de ensino da computação

Fibrados, fibrados vetoriais e teoria de gauge.

Filosofia da educação matemática

Física matemática

Física-matemática

Física-matemática

Folheações.

Formação de professores de matemática

Fragmentação horizontal e vertical dos dados

Frameworks e padrões de software

Geometria complexa

Geometria computacional e processamento geométrico

Geometria das superfícies mínimas e de curvatura média constante em espaços homogêneos tridimensiona

Geometria e topologia das subvariedades em espaços euclidianos e das superfícies em variedades homo

Geometria simplética

Geração de malhas e visualização científica

Geradores de aplicações

Gestão da qualidade

Gestão de processos de negócio

Grupo de Brauer

Grupos de Lie

Hipoeliticidade global

História e filosofia da matemática

Homotopia e topologia de espaços de aplicações.

Imersões e mergulhos entre variedades.

Informática em saúde

Integração de dados complexos

Interaçao homem-robô

Interação usuário-computador

Invariantes algébricos para homotopia e concordância de enlaçamentos.

Investigações em avaliação automatizada, linguística de corpus, terminologia computacional, aplicaçõ

Linearização suave

Linha de produto de software

Linhas de produto para desenvolvimento de software educacional

Mecânica estatística clássica e teoria quântica de campos

Melhoria de processo de software

Meta-aprendizado

Metodologia de ensino de matemática

Métodos bayesianos

Métodos e problemas de programação não linear

Mineração de dados

Mineração de dados complexos

Mineração de dados educacionais

Mineração de dados estruturados, não-estruturados e mistos

Mineração de dados não-supervisionada, semi-supervisionada e supervisionada

Mineração de grafos, texto e internet

Modelagem da internet

Modelagem de risco

Modelagem de sistemas interagentes

Modelagem e desenvolvimento de conteúdos educacionais

Modelagem e predição de séries temporais

Modelagem e simulação numérica em lubrificação

Modelagem geométrica e geração de malhas

Modelos com erros nas variáveis

Modelos de propagação de epidemias e rumores

Modelos lineares e não lineares

Multimídia

Multiplicidade, fecho integral e equisingularidade

Multiplicidades (Equisingularidade)

Navegação autônoma

Neurodinâmica computacional

Ontologias educacionais e aplicações

Operadores integrais

Otimização em problemas inversos

Preparação de dados para análise e mineração

Probabilidade e sistemas de partículas

Probabilidade, processos estocásticos

Problemas de controle e problemas de filtragem

Problemas de corte e estoque

Problemas de dimensionamento de lotes

Problemas parabólicos semilineares.

Problemas quase-lineares

Processamento de imagens e reconhecimento de padrões

Processamento geométrico

Processos dinâmicos em redes espaciais

Projeto e avaliação de interfaces para software educacional

Propriedades de recobrimentos ; técnicas de afinamentos de topologias; teoria de jogos.

Qualidade de software

Quantização e simplectomorfismos em espaços simétricos

Quantum álgebra

Recursos educacionais abertos

Redes complexas

Redes complexas

Redes de computadores

Redes de computadores

Redes de sensores

Redes neurais artificiais

Redes sociais e outras redes complexas

Redes sociais na educação

Redes sociais online

Regressão não-Linear

Regularidade de folheações invariantes e rigidez

Reologia computacional

Resolubilidade global

Resolubilidade local

Resolubilidade semiglobal

Reúso de software

Robótica

Robótica móvel

Segmentação de imagens usando grafos

Séries temporais

Simulação numérica de escoamentos com superfícies móveis

Sincronização de osciladores acoplados

Singularidades em geometria diferencial e equações implícitas

Sistemas adaptativos e de tempo-real

Sistemas baseados em conhecimento

Sistemas colaborativos

Sistemas de arquivamento e distribuição de imagens

Sistemas de equações elípticas com não linearidades de salto

Sistemas de gerenciamento de bancos de dados e de imagens

Sistemas de informações geográficas

Sistemas de recomendação

Sistemas de recomendação e personalização de conteúdos

Sistemas dinâmicos aplicados

Sistemas dinâmicos parcialmente hiperbólicos

Sistemas em tempo real / reativos

Sistemas embarcados

Sistemas embarcados críticos

Sistemas embarcados críticos

Sistemas híbridos inteligentes

Sistemas inteligentes híbridos

Sistemas interativos web

Sistemas multiagentes aplicados à educação

Sistemas multirrobóticos

Sistemas operacionais

Sistemas tutores inteligentes

Suporte a consultas por similaridade em SQL

Técnicas de indexação e otimização para buscas por similaridade

Técnicas de visualização para mineração de dados

Tecnologias de informação aplicadas à educação matemática

Teoremas do tipo Borsuk-Ulam.

Teoria da aproximação

Teoria da renormalização

Teoria das singularidades

Teoria de homotopia e homotopia simples.

Teoria de Mercer

Teoria de nós, enlaçamentos e tranças.

Teoria de ponto fixo , coincidência e G-coincidência.

Teoria de resposta ao item

Teoria de subvariedades

Teoria do índice de Conley

Teoria dos núcleos positivos definidos e afins

Teoria ergódica

Teste baseado em modelos

Teste de programas concorrentes

Topologia das variedades.

Topologia e classificação das singularidades

Torção analítica, de Whitehead e de Reidemeister em variedades e variedades singulares.

Tv digital interativa

Validação e avaliação de técnicas de visualização

Veículos inteligentes

Verificação, validação e teste de software

Visualização de informação

Visualização e análise visual de dados

Visualização e mineração visual de dados

Web semântica

Web semântica e web semântica social na educação




UNIVERSIDADE DE SÃO PAULO
INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO - USP

Avenida Trabalhador São-carlense, 400 - Centro
CEP: 13566-590 - São Carlos - SP

Latitude: -22.0055948
Longitude: -47.8933842

VER NO MAPA ACESSE O PORTAL

TELEFONE

55 (16) 3373-9700

FAX

55 (16) 3373-8888

POLÍTICA DE PRIVACIDADE

MAPA DO SITE
  • LOGOFF
    Usuário:


    Nível:
  • ÁREA RESTRITA
Loading