Ana Paula Tomás's Annual Report 2014
Year:
Brief description of the research activities:
Pursued research work on:
- models and algorithms for variants of house allocation problems: Together with K.Cechlarova, developed a simpler version of the algorithm introduced for finding a lexicographically minimal weakly stable matching for a job market problem where applicants are strictly ranked, their preference lists for posts may have ties and some applicants have tenured positions (cf report http://www.illc.uva.nl/COST-IC1205/STSM-reports/STSM-Tomas-Kosice-2014.pdf). Together with Catarina Lobo (MSc student), worked on the experimental evaluation of this version of the algorithm.
- guarding problems in rectlinear polygons.
Started exploratory work on a kind of "backdoor sets" for linear diophantine systems (with applications to SAT problems).
Papers accepted for publication in peer reviewed journals:
Editions description:
Talks / Seminars / Courses :
Organization of scientific meetings:
Role:
Name of the event:
start and end date:
Country:
Location / City:
Website:
Student Mentoring:
Editorial activities:
Reviewed manuscripts submitted to the following scientific journals and international conferences:
- Logic Methods in Computer Science (electronic journal, http://www.lmcs-online.org/)
- Annals of Operations Research (Springer)
- International Journal of Electrical Power and Energy Systems (IJEPES, Elsevier)
- SoCG 2014 (30th Annual Symposium on Computational Geometry),
- RTA-TLCA 2014 (Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications).
Outreach activities:
For university students:
- Chief Judge of SWERC 2014 (ACM International Collegiate Programming Contest - Southwestern Europe Regional Contest), Porto. http://swerc.up.pt/2014/
For secondary school students:
- ToPAS 2014 - Torneio de Programação para Alunos do Secundário (DCC-FCUP, May 2014), Scientific Committee Member (responsible for the problem set); http://www.dcc.fc.up.pt/ToPAS/
Work visits:
P.J. Safarik University (Institute of Mathematics / Faculty of Science), Kosice, Slovakia, from 21.09.2014 - 27.09.2014, invited by Katarina Cechlarova, funded by COST Action IC1205 - Computational Social Choice / task WG4 - Matching Mechanisms)