João Paixão
Computer Science Deptartment
Institute of Computer Science
Institute of Mathematics
UFRJ
News
June 25th 2021 Algumas ideias da Ciência da Computação para o ensino da Matemática. Matemática na Universidade (in portuguese)
May 26th-27th 2021 Graphical Linear Algebra Mincourse (in portuguese) Simpósio de Matemática da Região Fluminense (SIMMA) - First class - Second class
May 24th 2021 Neural Network Seminar at UFRJ. Topology in Data Science (in portuguese)
February 15th 2021 Algorithms in Graphical Linear Algebra Communications in Numerical Linear Algebra
February 10th 2021 Álgebra Linear com Diagramas Encontro Acadêmico de Modelagem Computacional
January 2021 Graphical Linear Algebra Minicourse (in portuguese)
November 2020 Speaker at SBMF 2020 (Video) (Best Paper Award and Best Presentation Award)
January 2020 Visitor at TalTech (Estonia)
September 2019 Computer Graphics Seminar at IMPA. Interpretations and Visualizations of Neural Networks (in portuguese)
November 2018 Invited Speaker at Einstein Workshop Geometric and Topological Combinatorics
Recent Talks
Calculational Proofs for Relational Graphical Linear Algebra (english)
Álgebra Linear Gráfica (portuguese)
Interpretações e Visualizações de Redes Neurais (portuguese)
Aplicações de Cálculo e Álgebra Linear para alunos do DCC (portuguese)
Publications
Thomas Lewiner, Tiago Novello, João Paixão, Carlos Tomei (2021). Discrete Gradient Line Fields on Surfaces. Topology and Its Applications. [link]
Joao Paixao and Pawel Sobocinski, "Calculational Proofs in Relational Graphical Linear Algebra", In 23rd Brazilian Symposium on Formal Methods (SBMF 2020), 2020. [PDF]
Daniel Vieira, Joao Paixao (2019). Vector Field Neural Networks. arXiv preprint arXiv:1905.07033.[PDF]
Joao Paixao, Joao Lagoas, Thomas Lewiner, Tiago Novello (2018). Greedy Morse matchings and discrete smoothness. arXiv preprint arXiv:1801.10118.
Daniel Vieira, Fabio Rangel, Fabricio Firmino, Joao Paixao (2018). Vector Field Based Neural Networks. arXiv preprint arXiv:1802.08235.
Thomas Lewiner, Tiago Novello, João Paixão, Carlos Tomei (2017). Discrete Gradient Line Fields on Surfaces. arXiv preprint arXiv:1712.08136.
Benjamin A Burton, Thomas Lewiner, Joao Paixao, Jonathan Spreer (2016). Parameterized complexity of discrete Morse theory. ACM Transactions on Mathematical Software (TOMS).
João Paixão, Jonathan Spreer (2015). Random collapsibility and 3-sphere recognition. arXiv preprint arXiv:1509.07607.
Benjamin A Burton, Joao Paixao, Jonathan Spreer (2013). Computational topology and normal surfaces: Theoretical and experimental complexity bounds. Proceedings of the Meeting on Algorithm Engineering & Experiments.
Joao Paixao, Thomas Lewiner (2013). Discrete Morse gradient fields and stable matchings. Symposium on Computational Geometry-Young Researcher Forum.
Thomas Lewiner, Clarissa Marques, João Paixão, Scarlett de Botton, Allyson Cabral, Renata Nascimento, Vinı́cius Mello, Adelailson Peixoto, Dimas Martinez, Thales Vieira (2011). Stereo music visualization through manifold harmonics. The Visual Computer.
Renata Nascimento, Joao Paixao, Helio Lopes, Thomas Lewiner (2010). Topology aware vector field denoising. 2010 23rd SIBGRAPI Conference on Graphics, Patterns and Images.
Thomas Lewiner, Thales Vieira, Alex Bordignon, Allyson Cabral, Clarissa Marques, Joao Paixao, Lis Custodio, Marcos Lage, Maria Andrade, Renata Nascimento, others (2010). Tuning manifold harmonics filters. Graphics, Patterns and Images (SIBGRAPI), 2010 23rd SIBGRAPI Conference on.
João Paixão, Marcos Lage, Fabiano Petronetto, Alex Laier, Sinésio Pesco, Geovan Tavares, Thomas Lewiner, Hélio Lopes (2009). Random walks for vector field denoising. Computer Graphics and Image Processing (SIBGRAPI), 2009 XXII Brazilian Symposium on.
Paul Baginski, Scott Thomas Chapman, Natalie Hine, João Paixão (2008). On the asymptotic behavior of unions of sets of lengths in atomic monoids. Involve. [PDF]
Jeff Amos, ST Chapman, Natalie Hine, Joao Paixao (2007). Sets of lengths do not characterize numerical monoids. Integers.
Notes
Subsets (with Lucas Rufino)
Inequalities (with Lucas Rufino)
Generic (with Lucas Rufino)
Number theory (with Lucas Rufino)
About me
Interests
Computational Geometry
Computational Topology
Discrete Morse Theory
Linear Algebra and Numerical Methods Education
Graph Theory
Strings Diagrams
Graphical Linear Algebra
Education
PhD in Applied Mathematics, 2014
Pontifícia Universidade Católica do Rio de Janeiro
Masters in Applied Mathematics, 2010
Pontifícia Universidade Católica do Rio de Janeiro
BSc in Mathematics, 2007
Virginia Tech
Contact
Links
Students
Lucas Rufino (2021). Calculational proofs in quantales and Normal Forms in Graphical Linear Algebra Undergraduate Student (PIBIC). UFRJ
Gabriel Ferreira (2020). Álgebra Linear com Diagramas. Undergraduate Student (PIBIC). UFRJ
Caio Atila Pereira (2020). Tracking spatio-temporal patterns in Atmospheric data through Topological Data Analysis. Masters student with José Ricardo. UFRJ
Guilherme Freire (2019). Sumarização Híbrida com Redes Pointer-Generator. Undergraduate student. UFRJ.
Victor Garritano Noronha (2019). Relacionando Geometricamente Tweets e Notícias Utilizando a Word Mover's Distance. Undergraduate student. UFRJ.
Fabiano de Paula Martins (2019). Um Algoritmo de Fusão de Dados para Ambientes Inteligentes. Undergraduate student. UFRJ.
João Vitor (2019). Generalized Eigenvalue Problems In Linear Hydrodynamic Stability. Undergraduate student with Juliana Valério. UFRJ. (SBMAC Award).
Daniel Vieira (2018). Vector Field Neural Networks. Masters student. UFRJ.
Tiago Novello (2018). Discrete Line Fields on Surfaces. PhD Student with Carlos Tomei. PUC-Rio.
Iago Leal (2017). Discrete Exterior Calculus. Undergraduate student. UFRJ.
João Lagôas (2017). Algoritmos e Triângulações para o Gradiente Discreto. Masters student. UFRJ.