Publications
Publicações

Publications

Topological complexity and the homotopy cofibre of the diagonal map

Mathematische Zeitschrift | 2013

J.M. García Calcines

DOI

A coinductive approach to proof search

Electronic Proceedings in Theoretical Computer Science, EPTCS | 2013

R. Matthes

DOI

Monadic translation of classical sequent calculus

Mathematical Structures in Computer Science | 2013

R. Matthes

K. Nakazawa

DOI

Analysis of nonlinear dynamics of neural networks

Abstract and Applied Analysis | 2013

S. Arik

J. Park

T. Huang

DOI

Global exponential stability of nonautonomous neural network models with continuous distributed delays

Applied Mathematics and Computation | 2013

S. Esteves

E. Gökmen

DOI

Towards a canonical classical natural deduction system

Annals of Pure and Applied Logic | 2013
DOI

A modified fractional Zener model to describe the behaviour of a carbon fibre reinforced polymer

AIP Conference Proceedings | 2013
DOI

An evolutionary algorithm based pattern search approach for constrained optimization

2013 IEEE Congress on Evolutionary Computation, CEC 2013 | 2013

R. Datta

K. Deb

A. Gaspar-Cunha

DOI

Generating human-like movements on an anthropomorphic robot using an interior point method

AIP Conference Proceedings | 2013

E. Costa E Silva

J.P. Araújo

D. Machado

E. Bicho

DOI

Hooke and Jeeves based multilevel coordinate search to globally solving nonsmooth problems

AIP Conference Proceedings | 2013

A.M.A.C. Rocha

E.M.G.P. Fernandes

DOI

Irrigation planning: Replanning and numerical solution

AIP Conference Proceedings | 2013

S.O. Lopes

F.A.C.C. Fontes

R.M.S. Pereira

DOI

Multilocal programming: A derivative-free filter multistart algorithm

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

F.P. Fernandes

E.M.G.P. Fernandes

DOI

Multistart Hooke and Jeeves filter method for mixed variable optimization

AIP Conference Proceedings | 2013

F.P. Fernandes

E.M.G.P. Fernandes

A.M.A.C. Rocha

DOI

A negative binomial model for student allocation to higher education in Portugal during the pre-Bologna period

AIP Conference Proceedings | 2013

R. Oliveira

R.M. Vasconcelos

DOI

Assessing the performance of change-point detection based on the SIC procedure for non Gaussian and correlated data - A simulation study

AIP Conference Proceedings | 2013

M. Costa

L. Teixeira

DOI

Cognitive appraisal as a mediator in the relationship between stress and burnout

Work and Stress | 2013

S. Faria

DOI

Irrigation planning: An optimal control approach

S.O. Lopes

F.A.C.C. Fontes

R.M.S. Pereira

DOI

Predicting seasonal and hydro-meteorological impact in environmental variables modelling via Kalman filtering

Stochastic Environmental Research and Risk Assessment | 2013

M. Costa

DOI

Errors and grids for projected weakly singular integral equations

International Journal of Pure and Applied Mathematics | 2013

F.D. D'Almeida

M. Ahues

DOI

On the Lower Order and Type of Entire Axially Monogenic Functions

Results in Mathematics | 2013

M.A. Abul-Ez

DOI

The Fourier expansion of the hypermonogenic generalized trigonometric and elliptic functions

Journal of Number Theory | 2013

D. Constales

R.S. Kraußhar

DOI

On the properties of special functions on the linear-type lattices

Journal of Mathematical Analysis and Applications | 2013

R. Álvarez-Nodarse

DOI

Regular elements and Green's relations in generalized transformation semigroups

Asian-European Journal of Mathematics | 2013

R.P. Sullivan

V. Gould

DOI

A vanishing theorem in twisted de Rham cohomology

Proceedings of the Edinburgh Mathematical Society | 2013
DOI