Download research catalog - ICMC

RESEARCH
CATALOG
Instituto de Ciências Matemáticas e de Computação
2013
Research
Catalog
Instituto de Ciências Matemáticas e de Computação
Universidade de São Paulo
2013
Dean
Professor José Carlos Maldonado
Vice Dean
Professor Alexandre Nolasco de Carvalho
President of the Research Committee
Professor Roseli Aparecida Francelin Romero
President of the International Relations Committee
Professor Paulo Afonso Faria da Veiga
PRODUCTION
Office of Communication and Media Relations: Neylor de Lima Fabiano
Art and Layout: Lucas Guedes
English version revision: Foco Traduções
Printing company: Gráfica Suprema
Instituto de Ciências Matemáticas e de Computação
Universidade de São Paulo
Avenida Trabalhador São-carlense, 400
São Carlos - SP - CEP: 13566-590
www.icmc.usp.br
2013 - All rights reserved ©
Presentation
Nilton Júnior - ArtyPhotos
Instituto de Ciências Matemáticas e de Computação (ICMC), at University of São Paulo (USP), was created in 1971 and works in the
development of scientific research and the training of human resources in Applied Mathematics, Computer Sciences, Mathematics,
Optimization, Statistics and their related areas. It is located in Sao Carlos city (230 Km north of São Paulo city), which has two important
public universities, two Brazilian Agricultural Research Corporation centers and several multinational companies. The city is associated with
innovation and the development of high-level technology, incubators and technology-based companies.
ICMC is constituted by four departments with more than 150 faculty members, all of them holding PhD degree. The technical and
administrative staff has about 120 qualified members. The institute has well-equipped facilities, multimedia classrooms, two auditoria and a
high-quality library, with 140,000 volumes and 23,000 periodical titles. Its computer park includes 2,000 units of machines and several
clusters.
ICMC is known as a national and international center of excellence in formation of researchers and professionals in their areas, and it offers
eight undergraduate courses, covering approximately 1,200 students: Applied Mathematics and Scientific Computing (BSc); Computer
Engineering (BSc, joint with and Sao Carlos Engineering School); Computer Sciences (BSc); Exact Sciences (Licentiate, joint with Sao Carlos
Physics Institute and Sao Carlos Chemistry Institute); Information Systems (BSc); Mathematics (BSc and Licentiate); and Statistics (BSc). The
Institute is also responsible for teaching basic disciplines to the Architecture, Engineering, Physics and Chemistry courses.
The graduate programs have more than 400 students and are among the best in the country, having formed a significant number of people
with master and PhD degrees who actually work in the most prestigious teaching and research units throughout Brazil. There are three
Graduate programs, at MSc and PhD levels, two of these have been ranked with grade 6 (out of 7) by CAPES agency from the Brazilian
Ministry of Education: Computer Sciences and Computational Mathematics, and Mathematics. Recently, it has been created a graduate
program in Statistics (joint with the Federal University of Sao Carlos) and ProfMat, a professional master´s degree focused on teachers of
public schools.
Research Catalog - ICMC/USP
The research and education activities at ICMC are recognized internationally, with around 450 yearly publications in qualified journals. Its
faculty, postdoctorates and students often take part of important scientific events, joint projects and agreements with foreign institutions
abroad. The results of the researches conducted at ICMC have often been rewarded in national and international events and shown on
newspapers and TVs. Additionally, ICMC promotes and holds many international events. The research groups receive constant support from
international and Brazilian agencies (FAPESP, CNPq, CAPES and FINEP). The resumes (with link to their papers) for all the researchers
listed in the sequel can be accessed using the Brazilian Lattes system: http://buscatextual.cnpq.br/buscatextual/busca.do
It should be highlighted the faculty´s participation in thematic research networks and in other large projects. Also noteworthy is the ICMC
commitment with technological innovation through its collaboration with the industry, research centers and government agencies. This
generates many technological products with high economic and social impact. An example is the participation of researchers at the following
National Science and Technology Institutes and Research Support Centers:
- Center for Mathematics and Statistics Applied to Industry (NAP-CeMEAI), ICMC coordination;
- Critical Embedded Systems (INCT-SEC), ICMC coordination;
- Digital Convergence (INCoD);
- Free Software (NAP-SoL), ICMC coordination.
- Machine Learning and Data Analysis (NAP-AMDA), ICMC coordination;
- Mathematics (INCT-MAT);
- Medicine Assisted by Scientific Computing (INCT-MACC);
- São Carlos Center for Robotics (NAP-CRob/SC);
Besides its teaching and research activities, ICMC focuses in partnership with local, state and national governments, as well with private
associations and NGOs to promote actions with broad positive impact on the society.
Nilton Júnior - ArtyPhotos
Research Catalog - ICMC/USP
Index
• Computer Sciences
Bio-inspired Computation ____________________________________________________________01
Computational Intelligence ___________________________________________________________03
Computational Linguistics ____________________________________________________________05
Data Bases and Images ______________________________________________________________07
Distributed Systems and Concurrent Programming _________________________________________09
Embedded and Evolutionary Systems ___________________________________________________11
Mobile Robotics ___________________________________________________________________13
Software Engineering _______________________________________________________________15
Visualization, Imaging and Computer Graphics ___________________________________________17
Web and Multimedia Interactive Systems ________________________________________________19
• Mathematics, Applied Mathematics and Statistics
Algebra __________________________________________________________________________21
Applied and Geometrical Analysis ______________________________________________________23
Applied Functional Analysis __________________________________________________________25
Complex Systems, Particles and Control _________________________________________________27
Computational Fluid Mechanics _______________________________________________________29
Differential Geometry _______________________________________________________________31
Dynamical Systems and Ergodic Theory _________________________________________________33
Functional Differential Equations ______________________________________________________35
Geometric and Visual Processing ______________________________________________________37
Linear Partial Differential Equations ____________________________________________________39
Mathematics Education ______________________________________________________________41
Nonlinear Dynamical Systems _________________________________________________________43
Optimization ______________________________________________________________________45
Risk Assessment ___________________________________________________________________47
Singularities _______________________________________________________________________49
Statistics _________________________________________________________________________51
Topology _________________________________________________________________________53
Research Catalog - ICMC/USP
Bio-inspired Computation
Bio-inspired Computation Laboratory
Robots´ Learning Laboratory
Adaptive Complex System Laboratory
Department of Computer Sciences
www.icmc.usp.br/~biocom
lar.icmc.usp.br
Presentation
The group was created in 2002. Bio-inspired Computation (BioCom) is an important research area of computer science and
consists of development of computational techniques inspired by Biology. These techniques have been applied to solve
practical problems. Some outstanding features of the group are:
- The group members have actively participated in major national and international discussion forums related to this theme.
- The group has a significant publication record in top journals and proceedings of conference of the area.
- The group participates in several projects supported by funding agencies, such as CAPES, CNPq, FAPESP and FINEP.
- The group members have supervised many Master Dissertations and PhD Theses.
- The group works on teaching, research and extension and consulting activities.
The BioCom research group is concerned with the investigation of machine learning and optimization techniques, usually
inspired by biological principals, which can be used to solve complex problems by using intelligent systems. Examples of these
techniques are neural networks, genetic algorithms, swarm intelligence, hybrid intelligent techniques and reinforcement
learning. Examples of applications are data mining, bioinformatics, finance, control, robotics, time series modeling and
prediction, data stream modeling, complex networks and cluster analysis.
Research Lines
• Artificial neural networks
• Data clustering
• Machine learning
• Bioinformatics and biomedical informatics
• Biological databases
• Evolutionary computation
• Data streams
• Meta-learning
• Data mining
• Data warehousing
• Complex networks
• Social Robotics
• Cooperative robotics
• Human-robot interaction
• Applied dynamical systems
• Hybrid intelligent systems
• Computational neurodynamics
• Times series modeling and prediction
01
Research Catalog - ICMC/USP
Members
André Carlos Ponce de Cristina Dutra de
Aguiar Ciferri
Leon Ferreira de Carvalho
Ricardo José Gabrielli
Barreto Campello
Dilvan de Abreu
Moreira
Rodrigo Fernandes
de Mello
Eduardo Raul
Hruschka
Roseli Aparecida
Francelin Romero
João Luis
Garcia Rosa
Zhao Liang
Main Projects
• Analysis of the Influences involved in Centralized and Distributed Decision Making when addressing Process Scheduling
(2011 – 2013, FAPESP)
• Automatic detection, tracking and analysis of leukocytes by using intravital video (2010 – 2012, CNPq)
• Hybrid Algorithms for Unsupervised Machine Learning (2010-2014)
• Neural Signal Transmission in Complex Networks (2010 – 2014, Public Notice 09/2010 - PDI - CNPq)
• Complex Network Based Semi-Supervised Learning Applied to Invariant Pattern Recognition (2010 – 2012, CNPq)
• Parallelization of Potential Fields Applied to Autonomous Mobile Robots (2010-2013, CNPq)
• Learning Methods for Human Robot Interaction (2010-2013, FAPESP)
• Brain Computational Models Based on Neurodynamical Populations at Mesoscopic Level (2013-2014, FAPESP)
• Research Center Machine Learning in Data Mining (2012-2015, CNPq)
• Research Suppot Center for Machine Learning and Data Analysis - NAP-AMDA (2012-2015, PRP-USP);
• Research Suppot Center - São Carlos Center for Robotics - NAP-CRob/SC (2011-2016, PRP-USP);
• Challenges in Data Mining (2012-2015, CNPq)
• Processing of OLAP queries extended with image similarity predicates and spatial predicates over non-conventional data
warehouses (2012-2014, FAPESP)
02
Research Catalog - ICMC/USP
Computational Intelligence
Laboratory of Computational Intelligence
Department of Computer Sciences
www.labic.icmc.usp.br
Presentation
The Computational Intelligence group develops research in Computational (Artificial) Intelligence techniques and applications. The
problems tackled by the group researchers usually require some sort of automatic knowledge acquisition from the application
domain and, therefore, cannot be solved by conventional computational techniques. In particular, the group has focused on the
research areas of Knowledge Discovery from Databases (Data Mining), from Textual Documents (Text Mining), and from
Sequential and Temporal Data (Sequential and Temporal Data Mining), Machine Learning (fuzzy and crisp), Graph Learning and
Genetic Algorithms. This research has been applied to a number of diverse application domains including Medicine, Bioinformatics,
Entomology, Engineering, Agro business, Education and Finance.
Research Lines
• Machine learning
• Knowledge discovery and data and text mining
• Knowledge acquisition.
• Knowledge based systems
• Hybrid intelligent systems
03
Research Catalog - ICMC/USP
Members
Alneu de Andrade
Lopes
Gustavo Enrique de Almeida
Prado Alves Batista
Maria Carolina Monard
Solange Oliveira Rezende
Main Projects
• Hierarchical Clustering Methods for Automatic Organization of Search Engines Results (Regular FAPESP 2011/19850-9),
coordinated by Solange Rezende
• Complexity-invariance for Classification, Clustering and Motif Discovery in Time Series (Regular FAPESP 2012/07295-3),
coordinated by Gustavo Batista
• Interactive and Online Tutorial System for the Training in Importation of Goods and Research Material Process (Project on
demand by CNPq 550958/201-8) coordinated by Solange Rezende
• Exploration of Association Rules. (Regular FAPESP Project 2010/07879-0, 2010/2012) coordinated by Veronica Oliveira de
Carvalho, UNESP Rio Claro and LABIC-ICMC
• TIENA - Innovative Technologies in Text Mining for the spatialization of agricultural news - pilot sugarcane news, coordinated
by Maria Fernanda Moura (Embrapa, Campinas), partners: Embrapa/CNPTIA-Campinas, University of Porto – Portugal and
LABIC-ICMC
• Challenges in exploratory visualization of multidimensional data: novel paradigms, scalability and applications. (FAPESP project
thematic 2011/22749-8), coordinated by Luis Gustavo Nonato, partners LCAD-ICMC and UNICAMP
• Wireless Bug-sensor: Wireless Sensors to Enable Precision Agriculture and Increase Food Yields in Developing Countries,
coordinated by Eamonn John Keogh, University of California - Riverside
• Participation on the Research Support Center on Machine Learning and Data Analysis (AMDA)
04
Research Catalog - ICMC/USP
Computational Linguistics
Interinstitutional Center for Research and Development in Computational Linguistics
Department of Computer Sciences
www.nilc.icmc.usp.br
Presentation
NILC is a group for research and development of resources, tools and systems for natural language processing, specially for
Portuguese language. It is composed of a multidisciplinary team, with linguists and computer scientists. It is probably the biggest
group in the area for Portuguese processing and producing human resources with interdisciplinary skills in linguistics and computer
science, which are of particular relevance to the current information age. NILC projects include fundamental studies on the
computational processing of natural languages and the construction of resources, tool and systems, as well as partnership with
industry for knowledge and technology transference. For instance, the first project developed at NILC – the ReGra grammar checker
– was incorporated into Microsoft Word, which guarantees world distribution to the tool. The grammar checker was awarded twice
for technological innovation: “Peão da Tecnologia” in 1998 (from “Fundação Parque de Alta Tecnologia de São Carlos”) and
“Prêmio Nacional de Inovação Tecnológica” in 1999 (from Alcatel). The work developed at NILC for the computational processing
of Portuguese language, producing tools for reading and writing assistance, assured its consolidation in the Brazilian scenario. The
group is also a pioneer in the research on text summarization for Portuguese, producing state-of-the-art methods and systems. It has
an active international engagement, with participation in an international consortium for machine translation – the Universal
Network Language, created by the United Nations University. NILC has research partners in Portugal, England, Spain and France.
With Portugal, in particular, there is a long history of collaboration. NILC carries out researches mainly in the following areas:
machine translation, text summarization, text simplification, reading and writing assistance tools, dictionaries and corpora creation,
analysis and parsing tools for varied linguistic levels, corpus linguistics, computational terminology and application of machine
learning techniques for natural language processing, among several others.
Research Lines
• Construction of linguistic and computational tools, e.g., lexicons and corpora, for general and specialized domains.
• Development of tools for language processing, e.g., part-of-speech taggers, syntactical parsers, semantic roles labeling
systems, discourse parsers, anaphora resolution systems, information extractors, and text aligners.
• Development of computational applications, e.g., systems for reading and writing assistance, machine translators, text
summarizers and text simplification systems.
• Investigations in automated evaluation, corpus linguistics, computational terminology, complex networks and machine
learning applications for natural language processing, and text mining.
05
Research Catalog - ICMC/USP
Members
João Luís
Garcia Rosa
Maria das Graças
Volpe Nunes
Sandra Maria
Aluísio
Thiago Alexandre
Salgueiro Pardo
Main projects
• Development of tools and resouces for Portuguese processing: construction of computational linguistic resources and tools
for text analysis, as corpora annotated at diverse knowledge levels, lexicons and dictionaries, part-of-speech taggers and
syntactical, semantic and discourse parsers, among several others.
• Text summarization: investigation of strategies for multi-document summarization, which consists in the production of
summaries from a group of texts (retrieved from web, mainly). It aims at developing and modeling the automatic
summarization process, exploring related tasks and characterizing the human process of writing summaries.
• Reading and writing support tools: investigation and development of software and technologies for aiding in the writing
and structuring of academic texts and in the elaboration and simplification of texts. It aims at supporting the production of
good texts for digital inclusion and making the acess to information easier for low-literacy readers and people with cognitive
problems as aphasia and dyslexia.
06
Research Catalog - ICMC/USP
Data Bases and Images
Data Bases and Images Laboratory
Department of Computer Sciences
www.gbdi.icmc.usp.br
Presentation
The ICMC/USP Data Bases and Images Group (GBDI) at São Carlos works in the development of techniques and tools to
store, index retrieve and analyze large sets of complex data. Its main targets are the complex data that are stored at an
increasing pace in the Database Management Systems, including audio, time series, genomic sequences and mainly images.
Regarding images, the Group is especially interested in the analysis and efficient retrieval of images from medical exams.
Therefore, the main activities of GBDI are: Image feature extraction and comparison; Feature selection; Indexing of complex
data; Selectivity estimation and cost models; Similarity queries in databases; Data mining and complex data analysis;
Information visualization in large sets of complex data; Visual analytics.
Research Lines
• Image and data base management systems
• Content-based image storage and retrieval
• Indexing and query optimization for similarity retrieval
• Picture archiving and communication systems
• Health and medical information systems
• Mining of complex data
• Visual data mining and visual analytics
• Complex data integration
• Data provenance
• Data warehousing
• Big data
07
Research Catalog- ICMC/USP
Members
Agma Juci
Machado Traina
Caetano Traina Jr.
Cristina Dutra de
Aguiar Ciferri
Elaine Parros M.
de Sousa
José Fernando
Rodrigues Jr
Main projects
• Agrodatamine: Development of Algorithms and Methods of Data Mining to Support Researches on Climate Changes Regarding
Agrometeorology
• Regional Program STIC-Amsud - MIRVisIM-Mining, Indexing, Retrieval and Visualization of Medical Images data sets
• MICAD- Medical Image Mining by Content Supporting CAD: Application in a Teaching Hospital
• MIRVisIM - Data Mining, Indexing, Retrieval and Visualization in Medical Images Archiving Systems
• MetricsSPlat - The Metric Space Platform
• Development of Techniques For Individualized Access Tailoring Over Large Digital Libraries
• PrInt-on-the-Cloud: Data Provenance in Integration Processes Applied to Cloud Computing
• Processing of OLAP queries extended with image similarity predicates and spatial predicates over non-conventional data warehouses
08
Research Catalog - ICMC/USP
Distributed Systems and Concurrent Programming
Laboratory of Distributed Systems and Concurrent Programming (LASDPC)
Laboratory of Intermedia
Laboratory of Critical Embedded Systems (LSEC)
Department of Computer Systems
www.lasdpc.icmc.usp.br
www.intermidia.icmc.usp.br
www.lsec.icmc.usp.br
Presentation
The Group of Distributed Systems and Concurrent Programming, created in 1990, has as its general research theme problems and
technological solutions for building computational systems formed by the interaction of various subsystems across a network.
Examples of distributed systems are web services, cloud computing, video games online, peer-to-peer architectures and parallel
processing. The group has produced results in the form of new techniques and methodologies, scientific publications on qualified
vehicles for the dissemination and coordination of scientific projects funded by various agencies for research funding. The members
of the group have organized events and guided scientific work of undergraduate and graduate, is responsible for the training of
people with Master and PhD degrees for both academia and industry.
Research Lines
• Adaptive systems and real-time
• Computer network
Security in computer networks
Sensor networks
Protocols
• Critical embedded systems
Autonomous aerial vehicles
Operating systems
Image processing
• Distributed computing
Service-oriented architectures
Validation & verification of parallel and
distributed applications
High performance computing
Grid computing
Cloud computing
Green computing
• Network
Managing mobility
Wireless networks
Security in computer networks
Protocols
09
Research Catalog- ICMC/USP
• Operating systems
• Performance evaluation
Simulation / Distributed simulation
Prototyping
Benchmark
• Sensor networks
Middleware for sensors and cell phones
Wireless sensor networks
• Tools and methodologies for teaching computing
Members
Edson dos Santos
Moreira
Francisco José
Monaco
Marcos José
Santana
Jó Ueyama
Paulo Sérgio Lopes
de Souza
Júlio Cézar
Estrella
Regina Helena
Carlucci Santana
Regina Lucas
Jaquie Castelo Branco
Sarita Mazzini
Bruschi
Main Projects
• Ontology and Semantic Web
• Cloud Computing
• Green Computing
• Composition of Services with QoS
• QoS in Cloud Computing
• Testing Parallel and Distributed Applications
• Secure Wireless Communication and Mobility Management for VANETs
10
Research Catalog - ICMC/USP
Embedded and Evolutionary Systems
Reconfigurable Computing Laboratory
Department of Computer Systems
lcr.icmc.usp.br
www.icmc.usp.br/~seerweb
Presentation
The group SEER develops advanced computational solutions involving embedded hardware, robotics and evolutionary systems
with different degrees of autonomy: mobile, reconfigurable, adaptative and evolutionary systems. Solutions are investigated for a
large diversity of fields such as: education, bioinformatics, reconfigurable computing, agricultural and environmental monitoring,
support to police and military operations, vehicle routing, unmanned vehicle navigation, low-price domestic roboty, production
scheduling, reconfigurable systems, and design of specialized chips. The recent researches of the SEER group consider Intelligent
Robotics, Design of Unmanned Aircrafts, Evolutionary Computation, Optimization of Ensembles of Neural Networks for Data
Mining, Design of Complex Networks, Dynamic Systems, Fuzzy Systems, Embedded Systems and Reconfigurable Systems.
Research Lines
• Embedded systems: This field involves the design, implementation and analysis of embedded systems based on field
programmable gate arrays and microcontrollers. The projects focus on the improvement of performance, flexibility and
reduction of energy consumption of embedded systems.
• Evolutionary computation: The methods from this area have been classified as metaheuristics, learning algorithms or
stochastic search algorithms based on biological systems, probability and mathematical programming. In practice, the
evolutionary computation investigates techniques that are robust and efficient for hard problems from the real world, i.e.
involving large-scale, multi-criteria and real-time. We have developed efficient solutions based on evolutionary algorithms for
the areas of agriculture, bioinformatics, logistics and energy.
11
Research Catalog - ICMC/USP
Members
Alexandre Cláudio
Botazzo Delbem
Cláudio Fabiano
Motta Toledo
Eduardo do Valle
Simões
Eduardo Marques
Jorge Luiz e Silva
Mario Alexandre
Gazziro
Onofre Trindade
Júnior
Vanderlei Bonato
Main Projects
• ARARA: Aircraft Recognition Remotely and Autonomously Assisted
• ChipCflow: Machines based on Dynamic Data Flow
• Efficiency Solutions in the Real World: Large-scale, Multi-criteria and Real-time
• Robotics for the Primary / Secondary Education
• Intelligent Algorithms for Mobile Robots
• Simultaneous Localization and Mapping for Mobile Robots
• Development of Algorithms for Estimating and Learning for Embedded Systems in Mobile Robots
• Evaluation of Robot for Oil Pipes
• Co-Design Environment for Hardware / Software on FPGAs Platform and Application to Mobile Robotics
• Implantable Neural Interface
12
Research Catalog - ICMC/USP
Mobile Robotics
Mobile Robotics Laboratory
Department of Computer Systems
www.lrm.icmc.usp.br
Presentation
The Mobile Robotics Group carries out research in various areas related to robotics. Some of them are computer vision, intelligent
systems, evolutionary computation, machine learning, reconfigurable computing, air and land self-guided vehicles and automation.
The facilities available include robots, vehicles and advanced sensors for the development and testing of systems developed.
Research Lines
• Mobile robotics
• Intelligent vehicles
• Machine learning
• Computer vision
• Embedded systems
Members
Denis Fernando
Wolf
Fernando Santos
Osório
Kalinka Regina Lucas
Jaquie Castelo Branco
13
Research Catalog - ICMC/USP
Main projects
The main goal of the CARINA project is to develop an intelligent vehicle able to navigate in urban environments without the need
of a human driver. The objectives of the project are, among others, to decrease the number of accidents on the streets and highways
and to increase traffic efficiency. Another objective of this project is to develop a driver assist system, which is able to notify the
driver in risk situations and to control the vehicle when danger is imminent.
14
Research Catalog - ICMC/USP
Software Engineering
Software Engineering Laboratory
Applied Computing in Education and Advanced Social Technology Laboratory
Department of Computer Systems
www.labes.icmc.usp.br
www.sites.google.com/site/labcaed
Presentation
Created in 1993, the Software Engineering (SE) Group has as its main goal to support teaching, research, and dissemination of
knowledge in Software Engineering area. Currently, the SE Group has 11 professors (two full professors, three associate professors
and six PhD professors), who are responsible for supervising both graduate (master, PhD and postdoctoral) and undergraduate
(scientific projects and graduate projects) students.
Research focuses on processes, methods and tools for software design and development. Recently, the use of computational
techniques, particularly those related to software engineering, in the development of educational resources has also been included
among the research interests of the group.
SE Group members have published their research in the main scientific journals and events of the area, both nationally and
internationally. The group also brings together important research projects, supported by several funding agencies in the national
and international scene. Besides, SE Group performs cultural and extension activities to the community, promoting technology and
research transfer.
Research Lines
15
• Architectures for developing of educational software
• Business process generation
• Collaborative systems
• Critical embedded systems
• Geographical information systems
• Model-based testing
• Design and evaluation of educational software interfaces
• Development, evaluation and analysis of educational games
• Distance learning
• Educational data mining
• Educational ontologies and applications
• Experimental software engineering
• Software engineering tools and environments
• Frameworks and software patterns
• Application generators
• Intelligent tutoring systems
• Mobile learning
• Modeling and development of educational modules
• Multi-agent systems in education
• Open educational resources
• Personalization and recommender systems
• Product lines for developing educational software
• Semantic web and social semantic web in education
• Social networking in education
• Software architecture and reference architecture
• Component-based development
Research Catalog - ICMC/USP
• Software product lines
• Software process improvement
• Free and open source and software development
• Software quality
• Software reuse
• Real time and reactive systems
• Software verification, validation and testing
• Information visualization
• Testing of concurrent programs
• Web systems development
• Aspect-oriented development
• Service-oriented development
• Design rationale of software documentation
Members
Adenilso da Silva
Simão
Elisa Yumi
Nakagawa
Paulo Cesar Masiero
Ellen Francine
Barbosa
Renata Pontin de
Mattos Fortes
João Porto de
Albuquerque
Rosana Teresinha
Vaccare Braga
José Carlos
Maldonado
Seiji Isotani
Marcio Eduardo
Delamaro
Simone do Rocio
Senger de Souza
Main projects
• INCT-SEC – National Science and Technology Institute for Critical Embedded Systems (CNPq/FAPESP)
• Qualipso – Quality Platform for Open Source Software (European Community)
CCSL - Competence Center in Open Source and Free Software
• NAP-SoL - Research Support Center in Open Source and Free Software (PRP/USP)
• Empirical Software Engineering for Critical Embedded Systems (CAPES/Nuffic)
• Integrating and Improving Research Activities, Education/Training and Technology Transfer in Software Testing and Validation
(CAPES/Procad)
• Development of Product Lines Using Aspects (CAPES/Procad)
• Memória Virtual Project (FAPESP)
16
Research Catalog - ICMC/USP
Visualization, Imaging and Computer Graphics
Visualization, Imaging and Computer Graphics Laboratory
Department of Computer Sciences
vgp.icmc.usp.br
Presentation
Researchers from the Visualization, Imaging and Computer Graphics group conduct projects on visual computing, focusing on Data
Visualization, Geometric Processing, Image Processing and Pattern Recognition. The techniques and algorithms developed are
strongly grounded on mathematical foundations, with potential applications in a wide range of real-world problems that require the
analysis of complex high-dimensional data assisted by interactive visual representations. This covers a wide range of application
scenarios from complex, abstract high-dimensional data, e.g., document or image collections, to results from computational
simulations of physical phenomena, such as fluid dynamics or medical procedures. Important research problems addressed include
the search for more effective algorithms to extract information from images, integration of data mining and data visualization
algorithms, handling massive and time-varying data sets, and using sound to enhance user ability to interpret data. The theoretical
and algorithmic foundations for our works stem from areas such as computational geometry, computational topology, Data Mining,
Numerical Analysis, Optimization and Statistics.
Research Lines
• Computational geometry and geometric processing
• Image processing and pattern recognition
• Visualization and visual data mining
• Validation and evaluation of visualization techniques
• Visualization applications in data analysis: image, document and music collections, social networks, biosensor
measurements, volumes from computational simulations and multidimensional data sets.
17
Research Catalog - ICMC/USP
Members
Afonso Paiva
Neto
Fernando Vieira
Paulovich
João do Espirito
Santo Batista Neto
Luis Gustavo
Nonato
Maria Cristina
Ferreira de Oliveira
Moacir Pereira
Ponti Junior
Rosane Minghim
Main Projects
The research projects conducted at VICG deal with the development and validation of strategies and techniques to visualize large-scale
complex data sets originated in several application domains, handling critical issues such as scalability, visual paradigms and validation.
Projects deal with diverse topics in Visualization, Visual Analytics, Images and Graphics Processing. In Image Processing our projects
address problems in pattern recognition, image classification and computer vision. In Visualization, our research handles issues related
with the generation of graphics representations from both abstract and spatial data, as well as more general issues related with the
analysis, supported by interactive visual representations, of complex multidimensional data. Our contributions include techniques for
multidimensional projection, dimensionality reduction and similarity tree. We also address the application, validation and evaluation of
visualization techniques in problems involving data generated, for example, from collections of textual documents or images, time
series, social networks and graphs, measurements from biosensors and multimodal volume data.
• Challenges in exploratory visualization of multidimensional data: novel paradigms, scalability and applications. FAPESP thematic
research project 2011/22749-8 (collaboration with UNICAMP, Brazil).
• Member of the Research Center on eScience (NAP-eScience), University of São Paulo.
• Member of the CAPES NANOBIOTEC research network NBionet: nanostructured films of biologically relevant materials: membrane
models and biosensors (www.ifsc.usp.br/nbionet).
• Exploratory visualization of multidimensional volume data. CAPES/DAAD PROBRAL (collaboration with Jacobs University,
Bremen, Germany).
• Information visualization based on shapes and images. CAPES/NUFICC (collaboration with University of Groeningen, the
Netherlands).
18
Research Catalog - ICMC/USP
Web and Multimedia Interactive Systems
Intermedia Laboratory
Department of Computer Sciences
intermidia.icmc.usp.br
Presentation
The Web and Multimedia Interactive Systems research group investigates on advanced interactive and convergent systems in
the following Computer Science fields: Human-Computer Interaction, Web Engineering, Ubiquitous Computing, Multimedia
Coding and Retrieval, Multimedia Data Transmission and Interactive Digital Television. The group has six main researchers,
all of them with PhD degree, responsible for conducting financed research projects and for the formation of qualified human
resources by advising graduate (master and PhD candidates) and undergraduate students.
Research Lines
• Ubiquitous computing
• Context-aware computing
• Multimedia
• Human-computer interaction
• Computer networks
• Semantic web
• Interactive web systems
• Interactive digital TV
• Online social networks
19
Research Catalog - ICMC/USP
Members
Dilvan de Abreu
Moreira
Edson dos Santos
Moreira
Marcelo Garcia
Manzato
Maria da Graça
Campos Pimentel
Renata Pontin
de Mattos Fortes
Rudinei Goularte
Main projects
Finished:
• [MCT/CTIC] GingaFrEvo & GingaRAP: Evolution of Ginga Middleware for Multiple Platforms (Componentization) & Tools
for the Development and Distribution of Declarative Applications
• [CAPES RH-TVD] i2TVD: Innovative Services and Applications for Interactive Digital TV
• [FAPESP (SticAmSud)] Semantic-based Support for Collaborative Design Activity
• [FAPESP] TIDIA-Ae: Electronic Learning on High Speed Network Platform
• [FAPESP] TIDIA-Kyatera High Speed Network Platform
• [FINEP] SAFE Software Engineering For Everyone
• [HP] Hewlett-Packard Project Applied Mobile Technology Solutions in Learning Environments
• [FAPESP] Project InCA-SERVE
• [CNPq-NSF] Project of International Cooperation InCA-SERVE
• [CNPq] HyperProp: Hypermedia Open System and Applications
• [CNPq] SMmD: Treatment and Hytime Hyperlinks using Java
Current:
• (2009-2012) [CNPq] Captoria: Capture of Interaction User-Media for Multimedia Autorship
• (2009-2012) [CAPES Procad-NF] xTVD: Exploring New Frontiers of Interactive Digital TV
• (2007-2011) [FINEP] Middleware Ginga Assessment
• (2010-2012) [FAPESP - 2010/05626-7] Accessibility in the Evolution of Interactive Web Applications
• (2011-2013) [FAPESP - 2011/00422-7] A Generic Method for Stereoscopic Video Coding
• (2011-2012) [MCT/CTIC] Art TVDI: Technological Framework for Agile Development and Applications Reuse for TVDI
with support for Web Services
• (2011-2013) [FAPESP-2011/17366-2] Advanced Methods for Multimedia Content Selection
Research Catalog - ICMC/USP
20
Algebra
Mathematics Laboratory
Department of Mathematics
www.icmc.usp.br/~etengan/algebra/
Presentation
Algebra is one of the largest areas of Mathematics, so when you say “I want to study Algebra” is almost the same as saying “I want
to study Mathematics”. Within this vast cosmos, some sub-areas related to the specific interests of algebraists at ICMC/USP include
topics such as Noncommutative algebra (Weyl algebra, the Brauer group), Algebraic and arithmetic Geometry (curves over finite
fields), Mathematics-Physics (Calogero-Moser spaces) and Commutative Algebra (Multiplicities).
Research Lines
• The Weyl algebra and its ideals
• Brauer group
• Algebraic curves over finite fields
• Calogero-Moser spaces
• Multiplicities (Equisingularities)
21
Research Catalog - ICMC/USP
Members
Daniel Levcovitz
Eduardo Tengan
Herivelto Borges
Igor Mencattini
Ires Dias
Victor Hugo Jorge Pérez
Main Publications
• Levcovitz, D. ; Saia, M. ; Pérez, V. H. J. Invariants, equisingularity and Euler obstruction of map germs from Cn to Cn. Journal fürdie
Reine und Angewandte Mathematik. Crelle Journal, Berlin, New York, v. 587, p. 145-167, 2005.
• Brussel, E. ; McKinnie, K. ; TENGAN, E. . Indecomposable and noncrossed product division algebras over function fields of
smooth p-adic curves. Advances in Mathematics (New York. 1965), v. 226, p. 4316-4337, 2011.
• Mencattini, I. ; Bartocci, C. ; Pedroni, M. ; Ortenzi, G. ; Falqui, G. . On the geometric origin of the bi-Hamiltonian structure of the
Calogero-Moser system. International Mathematics Research Notices, v. 1, p. 279-296, 2010.
• Dias, I. ; Paques, Antonio ; Bagio, D. . On self-dual normal bases. Indagationes Mathematicae, v. 17, n.1, p. 1-11, 2006.
• Borges Filho, H. M. . On multi-Frobenius non-classical plane curves. Archiv der Mathematik (Printed ed.), v. 93, p. 541-553, 2009.
22
Research Catalog - ICMC/USP
Applied and Geometrical Analysis
Mathematics Laboratory
Department of Applied Mathematics and Statistics
Presentation
Our research group has worked on diverse subjects in the field of Applied and Geometrical Analysis. Among others, we have
produced results involving Differential Equations (Ordinary, Functional and Partial Equations), Non-Linear Differential Equations
and Dynamical Systems (with emphasis on rigorous numerical methods and computer assisted proofs); Mathematical Physics (mainly
problems from Quantum Field Theory and Classical Statistical Mechanics); Singularity Theory (with emphasis on the Geometry and
Classification of Singularities of Mappings and Applications).
Research Lines
• Non-linear differential equations and dynamical systems (with emphasis on rigorous numerical methods and computer assisted
proofs)
• Mathematical physics (mainly problems from Quantum field theory and classical statistical mechanics)
• Singularity theory (with emphasis on the geometry and classification of singularities of mappings and applications).
23
Research Catalog - ICMC/USP
Members
Everaldo de Mello
Bonotto
Marcio Fuzeto
Gameiro
Miguel Vinicius
Santini Frasson
Paulo Afonso
Faria da Veiga
Ton Marar
Main projects
• Spectrum of semi-group generators
• Particle spectrum for lattice quantum chromodynamics models
• Asymptotic behavior of solutions of certain stochastic PDEs
• Topological computational analysis of dynamical systems using Conley index
• Rigorous Numerical methods for ODEs e PDEs
24
Research Catalog - ICMC/USP
Applied Functional Analysis
Mathematics Laboratory
Department of Mathematics
www.icmc.usp.br/~aproximacao/indexEnglish.htm
Presentation
Applied Functional Analysis is to be understood as a branch of Mathematical Analysis that deals with problems involving at least
one of the following topics: approximation theory, analysis on the sphere, the theory of positive definite and related kernels, integral
operators, Mercer's theory.
The group of Applied Functional Analysis at ICMC focuses its research on theoretical aspects of the problems and has little interest
on the computational and numerical aspects of them. The research is centered in problems which are relevant in applications in
either the Mathematics itself or other areas.
Research Lines
• Approximation theory
• Analysis on the sphere
• The theory of positive definite and related kernels
• Integral operators
• Mercer's theory
25
Research Catalog - ICMC/USP
Members
Ana Paula Peron
Valdir Antonio
Menegatto
Main publications
• Castro, M. H.; Menegatto, V. A., Eigenvalue decay of positive integral operators on the sphere. Math. Comput., 81 (2012),
no. 280, 2303-2317.
• Ferreira, J. C.; Menegatto, V. A., Reproducing properties of differentiable Mercer-like kernels, Math. Nachr, 285 (2012),
959-973.
• Jordão, T; Menegatto, V. A. - Reproducing properties of differentiable Mercer-like kernels on the sphere, Numer. Funct.
Anal. Optim., 33 (2012), no.10, 1221-1243
• Castro, M. H., Menegatto, V. A, Peron, Ana P., Integral operators generated by Mercer-like kernels on topological spaces,
Colloq. Math, 126 (2012), 125-138.
• Chen, Debao; Menegatto, Valdir A.; Sun, Xingping - A necessary and sufficient condition for strictly positive definite
functions on spheres. Proc. Amer. Math. Soc. 131 (2003), no. 9, 2733–2740.
26
Research Catalog - ICMC/USP
Complex Systems, Particles and Control
Laboratory of Complex Systems, Particles and Control
Department of Applied Mathematics and Statistics
Presentation
This is a new research group in the Department of Applied Mathematics and Statistics (SME), bringing together researchers working on
analytical, mathematical and computational methods in real-world problems arising in the areas of complex systems, particles and control.
These research lines can be gathered into four fields. One involves complex networks, which are composed by discrete elements that interact
nonlinearly. This area has a highly interdisciplinary character, since many natural and artificial systems can be modeled as graphs. The research
developed in the group aims at modeling the structure and function of various complex systems, including the brain, protein interactions,
social networks, financial markets, the Internet and the World Wide Web.
Another field is related to the theory of Particle Systems, which is a branch of probability theory that has been the object of considerable
research nowadays. In general, the models are spatial stochastic processes important in theoretical modeling of interacting systems.
The research lines are also related to problems in Mathematical Physics, involving an infinite number of degrees of freedom. Particularly, we
have devoted attention to the determination of the energy-momentum spectrum (spectrum generators of semi-groups) to various systems
of interest in physics, including quantum chromodynamics and stochastic equations of Ginzburg-Landau.
The fourth field involves the Control Theory, which is a well-established worldwide area with many applications in different fields as
Electrical Engineering, Mechanical Engineering, Aeronautical, Economics and Chemistry. Currently, the research in this field includes
minimization problems of fuel consumption in vehicles, optimization of hydrothermal power generation and weed control.
The works developed in the group have been published in the main scientific journals and presented in important congresses, being funded
by major national agencies and some from other countries, such as Germany (DFG). These projects include national and international
collaborators, as well as undergraduate and graduate students and postdoctorates. Some of our collaborations are from Humboldt University
of Berlin, Potsdam Institute for Climate Impact Research, University of Applied Sciences Aschaffenburg, Radboud University Nijmegen,
Ecole Polytechnique, University of Colorado, Graz University of Technology, Imperial College London, Pontificia Universidad Católica del
Perú and Universidade do Porto.
27
Research Catalog - ICMC/USP
Research Lines
• Complex networks
• Structure and dynamics of social networks
• Internet modeling
• Automatic identification of authorship
• Image segmentation by networks
• Synchronization of coupled oscillators
• Dynamical process on spatial networks
• Models of epidemic and rumor spreading
• Probability and interacting particle systems
• Mathematical physics
• Classical statistical mechanics and quantum field theory
• Stochastic differential equations
• Particle systems modeling
• Control and filtering
• Control for minimizing fuel in vehicles
• Control for hydrothermal operation
• Structure of dynamical systems
• Analysis and control of switched systems
• Stability of control for nonlinear systems
Members
Eduardo Fontoura
Costa
Francisco Aparecido
Rodrigues
Pablo Martín
Rodríguez
Paulo Afonso Faria
da Veiga
Main projects
• Dynamical Phenomena in Complex Networks: Fundamentals and Applications (2011-2016, FAPESP-DFG)
• Characterization, analysis, simulation and classification of complex networks (2011-2013, FAPESP )
• Stability of Kalman filter for stochastic systems (2011-2013, FAPESP)
• Control for Optimization of Resources on Farm (2012-2014, PRP-USP USP/UP)
• Stochastic Modeling of Interacting Systems, (2009-2014, FAPESP)
• Stochastic models for information diffusion (2012-2015, CNPq)
28
Research Catalog - ICMC/USP
Computational Fluid Mechanics
Applied Mathematics and Scientific Computing Laboratory
Department of Applied Mathematics and Statistics
Presentation
The research group in computational fluid mechanics started in 1993 as a result of the efforts of a number of professors, at the
Department of Computer Science and Statistics (SCE), returning from their PhDs abroad. Over the years, aiming at expanding its
activities, partnerships have been established: first with the parallel processing group and later with the group of computer graphics and
geometric modeling. As a result of these partnerships the Laboratory of high performance computing (LCAD) emerged in 1994 and was
active until recently when it w’as split up into two new Labs: Laboratory of Applied Mathematics and Scientific Computing (LMACC)
and the Laboratory of Visualization, Images and Computer Graphics (VICG).
The group's current research focuses on developing methods for numerical simulation of moving free surface flows, using mainly finite
differences and finite elements techniques. The problems of interest to the group can be divided into the following areas of interest:
a) Simulation of Newtonian and non-Newtonian flows in complex geometries, such as the flow of liquid crystals, polymers and
viscoelastic fluids in general, with applications to various industrial processes.
b) Development of high-performance codes and parallel processing for simulation of multiphase flows used in petroleum refining
processes - this research is funded by Petrobras.
c) Modeling and simulation of cellular membranes in the cardiovascular system, with applications in medicine and biology; this line of
research is linked to the National Institute of Science and Technology: Medicine Assisted by Scientific Computing (INCT-MACC).
d) Geometric processing, generation, movement and improvement of computational meshes, with applications in aerodynamics and
Aeroelasticity - in this field of research the group has been engaged in fruitful collaboration with Petrobras and Embraer.
e) Development of nonlinear techniques for reconstruction and capture of discontinuities in systems of hyperbolic conservation laws
and problems of transient, compressible and incompressible flows; this research endeavors, at a fundamental level, to improve numerical
schemes for applications in convective flows at high speeds.
f) Analysis of the stability of laminar flows and of transition to turbulence through direct numerical simulation, with applications to
boundary layer control and heat transfer.
g) Studies in computational aeroacoustics aiming at minimizing the noise generated by outlets.
h) Visualization and interactive exploration of massive data via projection techniques. This line of research is a joint venture between the
group of Visual and geometric processing and the group of Visualization and imaging that share a thematic project titled "Challenges in
exploratory visualization of multidimensional data: New paradigms, scalability and applications".
i) Establishment of the center for applied mathematics and statistics in industry (CeMEAI), whose goal is to encourage the use of
mathematical tools to the industrial sector (in its widest sense) and provide the appropriate training in the techniques of mathematical
modeling applied to industry. A FAPESP project, named CEPID-CeMEAI, will also support the activities of the group’s work proposal.
29
Research Catalog - ICMC/USP
Research Lines
• Numerical simulation of moving surfaces flows
• Computational rheology
• Modeling and numerical simulation in lubrication
• Scientific computation applied in biology and medicine
• Mesh generation and scientific visualization
• Laminar-turbulent transition flows
• Computational aeroacoustics
Members
Afonso Paiva
Neto
Antonio Castelo
Filho
Fabrício Simeoni
de Sousa
Gustavo Carlos
Buscaglia
José Alberto
Cuminato
Leandro Franco
de Souza
Luis Gustavo
Nonato
Maria Luisa
Bambozzi de Oliveira
Murilo Francisco
Tomé
Valdemir Garcia
Ferreira
(in memoriam)
Main projects
• International Research Project USP-COFECUB - Numerical prediction of viscoelastic materials with free surface
• International Research Project Capes-FCT - Optimizing the production of vulcanized thermoplastics
• INCT - MACC - Medicine Assisted by Scientific Computing
• Research Project (Fapesp) - Non-stationary fluid mechanics: Application to aeronautics and rheology
• Research Project (Fapesp) - SNENS III - Numerical Solutions to Navier-Stokes equations
• Industrial Research Project (CEPEL) - Reliability in electrical systems
• Industrial Research Project (Furnas Centrais Elétricas) - Simulation of biomass incorporation during reservoir compartments
filling
• Industrial Research Project (Embraer) - CFD technology development high performance aircraft
Research Catalog - ICMC/USP
30
Differential Geometry
Topology Laboratory
Department of Mathematics
www.icmc.usp.br/~geometria
Presentation
Differential Geometry is a mathematical discipline that uses the techniques of differential and integral calculus to study problems in
geometry. Since the late 19th century, differential geometry has grown into a field that is more concerned with the geometric
structures on differentiable manifolds. There are several important branches of Differential Geometry, among them we can highlight
the Riemannian and pseudo-Riemannian Geometry, Symplectic Geometry, Complex and Kahler Geometry, Differential Topology
and Lie Groups. Today, Differential geometry is closely related to many areas of Mathematics.
Research Lines
• Geometry of minimal surfaces and constant mean curvature in homogeneous three-dimensional spaces;
• Quantization and symplectomorphism into symmetric spaces
• Symplectic geometry
• Mathematical physics
• Quantum algebra
• Submanifolds theory
• Geometric analysis
• Lie groups
• Complex geometry
31
Research Catalog - ICMC/USP
Members
Carlos Henrique
Grossi Ferreira
Fernando Manfio
Igor Mencattini
Irene Ignazia
Onnis
Pedro Paulo de
Magalhães Rios
Main publications
• Anan’in, Sasha; Grossi, Carlos H.; Gusevskii, Nikolay. Complex hyperbolic structures on disc bundles over surfaces. Int. Math.
Res. Not. IMRN 2011, no. 19, 4295–4375
• Mencattini, Igor; Kreimer, Dirk. The structure of the ladder insertion-elimination Lie algebra. Communications in Mathematical
Physics, v. 259, p. 413-432, 2005.
• Anan'in, Sasha; Grossi, Carlos H. Coordinate-Free Classic Geometries. Moscow
Mathematical Journal (Online), v. 11, p. 633-655, 2011
• Lodovici, Sinuê Dayan Barbero; Manfio, Fernando. Isometric immersions into a homogeneous Lorentzian Heisenberg group and
rigidity. Math. Proc. Cambridge Philos. Soc. 147 (2009), no. 1, 185–204.
• Manfio, Fernando. Symplectic forms are intrinsically harmonic. Mat. Contemp. 30 (2006), 125–13
• Mencattini, Igor; Kreimer, Dirk. Insertion and elimination Lie algebra: the ladder case. Lett. Math. Phys. 67 (2004), no. 1, 61–74.
• Montaldo, Stefano; Onnis, Irene I., Invariant CMC surfaces in H2×R. Glasg. Math. J. 46 (2004), no. 2, 311–321.
• Montaldo, Stefano, Onnis, Irene I., Invariant surfaces of a three-dimensional manifold with constant Gauss curvature. J. Geom.
Phys. 55 (2005), no. 4, 440–449.
• Rios, P. de M. ; Ozorio de Almeida, A.M. On the propagation of semiclassical Wigner functions. Journal of Physics. A,
Mathematical and General, v. 35, p. 2609-2617, 2002.
• Rios, P. de M. ; Ozorio de Almeida, A.M. A Variational Principle for Actions on Symmetric Symplectic Spaces. J. Geom. and
Phys., v. 51, p. 404-441, 2004.
32
Research Catalog - ICMC/USP
Dynamical Systems and Ergodic Theory
Dynamical Systems Laboratory
Department of Mathematics
www.icmc.usp.br/~sisdin
Presentation
The theory of dynamical systems has its origins in the study of mathematical models that describe the evolution of a physical system.
But nowadays its scope is much wider. Connections with other branches of Mathematics, such as Topology, Probability, Groups
Actions, Hyperbolic Geometry and Numerical Analysis have emerged from its development.
The research group of Dynamical Systems and Ergodic Theory at ICMC has a wide spectrum of interests in the area, studying
topological and geometrical aspects of dynamical systems, such as one-dimensional dynamical systems, diffeomorphisms and flows
with hyperbolic behavior in variety of group actions.
The group has four permanent research members, with around ten graduate students (master and PhD students) and
postdoctorates. We invite applications to our Graduate program from well-qualified prospective students interested in this
fascinating area of research.
If you are a researcher in dynamical systems, you may consider a postdoctorate at ICMC. Get in touch with one of our permanent
researchers for more information about postdoctorate positions.
Research Lines
• Renormalization theory
• One-dimensional dynamics
• Ergodic theory
• Dynamics on manifolds
• Group actions
• Partially hyperbolic dynamics
• Regularity of invariant foliations and rigidity
33
Research Catalog - ICMC/USP
Members
Ali Tahzibi
Carlos Alberto
Maquera Apaza
Daniel Smania
Brandão
Pedro Paulo de
Magalhães Rios
Main projects
• Rigidity and universality in one-dimensional dynamical systems.
• Renormalization theory for one-dimensional maps.
• Linear response problem for smooth families of dynamical systems.
• Global injectivity problems for maps on R^n.
• Classification of codimension one Anosov actions.
• Classical and semiclassical Hamiltonian dynamics in symplectic symmetric spaces, quantization.
• Absolute continuity of the central foliation of partially hyperbolic dynamical systems.
• Stable ergodicity of iterated systems of maps and stochastic perturbations.
• Variation of Lyapunov exponents and rigidity of partially hyperbolic diffeomorphisms.
34
Research Catalog - ICMC/USP
Functional Differential Equations
Functional Differential Equations Laboratory
Department of Mathematics
www.icmc.usp.br/~sdnl/EDF.html
Presentation
One reason why we are interested in Functional Differential Equations (FDEs) is that they comprise simple and significant
examples of infinite dimension dynamical systems presenting complex dynamics. A particular class of FDEs of our interest deals
with Retarded Functional Differential Equations that model phenomena involving a lapse of time between cause and effect.
From the point of view of applications, the interest in FDEs lies on the fact that, for some models of natural phenomena, mainly
biological models, there is need to consider periods of latency or gestation, accounting for a temporal delay between cause and effect.
Therefore, for these phenomena, models described by equations with temporal delays are more realistic.
One of our purposes is the study of the FDEs under conditions of impulse, the impulsive systems. In special, but not exclusively,
the Autonomous Impulsive Systems, when the involved differential equation is autonomous and the instants of impulse are not
given in advance, but they occur when the state reaches certain values given by some geometric condition in the phase space. Thus
the whole system is autonomous and defines a discontinuous dynamical system.
Research Lines
• Retarded functional differential equations
• Neutral functional differential equations
• Measure functional differential equations
• Differential equations subject to impulse conditions.
35
Research Catalog - ICMC/USP
Members
Everaldo de Mello
Bonotto
Luiz Augusto
da Costa Ladeira
Márcia Cristina
Anderson Braz Federson
Miguel Vinicius
Santini Frasson
Plácido Zoega
Táboas
Sandra Maria
Semensato de Godoy
Sueli Mieko
Tanaka Aki
Main Publications
• Azevedo, Katia A. G.; LADEIRA, Luiz A. C. - Hopf bifurcation for a class of partial differential equation with delay.
Funkcial. Ekvac. 47 (2004), no. 3, 395–422.
• Afonso, S. M.; BONOTTO, E. M.; FEDERSON, M.; Schwabik, Š. Discontinuous local semiflows for Kurzweil equations
leading to LaSalle's invariance principle for differential systems with impulses at variable times. J. Differential Equations 250
(2011), no. 7, 2969–3001.
• TÁBOAS, Plácido - Periodic solutions of a planar delay equation. Proc. Roy. Soc. Edinburgh Sect. A 116 (1990), no. 1-2,
85–101.
• TANAKA AKI, Sueli M.; de GODOY, Sandra M. S. - Permanence of stability for a class of system of differential equations
with two delays. Nonlinear Anal. Real World Appl. 10 (2009), no. 1, 172–184.
• FRASSON, Miguel V. S.; Verduyn Lunel, Sjoerd M. Large time behaviour of linear functional differential equations.
Integral Equations Operator Theory 47 (2003), no. 1, 91–121.
36
Research Catalog - ICMC/USP
Geometric and Visual Processing
Visualization, Imaging and Computer Graphics Laboratory
Applied Mathematics and Scientific Computing Laboratory
Department of Applied Mathematics and Statistics
Department of Computer Sciences
vicg.icmc.usp.br
Presentation
The research group on Geometric and Visual Processing was created in 2010 and since then has been working on several research
topics related to Computer Graphics, Geometric Modeling, Computational Geometry, Visualization and Visual Data Analysis and
Numerical/Topological Analysis of Dynamical Systems.
Research in Geometric Modeling and Processing describes the study of numerical methods and algorithms for manipulation, analysis
and representation of geometric data. Tools in typical applications include mesh generation from point cloud and image, spectral
analysis of discrete surfaces, computational manifolds in higher-dimensional spaces, discrete differential geometry for point set
surfaces, smoothing and mesh simplification.
The Visual Processing research covers techniques for visualization of scientific data and information, especially in problems involving
large amount of data embedded in high dimensional spaces. These techniques have been employed successfully in the visualization
and visual analysis of information from textual data and scientific exploration of music collections and images, analysis and feature
extraction in vector fields.
Research in Numerical/Topological Analysis of Dynamical Systems is the study of continuous and discrete dynamical systems by
means of numerical methods based on topological and Conley Index and other techniques. The goal is to provide a description of the
dynamics of a given system, as well as understand their dependence on the parameters (bifurcations). These methods have been used
to prove the existence of several kinds of dynamics, including chaotic dynamics.
Research Lines
• Computational geometry
• Geometric processing
• Visualization and visual data analysis
• Geometric modeling and mesh generation
• Numerical and topological analysis of dynamical systems
37
Research Catalog - ICMC/USP
Members
Afonso Paiva
Neto
Antonio Castelo
Filho
Luis Gustavo
Nonato
Márcio Fuzeto
Gameiro
Main projects
• Thematic project (FAPESP): Challenges in Exploratory Visualization of Multidimensional Data: Paradigms, Scalability and
Applications. The goal of this project is to develop new techniques and paradigms that contribute to advancing the
state-of-the-art research in scientific and abstract data visualization, with emphasis in the processing and handling of
high-dimensional, multimodal time-varying data. The novel paradigms to be developed shall provide advanced visual metaphors
for visualizations based on multidimensional projection and phylogenetic trees, allowing for improved understanding and
exploration of many types of data, including text, image, music collections and nanoscale sensing data. In addition to geometric
primitives as visualization units, tree structures and combinations of geometric and abstract entities shall be employed to create
a unified framework for manipulation and visual representation of high dimensional data. An additional goal is to investigate data
visualization and visual exploration methods suitable for execution on portable devices. The proposed developments have the
potential to keep the two research groups involved in this proposal in the global vanguard, while fostering production of national
intellectual property and technology transfer.
38
Research Catalog - ICMC/USP
Linear Partial Differential Equations
Mathematics Laboratory
Department of Mathematics
Presentation
The research activities are mainly oriented towards understanding problems related to partial differential equations or systems of
such equations defined on differentiable manifolds. The systems that are considered come from locally integrable structures.
The problems under study address questions about the (global) existence as well as the regularity of all the solutions of such
equations or systems of equations.
Research Lines
• Global solvability
• Semi-global solvability
• Local solvability
• Global hypoellipticity
Members
Adalberto Panobianco
Bergamasco
Éder Ritis
Aragão Costa
Evandro Raimundo
da Silva
Paulo Leandro
Dattori da Silva
Sérgio Luís Zani
39
Research Catalog - ICMC/USP
Main publications
• Bergamasco, A. P.; Dattori da Silva, P. L., Solvability in the large for a class of vector fields on the torus, J. Math. Pures Appl. (9) 86
(2006), no. 5, 427–447.
• Bergamasco, A. P.; Mendoza, G.; Zani, S. L., On global hypoellipticity, Comm. Partial Differential Equations, 37 (2012), no. 9,
1517–1527.
• Bergamasco, A. P.; Zani, S. L., Global analytic regularity for structures of co-rank one. Comm. Partial Differential Equations, 33
(2008), no. 4-6, 933–941.
• Dattori da Silva, P. L.; Meziani, A., Properties of solutions of a class of planar elliptic operators with degeneracies, Proc. Amer.
Math. Soc. 139 (2011), no. 11, 3937–3949.
• Hounie, J.; da Silva, E. R., A similarity principle for locally solvable vector fields, J. Math. Pures Appl. (9) 81 (2002), no. 8, 715–746.
• E.R. Aragão-Costa. ; Carvalho, A. N. ; Caraballo, T. ; J.A. Langa . Continuity of Lyapunov functions and energy level for a
generalized gradient system. Topological Methods in Nonlinear Analysis, v. 39, p. 57-82, 2012.
40
Research Catalog - ICMC/USP
Mathematics Education
Mathematics Teaching Lab
Mathematics Education Lab
Department of Mathematics
Presentation
The main aim of this group is to investigate questions concerned to Mathematics teaching-learning processes and teacher education.
The group´s research results have been published in several scientific meetings on the Math Education area, such as ENEM (Brazil),
SIPEM (Brazil), CIAEM, CIBEM, ICME, and in specialized journals. The research applications have been done in extension projects
to the local school community or in processes of non-formal education in the State of Sao Paulo (city of Sao Carlos), or by the
coordination of the mathematics division of CDCC (Cultural and Scientific Development Centre), of University of Sao Paulo, by
means of activities coordinated in the Mathematics Teaching Lab (LEM) and Mathematics Education Lab (LEMA). The group also
participates of a teacher education pole, inside PIBID- Scholarship Program for Pre-service Teachers, of the University of Sao Paulo,
financed by CAPES-Brazil.
More information can be obtained from the directory of CNPq Research Group: Mathematics Education
Research Lines
• Cognitive and linguistic aspects in mathematics education
• Conceptions of mathematical knowledge and their its relations to the teaching-learning processes
• Ethnomathematics
• Philosophy of mathematics education
• Mathematics teachers’ education
• History of mathematics
• Teaching methodologies for mathematics
• Information technology applied to math education
41
Research Catalog - ICMC/USP
Members
Edna Maura
Zuffi
Esther Pacheco
de Almeida Prado
Miriam Cardoso
Utsumi
Renata Cristina
Geromel Meneghetti
Main Projects
• Teaching support as articulator component of theory and practice in initial teacher training -– PIBID-CAPES/USP
• Mathematics teaching for students with special needs
• Knowledge and Curricular Practices: a study about the influence of technology-mediated experimental classes on the students'
learning - CNPq
• Use of technological resources in Mathematics teaching and learning
• Mathematics Education and Solidarity Economy
42
Research Catalog - ICMC/USP
Nonlinear Dynamical Systems
Nonlinear Dynamical Systems Laboratory
Department of Mathematics
www.icmc.usp.br/~sdnl
Presentation
Dynamical systems are mathematical models for many problems in physics, biology, economy, engineering and so on. These
dynamical systems are usually associated to differential equations that can be ordinary differential equations, partial differential
equations, functional differential equations, partial-functional differential equations and discrete systems. Mathematical models are
obtained using empiric laws, measurements, observations, etc. It is often the case that some of the influences that the system suffers
are neglected during the modeling (for easiness of analysis). Besides this, all parameters in the approximate model are determined with
some error. Hence, practical models are only approximations of an ideal model and errors are unavoidable. With this in mind it is of
fundamental importance that the models enjoy some stability with respect to all possible perturbations. One approach to this matter
is to study the stability of the asymptotic dynamics (attractors) under perturbations and this is the main research topic for the Group
on Nonlinear Dynamical System of the ICMC/USP. In particular, one problem in which the group has been working, for semilinear
differential equations, is the attempt to transfer information from the linear part of equation to the asymptotic behavior of the whole
equation. To be more specific, we try to show that if the linear (unbounded) part of the equation behaves "continuously" (e.g. the
resolvent behaves continuously) then, the nonlinear dynamics behaves continuously. The projects related to this are called upper and
lower semicontinuity of invariant sets and smooth linearization. The study of local and global well-posedness for semilinear partial
differential models in the critical growth case is also an important research topic in this project. It consists of determining, for the
widest possible class of nonlinearities and phase spaces, the existence of a unique solution for each initial data in the phase space and
proving that this solution behaves continuously with respect to the initial data. This is perhaps the most fundamental question in
differential equations. Projects related to this problem are called semilinear equations with critical exponents. Another important
research topic for the group is the study of existence and stability of special solutions (periodic orbits, traveling waves, homoclinic
and heteroclinic orbits and more generally bounded orbits). In the applications of differential equations these solutions play a
fundamental role.
Research Lines
• Evolution equations, bifurcation, symmetry and synchronization
• Linear and nonlinear partial differential equations
• Semilinear parabolic problems
• Asymptotic behavior
• Existence, uniqueness, continuity and continuation of solutions: critical case
• System of elliptic equations with jumping nonlinearities
• Quasilinear problems
• Smooth linearization
• Conley index theory
43
Research Catalog - ICMC/USP
Members
Alexandre Nolasco
de Carvalho
Ederson Moreira
dos Santos
Eugenio Tommaso
Massa
Hildebrando Munhoz
Rodrigues
Janete Crema
Ma To Fu
Maria do Carmo
Carbinatto
Sergio Henrique
Monari Soares
Wagner Vieira
Leite Nunes
Marcio Fuzeto
Gameiro
Recent achievements
Stability of gradient systems under perturbations. The study of the stability of the characterization of global attractors for semigroups
under perturbations lead us to search for a result that ensures stability of gradient systems under perturbations. That lead us to the
concept of gradient-like semigroups which have the dynamical properties of gradient semigroups and are stable under perturbations.
Moreover, for non-autonomous dynamical systems we introduce the concept of a gradient-like evolution process and prove that a
non-autonomous perturbation of a gradient-like semigroup is a gradient-like evolution process. Recently we have also proved that
the concepts of gradient semigroups and of gradient-like semigroups are equivalent.
Positive solutions for the p-Laplacian involving critical and supercritical nonlinearities with zeros. We have proved the existence of at
least two positive solutions for Δp u = λ h(x; u) in a bounded smooth domain with λ large and nonlinearity h having p-superlinear
growth (but subcritical) at infinity, p-linear at zero with h(x; a(x)) = 0 for a suitable positive function a. We also obtain the same result,
without restriction in the growth of h but renouncing the assumption that h depends on x є Ω and requiring that the domain is
convex, in order to apply suitable results of monotonicity coming from the technique of moving planes.
44
Research Catalog - ICMC/USP
Optimization
Optimization Laboratory
Department of Applied Mathematics and Statistics
www.otm.icmc.usp.br
Presentation
The ICMC Optimization Group was set up in the 1980s by one professor and some undergraduate and Master’s students. Over the
last ten years, the research group has expanded significantly from one to seven researchers and from a few to a group of around 20
students (undergraduate, master and PhD). The research is mainly developed in three important optimization areas: linear and discrete
optimization, nonlinear optimization and optimal control. The research addresses different problems including production planning,
hydrothermal operation planning, cutting stock problems, assembly line balancing, agriculture production using ecological and
sustainable criteria and tomography.
The Optimization Group manages its own laboratory (LOT). This space is fundamental for undergraduate and graduate students to
develop their research projects and it is also a place where they meet on a daily basis. The LOT provides up-to-date computing
facilities for students and their research.
Research Lines
• Cutting stock problems
• Lot-sizing and scheduling problems
• Nonlinear programming methods and problems
• Control and filtering problems
• Assembly line balancing
• Optimization in inverse problems
45
Research Catalog - ICMC/USP
Members
Alysson Machado
Costa
Eduardo Fontoura
Costa
Elias Salomão
Helou Neto
Franklina Maria
Bragion de Toledo
Marcos Nereu
Arenales
Marina Andretta
Maristela Oliveira
dos Santos
Main projects
The Optimization Group research projects have been financed by a number of Brazilian and international agencies, such as
FAPESP, CAPES, CNPq, European Community, FCT (Portugal), DGU (Spain), among others. These projects allow the
maintenance of a park of computers, the participation in conferences and the exchange of professors and students with other
universities.
plates (stock)
several types of itens
46
Research Catalog - ICMC/USP
Risk Assessment
Risk Assessment Laboratory
Department of Applied Mathematics and Statistics
http://grupocer.org
Presentation
The Risk Assessment group belongs to the Department of Applied Mathematics and Statistics (SME).
The risk assessment can be understood as a set of statistical and computational procedures for data analysis in order to study and
determine the risk exposure to a certain event of interest, which can have undesirable consequences, the possibility of danger and /
or loss of control. These procedures are present in several areas of knowledge, among which we mention survival analysis, statistical
quality control, reliability, industrial, laboratory diagnostic tests, environmental impact studies, financial studies of risk assets, studies
of financial delinquency, neglect and evasion, fraud detection, insurance pricing studies, evaluation of institutions, and management
of customer relationships, sports.
From a technical standpoint, the Risk Assessment group is responsible for the development, implementation and technology transfer
of new statistical and computational methods for solving real problems of medical, industrial, financial and public sectors.
The Risk Assessment group has the Risk Assessment Laboratory (RAL), where the research conducted by the research group is
carried out.
Research Lines
• Management and statistical quality control
• Statistical data mining
• Statistical modeling for credit scoring, behavior and attrition data
• Statistical modeling for dependence
• Statistical modeling for fraud data
• Statistical modeling for finance and insurance data
• Statistical modeling for sport data
• Statistical modeling for medical and biological data
• Statistical modeling for survival and reliability data
47
Research Catalog - ICMC/USP
Members
Adriano Kamimura
Suzuki
Francisco Louzada
Neto
Juliana Cobre
Marinho Gomes
de Andrade Filho
Mário de Castro
Andrade Filho
Vicente Garibay
Cancho
Main projects
• SAO: online statistical system for assessment
• CEP-online: online statistica system form quality control
• i-Sport: statistical system for monitoring and detecting sport talents
• Development of statistical models for predicting football matches
• Development of survival models for breast cancer
• Counting modeling for biological data
• Development of statistical models for fraud
• Development of statistical models for financial data
• Segmentation procedures for large databases
48
Research Catalog - ICMC/USP
Singularities
Singularities Laboratory
Departaments of Mathematics
Department of Applied Mathematics and Statistics
sing.icmc.usp.br
Presentation
Singularity theory has a wide range of applications to various areas of science and interacts with several lines of mathematics,
including differential and algebraic geometry and qualitative theory of differential equations. It contributes to the development of
knot theory, optics, robotics and computer vision. At the same time, these areas have enriched the singularity theory with problems
and results of interest and relevance. The central themes of research of the singularity theory group include the development of
methods of classification of singularities, of different applications and of real and complex analytic sets, with special attention to
invariants and equisingularity conditions in families of such sets.
Since its beginning in the late 1960's, the group has a strong participation in the training of new researchers/professors and in the
internationalization of research and graduate studies in mathematics at ICMC. Since the 1990s, it has been internationally
consolidated as one of the most active in its area, through an intense exchange of researchers and graduate students with several
research centers.
A traditional activity of the group is the organization of scientific meetings, among which the International Workshop on Real and
Complex Singularities, which is an international event recognized by the scientific community as one of the leading periodic
conference in the area, and the Mini Workshop on Singularities, Geometry and Differential Equations. Such meetings have a
significant participation of the national and international scientific community in the area and provide a great interaction among
researchers, young scientists and graduate students from Brazil and abroad. With good international projection, the group currently
attracts for scientific visitors, PhD and postdoctoral internships.
Research Lines
• Topology and classification of singularities;
• Multiplicity, integral closure and equisingularity;
• Singularities in differential geometry and implicit equations;
• Applications of singularity theory to bifurcation problems.
49
Research Catalog - ICMC/USP
Members
Ana Cláudia
Nabarro
Farid Tari
Marcelo José
Saia
Raimundo Nonato Regilene Delazari dos
Santos Oliveira
dos Santos
Maria Aparecida
Soares Ruas
Roberta Godoi
Wik Atique
Miriam Garcia
Manoel
Ton Marar
Nivaldo de Góes
Grulha Junior
Victor Hugo
Jorge Perez
Main projects
The group maintain scientific contact with other international centers and coordinates various national and international cooperation projects, among them:
• Project CAPES-PROCAD, for cooperation with UFPB, UEM e UNESP/S.J.Rio Preto;
• Project FAPESP-Temático;
• Project CNPq-Universal;
• Project CNPq-CONACYT, for cooperation with Instituto de Matemáticas de Cuernavaca, Mexico;
• Project CAPES-DGU, for cooperation with Universidad de Valencia, Spain;
• Project CAPES-JSPS, for cooperation with Japan;
• Project USP-COFECUB, for cooperation with France.
50
Research Catalog - ICMC/USP
Statistics
Statistics Laboratory
Department of Applied Mathematics and Statistics
www.icmc.usp.br/~labestat
Presentation
The Statistics group in the Department of Applied Mathematics and Statistics is composed by professors who are involved in a
diverse range of research areas in Probability and Statistics. Research in our group focuses on theoretical development with
applications in practice. The Statistics group is responsible for bachelors, masters and PhD degree program in Statistics. The
graduate program is in association with the Department of Statistics – Federal University of Sao Carlos.
Research Lines
• Survival analysis and reliability
• Quality management
• Bayesian methods
• Linear and nonlinear models
• Probability and stochastic processes
• Errors-in-variables models
• Time series
• Risk modeling
• Item response theory
• System of interacting particles
51
Research Catalog - ICMC/USP
Members
Adriano Kamimura
Suzuki
Mariana Cúri
Cibele Maria
Russo Noveli
Marinho Gomes
de Andrade Filho
Dorival Leão
Pinto Junior
Mário de Castro
Andrade Filho
Francisco Louzada
Neto
Pablo Martín
Rodriguez
Jorge Luis
Bazán Guzmán
Reiko Aoki
Juliana Cobre
Ricardo Sandes
Ehlers
Vicente Garibay
Cancho
Main projects
• Bayesian classification and prediction methods for long-term survival data using partition modeling
• Multivariate GARCH models with asymmetric distributions
• Nonlinear mixed-effects elliptical regression models
• Bayesian inference in structural heteroscedastic models
• Bayesian inference in multivariate survival models
52
Research Catalog - ICMC/USP
Topology
Topology Laboratory
Department of Mathematics
www.icmc.usp.br/~topologia
Presentation
The Topology Group of the Mathematical Department of the ICMC-USP is formed by professors that teach mathematics for the several
undergraduate courses in the São Carlos campus of USP and do research in the following subareas of Topology: Geometric Analysis and
Algebraic, Differential, General and Geometric Topology.
In the subarea of Geometric Analysis the researches in the group study analytic, Whitehead and Reidemeister torsions for manifolds and in
singular manifolds.
In the subarea of Algebraic Topology the researches in the group study homotopy and simple homotopy theory; fibrations and gauge theory;
bordism, equivariant bordism and cobordism of manifolds; Borsuk-Ulam type theorems; root, fixed point, coincidence and G-coincidence
theories; cellular decomposition and group resolutions; homotopy and topology of mapping spaces.
In the subarea of General Topology the researchers in the group study the relationship between proprieties of coverings; new techniques to
obtain weaker topologies and game theory towards applications in the previous subjects.
In the subarea of Differential Topology the researches in the group study foliations in manifolds; classification of group actions on manifolds
and associated dynamical systems.
In the subarea of Geometric Topology the researches in the group study topology of manifolds; topology and geometry of submanifolds in
euclidean spaces and of surfaces in homogeneous manifolds; emersions and embeddings between manifolds; knots, links and braid theories;
algebraic invariants for homotopy and concordance of links.
Research Lines
53
• Classification of group actions on manifolds and associated dynamical
systems.
• Applications of game theory to general topology.
• Bordism, equivariant bordism and cobordism of manifolds.
• Cellular decomposition and group resolutions.
• Fibrations, vector bundles and gauge theory.
• Foliations.
• Geometry and topology of submanifolds in euclidean spaces and of
surfaces in homogeneous manifolds.
• Homotopy and topology of mapping spaces.
• Immersions and embeddings between manifolds.
• Algebraic invariants for homotopy and concordance of
links.
• Properties of coverings; techniques to obtain weaker
topologies; theory of games.
• Borsuk-Ulam type theorems.
• Homotopy and simple homotopy theory.
• Knots, links and braid theories.
• Root, fixed point, coincidence and G-coincidence
theories.
• Topology of manifolds.
• Analytic, Whitehead and Reidemeister torsions for
manifolds and for singular manifolds
Research Catalog - ICMC/USP
Members
Carlos Alberto
Maquera Apaza
Carlos Biasi
Denise de Mattos
José Eduardo Prado
Pires de Campos
Leandro Fiorini
Aurichi
Mauro Flávio
Spreafico
Oziride Manzoli
Neto
Main projects
• Classification of group actions on manifolds with predetermined conditions in the associated dynamical systems
• Classification of manifolds supporting certain actions of Lie groups
• Study of coincidence between fibered maps
• Topological study of real Milnor fibers in low dimension
• G-equivariant degree of maps between generalized manifolds
• Homotopy of braids in surfaces: the theorems of presentation and Artin’ representation
• Topological invariants of the mini-max problems with symmetry
• Equivariant Mini-max theory, rig valued genus of G-spaces and theorems of Borsuk-Ulam
• Roots of continuous maps between CW complexes and manifolds
• Generalized Gysin sequences and applications
• Analytic, Whitehead and Reidemeister torsion for manifolds and manifolds with singularities.
• Algebraic invariants for homotopy and concordance of links
• Algebraic invariants for isotopy, homotopy or concordance of links
54
Research Catalog - ICMC/USP