Centro de Matemática da Universidade do Porto (CMUP)
Centro de Matemática da Universidade do Porto
AuthID: I-000-1C6
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 3590
143 Team MembersFilters -> Year: 2024
1201
TITLE: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 25-45
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 25-45
1202
TITLE: Produto escalar
AUTHORS: João Nuno Tavares ; Ângela Geraldo;
PUBLISHED: 2019, SOURCE: Revista de Ciência Elementar, VOLUME: 7, ISSUE: 2
AUTHORS: João Nuno Tavares ; Ângela Geraldo;
PUBLISHED: 2019, SOURCE: Revista de Ciência Elementar, VOLUME: 7, ISSUE: 2
INDEXED IN: 
CrossRef
CrossRef1203
TITLE: Project drive-math - Analyzing students' perceptions of the improvement of their social skills in active-learning courses
AUTHORS: Pinto, C ; Nicola, S; Mendonça, J; Velichová, D;
PUBLISHED: 2019, SOURCE: 18th Conference on Applied Mathematics, APLIMAT 2019 in 18th Conference on Applied Mathematics, APLIMAT 2019, VOLUME: 2, PAGES: 943-948
AUTHORS: Pinto, C ; Nicola, S; Mendonça, J; Velichová, D;
PUBLISHED: 2019, SOURCE: 18th Conference on Applied Mathematics, APLIMAT 2019 in 18th Conference on Applied Mathematics, APLIMAT 2019, VOLUME: 2, PAGES: 943-948
INDEXED IN: 
Scopus
Scopus1204
TITLE: Pseudovarieties of Ordered Completely Regular Semigroups Full Text
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2019, SOURCE: RESULTS IN MATHEMATICS, VOLUME: 74, ISSUE: 2
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2019, SOURCE: RESULTS IN MATHEMATICS, VOLUME: 74, ISSUE: 2
1205
TITLE: Pseudovarieties of Ordered Completely Regular Semigroups (vol 74, 78, 2019) Full Text
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2019, SOURCE: RESULTS IN MATHEMATICS, VOLUME: 74, ISSUE: 2
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2019, SOURCE: RESULTS IN MATHEMATICS, VOLUME: 74, ISSUE: 2
INDEXED IN: 
WOS CrossRef
WOS CrossRef1206
TITLE: Quality assessment and feedback of Smart Device Microphone Spirometry executed by children
AUTHORS: Almeida, R ; Pinho, B ; Jacome, C ; Teixeira, JF ; Amaral, R ; Lopes, F; Jacinto, T ; Guedes, R ; Pereira, M ; Goncalves, I ; Fonseca, JA ;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering (ENBENG) in 2019 6TH IEEE PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
AUTHORS: Almeida, R ; Pinho, B ; Jacome, C ; Teixeira, JF ; Amaral, R ; Lopes, F; Jacinto, T ; Guedes, R ; Pereira, M ; Goncalves, I ; Fonseca, JA ;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering (ENBENG) in 2019 6TH IEEE PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
1207
TITLE: Quality-based Regularization for Iterative Deep Image Segmentation
AUTHORS: Rebelo, J; Fernandes, K; Cardoso, JS ;
PUBLISHED: 2019, SOURCE: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2019 41ST ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 6734-6737
AUTHORS: Rebelo, J; Fernandes, K; Cardoso, JS ;
PUBLISHED: 2019, SOURCE: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2019 41ST ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 6734-6737
1208
TITLE: Queues with server vacations as a model for semi-actuated signalised intersections
AUTHORS: M. Lurdes Simões; Paula M de Oliveira ; A. Pacheco-Pires; F. Macedo;
PUBLISHED: 2019
AUTHORS: M. Lurdes Simões; Paula M de Oliveira ; A. Pacheco-Pires; F. Macedo;
PUBLISHED: 2019
INDEXED IN: 
Handle
Handle1209
TITLE: Quiver bundles and wall crossing for chains Full Text
AUTHORS: Gothen, PB ; Nozad, A;
PUBLISHED: 2019, SOURCE: GEOMETRIAE DEDICATA, VOLUME: 199, ISSUE: 1, PAGES: 137-146
AUTHORS: Gothen, PB ; Nozad, A;
PUBLISHED: 2019, SOURCE: GEOMETRIAE DEDICATA, VOLUME: 199, ISSUE: 1, PAGES: 137-146
1210
TITLE: Reference DNA databases for forensic species identification: Auditing algorithms Full Text
AUTHORS: Conde Sousa, E ; Pinto, N ; Amorim, Antonio ;
PUBLISHED: 2019, SOURCE: FORENSIC SCIENCE INTERNATIONAL GENETICS SUPPLEMENT SERIES, VOLUME: 7, ISSUE: 1, PAGES: 564-566
AUTHORS: Conde Sousa, E ; Pinto, N ; Amorim, Antonio ;
PUBLISHED: 2019, SOURCE: FORENSIC SCIENCE INTERNATIONAL GENETICS SUPPLEMENT SERIES, VOLUME: 7, ISSUE: 1, PAGES: 564-566
1211
TITLE: Representations of surface groups in the projective general linear group (vol 22, pg 223, 2011) Full Text
AUTHORS: Oliveira, André ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF MATHEMATICS, VOLUME: 30, ISSUE: 2, PAGES: 1992001
AUTHORS: Oliveira, André ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF MATHEMATICS, VOLUME: 30, ISSUE: 2, PAGES: 1992001
1212
TITLE: Reproducibility of the Vivatmopro measurements for exhaled nitric oxide values
AUTHORS: Amaral, R ; Jacome, C ; Almeida, R ; Sa Sousa, A ; Pinho, B; Guedes, R; Jacinto, T ; Fonseca, J ;
PUBLISHED: 2019, SOURCE: European-Respiratory-Society (ERS) International Congress in EUROPEAN RESPIRATORY JOURNAL, VOLUME: 54, ISSUE: suppl 63
AUTHORS: Amaral, R ; Jacome, C ; Almeida, R ; Sa Sousa, A ; Pinho, B; Guedes, R; Jacinto, T ; Fonseca, J ;
PUBLISHED: 2019, SOURCE: European-Respiratory-Society (ERS) International Congress in EUROPEAN RESPIRATORY JOURNAL, VOLUME: 54, ISSUE: suppl 63
1213
TITLE: Reviewing working memory training gains in healthy older adults: A meta-analytic review of transfer for cognitive outcomes Full Text
AUTHORS: Teixeira Santos, AC; Moreira, CS ; Magalhaes, R; Magalhaes, C; Pereira, DR; Leite, J; Carvalho, S; Sampaio, A;
PUBLISHED: 2019, SOURCE: NEUROSCIENCE AND BIOBEHAVIORAL REVIEWS, VOLUME: 103, PAGES: 163-177
AUTHORS: Teixeira Santos, AC; Moreira, CS ; Magalhaes, R; Magalhaes, C; Pereira, DR; Leite, J; Carvalho, S; Sampaio, A;
PUBLISHED: 2019, SOURCE: NEUROSCIENCE AND BIOBEHAVIORAL REVIEWS, VOLUME: 103, PAGES: 163-177
1214
TITLE: RiskBenefit4EU – Partnering to strengthen Risk‐Benefit Assessment within the EU using a holistic approach
AUTHORS: Paula Alvito; Roberto Brazão; Paulo Carmona; Catarina Carvalho ; Daniela Correia ; Paulo Fernandes; Lea S Jakobsen; Carla Lopes; Carla Martins; Jeanne‐Marie Membré; Sarogini Monteiro; Pedro Nabais; Sofie T Thomsen; Torres, Duarte ; Sara M Pires; Géraldine Boué; Ricardo Assunção;
PUBLISHED: 2019, SOURCE: EFSA Supporting Publications, VOLUME: 16, ISSUE: 12
AUTHORS: Paula Alvito; Roberto Brazão; Paulo Carmona; Catarina Carvalho ; Daniela Correia ; Paulo Fernandes; Lea S Jakobsen; Carla Lopes; Carla Martins; Jeanne‐Marie Membré; Sarogini Monteiro; Pedro Nabais; Sofie T Thomsen; Torres, Duarte ; Sara M Pires; Géraldine Boué; Ricardo Assunção;
PUBLISHED: 2019, SOURCE: EFSA Supporting Publications, VOLUME: 16, ISSUE: 12
1215
TITLE: Sex estimation using the mandibular canine index components Full Text
AUTHORS: Azevedo, A ; Pereira, ML ; Gouveia, S ; Tavares, JN ; Caldas, IM;
PUBLISHED: 2019, SOURCE: FORENSIC SCIENCE MEDICINE AND PATHOLOGY, VOLUME: 15, ISSUE: 2, PAGES: 191-197
AUTHORS: Azevedo, A ; Pereira, ML ; Gouveia, S ; Tavares, JN ; Caldas, IM;
PUBLISHED: 2019, SOURCE: FORENSIC SCIENCE MEDICINE AND PATHOLOGY, VOLUME: 15, ISSUE: 2, PAGES: 191-197
1216
TITLE: Simple modules and their essential extensions for skew polynomial rings Full Text
AUTHORS: Ken Brown; Paula A A B Carvalho ; Jerzy Matczuk;
PUBLISHED: 2019, SOURCE: MATHEMATISCHE ZEITSCHRIFT, VOLUME: 291, ISSUE: 3-4, PAGES: 877-903
AUTHORS: Ken Brown; Paula A A B Carvalho ; Jerzy Matczuk;
PUBLISHED: 2019, SOURCE: MATHEMATISCHE ZEITSCHRIFT, VOLUME: 291, ISSUE: 3-4, PAGES: 877-903
1217
TITLE: Simplicity of Lyapunov spectrum for linear cocycles over non-uniformly hyperbolic systems
AUTHORS: Backes, L; Poletti, M; Varandas, P ; Lima, YURI;
PUBLISHED: 2019, SOURCE: Ergodic Theory and Dynamical Systems, PAGES: 1-23
AUTHORS: Backes, L; Poletti, M; Varandas, P ; Lima, YURI;
PUBLISHED: 2019, SOURCE: Ergodic Theory and Dynamical Systems, PAGES: 1-23
1218
TITLE: Simulation study of HIV temporal patterns using Bayesian methodology
AUTHORS: Rocha, D; Scotto, M; Pinto, C ; Tavares, J; Gouveia, S;
PUBLISHED: 2019, SOURCE: 4th Bayesian Young Statisticians Meeting, BAYSM 2018 in Springer Proceedings in Mathematics and Statistics, VOLUME: 296, PAGES: 145-154
AUTHORS: Rocha, D; Scotto, M; Pinto, C ; Tavares, J; Gouveia, S;
PUBLISHED: 2019, SOURCE: 4th Bayesian Young Statisticians Meeting, BAYSM 2018 in Springer Proceedings in Mathematics and Statistics, VOLUME: 296, PAGES: 145-154
INDEXED IN: Scopus CrossRef
Scopus CrossRef1219
TITLE: Singularity Subtraction for Nonlinear Weakly Singular Integral Equations of the Second Kind
AUTHORS: Mario Ahues; filomena dias d' almeida ; Rosário Fernandes; Paulo B Vasconcelos;
PUBLISHED: 2019, SOURCE: Integral Methods in Science and Engineering: Analytic Treatment and Numerical Approximations, PAGES: 1-13
AUTHORS: Mario Ahues; filomena dias d' almeida ; Rosário Fernandes; Paulo B Vasconcelos;
PUBLISHED: 2019, SOURCE: Integral Methods in Science and Engineering: Analytic Treatment and Numerical Approximations, PAGES: 1-13
1220
TITLE: SO(p,q)-Higgs bundles and Higher Teichmuller components
AUTHORS: Marta Aparicio Arroyo; Steven Bradlow; Brian Collier; Oscar Garcia Prada; Peter B Gothen ; Oliveira, André ;
PUBLISHED: 2019, SOURCE: INVENTIONES MATHEMATICAE, VOLUME: 218, ISSUE: 1, PAGES: 197-299
AUTHORS: Marta Aparicio Arroyo; Steven Bradlow; Brian Collier; Oscar Garcia Prada; Peter B Gothen ; Oliveira, André ;
PUBLISHED: 2019, SOURCE: INVENTIONES MATHEMATICAE, VOLUME: 218, ISSUE: 1, PAGES: 197-299
