Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
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