Seminários PESC 2023
Os Seminários PESC tem como objetivo trazer palestras acessíveis a um público mais amplo ministradas por pesquisadores e professores mais experientes (tanto do PESC como externos). Ao longo do ano teremos temas e foco variados podendo ser mais específicos ou mais abrangentes.
A apresentação e discussão de ideias novas e antigas de diferentes temas contribui de maneira fundamental para a formação e pesquisa desenvolvida por alunos e professores, sendo muitas vezes de interesse de um público mais amplo.
Veja a seguir os próximos Seminários programados.
Maculan 80 Anos: Uma Homenagem ao Prof. Nelson Maculan
![]() |
Uma manhã de homenagem aos 80 anos do Prof. Nelson Maculan.
Quarta-feira, 29 Março 2023, a partir das 8:30 horas.
Local: Auditório da COPPE no CT2.
Realização conjunta PESC/COPPE e Inst. de Matemática (IM/UFRJ). Programação:
08:30 hs - Recepção e Café
09:30 hs - Homenagem
11:30 hs - Coquetel
|
Resumo:
No seminário PESC de março, o Instituto de Matemática e a COPPE fazem uma homenagem conjunta ao nosso professor duplamente Professor Emérito pelos seus 80 anos que tanto inspiram o CCMN e o CT.
Palestrantes:
Como palestrantes teremos orientados no PESC pelo homenageado: o professor Carlile Lavor, da UNICAMP, co-autor mais frequente do homenageado; o professor Marcone Souza, ex-reitor da UFOP, onde o homenageado se graduou; a professora Lorena Pradenas, da Universidade de Concepción no Chile; os professores Victor Giraldo e Gregório Malajovich, do Instituto de Matemática da UFRJ; e o professor Luidi Gelabert Simonetti do PESC/COPPE/UFRJ.
List matrix partition problems on chordal graphs parameterized by leafage
Flavia Bonomo (Universidad de Buenos Aires)
List matrix partition problems on chordal graphs parameterized by leafage
Flavia Bonomo (Universidad de Buenos Aires), Professora Associada
Dia 12/04 (quarta-feira), 10 horas, Sala H-324B.
Transmissão ao vivo no Canal do PESC no YouTube.
|
Abstract:
Graph k-coloring and k-clique cover are examples of partition problems in graphs, in the first case into k independent sets, in the second case into k cliques. Moreover, maximum clique and maximum independent set are examples of partition problems into two sets, one arbitrary and the other one required to be a clique (resp. independent set), with the addition of a linear objective function to maximize. These are examples of matrix partition problems. For each symmetric matrix M over {0,1,*}, the M-partition problem seeks a partition of the input graph into independent sets, cliques, or arbitrary sets, with certain pairs of sets being required to have no edges joining them, or to have all edges joining them, as encoded in the matrix. Moreover, the vertices of the input graph can be equipped with lists, restricting the parts to which a vertex can be placed. Even if the first four problems (k-coloring, k-clique cover, maximum clique and maximum independent set) are polynomially solvable on chordal graphs, Feder, Hell, Klein, Nogueira and Protti in 2005 proved that there are M-partition problems (without lists) that remain NP-complete for chordal graphs. In this talk, making use of a graph width parameter called "thinness", we will show that all list matrix partition problems with linear objective functions are XP on chordal graphs, parameterized by the leafage of the chordal graph. (The leafage of a chordal graph is the minimum number of leaves in a tree such that the graph can be realized as an intersection graph of subtrees of that tree.)
These results are from joint works with Diego De Estrada and with Nick Brettell, Andrea Munaro and Daniël Paulusma.
Short Bio:
Flavia Bonomo é licenciada em Ciências Matemáticas e doutora em Ciências da Computação pela Universidade de Buenos Aires. Atualmente atua como Professora Associada com dedicação exclusiva no Departamento de Computação da FCEN-UBA e Pesquisadora do ICC-CONICET (Argentina). Sua principal área de pesquisa é a Teoria dos Grafos, embora também tenha artigos publicados sobre tópicos de Pesquisa Operacional, e mantém estreita colaboração nesses temas desde 2002 com pesquisadores da COPPE, UFRJ. No campo da Teoria dos Grafos seus principais tópicos de interesse cobrem as caracterizações estruturais de classes de grafos, o estudo de diferentes parâmetros de largura em grafos, e a delimitação de fronteiras em termos de complexidade computacional e classes de grafos para vários problemas de otimização combinatória.
Em seguida teremos (save the date):
dia 03/05 – Land
dia 14/06 - Profa. Celina na Academia Brasileira de Ciências (moderador Prof. Valmir)
dia 26/06 - Prof. Vijay Narayanan
dia 14/06 - Profa. Celina na Academia Brasileira de Ciências (moderador Prof. Valmir)
dia 26/06 - Prof. Vijay Narayanan
Seminários já realizados no ano (veja a gravação no Canal do PESC no Youtube):
(Re)Use of Research Results … why should we?
Maria Teresa Baldassarre (University of Bari)
(Re)Use of Research Results … why should we?
Maria Teresa Baldassarre (University of Bari), Associate Professor
Dia 22/03 (quarta-feira), 11 horas, Sala H-324B.
Transmissão ao vivo no Canal do PESC no YouTube.
|
Abstract:
According to Popper, the ideas we can most trust are those that have been most tried and most tested. For that reason, many of us are involved in the process called “Science” that produces trusted knowledge by sharing one’s ideas, and trying out and testing others’ ideas (i.e. reusing and replicating). Science and scientists form communities where people do each other the courtesy of curating, clarifying, critiquing and improving a large pool of ideas. According to this definition, one measure of the health of a scientific community is how much it reuses results. Registered Reports are scientific publications which begin the publication process by first having the detailed research protocol, including key research questions, reviewed and approved by peers. Subsequent analysis and results are published with minimal additional review, even if there was no clear support for the underlying hypothesis, as long as the approved protocol is followed. Registered reports can prevent several questionable research practices and give early feedback on research designs. This talk will explain the motivation for registered reports, outline the way they have been implemented in software engineering, and outline some ongoing challenges for addressing high quality software engineering research through the importance of artifact evaluation and the role of reusing research results.
Short Bio:
Maria Teresa Baldassarre is Associate Professor, PhD, at the Department of Informatics of the University of Bari, Italy and member of the Software Engineering Research Laboratory (SERLab) where she coordinates the Process&Product Quality area. Her research interests are mainly focused on empirical software engineering, human factors in software engineering, software measurement and quality assurance. She is involved in several research projects and carries out controlled and in field experimentation within small and medium enterprises, and international academic partners. She is a partner of the SER&Practices spin off company of the University of Bari. Currently she is the representative for the University of Bari in the International Software Engineering Research Network (ISERN) and is PC member of several relevant software engineering and empirical software engineering international conferences. She is Associate Editor of Decision Support Systems Journal. Part of the Editorial Board of Empirical Software Engineering Journal, and co-chair of Registered Reports. She has covered several roles in the organization of software engineering related conferences.