AcMus – Group of Research and Development of Software for Acoustical Calculus, Analysis, and Simulation of Rooms for Musical Practice 

(FLOSS Competence Center)
Area: Computer Music
Created in: 2001
Description: AcMus is a project on musical acoustics devoted to the development of models and computer tools for the study of room acoustics. The project is carried by a multi-disciplinary group of researchers at the University of São Paulo (Brazil) in collaboration with other institutions. The research activity focuses on the investigation of issues related to the design, control and acoustic treatment of environments tailored for musical activities. It will study the most relevant aspects determining the acoustic quality of a physical environment, which influence the production and reception of musical material.
Research Topics:
Measurement of Acoustic Parameters
Acoustic Simulation
Auralization of Acoustic Environments
Acoustic Optimization
Fabio Kon
Fernando Henrique de Oliveira Iazzetta
Flavio Soares Correa da Silva
Jose Augusto Mannis
Marcelo Gomes de Queiroz
Marcio Henrique de Avelar Gomes
Regis Rossi Alves Faria
Marcelo Gomes de Queiroz
Fabio Kon


Area: Parallel and Distributed Computation
Created in: 1992
Description: the project is a multi-university initiative aimed at building a novel object-oriented Grid middleware that focuses on leveraging the idle computing power of commodity workstations such as PCs in shared laboratories, corporate employee workstations, and household PCs. The goal is to allow organizations to use their existing computing infrastructure to perform useful computation, without requiring the purchase of additional hardware. Moreover, users who share the idle portion of their resources should have their quality of service preserved by the InteGrade middleware. InteGrade provides support for highly-coupled parallel applications, checkpointing, security, and an integrated development environment.
Research Topics:
Identification of User Access Patterns
Inter-Cluster Resource Management
Distributed Execution of Parallel Algorithms
Mobile Agents
Development Environment for Grid Applications
Accessing Computers Behind NATs and Firewalls
Flexible and Easy to Use Middleware
Constraining resource usage at user level
Alexandre César Tavares Vidal
Alfredo Goldman vel Lejbman
Arlindo Flavio da Conceição
Carlos Eduardo Rodrigues Alves
Dilma Menezes da Silva
Fabio Kon
Fernando José Castor de Lima Filho
Francisco Carlos da Rocha Reverbel
Jose de Ribamar Braga Pinheiro Junior
Kunio Okuda
Marcelo Finger
Marco Aurélio Gerosa
Marco Dimas Gubitoso
Raphael Yokoingawa de Camargo
Siang Wun Song
Siang Wun Song
Fabio Kon


Laboratory of Interactivity and Digital Entertainment Technology (LIDET)
Created in: 2005
Description: the group’s goal is to foster and to develop high level research on the construction of interactive spaces and on digital entertainment. Interactive spaces are environments endowed with capabilities to sense and respond to the presence and to the activities of their inhabitants which can be human beings, various physical devices, and software agents. Digital entertainment includes - but is not limited to - computer games in their various embodiments. The primary focus of the group is on the development of novel technologies to develop systems and artifacts for digital entertainment, and on the analysis and development of novel applications of these technologies, e.g. in education, ambient intelligence, and the development of user interfaces for human-computer interaction.
Research Topics:
Intelligent Environments
Digital Entertainment
Philosophy of Technology
Knowledge Management
Flávio Soares Corrêa da Silva
Flávio Shigeo Yamamoto (Ph.D. student)
Filipe Correa Lima da Silva (MSc student)
Tiago Motta Jorge (MSc Student)
Sérgio Haruo Nakanishi (Undergraduate student)
Flávio Soares Corrêa da Silva 


Laboratory of Logics, Artificial Intelligence and Formal Methods (LIAMF)
Created in: 2000
Description: The group consists currently of five staff members and their graduate and undergraduate students. It’s involved in research funded by the Brazilian government and/or institutional funding agencies, international agencies as well as industry. It offers regular courses at graduate and undergraduate levels and also short courses on specific topics, usually related to ongoing projects.
Research Topics:
Artificial Intelligence
Computational Linguistics
Computational Logic
Formal Methods

Ana Cristina Vieira de Melo
Flavio Soares Correa da Silva
Leliane Nunes de Barros
Marcelo Finger
Marilza Antunes de Lemos
Renata Wassermann
Silvio do Lago Pereira


LogProb - Logical and Probability
Created in: 2009
Among the several possible forms of rational reasoning, logical rea-oning and probabilistic inference have received particular attention in practive, having been incorporated both in modelling situations of the world and in computer programs aimed at performing a variety os tasks. However, the possible interactions between these forms of reasoning are not very well understood yet, both in theory and in the practice of constructing computational applications. In the theoretical perspective, it is still to be established the relationship between truth values and probability distributions over formulas. In the practical perspective, it is still to be established the limits of when to apply logical reasoning and when to apply statistic inference. This research project intends to investigate those questions, both in the theoretical and practical perspectives. The project will focus on four interface areas between logic and probabilities, namely, probabilistic satisfiability, probabilistic description logics applied to the semantic web, probabilistic planing and scene analysis. This project intends to produce several pieces of software covering the area under invertigation that will be made available under a FLOSS (Free/Libre/Open Source Software) licence as part of the activities of the Artificial Intelligence division of the Center for Competence in Free Software at the University of Sao Paulo.
Research Topics:
Probabilistic Satisfiability
Probabilistic Description Logics Applied to the Semantic Web
Probabilistic Planing
Cognitive Vision
Anna Helena Reali Costa
Claudia Monteiro Peixoto 
Fabio Gagliardi Cozman
Fabio Natanael Kepler
Leliane Nunes de Barros
Marcelo Finger
Paulo Eduardo Santos
Renata Wassermann
Marcelo Finger


In addition to the research groups above, the FLOSS Competence Center (associated to the DCC) holds several projects which involve a lot of research activity:


AAAP project
The AAAP project (Support Environment for Programming Teaching) integrates a set of tools to aid in learning how to program.


AcMus project (already mentioned)
The AcMus project investigates room acoustics with a focus on rooms destined to musical performance and production. Its main activity beyond the scientific research is the development of the
AcMus software, an eclipse-based application for acoustic measurements, calculations, and simulations. The software is currently in use by research groups and professionals in several countries to perform acoustic measurements and analysis.


Archimedes - The Open CAD
The project Archimedes is a platform for developing computer aided design (CAD) systems. The project, over 3 years old, aims to create a trustful and simple development base with the basic tools needed to elaborate a technical architectural project. Those tools allow to improve the software adding more complex features.


The Arquigrafia is a social network for collaborative construction of a digital image collection of Brazilian architecture. The Arquigrafia aims to bring together photographs, drawings and videos from all over the country, produced by architects, students, teachers, photographers, and people interested in architecture. The Arquigrafia is available on the Web, following the model of Web 2.0, and by means of mobile devices (Android). The Arquigrafia is built using the
GroupwareWorkbench platform.



The Baile project aims to study and resolve problems related to the development and use of web service choreographies in large-scale environments, in particular those related to Cloud Computing. The project investigates means by which choreographies can evolve and adapt when the services they are composed of are in constant change, keeping the quality of service in acceptable levels when these services fail or the cloud resource availability fluctuates.


The goal of the Borboleta Project is to investigate tools and innovative methodologies in IT to support home care programs in public health, using advanced tools of Mobile Computing to promote the improvement of health services offered to people with low income.


Graph Matching project
The graph matching project deals with graph matching problems and aims at the construction of a platform to solve various match-modeled problems, such as interactive image segmentation and the correspondence between detected spots in bidimensional gel electrophoresis images for large scale protein study.


CoGrOO – Grammar Checker for
CoGrOO is a system that detects grammar  errors in texts written in Portuguese. Natural Language Processing techniques are used to analyze texts in its different layers: sentence, word (morphological analysis), noun phrases, verbal phrases and subject-verb (syntactic analysis). Patterns are applied to the output of the analyses to determine potential grammar errors. Its natural language processing modules could be reused as part of other products that deal with natural language. CoGrOO Comunidade is a collaborative tool for the development of the FLOSS Grammar Checker.



Colmeia project
The colmeia project aims to automate all activities of an university library, offering a high-level integrated software system that responds to the specific needs of all kinds of users (students, professors, employees, and guest users).


DonkeySurvey project
The DonkeySurvey’s goal is to a tool to collect and store data on the traffic passing on the client MLDonkey p2p networks for file sharing. The collection of such information allows the subsequent analysis of network behavior for research purposes or research. It is intended primarily to store which network nodes, and under what circumstances, seek or provide certain files (or file types), extracting statistics that are relevant to the search.


Eclipse @ IME/USP
The Eclipse project promotes training, research and development on the Eclipse platform. Some other projects, such as Archimedes and AcMus, are based on the Eclipse environment.


EGene is a configurable pipeline generation system for automated sequence analysis.

GOAT (created by students)
The Group of Open Applied Technologies (GOAT) was created on February of 2009 by a group of students from IME/USP with the purpose of study technologies that would help design good open souce quality systems. Besides individual studies, the group gets togheter every monday at the university to share, learn and evolve


Groupware Workbench project
The project develops a suite of components inspired by the 3C collaboration model. This approach starts at the group collaboration needs, analyzed from the point of view of communication, coordination, cooperation, and uses software components organized around this model to compose each solution. The components available permit the composition, recomposition, and customization of services, so as to reflect modifications in the collaboration profile, forming the basis of collaborative applications for the Web 2.0.


InteGrade project (already mentioned)
The project is focused on grid computing using object-oriented techniques. In addition to scientific research, the project maintains the software InteGrade, an infrastructure for computing in opportunistic grid using the idle processing power of ordinary desktop computers. 


Kalibro Metrics
Kalibro Metrics aims to improve the use of source code metrics. It is designed for easy integration with a metric collector tool and show the results in a friendlier way. For that, it allows a metric specialist to create a configuration of thresholds associated with qualitative evaluation, including comments and recommendations. These configurations are used to enhance metric results interpretation.


The OnAIR (Ontology Aided Information Retrieval), system allows users to enter a query in natural language and searches a digital video database for the clip which best answers the query. The system was first developped by Christian Paz-Trillo and Paula Braga and was part of Christian's Master’s Thesis, supervised by Renata Wassermann. Now the OnAIR is manteined and developed by Raphael Cóbe as the main theme of his Doctoral Thesis supervised by Dr. Renata Wassermann and Dr. Fabio Kon.

Recent advances in the theory of Probabilistic satisfiability (PSAT) have shown that it displays a "Phase Transition Behavior", which means that there are PSAT problems of considerable size which can be efficiently solved.  Two algortithms were proposed that display exactly that kind of behavior: a reduction of PSAT to SAT, and a mix of linear programming and SAT using Column Generation Techniques. This project presents implementations for these two techniques.

scriptLattes is an open-source system to create academic reports of groups based on curricula of the Lattes Database. The scriptLattes system is composed by the following modules: (a) data selection, (b) data preprocessing, (c) redundancy treatment, (d) collaboration graph generation among group members, (e) research map generation based on geographical information, and (f) automatic report creation of bibliographical, technical and artistic production, and academic supervisions.


The Tango Project (Trustable Algorithms for Nonlinear General Optimization) develops a set of routines in Fortran for optimization.


Human-machine integration for vessel segmentation project
The Human-machine integration for vessel segmentation project is geared towards automatic segmentation of blood vessels on retinal images. This is the first stage of the process for automatic detection of progressive diabetic retinopaty.


VoIPFix project
The VoIPFix project arose from the need for a tool to complement similar tools in the analysis of computer networks for IP telephony. It was built to be an efficient and unique management tool for VoIP, with advanced features required to support the computer network and IP telephony professionals to observe and diagnose problems related to VoIP.


VRaptor, currently at version 3, is an MVC web framework targeting agile development. By means of inversion of control and dependency injection, time spent in development is drastically reduced, thanks to the elimination of repetitive code: validations, convertions, assignments, ajax, and lookups.

scriptLattes is an open-source system to create academic reports of groups based on curricula of the Lattes Database. The scriptLattes system is composed by the following modules: (a) data selection, (b) data preprocessing, (c) redundancy treatment, (d) collaboration graph generation among group members, (e) research map generation based on geographical information, and (f) automatic report creation of bibliographical, technical and artistic production, and academic supervisions.