Publications
2004 | Symmetry groupoids and admissible vector fields for coupled cell networks |
Journal of the London Mathematical Society-second Series | 2004 | article | ||
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 | ||
2004 | The equational theory of w-terms for finite R-trivial semigroups |
Semigroups and Languages | 2004 | inproceedings | ||
2004 | The globals of some subpseudovarieties of DA |
International Journal of Algebra and Computation | 2004 | article | ||
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 | ||
2003 | A polynomial time algorithm to compute the Abelian kernel of a finite monoid |
Semigroup Forum | 2003 | article | ||
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 | ||
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 | ||
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 | ||
2003 | Markov structures for non-uniformly expanding maps on compact manifolds in arbitrary dimension |
Electronic Research Announcements of the American Mathematical Society | 2003 | article | ||
2003 | On *-bands and their varieties |
Rocky Mountain Journal of Mathematics | 2003 | article | ||
2003 | On Fine and Wilf's theorem for bidimensional words |
Theoretical Computer Science | 2003 | article | ||
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 |