Publications
Publicações

Publications

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

Maria Flores

Ana Jesus

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

Logical Methods in Computer Science | 2009

Ralph Matthes

Luis Pinto

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

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

Ciência com Vistas – Uma vis(i)ta multidisciplinar.

Universidade do Minho | 2009

Sentir a Ciência – Manual de Actividades Experimentais

Universidade do Minho | 2009

Multitype Bienaymé-Galton-Watson processes escaping extinction

Advances in Applied Probability | 2009

S. Sagitov

DOI

Piecewise constant Galerkin approximations of weakly singular integral equations

International Journal of Pure and Applied Mathematics | 2009

M. Ahues

F.D. D'Almeida

Advantages of using a block unstructured grid in a casting scenario

AIP Conference Proceedings | 2009

E. Monteiro

L. Gonsalves

A. Rouboa

DOI

Finite volume method analysis of heat transfer problem using adapted strongly implicit procedure

Journal of Mechanical Science and Technology | 2009

A. Rouboa

E. Monteiro

DOI

On the growth behavior of hypermonogenic functions on upper half-space

AIP Conference Proceedings | 2009

D. Constales

R.S. Kraußhar

DOI

Complete reducibility of the pseudovariety LS1

International Journal of Algebra and Computation | 2009
DOI

Structural and recurrence relations for hypergeometric-type functions by nikiforov-uvarov method

Electronic Transactions on Numerical Analysis | 2009

C.M. Fernandes

R. Álvarez-Nodarse

Structural and recurrence relations for hypergeometric-type functions by nikiforov-uvarovmethod

Electronic Transactions on Numerical Analysis | 2009

C.M. Fernandes

R. Álvarez-Nodarse

The ideal structure of semigroups of linear transformations with upper bounds on their nullity or defect

Communications in Algebra | 2009

R.P. Sullivan

DOI

A dynamic field approach to goal inference and error monitoring for human-robot interaction

Adaptive and Emergent Behaviour and Complex Systems - Proceedings of the 23rd Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB 2009 | 2009

E. Bicho

L. Louro

N. Hipólito

Learning to time: A perspective

Journal of the Experimental Analysis of Behavior | 2009

A. Machado

DOI

Inequalities for J-contractions involving the α-power mean

Journal of Inequalities in Pure and Applied Mathematics | 2009

On using quadratic interpolation of the determinant function to estimate the step-length in a predictor-corrector variant for semidefinite programming

AIP Conference Proceedings | 2009

F. Bastos

DOI

N<inf>0</inf> completions on partial matrices

Applied Mathematics and Computation | 2009

C. Jordán

J.R. Torregrosa

DOI

Sign pattern matrices that admit M-, N-, P- or inverse M-matrices

Linear Algebra and Its Applications | 2009

J.R. Torregrosa

DOI

Opened modular numerical semigroups with a given multiplicity

J.C. Rosales

DOI

The doubles of a numerical semigroup

A.M. Robles-Pérez

J.C. Rosales

DOI

A Geometria no dia de ....

Complete semigroups of transformations on a finite chain

International Conference on Semigroups and related topics, ICSrt 2009 | 2009

Complete semigroups of transformations on a finite chain

International Conference on Semigroups and related topics, ICSrt 2009, Porto | 2009

Construções com Matemática

Profmat2009 | 2009

Construções com Matemática

Profmat2009, Viana do Castelo | 2009

Livro das Atas do EIEM2008-Encontro em Investigação em Educação Matemática 2008

C. Costa

M. Nascimento

AP Aires

Tarefas de Geometria para o Ensino Pré-escolar e para o 1.º Ciclo do Ensino Básico

Profmat2009 | 2009

C. Costa

Tarefas de Geometria para o Ensino Pré-escolar e para o 1.º Ciclo do Ensino Básico

Profmat2009, Viana do Castelo | 2009