Saltar para:
Logótipo
Você está em: Início > Publicações > Emparelhamentos, Casamentos Estáveis e Algoritmos de Colocação de Professores. > Visualizar Publicações Relacionadas

Publicações com os mesmos autores da publicação Emparelhamentos, Casamentos Estáveis e Algoritmos de Colocação de Professores.

Agrupar Por: Ordenação:

Relatório Técnico

On House-Allocation Problems with Existing Tenants and Priorities
Ana Paula Tomás (Autor) (FCUP)
On Covering Path Orthogonal Polygons (preliminary version)
Ana Paula Tomás (Autor) (FCUP); Catarina Lobo Ferreira (Autor) (FCUP)
On Breaking Symmetry in Diophantine Systems for AC-unification of Higher-Order Patterns
Ana Paula Tomás (Autor) (FCUP); Evelyne Contejean (Autor) (Outra)
Network Flow Problems and Optimal Location of Traffic Count-Posts at Urban Intersections
Ana Paula Tomás (Autor) (FCUP); Marta Andrade (Autor) (Outra); Américo Costa (Autor) (FEUP)
Mechanically proving termination using polynomial interpretations.
Evelyne Contejean (Autor) (Outra); Claude Marché (Autor) (Outra); Ana Paula Tomás (Autor) (FCUP); Xavier Urbain (Autor) (Outra)
Designing a symbolic solver for arithmetic constraints to support education in mathematics
Ana Paula Tomás (Autor) (FCUP); Nelma Moreira (Autor) (FCUP); Nuno Filipe Pereira (Autor) (FCUP)
Análise de Alguns Problemas Geométricos em Polígonos Ortogonais
Ana Paula Tomás (Autor) (FCUP)

Outra Publicação em Revista Científica Internacional

Preface
Filgueiras, M (Autor) (Outra); Damas, L (Autor) (Outra); Nelma Moreira (Autor) (FCUP); Ana Paula Tomás (Autor) (FCUP)

Artigo em Revista Científica Internacional

SOLVING LINEAR CONSTRAINTS ON FINITE DOMAINS THROUGH PARSING
FILGUEIRAS, M (Autor) (FCUP); TOMAS, AP (Autor) (FCUP)
Partitioning orthogonal polygons by extension of all edges incident to reflex vertices: Lower and upper bounds on the number of pieces
Bajuelos, AL (Autor) (Outra); Tomas, AP (Autor) (FCUP); Marques, F (Autor) (Outra)
Mechanically proving termination using polynomial interpretations
Evelyne Contejean (Autor) (Outra); Claude Marche (Autor) (Outra); Ana Paula Tomas (Autor) (FCUP); Xavier Urbain (Autor) (Outra)
Generating random orthogonal polygons
Tomas, AP (Autor) (FCUP); Bajuelos, AL (Autor) (Outra)
Approximation algorithms to minimum vertex cover problems on polygons and terrains
Tomas, AP (Autor) (FCUP); Bajuelos, AL (Autor) (Outra); Marques, F (Autor) (Outra)
A NEW METHOD FOR SOLVING LINEAR CONSTRAINTS ON THE NATURAL-NUMBERS
TOMAS, AP (Autor) (FCUP); FILGUEIRAS, M (Autor) (FCUP)
A CLP-based tool for computer aided generation and solving of maths exercises
Tomas, AP (Autor) (FCUP); Leal, JP (Autor) (FCUP)

Artigo em Livro de Atas de Conferência Internacional

Weak Stable Matchings with Tenants and Ties
Ana Paula Tomás (Autor) (FCUP)
Using Constraint Logic Programming to Generate Drills in Mathematics
Ana Paula Tomás (Autor) (FCUP); José Paulo Leal (Autor) (FCUP); Pedro Vasconcelos (Autor) (FCUP)
Some comments on a logic programming approach to natural language semantics
Ana Paula Tomás (Autor) (FCUP); Filgueiras, M (Autor) (Outra)

Registos 1 a 20 de 50

 
1
  2 3
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2025-07-01 às 15:09:28 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias