Publications

Found 2290 results
Author Title [ Type(Asc)] Year
Unpublished
Konstantinidis S, Meijer C, Moreira N, Reis R. Symbolic Manipulation of Code Properties 2015.Edit
Ramos MV, de Queiroz RJ, Moreira N, Almeida JC. Formalization of the pumping lemma for context-free languages 2015.Edit
Ramos MV, de Queiroz RJ, Moreira N, Almeida JC. Formalization of context-free language theory 2015.Edit
Submitted.
Thesis
Aguiar P. A General Hippocampal Computational Model: Episodic and Spatial Memory Combined in a Spiking Model University of Edinburgh 2006.
Textos de Matemática
Loureiro AF, da Rocha Z. Working days on orthogonal polynomials, special functions integral transforms and applications 2007.Edit
Matos V.. Problema de Riemann para Duas Leis de Conservação do Tipo IV com Região Elíptica 2004.Edit
Paiva RC. Pré-Cálculo 2013.
Guedes M., Ribeiro A., Smirnov G., Vilela S.. On the optimal control of a cascade of hydro-electric power stations 2012.Edit
Delgado M, García-Sánchez PA, Rosales JC. Numerical semigroups problem list 2013.Edit
García-Sánchez PA. Numerical semigroups mini-course 2006.
Paiva RC. Módulos Interativos de Análise Matemática 2013.
Santos B, da Rocha Z. Introdução ao Software MAXIMA 2009.Edit
Azenhas O, Guedes de Oliveira A. Interview with Francesco Brenti, Christian Krattenthaler and Vic Reiner 2013.Edit
Bessa M. Homeomorfismos do plano sem pontos fixos 2005.
Guedes de Oliveira A. Graphs of polyhedra and the Theorem of Steinitz 2013.
Guedes M., Oliveira N., Santiago S., Smirnov G.. On the evaluation of a public transportation network quality: criteria validation methodology 2012.Edit
Pacheco MR. Determinação do Centralizador de um dado Automorfismo do Toro Bidimensional 2006.Edit
Mano VM. Combinatória de sons 2008.Edit
Severo M., Trindade P., Gaio A.. Avaliação temporal do conhecimento matemático dos alunos da FCUP à entrada do ensino superior - Boletim da Sociedade Portuguesa de Estatística 2016.Edit
Software
Mesquita TA, Rocha Z. Symbolic implementation of polynomial sequences cubic decomposition 2012.Edit
Delgado M, García-Sánchez PA, Morais J. numericalsgps, an accepted GAP package 2015.Edit
Proceedings of national conferences (peer reviewed)
de Oliveira PM. Uma versão discreta do Teorema de Girsanov 1994.Edit
de Oliveira PM. Um Teste Sequencial para Estimação do Estado de um Sistema Linear Por Bocados Parcialmente Observado. Vol 5 1995.Edit
de Oliveira PM, Valente PA. Um Modelo Estocástico em Tempo Discreto para a Simulação de Trajectórias de uma Bóia Sujeita a Correntes de Maré e à Força do Vento 1996.Edit

Pages

Error | CMUP

Error

The website encountered an unexpected error. Please try again later.