Publications
Publicações

Publications

Some additive results on Drazin inverses

Applied Mathematics and Computation | 2009

R.E. Hartwig

DOI

Leonhard Euler: Life, Work and Legacy. Studies in the History and Philosophy of Mathematics, 5

Annals of Science | 2009
DOI

A class of stationary nonlinear maxwell systems

Mathematical Models and Methods in Applied Sciences | 2009

J.-F. Rodrigues

DOI

On a constrained reaction-diffusion system related to multiphase problems

Discrete and Continuous Dynamical Systems | 2009

J.-F. Rodrigues

DOI

The nonlinear N-membranes evolution problem

Journal of Mathematical Sciences | 2009

J.F. Rodrigues

J.M. Urbano

DOI

Derivative-free optimization and filter methods to solve nonlinear constrained problems

International Journal of Computer Mathematics | 2009

A. Correia

P. Mestre

C. Serôdio

DOI

Using e-learning to self regulate the learning process of Mathematics for Engineering students

14th WSEAS International Conference on Applied Mathematics | 2009

Jorge Figueiredo

Maria Flores

Ana Jesus

Gaspar J. Machado

Paulo Pereira

A kinetic approach to propagation and stability of detonation waves

AIP Conference Proceedings | 2009

R. Monaco

M.P. Bianchi

A kinetic model for chemical reactions without barriers

AIP Conference Proceedings | 2009

G.M. Kremer

H-theorem and trend to equilibrium of chemically reacting mixtures of gases

Kinetic and Related Models | 2009

A Fibration Category of Local Pospaces

Electronic Notes in Theoretical Computer Science | 2009
DOI

Continuation-passing style and strong normalisation for intuitionistic sequent calculi

Log. Methods Comput. Sci. | 2009

Monadic translation of intuitionistic sequent calculus

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

R. Matthes

DOI

Proof search and counter-model construction for Bi-intuitionistic propositional logic with labelled sequents

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

T. Uustalu

DOI

Proof search in constructive logics.

London Math. Soc. Lecture Note Ser. | 2009

Boundedness and global exponential stability for delayed differential equations with applications

Applied Mathematics and Computation | 2009

T. Faria

DOI

Global asymptotic stability for neural network models with distributed delays

Mathematical and Computer Modelling | 2009
DOI

Ciência com Vistas - uma vis(i)ta multidisciplinar, guia de campo do Professor

Convergence of LR algorithm for a one-point spectrum tridiagonal matrix

Numerische Mathematik | 2009

B. Parlett

DOI

Monadic translation of intuitionistic sequent calculus

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

R. Matthes

L. Pinto

DOI

The λ-calculus and the unity of structural proof theory

Theory of Computing Systems | 2009
DOI

Comparison of filter line search algorithms in the primal-dual barrier approach for nonlinear programming

AIP Conference Proceedings | 2009

E.M.G.P. Fernandes

DOI

Overview on mixed integer nonlinear programming problems

AIP Conference Proceedings | 2009

F.P. Fernandes

E.M.G.P. Fernandas

DOI

Session on numerical optimization

AIP Conference Proceedings | 2009

A.I. Pereira

DOI