João Paixão

According to our database, João Paixão authored at least 18 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Generalized Inverse Matrix Theorem via Relational Decompositions.

Iago Leal de Freitas, Júlia Mota, João Paixão, Lucas Rufino

CoRR, February, 2025

Point-free calculational proofs and program derivation in linear algebra using a graphical syntax.

Júlia Mota, João A. R. Paixão, Lucas Rufino Martelotte

J. Funct. Program., 2025

2022

High-level axioms for graphical linear algebra.

João Paixão, Lucas Rufino, Pawel Sobocinski

Sci. Comput. Program., 2022

Computational Linear Algebra to identify potential students with ADHD: pairing data compression and K-means.

Tainá Guimarães de Souza, Mônica Ferreira da Silva, João Paixão, Renato M. B. Alves, Roberta Bordalo, Waldir Siqueira Moura

Proceedings of the International Conference on Advanced Learning Technologies, 2022

2021

Hercules: A context-aware multiple application and multisensor data fusion algorithm.

Fabiano P. Martins, João A. R. Paixão, Claudio M. de Farias, Flávia Coimbra Delicato

Proceedings of the IEEE Intl Conf on Dependable, 2021

2020

Discrete Line Fields on Surfaces.

Tiago Novello, João Paixão, Carlos Tomei, Thomas Lewiner

CoRR, 2020

Calculational Proofs in Relational Graphical Linear Algebra.

João Paixão, Pawel Sobocinski

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2019

Vector Field Neural Networks.

Daniel Vieira, João Paixão

CoRR, 2019

2018

Greedy Morse matchings and discrete smoothness.

João Paixão, Joao Lagoas, Thomas Lewiner, Tiago Novello

CoRR, 2018

Vector Field Based Neural Networks.

Daniel Vieira, Fábio Medeiros Rangel, Fabrício Firmino de Faria, João Paixão

Proceedings of the 26th European Symposium on Artificial Neural Networks, 2018

2017

Discrete Gradient Line Fields on Surfaces.

Thomas Lewiner, Tiago Novello, João Paixão, Carlos Tomei

CoRR, 2017

2015

Random collapsibility and 3-sphere recognition.

João Paixão, Jonathan Spreer

CoRR, 2015

2013

Parameterized complexity of discrete morse theory.

Benjamin A. Burton, Thomas Lewiner, João Paixão, Jonathan Spreer

Proceedings of the Symposium on Computational Geometry 2013, 2013

Computational topology and normal surfaces: Theoretical and experimental complexity bounds.

Benjamin A. Burton, João Paixão, Jonathan Spreer

Proceedings of the 15th Meeting on Algorithm Engineering and Experiments, 2013

2011

Stereo music visualization through manifold harmonics.

Thomas Lewiner, Clarissa Coda Dos Santos Cavalcanti Marques, João Paixão, Scarlett de Botton, Allyson Cabral, Renata Nascimento, Vinícius Mello, Adelailson Peixoto, Dimas Martínez Morera, Thales Vieira

Vis. Comput., 2011

2010

Topology Aware Vector Field Denoising.

Renata Nascimento, João Paixão, Hélio Lopes, Thomas Lewiner

Proceedings of the SIBGRAPI 2010, 2010

Tuning Manifold Harmonics Filters.

Thomas Lewiner, Thales Vieira, Alex Laier Bordignon, Allyson Cabral, Clarissa Coda Dos Santos Cavalcanti Marques, João Paixão, Lis Custódio, Marcos Lage, Maria Andrade, Renata Nascimento, Scarlett de Botton, Sinésio Pesco, Hélio Lopes, Vinícius Mello, Adelailson Peixoto, Dimas Martínez Morera

Proceedings of the SIBGRAPI 2010, 2010

2009

Random Walks for Vector Field Denoising.

João Paixão, Marcos Lage, Fabiano Petronetto, Alex Laier Bordignon, Sinésio Pesco, Geovan Tavares, Thomas Lewiner, Hélio Lopes

Proceedings of the SIBGRAPI 2009, 2009