Publications
Publicações

Publications

Labeled homology of higher-dimensional automata

Journal of Applied and Computational Topology | 2018
DOI

Topological Complexity and Related Topics

American Mathematical Society | 2018

Mark Grant

Gregory Lupton

DOI

A proof-theoretic study of bi-intuitionistic propositional sequent calculus

Journal of Logic and Computation | 2018

Tarmo Uustalu

DOI

Permutability in proof terms for intuitionistic sequent calculus with cuts

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany | 2018

M.J. Frade

DOI

A penalty approach for solving nonsmooth and nonconvex MINLP problems

Springer Proceedings in Mathematics and Statistics | 2018

A.M.A.C. Rocha

E.M.G.P. Fernandes

DOI

Filter-based DIRECT method for constrained global optimization

Journal of Global Optimization | 2018

A.M.A.C. Rocha

E.M.G.P. Fernandes

DOI

On Metaheuristics for Solving the Parameter Estimation Problem in Dynamic Systems: A Comparative Study

Journal of Optimization | 2018

Gisela Ramadas

Edite Fernandes

António Ramadas

Ana Rocha

DOI

On a multiobjective optimal control of a tumor growth model with immune response and drug therapies

International Transactions in Operational Research | 2018

A.M.A.C. Rocha

E.M.G.P. Fernandes

DOI

Preface to the Special Issue “GOW’16”

Journal of Global Optimization | 2018

A.M.A.C. Rocha

E.M.G.P. Fernandes

DOI

A negative binomial model for student allocation to higher education in Portugal during the Post-Bologna process

AIP Conference Proceedings | 2018

R. Oliveira

R.M. Vasconcelos

DOI

Statistical analysis of health inequalities in the northern region of Portugal

AIP Conference Proceedings | 2018

V. Machado

S. Faria

M. Felício

DOI

The intention-behaviour gap: An empirical examination of an integrative perspective to explain exercise behaviour

International Journal of Sport and Exercise Psychology | 2018

A.R. Gomes

J.E. Maddux

L. Carneiro

DOI

Time series analysis by state space models applied to a water quality data in Portugal

AIP Conference Proceedings | 2018

O. Baturin

M. Costa

DOI

Which are the factors that may explain the differences in water and energy consumptions in urban and rural environments?

Science of the Total Environment | 2018

C. Matos

I. Bentes

S. Pereira

D. Faria

A. Briga-Sá

DOI

Wiman-Valiron theory for higher dimensional polynomial Cauchy-Riemann equations

Mathematical Methods in the Applied Sciences | 2018

R.S. Kraußhar

DOI

On the growth type of entire solutions to higher dimensional polynomial Cauchy-Riemann equations

AIP Conference Proceedings | 2018

R.S. Kraußhar

DOI

On Basic Fourier-Bessel Expansions

Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) | 2018

Non-existence of orthogonal complex structures on the round 6-sphere

Differential Geometry and Its Applications | 2018
DOI

Symbolic Approach to the General Quadratic Polynomial Decomposition

Mathematics in Computer Science | 2018

T. Augusta Mesquita

Zélia Da Rocha

DOI

Artificial Neural Networks Classification of Patients with Parkinsonism based on Gait

PROCEEDINGS 2018 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM) | 2018

C. Fernandes

L. Fonseca

M. Gago

L. Costa

N. Sousa

C. Ferreira

DOI

Numerical simulations of two-dimensional neural fields with applications to working memory

2018 European Control Conference, ECC 2018 | 2018

P.M. Lima

DOI

Position-based kinematics for 7-DoF serial manipulators with global configuration control, joint limit and singularity avoidance

MECHANISM AND MACHINE THEORY | 2018

C. Faria

S. Monteiro

E. Bicho

DOI

Determinantal range of words

Journal of Mathematical Sciences | 2018

Alexander Guterman

Some Log-majorizations and an extension of a determinantal inequality

Linear Algebra and Its Applications | 2018

R. Lemos

DOI