Publications

Document type

- Any -ArtworkAudiovisualBillBookBook ChapterBroadcastCaseChartClassicalConference PaperConference ProceedingsDatabaseFilmGovernment ReportHearingJournalJournal ArticleLegal RulingMagazine ArticleManuscriptMapMiscellaneousMiscellaneous SectionNewspaper ArticlePatentPersonalPreprintPresentationReportSoftwareStatuteThesisUnpublishedWeb ArticleWeb project pageWeb serviceWebsite

Keywords

Year

Name

Items per page

• 12
• 24
• 48
• - All -

Search

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

Leibniz International Proceedings in Informatics, LIPIcs | 2017

J.E. Santo

S. Ghilezan

O risco e a ruína na atividade seguradora

Boletim da Sociedade Portuguesa de Matemática | 2017

Patrícia Gonçalves

Irene Brito

Pedro Lima Ramos

Pedro Alexandre Fernandes Lima Ramos

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

MOVEMENT DISORDERS | 2017

M Gago

F Ferreira

N Mollaei

M Rodrigues

N Sousa

E Bicho

P Rodrigues

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

Flora Ferreira

DOI

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

Leibniz International Proceedings in Informatics, LIPIcs | 2017

J.E. Santo

R. Matthes

L. Pinto

Using endogenous saccades to characterize fatigue in multiple sclerosis

Multiple Sclerosis and Related Disorders | 2017

M. Ferreira

P.A. Pereira

M. Parreira

I. Sousa

J. Figueiredo

J.J. Cerqueira

A.F. Macedo

DOI

Narrative Changes Predict a Decrease in Symptoms in CBT for Depression: An Exploratory Study

Clinical Psychology and Psychotherapy | 2017

M.M. Gonçalves

J.R. Silva

I. Mendes

C. Rosa

A.P. Ribeiro

J. Batista

I. Sousa

DOI

Joint modelling of longitudinal CEA tumour marker progression and survival data on breast cancer

AIP Conference Proceedings | 2017

A. Borges

I. Sousa

L. Castro

DOI

Iterated Kantorovich vs Kulkarni Method for Fredholm Integral Equations

Integral Methods in Science and Engineering, Volume 2 | 2017

Filomena D. D'Almeida

Rosário Fernandes

DOI

Topological features of flows with the reparametrized gluing orbit property

Journal of Differential Equations | 2017

Tiago Bomfim

Maria Joana Torres

Paulo Varandas

DOI

On shadowing and hyperbolicity for geodesic flows on surfaces

Nonlinear Analysis, Theory, Methods and Applications | 2017

Mário Bessa

João Lopes Dias

Maria Joana Torres

DOI

The einstein-friedrich-nonlinear scalar field system and the stability of scalar field cosmologies

Advances in Theoretical and Mathematical Physics | 2017

A. Alho

F.C. Mena

J.A.V. Kroon

DOI