research

Publications

Publications

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
2003

Linearity of the transverse Poisson structure to a coadjoint orbit

Letters in Mathematical Physics | 2003 | article

T Fardilha

2003

Markov structures for non-uniformly expanding maps on compact manifolds in arbitrary dimension

Electronic Research Announcements of the American Mathematical Society | 2003 | article

S Luzzatto

V Pinheiro

2003

On *-bands and their varieties

Rocky Mountain Journal of Mathematics | 2003 | article

M Petrich

2003

On Fine and Wilf's theorem for bidimensional words

Theoretical Computer Science | 2003 | article

A Restivo

F Mignosi

2003

On the Kontorovich-Lebedev transformation

Journal of Integral Equations and Applications | 2003 | article
2003

On the uniform hyperbolicity of some nonuniformly hyperbolic systems

Proceedings of the American Mathematical Society | 2003 | article

B Saussol

V Araujo