Publications
Publicações

Publications

Using endogenous saccades to characterize fatigue in multiple sclerosis

M. Parreira

J. Figueiredo

J.J. Cerqueira

A.F. Macedo

DOI

Inhabitation in simply-typed lambda-calculus through a lambda-calculus for proof search

Leibniz International Proceedings in Informatics, LIPIcs | 2017

R. Matthes

Patterns of synchrony for feed-forward and auto-regulation feed-forward neural networks

Chaos: An Interdisciplinary Journal of Nonlinear Science | 2017

Manuela Aguiar

Ana Dias

DOI

Gait analysis as a complementary tool in the levodopa dose decision in vascular Parkinson's disease

MOVEMENT DISORDERS | 2017

M Gago

N Mollaei

M Rodrigues

N Sousa

E Bicho

P Rodrigues

O risco e a ruína na atividade seguradora

Boletim da Sociedade Portuguesa de Matemática | 2017

Irene Brito

Pedro Lima Ramos

Pedro Alexandre Fernandes Lima Ramos

Characterization of strong normalizability for a lambda-calculus with co-control

Leibniz International Proceedings in Informatics, LIPIcs | 2017

S. Ghilezan

Geometric and combinatorial structure of a class of spherical folding tessellations - I

Czechoslovak Mathematical Journal | 2017

Altino F. Santos

DOI

Classificação e Análise de Dados-Métodos e Aplicações II

Novas aplicações de métodos multivariados na análise da mortalidade: um estudo na região norte de Portugal, 2001-2005

Classificação e Análise de Dados-Métodos e Aplicações II | 2017

Selecção robusta em modelos de regressão linear com um grande número de preditores

Classificação e Análise de Dados-Métodos e Aplicações II | 2017

The Calculus of Natural Calculations (presentation)

Beyond Logic. Conference in Cerisy-la-Salle | 2017
DOI

Anxiety and burnout in young athletes: The mediating role of cognitive appraisal

Scandinavian Journal of Medicine and Science in Sports | 2017

S. Faria

C. Vilela

DOI