Publications
Publicações

Publications

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

Mathematical Structures in Computer Science | 2019

R. Matthes

DOI

Modal embeddings and calling paradigms

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

T. Uustalu

DOI

A note on global attractivity of the periodic solution for a model of hematopoiesis

Applied Mathematics Letters | 2019

Teresa Faria

DOI

Environmental and administrative EVIAVE-based approach for landfill siting

Waste Management & Research | 2019

Carlos Monteiro

Carlos Teixeira

Fátima Ferreira

DOI

Parasympathetic Tone Activity Evaluation to Discriminate Ketorolac and Ketorolac/Tramadol Analgesia Level in Swine

Anesthesia & Analgesia | 2019

Carlos J. Leitão

Juan Rafael Lima-Rodríguez

Fatima Ferreira

Francisco M. Sánchez-Margallo

Luís Antunes

DOI

S2 coverings by isosceles and scalene triangles - adjacency case I

Ars Mathematica Contemporanea | 2019

A. F. Santos

A stochastic coordinate descent for bound constrained global optimization

AIP Conference Proceedings | 2019

A.M.A.C. Rocha

E.M.G.P. Fernandes

DOI

Preface of the Symposium: Numerical Optimization and Applications

AIP Conference Proceedings | 2019

A.I. Pereira

DOI

A robust sparse linear approach for contaminated data

Communications in Statistics - Simulation and Computation | 2019

S. Shahriari

DOI

Characterization of Water and Energy Consumptions at the End Use Level in Rural and Urban Environments: Preliminary Results of the ENERWAT Project

Urban Science | 2019

Cristina Matos

António Cunha

Francisco Pereira

Elisabete Silva

Sandra Pereira

I. Bentes

DOI

Parental Behavior, Cognitive Appraisal, and Motivation in Young Athletes

Research Quarterly for Exercise and Sport | 2019

A.R. Gomes

O. Dias

C. Morais

DOI

Time series forecasting using Holt-Winters exponential smoothing: An application to economic data

AIP Conference Proceedings | 2019

S. Lima

M. Costa

DOI

Failure rate of birnbaum–saunders distributions: Shape, change-point, estimation and robustness

Brazilian Journal of Probability and Statistics | 2019

Michelli Barros

Victor Leiva

DOI

Thymic fuction as a predictor of immune recovery in chronically HIV-infected patients initiating antiretreoviral therapy

Frontiers in Immunology | 2019

Rita Rb-Silva

Cláudia Nóbrega

João Canto-Gomes

Ivo Ferreira

Rémi Cheynier

DOI

A Note on Convergence of Finite Differences Schemata for Gas Network Simulation

Proceedings of the 2019 22nd International Conference on Process Control, PC 2019 | 2019

T.-P. Azevedo-Perdicoulis

F. Perestrelo

DOI

Uniform convergence of basic Fourier–Bessel series on a q-linear grid

Ramanujan Journal | 2019
DOI

Palais Leaf-Space Manifolds and Surfaces Carrying Holomorphic Flows

Moscow Mathematical Journal | 2019

J.C. Rebelo

H. Reis

DOI

The clinical relevance of PCL index on the reconstruction of anterior cruciate ligament with hamstring tendon autograft

European Journal of Orthopaedic Surgery and Traumatology | 2019

B. Pombo

P. Marques

DOI

Attractor dynamics approach to joint transportation by autonomous robots: theory, implementation and validation on the factory floor

Autonomous Robots | 2019

T. Machado

T. Malheiro

S. Monteiro

E. Bicho

DOI

Neural Field Model for Measuring and Reproducing Time Intervals

Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation | 2019

Weronika Wojtak

Estela Bicho

DOI

Numerical Analysis of the Shape of Bump Solutions in a Neuronal Model of Working Memory

INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM-2018) | 2019

E. Bicho

DOI

More on geometry of Krein space C-numerical range

Applied Mathematics and Computation | 2019

Alexander Guterman

Rute Lemos

DOI

The Needs and Barriers Within the Supply Chain Actors—Hospital Pharmacy Needs

Pharmaceutical Supply Chains - Medicines Shortages | 2019

Aida Batista

João Luís De Miranda

DOI

Static compact objects in Einstein-Cartan theory

Physical Review D | 2019

Sante Carloni

DOI