Publications
Publicações

Publications

Transport properties of a kinetic model for chemical reactions without barriers

AIP Conference Proceedings | 2011

G.M. Alves

G.M. Kremer

DOI

3D mappings by generalized Joukowski transformations

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

C. Cruz

H.R. Malonek

DOI

Laguerre derivative and monogenic Laguerre polynomials: An operational approach

Mathematical and Computer Modelling | 2011

I. Cação

H.R. Malonek

DOI

On generalized hypercomplex Laguerre-type exponentials and applications

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

I. Cação

H.R. Malonek

DOI

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

Multi-objective memetic algorithm: Comparing artificial neural networks and pattern search filter method approaches

International Transactions in Operational Research | 2011

A. Gaspar-Cunha

F. Mendes

DOI

Nonlinear Optimization for Human-Like Movements of a High Degree of Freedom Robotics Arm-Hand System

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

E. Bicho

DOI

On a primal-dual interior point filter method

AIP Conference Proceedings | 2011

E.M.G.P. Fernandes

DOI

On minimizing objective and KKT error in a filter line search strategy for an interior point method

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

E.M.G.P. Fernandes

DOI

Symposium on numerical optimization and applications

AIP Conference Proceedings | 2011

A.I. Pereira

DOI

Application of change-point detection to a structural component of water quality variables

AIP Conference Proceedings | 2011

M. Costa

DOI

Clustering and forecasting of dissolved oxygen concentration on a river basin

Stochastic Environmental Research and Risk Assessment | 2011

M. Costa

DOI

Using udometric network data to estimate an environmental covariate

AIP Conference Proceedings | 2011

M. Costa

DOI