Toggle navigation
Home
About
How to reach us
Visa information
ICMC around the world
Brazilian culture
Admission
Undergraduate
Graduate
Postdoc
Visiting professors
Short courses
Research
Research groups
Research lines
People
Contact
Privacy policy
Busca
Erro
Teste
Política de privacidade
Licitações
Toggle navigation
Principal
Research
Also see
Research groups
Research lines
Research lines
Computer Science
Active, inductive and transductive learning
Adaptive systems and real-time
Adhoc networks
AI applied to information retrieval, recommendation system and multimodal processing: machine learning, deep learning and clustering
Analysis and parsing tools for varied linguistic levels (part of speech, syntax, semantics and discourse)
Anomaly / outlier detection
Application generators
Applied dynamical systems
Architectures for developing of educational software
Artificial neural networks
Aspects Oriented Software Development
Automated evaluation
Autonomouos networks
Big Data
Bioinformatics
Bioinformatics and biomedical informatics
Biological databases
Business process generation
Cloud Computing
Collaborative systems
Complex data integration
Complex networks
Complex networks
Component-based development
Computational geometry and geometric processing
Computational neurodynamics
Computational terminology
Computer Networks
Computer networks
Content-based image storage and retrieval
Context-aware computing
Cooperative robotics
Corpus linguistics
Critical embedded systems
Critical embedded systems
Crowdsourcing
Cyber-physical systems
Data cluster analysis (clustering)
Data Clustering
Data Clustering
Data Mining
Data mining: structured, unstructured and mixed data
Data mining: unsupervised, semi-supervised and supervised
Data preparation:imputation, feature selection, dimensionality reduction, etc.
Data provenance
Data streams
Data streams mining
Data warehousing
Data warehousing
Design and evaluation of educational software interfaces
Design Rationale of Software Documentation
Development and Modeling of Educational Modules
Development, evaluation and analysis of educational games
Distance learning
Distributed computing
Distributed computing: service-oriented architectures, validation and verification of parallel and distributed applications; high performance computing; grid computing; cloud computing; fog computing; green computing.
Domain-Driven Design
Educational data mining
Educational data mining
Educational data mining
Educational ontologies and applications
Embedded multiprocessors
Embedded Systems Hardware
Ensembles: classifiers, clusterings and outlier detectors
Evolutionary computation
Evolutive Computation
Experimental software engineering
Frameworks and software patterns
Free Software Development Methodology
Games for entertainment
Geographical information systems
Graph and text mining
Hardware Acceleration
Health and medical information systems
Human-computer interaction
Human-robot interaction
Image and data base management systems
Image processing
Image processing and pattern recognition
Indexing and query optimization for similarity retrieval
Information Systems
Information Visualization
Intelligent hybrid systems
Intelligent hybrid systems
Intelligent tutoring systems
Intelligent vehicles
Interactive web systems
Internet of the future
Internet of things
Internet of Things: architectures and middlewares
Knowledge acquisition
Knowledge discovery and data mining
Lexicons/dictionaries and corpora creation
Linked open data
Machine learning
Machine learning
Machine Learning
Machine learning techniques for natural language processing
Machine learning: unsupervised, semi-supervised and supervised
Machine translation
Meta Learning
Mining complex data
Mobile computing
Mobile Health
Mobile learning
Mobile Robotics
Model-based testing
Modeling and development of educational modules
Multi-agent systems in education
Multimedia: video, image, audio and text processing (with deep learning applications)
Multimodal multimedia processing (Big Data, multimedia indexing, multimedia information extraction)
Network security
Nonlinear regression
One class learning
Online social networks
Open educational resources
Operating systems
Parallel and distributed data mining
Pattern classification
Performance evaluation: simulation and distributed simulation; prototyping; benchmark
Personalization and recommender systems
Picture archiving and communication systems
Processes of Software Upgrade
Product lines for developing educational software
Reading and writing assistance tools
Real Time Systems
Recommender systems
Recommender systems and Information retrieval systems
Robotics
Semantic web
Semantic web and social semantic web in education
Serious games
Service-Oriented Development
Smart cities
Smart Grid
Social network analysis
Social networking in education
Social Networks
Social Robotics
Software architecture and reference architecture
Software engineering tools and enviroments
Software Quality
Software Reuse
Speech processing
Statistical learning: Bayesian methods
Text processing (mining, sentiment analysis and natural language processing)
Text simplification
Text summarization
Time series processing
Times series modeling and prediction
Tools and methodologies for teaching computing
Transfer learning
Ubiquitous computing
Ubiquitous computing
Validation and evaluation of visualization techniques
Verification, Validation and Software Testing
Visual data mining and visual analytics
Visualization and visual data mining
Visualization applications in data analysis: image, document and music collections, social networks, biosensor measurements, bioinformatics, acoustic landscapes, crime data, volumes from computational simulations and multidimensional data sets
Visualization in data science and big data
Web Systems Development
Statistcs
Análise de credit scoring, behavior and attrition Statistical modeling for credit scoring, behavior and attrition data
Bayesian inference for latent variable modeling
Bayesian methods
Classical Test Theory
Cognitive diagnostic modeling
Computerized adaptive testing
Data mining
Data visualization
Errors-in-variables models
Factorial analysis and multivariate techniques
Item Response Theory
Item response theory
Latent Profile Analysis
Latent variable classes analysis
Linear and nonlinear mixed models
Linear and nonlinear models
Machine Learning
Management and statistical quality control
Planning, sampling and test application
Probability and stochastic processes
Quality management
Risk modeling
Risk modelling for big data bases
Statistical data mining
Statistical learning for latent variable modeling
Statistical modeling for dependence
Statistical modeling for finance and insurance data
Statistical modeling for fraud data
Statistical modeling for medical and biological data
Statistical modeling for sport data
Statistical modeling for survival and reliability data
Structural equations
Survival analysis and reliability
System of interacting particles
Time series
Mathematics
Algebraic curves over finite fields
Algebraic invariants for homotopy and concordance of links
Algebraic K-theory and homology of linear groups
Analysis on the sphere
Analytic, Whitehead and Reidemeister torsions for manifolds and for singular manifolds
Applications of game theory to general topology
Applications of singularity theory to bifurcation problems
Approximation theory
Asymptotic behavior
Bordism, equivariant bordism and cobordism of manifolds
Borsuk-Ulam type theorems
Cellular decomposition and group resolutions
Classification of group actions on manifolds and associated dynamical systems
Cognitive and linguistic aspects in mathematics education
Cohomology Algebra, Local Cohomology
Complex geometry
Conceptions of mathematical knowledge and their its relations to the teaching-learning processes
Conley index theory
Derivations in Commutative Algebra
Differential equations subject to impulse conditions
Dynamics on manifolds
Ergodic theory
Ethnomathematics
Evolution equations, bifurcation, symmetry and synchronization
Existence, uniqueness, continuity and continuation of solutions: critical case
Fibrations, vector bundles and gauge theory
Foliations
Geometric analysis
Geometric and Probabilistics Aspects in Dynamic Systems
Geometry and topology of submanifolds in euclidean spaces and of surfaces in homogeneous manifolds
Geometry of minimal surfaces and constant mean curvature in homogeneous three-dimensional spaces
Global hypoellipticity
Global solvability
Group actions
History and Philosophy of Mathematics
Homotopy and simple homotopy theory
Homotopy and topology of mapping spaces
Immersions and embeddings between manifolds
Information technology applied to math education
Integral operators
Knots, links and braid theories
Lie groups
Linear and nonlinear partial differential equations
Local solvability
Mathematical physics
Mathematical physics
Mathematics teachers’ education
Measure functional differential equations
Mercer's Theory
Multiplicity theory
Multiplicity, integral closure and equisingularity
Neutral functional differential equations
One-dimensional dynamics
Partially hyperbolic dynamics
Philosophy of mathematics education
Properties of coverings; techniques to obtain weaker topologies; theory of games
Quantization and symplectomorphism into symmetric spaces
Quantum algebra
Quasilinear problems
Regularity of invariant foliations and rigidity
Renormalization theory
Retarded functional differential equations
Root, fixed point, coincidence and G-coincidence theories
Semi-global solvability
Semilinear parabolic problems
Singularities in differential geometry and implicit equations
Singularities in dynamical systems
Singularity Theory
Smooth linearization
Submanifolds theory
Symplectic geometry
System of elliptic equations with jumping nonlinearities
Teaching Methodology for Mathematics
The theory of positive definite and related kernels
Topology and classification of singularities
Topology of manifolds
Applied Mathematics
Analysis and control of switched systems
Automatic identification of authorship
Classical statistical mechanics and quantum field theory
Complex networks
Computational aeroacoustics
Computational geometry
Computational rheology
Control and filtering
Control and filtering problems
Control for hydrothermal operation
Control for minimizing fuel in vehicles
Dynamical process on spatial networks
Geometric modeling and mesh generation
Geometric processing
Image segmentation by networks
Integer linear programming models and methods
Internet modeling
Laminar-turbulent transition flows
Mathematical physics
Mesh generation and scientific visualization
Modeling and numerical simulation in lubrication
Models of epidemic and rumor spreading
Non-linear differential equations and dynamical systems
Nonlinear programming algorithms and theory
Numerical and topological analysis of dynamical systems
Numerical simulation of moving surfaces flows
Optimization in inverse problems
Particle systems modeling
Probability and interacting particle systems
Scientific computation applied in biology and medicine
Stability of control for nonlinear systems
Stochastic differential equations
Structure and dynamics of social networks
Structure of dynamical systems
Synchronization of coupled oscillators
Visualization and visual data analysis
Share this
CONECT WITH US
© 2020 Instituto de Ciências Matemáticas e de Computação
