Publications
Publicações

Publications

DTDA: An R package to analyze randomly truncated data

Journal of Statistical Software | 2010

J. De Uña-Álvarez

R.M. Crujeiras

Towards a canonical classical natural deduction system

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

Right triangular dihedral {$f$}-tilings of the sphere: the {$\left(\frac{\pi}{2},\frac{\pi}{4},\frac{\pi}{3}\right),\left(\frac{\pi}{2},\fr ac{\pi}{3},\frac{\pi}{3}\right)$} family

Adv. Appl. Discrete Math. | 2010

Altino F. Santos

Lindenbaumsätze für deduktive Systeme

DOI

Biodegradable nanofibers-reinforced microfibrous composite scaffolds for bone tissue engineering

E.D. Pinho

V.M. Correlo

S. Faria

A.P. Marques

R.L. Reis

N.M. Neves

DOI

Cartilage tissue engineering using electrospun PCL nanofiber meshes and MSCs

A. Martins

A.R. Costa-Pinto

P. Costa

S. Faria

M. Gomes

R.L. Reis

N.M. Neves

DOI

Fitting mixtures of linear regressions

G. Soromenho

DOI

Osteogenic induction of hBMSCs by electrospun scaffolds with dexamethasone release functionality

A.R.C. Duarte

S. Faria

A.P. Marques

R.L. Reis

N.M. Neves

DOI

Solving cell infiltration limitations of electrospun nanofiber meshes for tissue engineering applications

A. Martins

E.D. Pinho

S. Faria

R.L. Reis

N.M. Neves

DOI

Multi-objective optimization of injection molding

Proceedings of the Polymer Processing Society Annual Meeting (PPS-26) | 2010

Using multiobjective evolutionary algorithms in the optimization of operating conditions of polymer injection molding

A.J. Pontes

J.C. Viana

A. Gaspar-Cunha

DOI

Métodos Espectrais Aplicados ao Filme de Fundido de um Processo de Extrusão de Polímeros

Congreso de Métodos Numéricos en Ingeniería | 2009

S. Gama

A. Gaspar-Cunha

Using multi-objective evolutionary algorithms in the optimization of polymer injection molding

DOI

Using multi-objective evolutionary algorithms in the optimization of polymer injection molding

Advances in Intelligent and Soft Computing | 2009

A.J. Pontes

J.C. Viana

A. Gaspar-Cunha

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

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

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

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