Publications
Publicações

Publications

On surfaces with p_g = q = 1 and non-ruled bicanonical involution

ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE | 2009
DOI

A note on todorov surfaces

Osaka Journal of Mathematics | 2009

Investigation on the Baumgarte stabilization method for dynamic analysis of constrained multibody systems

Proceedings of EUCOMES 2008 - The 2nd European Conference on Mechanism Science | 2009

P. Flores

M. Machado

E. Seabra

DOI

Problemas de decisão para semigrupos finitos

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

Irene Brito

Jorge Figueiredo

Maria Flores

Ana Jesus

Teresa Malheiro

Paulo Pereira

Reference frames and the physical gravito-electromagnetic analogy

Proceedings of the International Astronomical Union | 2009

C.A.R. Herdeiro

DOI

Tidal tensor approach to gravitoelectromagnetism

International Journal of Modern Physics A | 2009

C.A.R. Herdeiro

DOI

A class of spherical dihedral f-tilings

European Journal of Combinatorics | 2009

A.M. D'Azevedo Breda

P.S. Ribeiro

DOI

Dihedral f-tilings of the sphere by isosceles triangles and isosceles trapezoids

AIP Conference Proceedings | 2009
DOI

Spherical f-tilings by scalene triangles and isosceles trapezoids, I

European Journal of Combinatorics | 2009
DOI

Spherical f-tilings by scalene triangles and isosceles trapezoids, III

Electronic Journal of Combinatorics | 2009

Symmetry groups of a class of spherical foldings tilings

Applied Mathematics & Information Sciences | 2009

Inverse Eigenvalue Problems and Their Associated Approximation Problems for Matrices with J-(Skew) Centrosymmetry

Lecture Notes in Operations Research 11 | 2009

yulin Zhang

Investigation of the stress and strain state of clay pipes under fire condition

Ceramics International | 2009

Y. Ding

Y. Wang

P. Paulini

DOI

On the Eigenstructure of Hermitian Toeplitz Matrices with Prescribed Eigenpairs

Lecture Notes in Operations Research 10 | 2009

yulin Zhang

The investigation on strength and flexural toughness of fibre cocktail reinforced self-compacting high performance concrete

Construction and Building Materials | 2009

Y. Ding

A. Thomas

DOI

On the Drazin index of regular elements

Central European Journal of Mathematics | 2009
DOI

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

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