Publications
Publicações

Publications

Continuation-passing style and strong normalisation for intuitionistic sequent calculi

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

R. Matthes

Global attractivity for scalar differential equations with small delay

Journal of Mathematical Analysis and Applications | 2007

T. Faria

DOI

A linesearch approach for the combination of descent and negative curvature

ORM2007, V Moscow International Conference on Operations Research | 2007

J. M. Moguerza

A. Olivares

F. J. Prieto

The unsymmetric tridiagonal eigenvalue problem

Completing Herbelin's programme

Lecture Notes in Computer Science | 2007

Delayed substitutions

Lecture Notes in Computer Science | 2007
DOI

Refocusing generalised normalisation

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

An interior point filter line search method: Main convergence results

AIP Conference Proceedings | 2007

E.M.G.P. Fernandes

DOI

On interior point multidimensional filter line search methods for constrained optimization

WSEAS Transactions on Information Science and Applications | 2007

E.M.G.P. Fernandes

Parallelization of an algorithm for computing the eigenelements of an astrophysics model

AIP Conference Proceedings | 2007
DOI

Dynamics of escape mutants

Theoretical Population Biology | 2007

P. Haccou

DOI

Growth orders of monogenic functions in the ball

AIP Conference Proceedings | 2007

D. Constales

R.S. Kraußhar

DOI

Initial conditions optimization in casting scenario

AIP Conference Proceedings | 2007

E. Monteiro

A. Rouboa

DOI

On the growth type of entire monogenic functions

Archiv der Mathematik | 2007

D. Constales

R.S. Krausshar

DOI

On the relation between the growth and the Taylor coefficients of entire solutions to the higher-dimensional Cauchy-Riemann system in R<sup>n + 1</sup>

Journal of Mathematical Analysis and Applications | 2007

D. Constales

R.S. Kraußhar

DOI

Object transportation by multiple mobile robots controlled by attractor dynamics: Theory and implementation

IEEE International Conference on Intelligent Robots and Systems | 2007

R. Soares

E. Bicho

T. Machado

DOI

On the development of intention understanding for joint action tasks

2007 IEEE 6th International Conference on Development and Learning, ICDL | 2007

A. Mukovskiy

F. Chersi

E. Bicho

DOI

Complete reducibility of pseudovarieties

DOI

Complete reducibility of systems of equations with respect to R

António A. R. Monteiro e a Investigação em Portugal na década de 40

Actas del IX Congreso Dr. António A. R. Monteiro | 2007

Could mathematics transform my land in the capital of universe?

Fifth European Summer University on the History and Epistemology in Mathematics Education, ESU 5, 2007 | 2007

C. Costa

M. Nascimento

Could mathematics transform my land in the capital of universe?

In Fifth European Summer University on the History and Epistemology in Mathematics Education, ESU 5, 2007, Praga | 2007

Da Colinearidade no ensino secundário à dependência linear no ensino superior: Que descontinuidades?

C. Costa

DOI

Matematizando em Trás-os-Montes e Alto Douro: uma primeira tentativa

ElementaryMathematics Education, 2nd International Meeting - EME06 - (Elementary Mathematical Education) | 2007

C. Costa

M. Nascimento