Publications
Publicações

Publications

Quaternions: A mathematica package for quaternionic analysis

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

A calculus of multiary sequent terms

ACM Transactions on Computational Logic | 2011
DOI

Relating sequent calculi for Bi-intuitionistic propositional logic

Electronic Proceedings in Theoretical Computer Science, EPTCS | 2011

T. Uustalu

DOI

General criteria for asymptotic and exponential stabilities of neural network models with unbounded delays

Applied Mathematics and Computation | 2011

T. Faria

DOI

Global stability of a Cohen-Grossberg neural network with both time-varying and continuous distributed delays

Nonlinear Analysis: Real World Applications | 2011
DOI

Aircraft components maintenance shop production planning -- random events prioritization

David Bourne

Fátima Ferreira

Deolinda Rasteiro

Jorge Santos

Combining and scaling descent and negative curvature directions

Mathematical Programming | 2011

J.M. Moguerza

A. Olivares

F.J. Prieto

DOI

Lot-sizing and scheduling in a glass container manufacture company

International Journal of Mathematical Modelling and Numerical Optimisation | 2011

C. Avelino

A. Cerveira

A. Delgado

M. Poss

C. P. Avelino

DOI

A note on preservation of strong normalisation in the λ-calculus

Theoretical Computer Science | 2011
DOI

Assessing the potential of interior point barrier filter line search methods: Nonmonotone versus monotone approach

Optimization | 2011

E.M.G.P. Fernandes

DOI

Human-like movement of an anthropomorphic robot: Problem revisited

AIP Conference Proceedings | 2011

E.C. E Silva

E. Bicho

DOI

Interior point filter method for semi-infinite programming problems

Optimization | 2011

A.I. Pereira

E.M.G.P. Fernandes

DOI