Seminários PESC 2024
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.
Os Seminários que são on line ou híbridos ficam gravados no Canal do PESC no Youtube que apresenta muitas outras gravações importantes sobre o que acontece no PESC.
Veja a seguir os próximos Seminários programados.
Trajetórias em Inteligência Artificial de duas premiadas Cientistas Mulheres do Estado do Rio de Janeiro egressas do PESC
Profa. Aline Paes (IC/UFF) e Profa. Carolina Marcelino (IC/UFRJ)
 |
Trajetórias em Inteligência Artificial de duas premiadas Cientistas Mulheres do Estado do Rio de Janeiro egressas do PESC
Profa. Aline Paes (IC/UFF) e Profa. Carolina Marcelino (IC/UFRJ)
Moderadores Prof. Gerson Zaverucha e Prof. Carlos Eduardo Pedreira
|
Abstract:
A palestra abordará a jornada de duas cientistas que se destacam no campo da Inteligência Artificial do Estado do Rio de Janeiro, apontando o cenário e os desafios enfrentados por mulheres na área e como elas lidaram com esses desafios em suas carreiras. As cientistas discutirão seus projetos atuais, em particular os projetos aceitos no edital "Programa de Apoio à Jovem Cientista Mulher com vínculo em ICTs do Estado do Rio de Janeiro", enfatizando suas expectativas de como os projetos podem beneficiar a sociedade. A conversa também enfocará a importância da diversidade na tecnologia, concluindo com perspectivas futuras para IA e a ciência, e como a inclusão de vozes femininas pode resultar em tecnologias mais inovadoras e inclusivas.
Short Bio Aline:
Aline Marins Paes de Carvalho é professora associada do Instituto de Computação da Universidade Federal Fluminense (UFF). É mestre e doutora em Engenharia de Sistemas e Computação, com ênfase em Inteligência Artificial, pela COPPE-Sistemas, UFRJ, tendo feito estágio de doutoramento (sanduíche) por um ano no Imperial College London, UK. Atualmente, é Jovem Cientista do Nosso Estado pela FAPERJ e bolsista de produtividade nível E do CNPq. Aline Paes atua na área de Inteligência Artificial, com interesses e contribuições nos seguintes temas: aprendizado de máquina, integrado a técnicas neurais, estatísticas e lógicas, aprendizado de representações para linguagem natural, adaptação de modelos e aprendizado por transferência, IA explicável e IA para bem-estar social. Aline faz parte do comitê editorial do Machine Learning Journal, da Revista Iberoamericana de Inteligência Artificial e do Journal of Brazilian Computer Society. Participa regularmente do comitê de programa de alguns dos principais congressos internacionais da área de Inteligência Artificial, além de ser revisora ad-hoc de diversos periódicos internacionais. Já coordenou/coordena projetos de pesquisa aprovados por órgãos de fomento, incluindo dois Projetos Universais CNPq, um Projeto "APQ1 FAPERJ", dois projetos "Jovem Cientista do Nosso Estado FAPERJ", e um projeto "Jovem Cientista Mulher em ICT's do Rio de Janero FAPERJ", todos na área de Inteligência Artificial. Desde 2020, faz parte do Grupo Brasileiras em PLN. Em 2023, foi professora visitante no Grupo de NLP da University of Sheffield, com bolsa do projeto CAPES-PRINT.
Short Bio Carolina:
Carolina Gil Marcelino concluiu o doutorado no CEFET-MG em 2017 com estágios sanduíche no INESC Technology and Science, associado a Universidade do Porto (sob orientação do Prof. Vladimiro Miranda), e no Karlsruher Institut für Technologie (com bolsa do ERASMUS MUNDUS- BE Mundus Project). Venceu em 2014 o prêmio anual CAPES-VALE de sustentabilidade pela melhor dissertação de mestrado. Realizou pós-doutorado na COPPE entre 2017-2019 sob supervisão do Prof. Carlos Eduardo Pedreira com uma bolsa PNPD da CAPES-FAPERJ. Em 2020 foi agraciada, em uma concorrência internacional, com um financiamento H2020/ Marie Skłodowska-Curie Actions (MSCA)/COFUND - Grant Agreement: 754382, para executar por 2 anos o projeto "Multi-objective and decision making methodology to solve optimal power flow problems: an approach applied to hybrid microgrid systems" na Universidade de Alcalá, na Espanha. Atualmente é Professor Adjunto da Universidade Federal do Rio de Janeiro. Recentemente recebeu financiamento para orientar um pós-doutorando na chamada Programa de Desenvolvimento da Pós-Graduação (PDPG) Pós-Doutorado Estratégico no Programa de Pós-Graduação de Informática (PPGI/UFRJ). Desde 2018 publicou 13 artigos em periódicos JCR, 12 como 1a autora, incluindo 7 com fator de impacto superior a 5. Seus principais interesses de investigação são: otimização de fluxo de potência, eficiência energética, algoritmos evolucionários, aprendizado de máquinas e classificação de padrões.
Em seguida:
dia 15 de maio - Prof. Carlos Pedreira - Pesquisador CNPq 1A
dia 15 de maio - Prof. Carlos Pedreira - Pesquisador CNPq 1A
dia 26 de junho - Prof. Fabio Santos, tema Oppenheimer.
Recent Advances on Derivative-Free Optimization
Pesquisas e Oportunidades de Colaboração com o Depto. de Computação da Universidade do Porto
Seminários já realizados no ano:
Recent Advances on Derivative-Free Optimization
Prof. Geovani Grapiglia
 |
Recent Advances on Derivative-Free Optimization
Prof. Geovani Grapiglia (Université Catholique de Louvain, Bélgica)
Moderador Prof. Nelson Maculan
|
Abstract:
Optimization problems are ubiquitous in Applied Mathematics. They appear in decision making problems, in
the design of efficient devices and also in the calibration of mathematical models. Iterative methods for nonlinear optimization generate sequences of approximations obtained by the minimization of simpler local models. In standard optimization methods, local models are built using derivatives of the functions that define the problem. However, in many practical situations these derivatives are not readily available. This happens, for example, when the function values are obtained as the result of some blackbox computer simulation. These problems can be addressed using Derivative-Free Optimization methods, which are methods that rely only on function evaluations. In this talk I will present some recent results about the worst-case complexity of derivative-free methods.
Short Bio:
Prof. Geovani Nunes Grapiglia se doutorou em Matemática em 2014 pela Universidade Federal do Paraná, onde foi professor de 2015 a 2021. Desde 2022 ocupa a cátedra que foi do Prof. Yurii Nesterov na Université Catholique de Louvain (Louvain-la-Neuve), Bélgica.
Sua pesquisa cobre o desenvolvimento, a análise e a aplicação de métodos de otimização.
Seus trabalhos recentes estão associados com os métodos sem-derivada para otimização, visando à aceleração dos métodos de grande porte para a otimização convexa.
Alguns dos seus últimos trabalhos:
1-GRAPIGLIA, G, N.; Quadratic regularization methods with finite-difference gradients. COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, v. 85, p. 683-703, 2023.
2-FERREIRA, O. P.; GRAPIGLIA, G. N.; SANTOS, E. M. ; SOUZA, J. C. O. . A subgradient method with non-monotone line search. COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, v. 84, p. 397-420, 2023.
3-GRAPIGLIA, G. N.. Worst-Case Evaluation Complexity of a Quadratic Penalty Method for Nonconvex Optimization. OPTIMIZATION METHODS & SOFTWARE, v. 38, p. 781-803, 2023.
4-GRAPIGLIA, G. N.; STELLA, G. F. D.. An Adaptive Riemannian Gradient Method Without Function Evaluations. JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, v. 197, p. 1140-1160, 2023.
5-GRAPIGLIA, G. N.; NESTEROV, YURII. Adaptive Third-Order Methods for Composite Convex Optimization. SIAM JOURNAL ON OPTIMIZATION, v. 33, p. 1855-1883, 2023.
6-GRAPIGLIA, G.N.; NESTEROV, YURII. Tensor methods for finding approximate stationary points of convex functions. OPTIMIZATION METHODS & SOFTWARE, v. 37, p. 605-638, 2022.
Seminários de 2023:
Pesquisas e Oportunidades de Colaboração com o Depto. de Computação da Universidade do Porto
João P. Vilela (Univ. do Porto)
 |
Pesquisas e Oportunidades de Colaboração com o Departamento de Computação da Universidade do Porto
João P. Vilela (Univ. do Porto)
Dia 30/08 (quarta-feira), 11 horas, Sala H-324B.
Transmissão ao vivo no Canal do PESC no YouTube.
|
Abstract:
A presentation about the University of Porto and DCC-FCUP, for both faculty members as well as students at UFRJ. The goal is to disseminate information about the University of Porto, and the several degrees offered by DCC-FCUP, as well as its research areas. I will present the research areas and selected projects of DCC-FCUP as well as my own research work on security and privacy with the goal of disseminating the research performed at DCC-FCUP and identifying synergies with UFRJ from a research perspective. The presentation will be followed by Q&A and interactions with faculty and students. I will also be available for more focused discussions in the afternoon to interested faculty and students.
Short Bio:
João P. Vilela is a professor at the Department of Computer Science of the University of Porto and a senior researcher at INESC TEC and CISUC. He was previously a professor at the Department of Informatics Engineering of the University of Coimbra, after receiving the Ph.D. in Computer Science in 2011 from the University of Porto, Portugal. He was a visiting researcher at Georgia Tech, working on physical-layer security, and at MIT, working on security for network coding. In recent years, Dr. Vilela has been coordinator and team member of several national, bilateral, and European-funded projects in security and privacy. His main research interests are in security and privacy of computer and communication systems, with applications such as wireless networks, Internet of Things and mobile devices. Specific research topics include wireless physical-layer security, security of next-generation networks, privacy-preserving data mining, location privacy and automated privacy protection.
(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.
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
Moderador: Prof. Jayme Luiz Szwarcfiter
Dia 12/04 (quarta-feira), 10 horas, Sala H-324B.
|
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.
Comemorando os 130 Anos do LAND
 |
Uma manhã comemorativa (60 + 70) do LAND.
Pessoal do LAND contando histórias do mesmo. Quarta-feira, 3 Maio 2023, a partir das 10 horas.
|
Resumo:
O Laboratório de Modelagem, Análise e Desenvolvimento de Redes e Sistemas de Computação (LAND) é um pilar do Programa de Engenharia de Sistemas e Computação.
A oportunidade de uma dupla comemoração 60 + 70 é irresistível para os pesquisadores que receberam no LAND os primeiros passos decisivos na sua formação.
Ouviremos testemunhos nostálgicos e inspiradores, pois o laboratório tem inúmeras histórias a contar sobre o seu impacto na pesquisa nas suas várias áreas de atuação (tais como modelagem e análise, redes de computadores e aprendizado de máquina), além de sua contribuição na formação de pesquisadores.
Data Science and Innovation
Patrick Valduriez (Inria)
 |
Data Science and Innovation
Patrick Valduriez (Inria France), Emeritus Senior Scientist
Scientific Director of the Inria-Brasil International Lab
Dia 04/05 (quinta-feira), 14 horas, Sala H-324B.
Transmissão ao vivo no Canal do PESC no YouTube.
|
Abstract:
Data science and innovation have become overloaded terms, leading to some confusion. To be successful, the innovation process involves not only inventions (e.g., new methods) but also context, e.g., user behavior, and timing, e.g., market readiness. In this talk, I discuss the potential impact of data science on innovation, using selected success stories. I also discuss innovation within the Inria-Brasil strategic partnership.
Short Bio:
Patrick Valduriez is an emeritus senior scientist at Inria, France, the scientific director of the Inria-Brasil international lab. and the Chief Scientist Officer of the LeanXcale company (that delivers a news generation NewSQL database). He has been consulting for major companies in USA (HP Labs, Lucent Bell Labs, NERA, LECG, Microsoft), Europe (ESA, Eurocontrol, Ask, Shell) and France (Bull, Capgemini, Matra, Murex, Orsys, Schlumberger, Sodifrance, Teamlog).
He is currently a member of the Zenith team (between Inria and University of Montpellier at the LIRMM lab.) that focuses on data science, in particular data management in large-scale distributed and parallel systems and scientific data management. He has authored and co-authored more than 200 technical papers and several textbooks, among which “Principles of Distributed Database Systems” (with Professor Tamer Özsu, University of Waterloo). He currently serves as associate editor of the Distributed and Parallel Databases journal. He has served as PC chair of major conferences such as SIGMOD and VLDB. He was the general chair of SIGMOD 2004, EDBT 2008 and VLDB 2009.
He received several best paper awards, including VLDB 2000. He was the recipient of the 1993 IBM scientific prize in Computer Science in France and the 2014 Innovation Award from Inria and the French Academy of Science. He is an ACM Fellow.
On Edge Domination of Graphs
Jayme Luiz Szwarcfiter
 |
On Edge Domination of Graphs
Jayme Luiz Szwarcfiter
Dia 17/05 (quarta-feira), 10 horas, Sala H-324B.
|
Abstract:
Denote by G, an undirected simple graph, with vertex set V , and edge set E. An edge e ∈ E dominates itself and every edge adjacent to e. A set E′ ⊆ E is an (edge) dominating set of G, if each edge of E is dominated by some edge of E' . The domination is called efficient if each edge is dominated exactly once, and is called proper if each edge of E \ E′ is dominated exactly once. In this talk, we survey and describe complexity results on these three types of edge domination. In particular, we consider the class of graphs, where each edge is contained in some triangle. We mention hardness and polynomial time cases on subclasses of this class, for edge domination problems.
Short Bio:
Jayme Luiz Szwarcfiter é Professor Emérito da UFRJ atuando no Programa de Engenharia de Sistemas e Computação da COPPE, no Instituto de Matemática e no Núcleo de Computação Eletrônica. Atualmente é Pesquisador Visitante do Instituto de Matemática e Estatística da UERJ. Atua nas áreas de Algoritmos, Teoria da Computação e Matemática Discreta. Publicou diversos livros-textos influentes nessas áreas, além da formação de dezenas de mestres e doutores. É Pesquisador 1-A do CNPq, Membro Titular da Academia Brasileira de Ciências, Grã-Cruz da Ordem Nacional do Mérito Científico, e recebeu inúmeros prêmios de destaque nacional e internacional por suas contribuições acadêmicas e científicas.
A Perfect Path from Computational Biology to Quantum Computing
Celina Miraglia Herrera de Figueiredo
 |
A Perfect Path from Computational Biology to Quantum Computing
Celina Miraglia Herrera de Figueiredo
Moderador Prof. Valmir Carneiro Barbosa Dia 14/06 (quarta-feira), 10 horas, Sala H-324B
Transmissão ao vivo no Canal do PESC no YouTube
|
Abstract:
I'll revisit my contributions to the P versus NP millennium problem and the computational complexity of combinatorial problems, especially those arising in Computational Biology and Quantum Computing, through 20 PhD theses, mine and of my students. I'll explain how the dichotomy NP-complete versus polynomial-time of long-standing problems together with their multivariate analysis is settled. Yet, intriguing questions remain.
Short Bio:
Celina chegou na UFRJ em 1987 quando iniciou o seu doutorado no PESC sob a orientação do professor Jayme Szwarcfiter. Ela começou em 1989 sua carreira docente como professora assistente no Instituto de Matemática e é professora titular da COPPE desde 2011. Foi eleita para a Academia Brasileira de Ciências em 2022.
Accelerating Visual Analytics Across the Memory and Storage Stack
Vijaykrishnan Narayanan
 |
Accelerating Visual Analytics Across the Memory and Storage Stack
Vijaykrishnan Narayanan
Moderador Prof. Diego Leonel Cadette Dutra Dia 26/06 (segunda-feira), 10 horas, Sala H-324B.
Transmissão ao vivo no Canal do PESC no YouTube.
|
Abstract:
Data analytics involves the discovery of patterns and com plex relations in data to assist with effective decision-making. Such analytics are applied on a variety of data forms such as video streams, financial data, social media messages, and sensor information from smart homes and personal health monitoring devices. However, data analytics is becoming exceedingly challenging as the generated volume of data is increasing exponentially. Co-design across the stack from materials to architectures will be vital to addressing cross cutting challenges posed by the enormity of data that needs to be processed. This talk will showcase such optimization targeted at visual analytic applications such as Deep Neural networks, graph analytics and query support.
First, I will present a Look-Up Table (LUT) based Processing-In-Memory (PIM) technique with the potential for running Neural Network inference tasks. The proposed LUT-based PIM methodology exploits substantial parallelism using look-up tables that preserve the bit-cell and peripherals of the existing SRAM monolithic arrays in processor caches. Next, I will present GaaS-X, a graph analytics accelerator that inherently supports sparse graph data representations using in-situ compute-enabled crossbar memory architectures. The proposed design alleviates the overheads of redundant writes, sparse to dense conversions, and redundant computations on the invalid edges that are present in other state-of-the-art crossbar-based PIM accelerators. Finally, I will present an in-SSD key-value database that uses the embedded CPU core, and DRAM memory on the SSD to support various queries with predicates and reduce the data movement between SSD and host processor significantly.
Short Bio:
Vijaykrishnan Narayanan is the Associate Dean for Innovation in Engineering and A. Robert Noll Chair Professor of Computer Science & Engineering and Electrical Engineering at the Pennsylvania State University. Vijay received his Bachelors in Computer Science & Engineering from University of Madras, India in 1993 and his Ph.D. in Computer Science & Engineering from the University of South Florida, USA, in 1998. He is a Fellow of the National Academy of Inventors, IEEE and ACM. He served as Editor-in-Chief of IEEE TCAD and ACM Journal of Emerging Technologies in Computing Systems. He currently serves as Associate Editor-in-Chief of IEEE Micro.
Conectando os Pontos - A Contribuição de Robert Metcalfe Para a Computação
Claudio Miceli de Farias
 |
Conectando os Pontos - A Contribuição de Robert Metcalfe Para a Computação
Claudio Miceli de Farias
Moderador: Daniel Ratton Figueiredo
Dia 12/07 (quarta-feira), 10 horas, Sala H-324B
Transmissão ao vivo no Canal do PESC no YouTube
|
Abstract:
Nessa palestra homenagearemos a contribuição do vencedor do prêmio turing de 2022 - Robert Metcalfe. Falaremos sobre o protocolo Ethernet e como é uma das pedras fundamentais que permite o funcionamento não somente da internet mas de diversos sistemas distribuídos.
Short Bio:
O professor Claudio Miceli de Farias fez graduação em Ciência da Computação (2008), mestrado (2010) e Doutorado (2014) em Informática pela Universidade Federal do Rio de Janeiro. Atualmente, atua no Programa de Pós-Graduação em Engenharia de Sistemas e Computação (PESC-COPPE-UFRJ) e no Instituto Tércio Pacitti de Pesquisas e Aplicações Computacionais da UFRJ. Os principais temas de interesse do professor são cidades inteligentes, Internet das Coisas, Fusão de dados e Segurança.
Achieving Product Orientation in DevOps Teams
Anna Wiedemann (University of Applied Sciences Zurich)
 |
Achieving Product Orientation in DevOps Teams
Anna Wiedemann (University of Applied Sciences Zurich)
Dia 23/08 (quarta-feira), 11 horas, Sala H-324B
Transmissão ao vivo no Canal do PESC no YouTube
|
Abstract:
Changes in IT organization and technology environments make it necessary to adapt and review how mission-critical IT functions align with firm strategy. IT functions increasingly use cross-functional teams to manage the lifecycle of digital solutions. As cross-functional teams begin to alter how we develop and maintain software, they may also result in control–alignment misfits that diminish the efficacy of functional project and operations controls. With the help of qualitative research methods, we examine how the integration of product-oriented cross-functional teams challenges and transforms the IT function. We apply grounded theory and derive models that give insights into how alignment between development and operations can be achieved in DevOps teams within the IT function.
Short Bio:
Anna Wiedemann is Postdoc/Lecturer at Zurich University of Applied Sciences in the area of Agile IT/DevOps Teams, process management and integration. Her research concentrates on Business-IT Alignment and Governance topics. She is interested in how traditional IT departments can efficiently organize themselves in the age of digitalization to quickly deliver new digital innovations and products to their customers.
Atenção (com os Fundamentos de Computação) é (Quase) Tudo o que Precisamos:
o papel dos modelos de sistemas de computação e sua conexão com Aprendizado de Máquina baseado em Modelos
Edmundo de Souza e Silva
 |
Atenção (com os Fundamentos de Computação) é (Quase) Tudo o que Precisamos: o papel dos modelos de sistemas de computação e sua conexão com Aprendizado de Máquina baseado em Modelos
Edmundo Albuquerque de Souza e Silva (PESC/COPPE)
Prêmio Mérito Científico da ABC Dia 13/09 (quarta-feira), 11 horas, Sala H-324B.
Transmissão ao vivo no Canal do PESC no YouTube.
|
Resumo:
O professor Edmundo de Souza e Silva, professor titular do PESC, foi recentemente agraciado com o prêmio Mérito Científico
da Sociedade Brasileira de Computação (SBC). A premiação "Homenageia membros da SBC com reconhecida contribuição técnico-científica em pelo menos uma das várias áreas e especialidades da computação abrangidas pela SBC". Esse seminário é baseado em duas palestras recentes proferidas pelo Prof. Edmundo: a primeira ministrada durante a 75a Reunião Anual da Sociedade Brasileira para o Progresso da Ciência (SBPC) como parte de um painel sobre o impacto de IA na produção acadêmica; a segunda é referente ao Prêmio de Mérito Científico outorgado pela SBC, durante a Assembleia Geral da 43a edição do Congresso da SBC. A palestra começa com uma breve digressão sobre os mitos e potencialidades dos "Large Language Models" para o ensino e a pesquisa. Prossegue então para o seu objetivo principal: mostrar o papel fundamental dos modelos de sistemas computacionais em vários domínios da Computação, e destacar como o entendimento do que é um modelo e a teoria de suporte dos mesmos, fornecem os fundamentos para algoritmos de Aprendizado de Máquina.
Short Bio:
Edmundo de Souza e Silva é Engenheiro Eletrônico pela PUC-RJ, obteve o mestrado em Engenharia Elétrica também pela PUC-RJ, e o doutorado em Ciência da Computação pela Universidade da California, Los Angeles (UCLA) em 1984. Foi professor/pesquisador visitante de renomados centros de pesquisa e universidades nos EUA, Japão, China e Europa. Edmundo pertenceu ao ACM/SIGMETRICS Board of Directors (2001-2005) e foi Chair do IFIP WG 7.3 (Jan/2008 a Jul/2014). Foi membro do Comitê Assessor do CNPq (1991-1994 e 1999-2001), na CAPES foi Coordenador-Adjunto e Coodenador de Área de Ciência da Computação nos triênios 2002-2005 e 2008-2010, respectivamente. Foi co-presidente do Comitê Técnico de Programa de importantes conferências internacionais do IEEE, ACM e IFIP e no Brasil do SBRC'1998, e Coordenador Geral da XXI Escola de Computação de 1998. Atualmente é membro do Comitê de Avaliação da RNP, e membro do Editorial Board do periódico ACM Transactions on Modeling and Performance Evaluation of Computing Systems. Ao longo de sua carreira, recebeu honrarias como "Sócio Destaque do Ano" da SBC em 2011, "Prêmio Destaque SBRC/SBC" em 2012, o título "Construtores da Internet" da RNP em 2017, em 2020 foi um dos homenageados com o prêmio "Destaques em Governança da Internet no Brasil" do Comitê Gestor da Internet no Brasil. Em 2023 recebeu o prêmio "Mérito Científico" da SBC. Edmundo é pesquisador 1-A do CNPq, e desde 2000 é Cientista do Nosso Estado da FAPERJ. É membro da Academia Brasileira de Ciências, membro da Academia Nacional de Engenharia e em 2008 recebeu a comenda da Ordem Nacional de Mérito Científico. Edmundo é Professor Titular do Programa de Engenharia de Sistemas e Computação da COPPE/UFRJ. Desde 2000 tem participado no projeto CEDERJ de educação a distância no estado do Rio de Janeiro. Suas áreas de interesse incluem a modelagem e análise de sistemas de computação, redes de comunicação de dados e Aprendizado de Máquina.
Pesquisa, interação com a indústria e formação de recursos humanos: uma experiência de integração
Ana Regina Cavalcanti da Rocha (PESC)
 |
Pesquisa, interação com a indústria e formação de recursos humanos: uma experiência de integração
Ana Regina Cavalcanti da Rocha (PESC)
Dia 04/10 (quarta-feira), 11 horas, Sala H-324B
Transmissão ao vivo no Canal do PESC no YouTube
|
Resumo:
Nesta palestra será mostrado, através da experiência de Ana Regina Cavalcanti da Rocha quando professora da COPPE/UFRJ, como integrar pesquisa, formação de recursos humanos em mestrado e doutorado e o trabalho com a indústria que culminou na definição e coordenação técnica do MPS-BR. Será destacada, também, a experiência em projetos interdisciplinares com o CERN em Genebra na área de física e com a UFBA na área de Cardiologia e o envolvimento de alunos nestes projetos.
Short Bio:
Graduação em Matemática na UFRJ, Mestrado e doutorado na PUC-RIO, Professora do IME (1983-1985), Professora do PESC/COPPE (1985-2021). Atualmente sócia da Implementum Consultoria em Tecnologia da Informação. Recebeu recentemente a homenagem "Destaque Formação de Recursos Humanos de Excelência" no CBSoft 2023.
Human-Centered Design Involving People with Disabilities: A Few Research Avenues Based on Methodological Considerations
Prof. Christophe Kolski (LAMIH/UPHF)
 |
Human-Centered Design Involving People with Disabilities: A Few Research Avenues Based on Methodological Considerations
Prof. Christophe Kolski (Université Polytechnique Hauts-de-France) Dia 08/11 (quarta-feira), 11 horas, Sala H-324B
Transmissão ao vivo no Canal do PESC no YouTube
|
Resumo:
User-centered design processes are becoming increasingly popular. They encourage user involvement at all project stages, or at least in part. Numerous methods are available for this purpose, including requirements analysis, participatory design, and evaluation. Some of them facilitate ideation, which is useful in innovative projects. However, they are generic and must be adapted when involving users with categorized disabilities and special needs. Particularly where users have communication disorders, alternative approaches are possible or at least need to be explored, mainly focused on the involvement of members of the ecosystem of users with disabilities. Then, representative examples of method adaptations from different projects and a possible approach to raising awareness of disability in the workplace will be described.
Short Bio:
Christophe Kolski is a full professor in Computer Science at the Université Polytechnique Hauts-de-France, Valenciennes, France. He teaches software engineering and human-computer interaction to bachelor and master students in computer science and INSA engineering students. He is the current Deputy Director of the Computer Science (CS) Department of LAMIH (Laboratory of Industrial and Human Automation Control, Mechanical Engineering and Computer Science). His specializations include human-computer interaction, software engineering for interactive systems, intelligent interface design, tangible interaction, and distributed user interfaces; several application domains are particularly considered: transport and mobility, healthcare and disability, and supervision. He has been involved with the chairing of CADUI'2002, IHM'2003, ERGO-IA'2006, IHM’2017, and RoCHI’2022 conferences, supervised or co-supervised 37 doctoral dissertations (several are in progress) and authored books, and nearly 100 articles in international and national journals, and many communications in conferences.
Introdução às Árvores de Cristal
Prof. Rafael Castro de Andrade (UFC)
 |
Introdução às Árvores de Cristal
Prof. Rafael Castro de Andrade (UFC)
Moderador Prof. Nelson Maculan Filho
Dia 16/11 (quinta-feira), 10 horas, Sala H-319/11.
Transmissão ao vivo no Canal do PESC no YouTube. |
Resumo:
O seminário trará o conceito de árvore de cristal, sua modelagem matemática e aplicações em problemas de otimização combinatória. Considere um grafo simples ponderado e não orientado G=(V,E), onde cada aresta e de E tem peso ce > 0, e uma árvore geradora Tk de G enraizada em um vértice k de V. Associe a cada nó v de Tk um potencial correspondendo ao multiconjunto ?(k,v)={ce | aresta e pertence ao caminho de k a v em Tk}. A raiz de Tk tem potencial vazio. Defina a operação de diferença simétrica ?(k,{u,v}) entre os multiconjuntos dos extremos de uma aresta {u,v} de E não pertencente a Tk como ?(k,{u,v}) = ?(k,v) ? ?(k,u) = ?(k,v) ?(k,u) U ?(k,u) ?(k,v), onde as operações de diferença simétrica, diferença e união de conjuntos tradicionais são estendidas para multiconjuntos. Diremos que os potenciais dos vértices u e v estão:
(i) em equilíbrio estável, se cuv >= ce, para toda aresta e no caminho de u a v em Tk; ou
(ii) em equilíbrio instável, se cuv ce para alguma aresta e no caminho d u a v em Tk e o elemento de maior valor em ?(k,{u,v}) é menor ou igual a cuv; ou
(iii) em não equilíbrio, caso contrário.
Uma árvore geradora Tk de G é dita de cristal quando todos seus vértices apresentarem equilíbrio estável ou instável. Mostramos que essa nova classe de árvores generaliza as árvores geradoras de custo mínimo (AGM) de um grafo, encaixando-as na definição de equilíbrio estável. Podemos mostrar que nem toda árvore de cristal é uma AGM e analisar diferenças em relação a outras classes de árvores, como as de caminho mínimo enraizada em algum nó. Além de mostrar alguns resultados teóricos, apresentaremos uma modelagem matemática que leva a uma definição algébrica para as mesmas. A interseção de sistemas de árvores de cristal fornece um sistema linear cujas soluções correspondem a AGMs. Isso abre novas possibilidades de resolução de problemas de otimização com estrutura de árvore ótima em seu conjunto de restrições, como árvores robustas e de Steiner com prêmio em vértices.Short Bio:
Professor Titular, Universidade Federal do Ceará, Departamento de Estatística e Matemática Aplicada. Ph.D. em Ciência da Computação, Sorbonne Université Paris-Nord (2002), M.Sc. em Engenharia de Sistemas e Computação, COPPE-UFRJ (1999), B.Sc. em Ciência da Computação, Universidade Estadual do Ceará (1997). Trabalha nas áreas de otimização combinatória e suas aplicações em problemas de dimensionamento de redes. Possui artigos de pesquisa nas seguintes revistas: Management Science, Annals of Operations Research, Discrete Applied Mathematics, NETWORKS, European Journal of Operational Research, Computer & Operations Research, International Transactions in Operational Research. Possui bolsa de produtividade do CNPq.
Semana PESC 2023: Inovação na UFRJ: como, onde e por que
Profa. Daniela Uziel (InovaUFRJ)
 |
Inovação na UFRJ: como, onde e por que
Profa. Daniela Uziel (InovaUFRJ)
Lattes aqui Dia 21/11 (terça-feira), 12 horas, Sala H-324B
Transmissão ao vivo no Canal do PESC no YouTube
|
Resumo:
InovaUFRJ e a importância da Inovação em uma Universidade.
Short Bio:
Possui graduação em Medicina pela Universidade Federal do Rio de Janeiro (1995), mestrado em Ciências Biológicas (Biofísica) pela Universidade Federal do Rio de Janeiro (1997), doutorado em Ciências (Biofísica) pela Universidade Federal do Rio de Janeiro (2001), após período "sanduíche" na França (Inserm U371) e Alemanha (FSU Jena) e um mais recente doutorado (2019) Políticas Públicas, Estrategias e Desenvolvimento (IE-UFRJ). É Professora Associada da Faculdade de Farmácia da Universidade Federal do Rio de Janeiro. De 2019 à 2023 foi Coordenadora de Inovação do Centro de Ciências da Saúde, e de novembro de 2020 até junho de 2023 foi coordenadora do Programa de Gestão de Indicadores de Desempenho (GID) da Pro-reitoria de Pós-graduação e Pesquisa da UFRJ. Foi Pesquisadora Visitante do IPEA (Centro de Ciência, Tecnologia e Sociedade; sede Rio de Janeiro) entre outubro de 2018 e março de 2020. Atua em parceria com docentes de outras áreas do conhecimento da UFRJ e da UFF nas Disciplinas Integradas de Empreendedorismo da UFRJ, que recebeu o prêmio de educação empreendedora (rodada estadual) do Sebrae em 2019. Desde 2012 trabalha com empreendedorismo acadêmico de alta tecnologia e geração de inovações na área biomédica. Desde julho de 2023 é Diretora do InovaUFRJ (Núcleo de Inovação Tecnológica da UFRJ) .
Semana PESC 2023: Retorno de investimento (RoI) em segurança cibernética: a chave para digitalização da infraestrutura de manufatura
Paulo C. G. Costa (George Mason University)
 |
Retorno de investimento (RoI) em segurança cibernética: a chave para digitalização da infraestrutura de manufatura
Paulo C. G. Costa (George Mason University)
Dia 22/11 (quarta-feira), 12 horas, Sala H-324B.
Transmissão ao vivo no Canal do PESC no YouTube.
|
Resumo:
Em todo o globo, as infraestruturas de manufatura e redes de cadeias de suprimento associadas estão sob constantes ataques cibernéticos, visando comprometer ou degradar tanto os seus componentes físicos como informacionais, algumas vezes com sucesso - conforme podemos ver na mídia. Neste ambiente hostil, fabricantes se vêem em um dilema. Por um lado, eles precisam digitalizar suas empresas para poder se manter competitivos em uma sociedade cada vez mais interconectada. Por outro lado, assim fazendo eles aumentam a vulnerabilidade a ataques cibernéticos. Para piorar, as soluções de segurança cibernética atuais são fragmentárias, subutilizadas, inefetivas, e são vistas por muitos como custos que não trazem benefícios. Essa palestra apresenta um esforço de pesquisa em quantificação de segurança cibernética, que visa prover os tomadores de decisão com uma abordagem holística para calcular o retorno de investimento das soluções de segurança cibernética - expondo como este investimento proporciona uma digitalização segura de suas empresas. Exemplos da pesquisa multidisciplinar que levaram a estes resultados também abordados nesta apresentação.
Short Bio:
O Professor Paulo Costa é o Chefe do Departamento de Engenharia de Segurança Cibernética, Diretor do Centro de Excelência em C4I & Cyber, e possui uma tênure dupla como professor do Departamento de Engenharia de Sistemas e Pesquisa Operacional, todos na Universidade George Mason, localizada no estado de Virginia nos Estados Unidos. Ele atualmente é Vice-Presidente para Automação Segura e Segurança de Cadeias de Suprimento no Instituto de Inovação em Segurança Cibernética de Manufatura, do Departamento de Energia dos EUA. Sua especialidade deriva tanto de trabalhos anteriores como profissional e depois pesquisador nas áreas de segurança de transporte, segurança de sistemas físico-cibernéticos, representação e raciocínio probabilístico, apoio a decisão e pesquisa operacional. Ele é um pioneiro na área de ontologias probabilísticas e criador do PR-OWL, uma linguagem probabilística para a Internet semântica, bem como contribuidor chave do UnBBayes-MEBN, uma implementação de código aberto da linguagem PR-OWL. O serviço acadêmico do Prof. Paulo Costa inclui participação em programas técnicos em diversas conferências e jornais acadêmicos, bem como membro revisor em comitês na Fundação Nacional de Ciência americana (NSF), Academinas Nacionais de Engenharia americanas e outros. Ele é um membro sênior do Instituto de Engenheiros Elétricos e Eletrônicos (IEEE) e serve atualmente no Conselho de Diretores da Sociedade Internacional de Fusão de Informação (ISIF), da qual foi Presidente por dois termos.
Semana PESC 2023: Inovação e Projetos Desenvolvidos na Área de Sistemas Inteligentes na Embraer
José Fernando Basso Brancalion (Embraer)
 |
Inovação e Projetos Desenvolvidos na Área de Sistemas Inteligentes na Embraer
José Fernando Basso Brancalion (Embraer).
Dia 23/11 (quinta-feira), 11 horas, Sala G-122.
Transmissão ao vivo no Canal do PESC no YouTube.
|
Resumo:
O que está sendo desenvolvido na Área de Sistemas Inteligentes da Embraer.
Short Bio:
José Fernando Basso Brancalion é Engenheiro Eletricista, formado pela Escola de Engenharia de São Carlos da Universidade de São Paulo. É mestre em Engenharia Elétrica pela Escola de Engenharia de São Carlos - Universidade de São Paulo (2001), na área de Telecomunicações e doutor em Engenharia Eletrônica e Computação, Área de Telecomunicações, no Instituto Tecnológico de Aeronáutica (ITA) em 2015. Trabalha há 23 anos na EMBRAER como Engenheiro de Desenvolvimento de Produto, com experiência no desenvolvimento de Sistemas C4I2SR (Command, Control, Computers, Communications, Intelligence, Information, Surveillance and Reconnaissance). Suas principais áreas de atuação são fusão de dados, rastreio de alvos, reconhecimento de alvos, telecomunicações e desenvolvimento de sistemas autônomos.
Semana PESC 2023: Mergulhando na Starknet - uma introdução a Layer2 de Ethereum, Zero-knowledge e Cairo
Thiago Catarino (ETHSamba)
 |
Mergulhando na Starknet - uma introdução a Layer2 de Ethereum, Zero-knowledge e Cairo
Thiago Catarino (ETHSamba)
Dia 24/11 (sexta-feira), 11 horas, Sala H-324B.
Transmissão ao vivo no Canal do PESC no YouTube.
|
Resumo:
Thiago irá apresentar uma introdução a Layer2 de Ethereum, Zero-knowledge e Cairo.
Short Bio:
Trabalha com crescimento de Produtos e Serviços Descentralizados. Participou em diferentes estágios. É co-fundador da ETHSamba, hub da Ethereum no Brasil.
Semana PESC 2023: Sementes de Futuro Pensamento Fora da Caixa: Uma Rede Dual Onde Você é Bem-Vindo
Prof. Claudio Rodrigues Corrêa (Escola de Guerra Naval)
 |
Sementes de Futuro e Pensamento Fora da Caixa: Uma Rede Dual Onde Você é Bem-Vindo
Prof. Claudio Rodrigues Corrêa (Escola de Guerra Naval)
Lattes aqui. Dia 24/11 (sexta-feira), 12 horas, Sala H-324B.
Transmissão ao vivo no Canal do PESC no YouTube.
|
Resumo:
O Comandante Correa irá abordar o LSC Laboratório de Simulações e Cenários), grupo de pesquisa de cenários de defesa que coordena. Também apresentará o PROCAD Defesa Prospectiva com ênfase ao aspecto dual, a rede do Sementes de Futuro de Defesa e as Linhas de pesquisa mais próximas da tecnologia, convidando os presentes para serem pesquisadores nesta linha..
Short Bio:
Doutor em Administração pela UFRJ - Coppead, Mestre pela FGV, MBA pela ESPM. Coordenador de Pesquisa do Laboratório de Simulações e Cenários, Professor do Programa Profissional de Pós-graduação em Estudos Marítimos, onde leciona Métodos de Estudos de Futuro e Cenários Prospectivos; e ex-diretor do Centro de Jogos de Guerra da Escola de Guerra Naval. Ex-Coordenador das graduações em Administração e Processos Gerenciais (tecnólogo) do Centro Univesitário Celso Lisboa. Docente de Marketing, Empreendedorismo, Administração Estratégica e Consultoria do UNIFESO. Ex-Sócio-Diretor da Sinae Marketing. 34 anos de atuação profissional e acadêmica em todas as regiões do Brasil e no exterior. 15 anos de experiência docente em EAD. Avaliador Ad hoc da CAPES e INEP. Coordenador principal do projeto PROCAD DEFESA - Prospectiva para Segurança e Defesa. Revisor de revistas como Foresight, Hoplos e Unifa. Membro do Athens Institute for Education and Research, do Conselho Regional de Administração, do Teresópolis Convention & Visitors Bureau, da Assoc. Brasileira de Estudos de Defesa e do Conselho Científico de editora Alpheratz. Consultor de Marketing de Relacionamento, Empreendedorismo, Estudos de Futuro, Métodos Prospectivos, Planejamento Estratégico com Cenários de longo prazo. Egresso do William J. Perry Center for Hemispheric Defense Studies.
Trilhando o Desenvolvimento de Software para Sistemas Críticos através das Normas Usando Métodos Ágeis
Prof. Dr. Johnny Cardoso Marques
 |
Trilhando o Desenvolvimento de Software para Sistemas Críticos através das Normas Usando Métodos Ágeis
Prof. Dr. Johnny Cardoso Marques (ITA)
Dia 13/12 (quarta-feira), 11 horas, Sala H-324B
Transmissão ao vivo no Canal do PESC no YouTube
|
Resumo:
Esta palestra explora o desenvolvimento de software para sistemas críticos, ressaltando a necessidade de abordagens especializadas para assegurar segurança e confiabilidade. Em ambientes regulamentados, normas e padrões governam esse tipo de desenvolvimento, exigindo a aplicação rigorosa de processos de qualidade em consonância com os riscos de segurança. Apesar do aparente conflito inicial entre a documentação rigorosa desses desenvolvimentos e a filosofia ágil, a palestra oferecerá insights sobre como conciliar essas abordagens, especialmente nas áreas de aviação e medicina.
Short Bio:
Possui graduação em Engenharia de Computação pela Universidade do Estado do Rio de Janeiro/UERJ (2002). Mestre pelo programa de pós-graduação em Engenharia Aeronáutica e Mecânica na área de Sistemas Aeroespaciais e Mecatrônica pelo Instituto Tecnológico de Aeronáutica/ITA (2004). Doutor pelo programa de pós-graduação em Engenharia Eletrônica e Computação na área Informática pelo ITA (2016). Desde 2018, é Professor Adjunto da Divisão de Ciência de Computação e atualmente é chefe do departamento de Software e Sistemas de Informação. Orienta alunos de graduação e de pós-graduação do ITA na área de Engenharia de Software. Atuou entre 1998 e 2018 na indústria com atuação em computação e segurança (safety) para o setor aeronáutico com passagens pelas empresas Transbrasil (1998-2000), Varig (2000-2003) e Embraer (2003-2018). Foi Representante Credenciado em Engenharia de Software para Certificação Aeronáutica junto à Agência Nacional de Aviação Civil (ANAC) entre 2007 e 2018, atuando na aprovação de projetos como autoridade delegada. Pesquisa nas áreas de engenharia de requisitos, qualidade de software para sistemas críticos, sistemas de informação e casos de segurança. É autor de várias normas e publicações em engenharia de software na Associação Brasileira de Normas Técnicas (ABNT), Radio Technical Commission for Aeronautics (RTCA) e Institute of Electrical and Electronic Engineers (IEEE), como a RTCA DO-178C, RTCA DO-200B, ISO/IEC/NBR 62304 e ISO/IEEE 29148.