Ana Paula Tomás's Annual Report 2013

Ana Paula Tomás's Annual Report 2013

Year: 

2013

Brief description of the research activities: 

Research along two main lines:

-  Algorithms for guarding problems on rectilinear domains:   Pursued research on orthogonal art gallery problems, focusing on the analysis of the computational complexity of some coverage problems in particular classes. Extended results achieved in 2012 on the NP-hardness of guarding the vertices of thin orthogonal polygons. Proved that computing a minimum guard set for either a thin orthogonal polygon or only its vertices is NP-hard, indeed APX-hard, either for guards lying on the boundary or on vertices. For guards lying anywhere in the polygon, showed that computing an optimal guard set for the vertices is NP-hard.

- Applications of logic and constraint-based languages for computer assisted learning: continued work on an application of constraint logic programming to create multiple-choice questions for math quizzes. Constraints are used for the configuration of the generator and are also used to control the application of the buggy rules in the derivation of plausible wrong solutions to the quiz questions. This tool (AgilmatQuiz) was used at FCUP to create quizzes to support assessment in a PreCalculus course for first year undergraduate students. (Work in collaboration with José Paulo Leal, CRACS).
 

Papers accepted for publication in peer reviewed journals: 

Ana Paula Tomás

Articles accepted for publication in peer reviewed proceedings: 

Ana Paula Tomás, José Paulo Leal, Automatic Generation and Delivery of Multiple-Choice Math Quizzes, CP 2013 - 19th International Conference on Principles and Practice of Constraint Programming, Principles and Practice of Constraint Programming (CP2013), Lecture Notes in Computer Science, vol 8124, pp 848-863, Springer, Christian Schulte, 10.1007/978-3-642-40627-0_62
Ana Paula Tomás, Guarding Thin Orthogonal Polygons Is Hard, FCT 2013 - 19th International Symposium on Fundamentals of Computation Theory, Fundamentals of Computation Theory (FCT 2013), Lecture Notes in Computer Science, vol 8070, pp 305-316, Springer, Leszek Gąsieniec and Frank Wolter , 10.1007/978-3-642-40164-0_29
Ana Paula Tomás, On the enumeration of permutominoes, EGC 2013 – XV Spanish Meeting on Computational Geometry, EGC 2013 – XV Spanish Meeting on Computational Geometry (Informal Proceedings), http://congreso.us.es/ecgeometry/proceedingsECG2013.pdf, University of Seville, J.M.Díaz-Bánez, D.Garijo, A.Márquez, J. Urrutia
Ana Paula Tomás, Guarding the vertices of thin orthogonal polygons is NP-hard, EGC 2013 – XV Spanish Meeting on Computational Geometry, EGC 2013 – XV Spanish Meeting on Computational Geometry (Informal Proceedings), http://congreso.us.es/ecgeometry/proceedingsECG2013.pdf,, University of Seville, J.M.Díaz-Bánez, D.Garijo, A.Márquez, J. Urrutia

Talks / Seminars / Courses : 

Title:
Geração automática de exercícios de escolha múltipla
Name of the event:
Elearnulia (February 2013), University of Minho
Speakers
Ana Paula Tomás
Country:
Portugal
Location / City:
Braga

Organization of scientific meetings: 

Role: 

PC member

Name of the event: 

SOFT-PT (Inforum)

start and end date: 

September 5, 2013 to September 6, 2013

Country: 

Portugal

Location / City: 

Évora

Computational applications: 

AgilmatQuiz (http://www.dcc.fc.up.pt/~apt/Research/AgilmatQuiz) - Automatic generation and delivery of multiple choice math quizzes.

Student Mentoring: 

António Roberto Gouveia, Solução de Business Intelligence para Seguros, 2013, Mestrado Integrado em Engenharia de Redes e Sistemas Informáticos (co-supervisor; internship at I2S supervised by Margarida Mesquita and André Ferreira);http://sigarra.up.pt/fcup/en/publs_pesquisa.FormView?p_id=11969)

Outreach activities: 

Outreach activities for secondary school students:
* ToPAS 2013 - Torneio de Programação para Alunos do Secundário (DCC-FCUP, May 2013), Scientific Committee Member (responsible for the problem set); http://www.dcc.fc.up.pt/ToPAS/

Other information : 

Member of the jury (main examiner) of the PhD thesis (Informática) of João Carlos de Brito Dinis, entitled "Construção e Edição de Diagramas de Voronoi na Esfera", supervised by Margarida Mamede, FCT-UNL, Portugal, 11/2013.