Publications
Publicações

Publications

A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism

Studia Logica | 2020

Gilda Ferreira

DOI

The Call-By-Value Lambda-Calculus with Generalized Applications

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

Modelling Irregularly Spaced Time Series Under Preferential Sampling

Revstat Statistical Journal | 2020

Andreia Monteiro

Eduarda Maria Silva

Modelling informative time points: an evolutionary process approach

TEST | 2020

Andreia Monteiro

Maria Eduarda Silva

DOI

Mixed-effects modelling for crossed and nested data: an analysis of dengue fever in the state of Goiás, Brazil

Journal of Applied Statistics | 2020

A. Oliveira

P. Afonso

DOI

A fast method for solving a block tridiagonal quasi-Toeplitz linear system

Portugaliae Mathematica | 2020

Skander Belhaj

Fahd Hcini

DOI

Effect of fibers on the temperature field and radial deformation behavior of self‐compacting concrete pipes under cyclic fire condition

Structural Concrete | 2020

Genjin Liu

Yining Ding

Yuehua Wang

DOI

A Population-Based Stochastic Coordinate Descent Method

Advances in Intelligent Systems and Computing | 2020

A.M.A.C. Rocha

E.M.G.P. Fernandes

DOI

Filter-based stochastic algorithm for global optimization

Journal of Global Optimization | 2020

M.J.F.G. Macêdo

E.W. Karas

A.M.A.C. Rocha

DOI

Objective and Violation Upper Bounds on a DIRECT-Filter Method for Global Optimization

Ana Rocha

Edite Fernandes

DOI

The hybrid numbers of Padovan and some identities

Annales Mathematicae Silesianae | 2020

M.C. Dos Santos Mangueira

R.P. Machado Vieira

F.R. Vieira Alves

DOI

A note on incomplete Leonardo numbers

Integers | 2020

A. Borges

Learning How to Solve Linear Equation with Equation Buster

International Journal of Technology in Mathematics Education | 2020

Uso da Narração Multimodal no estudo das características da mediação do professor que influenciam o envolvimento produtivo dos alunos

Revista Thema | 2020

Paula Nunes

Maria Nascimento

DOI

FEEDBACK OF FIRST YEAR STUDENTS’ TUTORING PROGRAM

Ana Aires

DOI

AN INDIVIDUAL WORK OF HIGHER EDUCATION’ STUDENTS IN COVID-19 TIME: SHARING SOME OF THAT WORK

Paulo Vasco

DOI

CONSTRUÇÃO DA FORMA MATRICIAL DE SEQUÊNCIAS LINEARES E RECORRENTES: UM ESTUDO DA MATRIZ GERADORA

Cadernos do IME - Série Matemática | 2020

Renata Vieira

Francisco Alves

Anabela Rodrigues

DOI

UMA PROPOSTA DE INVESTIGAÇÃO HISTÓRICO-EPISTEMOLÓGICA SOBRE SEQUÊNCIAS RECORRENTES DE 2ª ORDEM

PARADIGMA | 2020

Francisco Alves

DOI

The Generalized order-m (k-Pell) numbers

Analele Stiintifice ale Universitatii Al I Cuza din Iasi - Matematica | 2020

Tail dependence and smoothness of time series

TEST | 2020

Helena Ferreira

DOI

Singularity theorems and the inclusion of torsion in affine theories of gravity

Journal of Mathematical Physics | 2020
DOI

Clinical effectiveness of Enneking appropriate versus Enneking inappropriate procedure in patients with primary osteosarcoma of the spine: a systematic review with meta-analysis

European Spine Journal | 2020

B. Pombo

P. Cardoso

A. Oliveira

DOI

Variations around a general quantum operator

The Ramanujan Journal | 2020
DOI

Spectral inequalities for Kubo-Ando operator means

Linear Algebra and its Applications | 2020

R. Lemos

DOI