Publicações:
|
- António Pereira, Rosália Rodrigues, “A Symbolic Approach to Quantum Computation Simulation”, Lecture Notes on Computer Science 3992, V.N. Alexandrov et al. (Eds.), Springer-Verlag Berlin Heidelberg, 2006.
- António Pereira, Rosália Rodrigues, “On the Symbolic Simulation of Quantum Computation with Mathematica”, Conference Proceedings from the 5-th International Conference Aplimat 2006, ISBN 80-967305-4-1, 635-642, 2006.
- António Pereira, Rosália Rodrigues, “Symbolic Quantum Computation Simulation with Mathematica”, Cadernos de Matemática, CM05/I-44, Universidade de Aveiro, 2005.
- António Pereira, Rosália Rodrigues, “Redundant Quantum Arithmetic”, Adaptive and Natural Computing Algorithms, Proceedings of the International Conference in Coimbra, Portugal, (Ribeiro, B., Albrecht, R.F., Dobnikar, A., Pearson, D.W., Steele, N.C., eds.), Springer Verlag, Wien (ISBN: 3-211-24934-6), 2005.
- A. Pereira e R. Rodrigues, O Algoritmo Quântico de Shor para o
Problema da Factorização, Cadernos de Matemática CM04D/04,
Dep. de Matemática, Univ. Aveiro, June 2004
- A. Pereira and R. Rodrigues, An O(1) Adder for Quantum Arithmetic,
Cadernos de Matemática CM04/I-13, Dep. de Matemática,
Univ. Aveiro, April 2004
- Pereira, A. F. e Rodrigues, M. R. D., ”Minimal Convergence Conditions
for Multiplicative Normalization Division”, Journal of Mathematical
Sciences, Vol. 120, Issue 1, March 2004.
- E. Rocha, A. Sarychev, A. Pereira, R. Rodrigues, ”An Application
of Control-Theoretic Methods to Digital Arithmetic Algorithms”, Journal of Mathematical Sciences, Vol. 120, Issue 1, March 2004.
- A.M. Almeida, R. Rodrigues, Trees, Slices & Wheels: On the Floorplan
Area Minimization Problem , NETWORKS, John Wiley & Sons, vol 41(4), pp. 235-244, 2003
- A.F. Pereira, R. Rodrigues, ”O Problema das Torres de Hanoi: a lenda,
algoritmos e generalizações”, Gazeta de Matemática, n.o 144, pp. 8-16,
Janeiro de 2003.
- E.Rocha, A.Sarychev, A.Pereira, R.Rodrigues, ”An Application of Control-
Theoretic Methods to Digital Arithmetic Algorithms”, Proc. of the
10th Mediterranean Conference on Control and Automation, Lisbon,
Portugal, 2002.
- 9. E. Rocha, A. Sarychev, A. Pereira, R. Rodrigues., “An Application of Control–Theoretic Methods to Digital Arithmetic Algorithms”. Apresentado na conferência MED–2002 (Mediterranean Conference on Control and Automation). Pré–publicação: Cadernos de Matemática, CM 02/I–12, Departamento de Matemática da Universidade de Aveiro, Maio de 2002.
- A.M. Almeida, R. Rodrigues, Classificação e Complexidade de Problemas, Textos de Matemática (Série B), Nº 30, Departamento de Matemática, Universidade de Coimbra, 2001.
- A.M. Almeida, R. Rodrigues, Sobre a Questão do Algoritmo para o Problema do Caixeiro Viajante, Gazeta da Matemática, N. 138, Janeiro de 2000.
- A.J.Batel Anjo, R. Rodrigues, Entropia, Sequências Típicas e Máxima Entropia, Boletim da Sociedade Portuguesa de Matemática, N. 41, Outubro de 1999.
- A.J.Batel Anjo, R. Rodrigues, O Problema do Caixeiro Viajante, Folha Informativa da Sociedade Portuguesa de Matemática,
N. 8, Janeiro de 1999.
- A.M. Almeida, Ernesto Q.V.Martins, R. Rodrigues, Optimal Cutting Directions and Rectangle Orientation Algorithm, European Journal
of Operational Research, N. 109, pp. 660-671, 1998.
- A.J.Batel Anjo, R. Rodrigues, Autómatos Estocásticos como Modelo de um Método de Otimização Combinatória, Estatística: a Diversidade na Unidade, Ed. Sociedade Portuguesa de
Estatística, 1997
- A.J.Batel Anjo, R. Rodrigues, Entropia - Uma Abordagem segundo a Teoria da Informação, Cadernos de Matemática
CM/D-06, Departamento de Matemática da Universidade de Aveiro,
Outubro de 1995.
- R. Rodrigues, A.J.Batel Anjo, On Simulating Thermodynamics, in
Applied Simulated Annealing, ed. by René V. V. Vidal, Lecture Notes
in Economics and Mathematical Systems, Vol. 396, Springer-Verlag,
May 1993.
- F. Martins, R. Rodrigues, A Stochastic Method for Combinatorial Optimization, 15th Portuguese-Spanish Conference on Mathematics : Proceedings, Ed. Braumann C.A., Vols 1-6 : E209-E214, 1991.
- A.M. Almeida, R. Rodrigues, Objective Functions for the Estimation of Tree-based Algorithms, 15th Portuguese-Spanish Conference on Mathematics : Proceedings, Ed. Braumann CA , VOLS 1-6 : E209-E214, 1991.
- Rosália Rodrigues, A Hierarchical Approach to the Placement Problem, extended abstract in "Algorithms and Model Formulations in Mathematical Programming", Nato Asi Series. Series F, Computer and System Science, Ed. Stein W. Wallace, Vol 51, Springer, June 1989.
- Rosália Rodrigues, Simulação de Têmpera (Uma Classe de Métodos de Optimização por Analogia Termodinâmica), Estudos de Matemática, em homenagem ao
Professor Doutor Luís de Albuquerque, Departamento de Matemática, Universidade de Coimbra, 1987.
- Rosália Rodrigues, A Tree-Based Algorithm for Component Placement, Ph.D. Thesis, Department of Computer Sience, University of Manchester, 1986.
- M.R.D. Rodrigues, J.H.P. Zurawski, J.B. Gosling, Hardware Evaluation of Mathematical Functions, IEE Proc., Vol. 128, Pt. E, N. 4, pp. 155-164, July 1981.
- Rosália Rodrigues, Algorithms for the Fast Hardware Evaluation of Mathematical Functions, M.Sc. Thesis, Department of Computer Sience, University of
Manchester, 1978.
|
Comunicações e Palestras:
|
- A.F. Pereira, R. Rodrigues, “A Symbolic Approach to Quantum Computation Simulation”, ICCS06- International Conference on University of Reading, UK, May 2006.
- A.F. Pereira, R. Rodrigues, “Redundant Quantum Arithmetic”, ICANNGA 2005 – International Conference on Adaptive and Natural Computing Algorithms, Coimbra, March 2005.
- Rosália Rodrigues, “CC - Complicações Computacionais”, Conferências de Matemática, Departamento de Matemática, Universidade de Aveiro, 28 de Abril de 2004.
- A.M. Almeida, R. Rodrigues ”A Entropia e Problemas NP-difíceis
(ou como medir a complexidade de uma instância)”, IO 2002 - 10º
Congresso da APDIO (Associação Portuguesa de Investigação Operacional),
Campus de Azurém da Universidade do Minho, Guimarães, 24
- 27 Março, 2002.
- A.B. Anjo, R. Rodrigues, ”Algoritmo de Simulação da Têmpera: estima
ção da Entropia”, IO 2002 - 10º Congresso da APDIO (Associação
Portuguesa de Investigação Operacional), Campus de Azurém da Universidade
do Minho, Guimarães, 24 - 27 Março, 2002.
- A.M. Almeida, R. Rodrigues ”Trees, Slices and Wheels - a Compaction
Algorithm”, IFORS 2002 - 16th Triennial Conference of the International
Federation of Operational Research Societies Edinburgh, Scotland,
8-12 July, 2002.
- A.B. Anjo, R. Rodrigues, ”Continuous Variable Entropy-driven Annealing
(EdA)”, IFORS 2002 - 16th Triennial Conference of the International
Federation of Operational Research Societies Edinburgh,
Scotland, 8-12 July, 2002.
- E.Rocha, A.Sarychev, A.Pereira, R.Rodrigues, ”An Application of Control-
Theoretic Methods to Digital Arithmetic Algorithms”, MED 2002 -
10th Mediterranean Conference on Control and Automation, Lisbon,
Portugal, 9-13 July, 2002.
- Rosália Rodrigues, “Uma pitada de Algoritmia”, Departamento de Matemática, Universidade de Aveiro, 26 de Outubro de 2002.
- Rosália Rodrigues, “HTML sem mais nem menos”, Departamento de Matemática, Universidade de Aveiro, 22 de Fevereiro de 2002.
- Ana Maria C. Almeida, Rosália Rodrigues, On the Hardness of Instances, Optimization 2001, Aveiro, Julho de 2001.
- Ana Maria C. Almeida, Rosália Rodrigues, Uma Contribuição para o Problema da Compactação de Circuitos, IO 2000 (9º Congresso da
Associação Portuguesa para o Desenvolvimento da Investigação Operacional),
Setúbal, Abril de 2000.
- António José Batel Anjo, Rosália Rodrigues, Modelos Formais para Meta-Heurísticas: Precisam-se!, IO 2000 (9º Congresso da Associação
Portuguesa para o Desenvolvimento da Investigação Operacional), Setúbal,
Abril de 2000.
- António José Batel Anjo, Rosália Rodrigues, Entropy-driven Annealing, MIC’99 - Third Metaheuristics International Conference, Angra
dos Reis - Rio de Janeiro, Brasil, Julho de 1999.
- Rosália Rodrigues, Uma Competência Chave: a Construção e Exploração de Pontes, Primeiras Jornadas de Reflexão sobre o CISUC, Luso, Março de 1999.
- António José Batel Anjo, Rosália Rodrigues, Uma Utilização de Autómatos Estocásticos em Otimização Combinatória, V Congresso Anual
da Sociedade Portuguesa de Estatística, Curia, Junho de 1997.
- Ana Maria C. Almeida, Rosália Rodrigues, Placement & Compaction: a Combined Approach to VLSI-layout, IFORS 96 (XIV World Conference
on Operations Research), Vancouver, Canada, July 1996.
- António José Batel Anjo, Rosália Rodrigues, The Role of Information Theory within Combinatorial Optimization, IFORS 96 (XIV World
Conference on Operations Research), Vancouver, Canada, July 1996.
- Rosália Rodrigues, As Meta-Heurísticas na Resolução de Problemas Combinatórios, Seminário na Universidade de Aveiro, Maio de 1996.
- António José Batel Anjo, Ana Maria C. Almeida, Rosália Rodrigues, Problemas Difíceis e Soluções pela Natureza, Sessão de Seminários,
Universidade de Aveiro, Maio de 1996.
- Cláudia Sofia Rodrigues de Almeida, Rosália Rodrigues, Aplicação da Previsão em Séries Temporais ao Tráfego da Rede de
Computadores, IO 96 (7º Congresso da Associação Portuguesa para o Desenvolvimento da Investigação Operacional), Aveiro, Abril de 1996.
- António José Batel Anjo, Rosália Rodrigues, A Teoria da Informação como Suporte de Meta-Heurísticas, IO 96 (7º Congresso da Associa
ção Portuguesa para o Desenvolvimento da Investigação Operacional),
Aveiro, Abril de 1996.
- António José Batel Anjo, Rosália Rodrigues, Estratégia de Arrefecimento Baseada no Conceito de Entropia, IO 94 (6º Congresso da Associa
ção Portuguesa para o Desenvolvimento da Investigação Operacional),
Universidade do Minho, Março de 1994.
- Ana Maria C. Almeida, Ernesto Q.V.Martins, Rosália Rodrigues, Optimal Rectangle Slicing and Component Orientation, IFORS 93 (XIII
World Conference on Operations Research), Lisboa, Julho de 1993.
- António José Batel Anjo, Rosália Rodrigues, On Simulating Thermodynamics, IFORS 93 (XIII World Conference on Operations Research),
Lisboa, Julho de 1993.
- Ana Maria C. Almeida, Rosália Rodrigues, Um Problema de Compactação de Circuitos, IO 92 (5º Congresso da Associação Portuguesa
para o Desenvolvimento da Investigação Operacional), Évora, Abril de
1992.
- António José Batel Anjo, Rosália Rodrigues, A Importância da Entropia na Construção de Algoritmos Dinâmicos de Recristalização (”Simulated Annealing”), IO 92 (5º Congresso da Associação Portuguesa para
o Desenvolvimento da Investigação Operacional), Évora, Abril de 1992.
- Fernando M. C. Martins, Rosália Rodrigues, Simulated Annealing within a Layout System, EURO XI - 11th European Congress on Operational Research, Aachen, Alemanha, 1991.
- Ana Maria C. Almeida, Rosália Rodrigues, A New Clustering Approach to Hierarchical Layout, EURO XI - 11th European Congress on
Operational Research, Aachen, Alemanha, 1991.
- Rosália Rodrigues, Ernesto Q. V. Martins, A Fully Hierarchical Layout System, EURO XI - 11th European Congress on Operational Research,
Aachen, Alemanha, 1991.
- António José Batel Anjo, Rosália Rodrigues, Um Método de Optimização Combinatória por Analogia Termodinâmica, Ciclo de Conferências
da S.A.M., Universidade de Aveiro, Junho de 1991.
- Fernando M. C. Martins, Rosália Rodrigues, Uma Técnica Estocástica de Optimização Combinatória, actas das XV Jornadas
Luso-Espanholas de Matemática, évora, Setembro de 1990.
- Ana Maria C. Almeida, Rosália Rodrigues, Objectivos para Avaliação de Algoritmos Geradores de Árvores de Partição, actas das XV Jornadas
Luso-Espanholas de Matemática, évora, Setembro de 1990.
- Rosália Rodrigues, A Hierarchical Approach to the Placement Problem, Nato Avanced Research Workshop on Algorithms and Model Formulations in Mathematical Programming, Bergen, Norway, June 1987.
- Rosália Rodrigues, Modelos de Grafos para o Problema do Posicionamento, actas das XII Jornadas Luso-Espanholas de Matemática, Braga, 1987.
- Rosália Rodrigues, O Problema do Posicionamento de Componentes numa Placa de Circuito, Ciclo de Palestras em Análise Numérica e Optimização, Departamento
de Matemática, Universidade de Coimbra, 1986.
|