selected publications conference paper Metodologias de apoio ao raciocínio matemático 2008 document Tendências temporais da infeção pelo vírus da imunodeficiência humana em Portugal: 1984-2013 2015