Publications
Publicações

Publications

A faithful and quantitative notion of distant reduction for generalized applications (long version)

arXiv | 2022

D. Kesner

L. Peyrot

A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications

Delia Kesner

Loïc Peyrot

DOI

Plotkin's call-by-value λ-calculus as a modal calculus

Journal of Logical and Algebraic Methods in Programming | 2022

T. Uustalu

DOI

Risk Analysis and Risk Measures Applied to the Furniture Industry

Celina Leão

Matilde Rodrigues

DOI

Designing and Randomising Multiple-Choice Questions for E-Learning in Mathematics Using MVGEN

José Almeida

DOI

INJECTIVE LINEAR TRANSFORMATIONS WITH EQUAL GAP AND DEFECT

Bulletin of the Australian Mathematical Society | 2022
DOI

DTDA: Doubly Truncated Data Analysis

Jacobo Uña-Álvarez

Rosa Crujeiras

Cortical auditory evoked potentials in 1-month-old infants predict language outcomes at 12 months

Infancy | 2022

Alberto Crego

Carla Moreira

Eugénia Ribeiro

Óscar Gonçalves

Rita Ramos

Adriana Sampaio

DOI

Doença Mental em Sobreviventes da COVID‐19

Revista Portuguesa de Psiquiatria e Saúde Mental | 2022
DOI

Brain-inspired multiple-target tracking using Dynamic Neural Fields

Neural Networks | 2022

Shiva Kamkar

Hamid Abrishami Moghaddam

Reza Lashgari

DOI

Numerical solution of the stochastic neural field equation with applications to working memory

Physica A: Statistical Mechanics and its Applications | 2022

P.M. Lima

M.V. Kulikova

G.Yu. Kulikov

DOI

Time Series Analysis for Anomaly Detection of Water Consumption: A Case Study

Innovations in Industrial Engineering | 2022

Marta Santos

Ana Borges

Davide Carneiro

DOI