Publications
Publicações

Publications

Autonomous flight trajectory generation via attractor dynamics

2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS | 2005

E. Bicho

A. Moreira

M. Carvalheira

DOI

Inequalities for J-Hermitian matrices

Linear Algebra and Its Applications | 2005

N. Bebiano

H. Nakazato

J. Da Providência

R. Lemos

DOI

On the geometry of numerical ranges in spaces with an indefinite inner product

Linear Algebra and Its Applications | 2005

N. Bebiano

R. Lemos

J. Da Providência

DOI

Three observations on the determinantal range

Linear Algebra and Its Applications | 2005

N. Bebiano

DOI

Tameness of pseudovariety joins involving R

Monatshefte fur Mathematik | 2005

J. Almeida

M. Zeitoun

DOI

The doubly negative matrix completion problem

Linear Algebra and Its Applications | 2005

J.R. Torregrosa

A.M. Urbano

DOI

The symmetric N-matrix completion problem

Linear Algebra and Its Applications | 2005

J.R. Torregrosa

A.M. Urbano

DOI

Obtaining a class of type N pure radiation metrics using invariant operators

Classical and Quantum Gravity | 2005

S.B. Edgar

DOI

Spherically symmetric perfect fluid in area-radial coordinates

Classical and Quantum Gravity | 2005

H. Iguchi

T. Harada

DOI

On asymptotic stabilization of elastic systems

2005 International Conference on Physics and Control, PhysCon 2005, Proceedings | 2005

A. Sarychev

DOI

Remarks on stability of inverted pendula

Rendiconti del Seminario Matematico | 2005

A.V. Sarychev

Exploratory analysis of longitudinal trials with staggered intervention times

Biostatistics | 2005

A.G. Chetwynd

P.J. Diggle

DOI

Dihedral f-tilings of the sphere by spherical triangles and equiangular well-centered quadrangles

Beitrage zur Algebra und Geometrie | 2004

A.M. D'Azevedo Breda

Drazin-Moore-Penrose invertibility in rings

Linear Algebra and Its Applications | 2004

R. Puystjens

DOI

Generalized invertibility in two semigroups of a ring

Linear Algebra and Its Applications | 2004

P. Patrício

DOI

Variables, limits, and infinitesimals in Portugal in the late 18th century

Historia Mathematica | 2004
DOI

Convergence of convex sets with gradient constraint

Journal of Convex Analysis | 2004

Lagrangian intersections, critical points and Qcategory

Mathematische Zeitschrift | 2004

P.-M. Moyaux

DOI

Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004

Type-based termination of recursive definitions

Mathematical Structures in Computer Science | 2004

G. Barthe

M.J. Frade

E. Giménez

T. Uustalu

DOI

Sobre métodos de multiplicadores baseados em funções de lagrangeano aumentado.

Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004

L. Pinto

Baer-Levi semigroups of linear transformations

Royal Society of Edinburgh - Proceedings A | 2004

R.P. Sullivan

Tameness of the pseudovariety LS1

International Journal of Algebra and Computation | 2004