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