Publications
Publicações

Publications

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

Shorter latencies for motion trajectories than for flashes in population responses of cat primary visual cortex

Journal of Physiology | 2004

D. Jancke

G. Schöner

H.R. Dinse

DOI

The role of action plans and other cognitive factors in motion extrapolation: A modelling study

Visual Cognition | 2004

D. Jancke

DOI

On generalized numerical ranges of operators on an indefinite inner product space

Linear and Multilinear Algebra | 2004

N. Bebiano

R. Lemos

J. Da Providência

Reducibility of joins involving some locally trivial pseudovarieties

Communications in Algebra | 2004
DOI

The N -matrix completion problem under digraphs assumptions

Linear Algebra and Its Applications | 2004

J.R. Torregrosa

A.M. Urbano

DOI

Livro das Atas do Encontro Nacional de Algebristas Portugueses 2004

E. Giraldes

C. Costa

Matching of spatially homogeneous nonstationary space-times to vacuum in cylindrical symmetry

Physical Review D - Particles, Fields, Gravitation and Cosmology | 2004

P. Tod

DOI

Role of anisotropy and inhomogeneity in Lemaitre-Tolman-Bondi collapse

Physical Review D - Particles, Fields, Gravitation and Cosmology | 2004

B.C. Nolan

R. Tavakol

DOI

Confluence and strong normalisation of the generalised multiary lambda-calculus

Annals of the New York Academy of Sciences | 2004

L Pinto

O que é a probabilidade? : interpretações da probabilidade

Kirchhoff-Love plate model vs. Bernoulli-Navier beam model

J.M. Viaño

Uma contribuição para o estudo de problemas de completamento de matrizes

Stability of Equilibria in Equations of Hodgkin-Huxley Type

Real and complex singularities | 2004

Isabel Labouriau

DOI

The N -matrix completion problem under digraphs assumptions

Linear Algebra and Its Applications | 2004

J.R. Torregrosa

A.M. Urbano

DOI

Contradomínios numéricos de operadores em espaços com produtos internos indefinidos

Tameness of the pseudovariety LS1

International Journal of Algebra and Computation | 2004

M.L. Teixeira

DOI

Analytical and numerical solutions for a class of optimization problems in elasticity

L. Trabucho

Some results in topology optimization applied to biomechanics

L. Trabucho

DOI

Remarks on generalized numerical ranges of operators on an indefinite inner product space

J. Da Providência

N. Bebiano

R. Lemos

Well centered spherical quadrangles

Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry | 2003

The Moore-Penrose inverse of a factorization

Linear Algebra and Its Applications | 2003
DOI