research

Publications

Publications

2004

Partitioning orthogonal polygons by extension of all edges incident to reflex vertices: Lower and upper bounds on the number of pieces

Computational Science and Its Applications - Iccsa 2004, Pt 3 | 2004 | article

AL Bajuelos

F Marques

2004

Quadratic-time linear-space algorithms for generating orthogonal polygons with a given number of vertices

Computational Science and Its Applications - Iccsa 2004, Pt 3 | 2004 | article

AL Bajuelos

2004

Quantification of the QT variability related to HRV: Robustness study facing automatic delineation and noise on the ECG

Computers in Cardiology 2004, Vol 31 | 2004 | inproceedings

E Pueyo

JP Martinez

P Laguna

2004

Random start local search and tabu search for a discrete lot-sizing and scheduling problem

Metaheuristics: Computer Decision-making | 2004 | inproceedings

A Pereira

F Carvalho

M Constantino

2004

Stability of equilibria in equations of Hodgkin-Huxley type

Real and Complex Singularities - Contemporary Mathematics | 2004 | misc
2004

Strong statistical stability of non-uniformly expanding maps

Nonlinearity | 2004 | article
2004

Symmetry groupoids and admissible vector fields for coupled cell networks

Journal of the London Mathematical Society-second Series | 2004 | article

I Stewart

2004

The analysis of heart rate variability using independent component signals

Proceedings of the Second IASTED International Conference on Biomedical Engineering | 2004 | inproceedings
2004

The decidability of a fragment of BB ' IW-logic

Theoretical Computer Science | 2004 | article

L Damas

M Finger

PSE Silva

2004

The equational theory of w-terms for finite R-trivial semigroups

Semigroups and Languages | 2004 | inproceedings

M Zeitoun

2004

The globals of some subpseudovarieties of DA

International Journal of Algebra and Computation | 2004 | article

A Escada

2004

When is a smash product semiprime? a partial answer

Journal of Algebra | 2004 | article
2003

A CLP-based tool for computer aided generation and solving of maths exercises

Practical Aspects of Declarative Languages, Proceedings | 2003 | article
2003

A multi-agent system for automated timetabling with shared resources

Concurrent Engineering: Advanced Design, Production and Management Systems | 2003 | inproceedings
2003

A note on pure and p-pure languages

Acta Informatica | 2003 | article
2003

A parallel implementation of the Atkinson algorithm for solving a Fredholm equation

High Performance Computing For Computational Science - Vecpar 2002 | 2003 | article
2003

A parametric model approach for quantification of short term QT variability uncorrelated with heart rate variability

Computers in Cardiology 2003, Vol 30 | 2003 | inproceedings

E Pueyo

JP Martinez

P Laguna

S Olmos

2003

A polynomial time algorithm to compute the Abelian kernel of a finite monoid

Semigroup Forum | 2003 | article

PC Heam

2003

About Cartan geometrization of non-holonomic mechanics

Journal of Geometry and Physics | 2003 | article
2003

Approximate nonlinear filtering for a two-dimensional diffusion with one-dimensional observations in a low noise channel

Siam Journal on Control and Optimization | 2003 | article
2003

Approximation algorithms to minimum vertex cover problems on polygons and terrains

Computational Science - Iccs 2003, Pt I, Proceedings | 2003 | article

AL Bajuelos

F Marques

2003

Boundedness and inversion properties of certain convolution transforms

Journal of the Korean Mathematical Society | 2003 | article
2003

Clustered partial linear regression

Machine Learning | 2003 | article
2003

Generating random orthogonal polygons

Current Topics in Artificial Intelligence | 2003 | article

AL Bajuelos

2003

Limiting behaviour of a geometric-type estimator for tail indices

Insurance Mathematics & Economics | 2003 | article