Publications | Research

Monadic translation of intuitionistic sequent calculus

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

J. Espírito Santo

R. Matthes

L. Pinto

DOI

The λ-calculus and the unity of structural proof theory

Theory of Computing Systems | 2009

J. Espírito Santo

DOI

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

AIP Conference Proceedings | 2009

M.F.P. Costa

E.M.G.P. Fernandes

DOI

Overview on mixed integer nonlinear programming problems

AIP Conference Proceedings | 2009

F.P. Fernandes

M.F.P. Costa

E.M.G.P. Fernandas

DOI

Session on numerical optimization

AIP Conference Proceedings | 2009

A.I. Pereira

M.F.P. Costa

DOI

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

Universidade do Minho | 2009

Maria Forjaz

Sentir a Ciência – Manual de Actividades Experimentais

Universidade do Minho | 2009

Maria Forjaz

Multitype Bienaymé-Galton-Watson processes escaping extinction

Advances in Applied Probability | 2009

S. Sagitov

M.C. Serra

DOI

Piecewise constant Galerkin approximations of weakly singular integral equations

International Journal of Pure and Applied Mathematics | 2009

M. Ahues

F.D. D'Almeida

R.R. Fernandes

Advantages of using a block unstructured grid in a casting scenario

AIP Conference Proceedings | 2009

E. Monteiro

R. De Almeida

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

R. De Almeida

DOI

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

AIP Conference Proceedings | 2009

D. Constales

R. De Almeida

R.S. Kraußhar

DOI