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
2301
TITLE: Guarding thin orthogonal polygons is hard
AUTHORS: Tomas, AP ;
PUBLISHED: 2013, SOURCE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8070 LNCS, PAGES: 305-316
AUTHORS: Tomas, AP ;
PUBLISHED: 2013, SOURCE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8070 LNCS, PAGES: 305-316
2302
TITLE: Harnessing GPU power from high-level libraries: eigenvalues of integral operators with SLEPc
AUTHORS: Roman, JE; Vasconcelos, PB ;
PUBLISHED: 2013, SOURCE: 13th Annual International Conference on Computational Science (ICCS) in 2013 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, VOLUME: 18, PAGES: 2591-2594
AUTHORS: Roman, JE; Vasconcelos, PB ;
PUBLISHED: 2013, SOURCE: 13th Annual International Conference on Computational Science (ICCS) in 2013 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, VOLUME: 18, PAGES: 2591-2594
2303
TITLE: Heart rate and ventricular repolarization variabilities interactions modification by microgravity simulation during head-down bed rest test
AUTHORS: Juan Bolea; Pablo Laguna; Enrico G Caiani; Rute Almeida ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 552-553
AUTHORS: Juan Bolea; Pablo Laguna; Enrico G Caiani; Rute Almeida ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 552-553
2304
TITLE: Hierarchic Image Classification Visualization Full Text
AUTHORS: Teresa A Mesquita ; Andre R S Marcal ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, VOLUME: 7950, PAGES: 152-159
AUTHORS: Teresa A Mesquita ; Andre R S Marcal ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, VOLUME: 7950, PAGES: 152-159
2305
TITLE: Higgs bundles and surface group representations in the real symplectic group Full Text
AUTHORS: Garcia Prada, O; Gothen, PB ; Mundet i Riera, IMI;
PUBLISHED: 2013, SOURCE: JOURNAL OF TOPOLOGY, VOLUME: 6, ISSUE: 1, PAGES: 64-118
AUTHORS: Garcia Prada, O; Gothen, PB ; Mundet i Riera, IMI;
PUBLISHED: 2013, SOURCE: JOURNAL OF TOPOLOGY, VOLUME: 6, ISSUE: 1, PAGES: 64-118
2306
TITLE: Huneke-Wiegand Conjecture for complete intersection numerical semigroup rings
AUTHORS: García Sánchez, PA ; Leamer, MJ;
PUBLISHED: 2013, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 391, PAGES: 114-124
AUTHORS: García Sánchez, PA ; Leamer, MJ;
PUBLISHED: 2013, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 391, PAGES: 114-124
2307
TITLE: Hyperbolicity and stability for Hamiltonian flows Full Text
AUTHORS: Mario Bessa ; Jorge Rocha ; Maria Joana Torres ;
PUBLISHED: 2013, SOURCE: JOURNAL OF DIFFERENTIAL EQUATIONS, VOLUME: 254, ISSUE: 1, PAGES: 309-322
AUTHORS: Mario Bessa ; Jorge Rocha ; Maria Joana Torres ;
PUBLISHED: 2013, SOURCE: JOURNAL OF DIFFERENTIAL EQUATIONS, VOLUME: 254, ISSUE: 1, PAGES: 309-322
2308
TITLE: HYPERTONIC SALINE AND MULTIMODAL BRAIN MONITORING Full Text
AUTHORS: Dias, C ; Pereira, E; Cerejo, A ; Paiva, JA ; Czosnyka, M;
PUBLISHED: 2013, SOURCE: ESICM 26th Annual Congress in INTENSIVE CARE MEDICINE, VOLUME: 39
AUTHORS: Dias, C ; Pereira, E; Cerejo, A ; Paiva, JA ; Czosnyka, M;
PUBLISHED: 2013, SOURCE: ESICM 26th Annual Congress in INTENSIVE CARE MEDICINE, VOLUME: 39
INDEXED IN: 
WOS
WOS2309
TITLE: Identity-by-Descent
AUTHORS: Pinto, N ; Amorim, Antonio ;
PUBLISHED: 2013, SOURCE: Brenner's Encyclopedia of Genetics: Second Edition, PAGES: 5-10
AUTHORS: Pinto, N ; Amorim, Antonio ;
PUBLISHED: 2013, SOURCE: Brenner's Encyclopedia of Genetics: Second Edition, PAGES: 5-10
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef2310
TITLE: Impaired T-wave amplitude adaptation to heart-rate induced by cardiac deconditioning after 5-days of head-down bed-rest Full Text
AUTHORS: Enrico G Caiani; Alessandro Pellegrini; Juan Bolea; Miguel Sotaquira; Rute Almeida ; Pierre Vaida;
PUBLISHED: 2013, SOURCE: ACTA ASTRONAUTICA, VOLUME: 91, PAGES: 166-172
AUTHORS: Enrico G Caiani; Alessandro Pellegrini; Juan Bolea; Miguel Sotaquira; Rute Almeida ; Pierre Vaida;
PUBLISHED: 2013, SOURCE: ACTA ASTRONAUTICA, VOLUME: 91, PAGES: 166-172
INDEXED IN: Scopus WOS
Scopus WOS2311
TITLE: Incomplete Transition Complexity of Basic Operations on Finite Languages
AUTHORS: Eva Maia ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: 18th International Conference on Implementation and Application of Automata, CIAA 2013 in Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings, VOLUME: 7982, PAGES: 349-356
AUTHORS: Eva Maia ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: 18th International Conference on Implementation and Application of Automata, CIAA 2013 in Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings, VOLUME: 7982, PAGES: 349-356
2312
TITLE: Incomplete Transition Complexity of Some Basic Operations
AUTHORS: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2013, SOURCE: 39th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) in SOFSEM 2013: Theory and Practice of Computer Science, VOLUME: 7741, PAGES: 319-331
AUTHORS: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2013, SOURCE: 39th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) in SOFSEM 2013: Theory and Practice of Computer Science, VOLUME: 7741, PAGES: 319-331
2313
TITLE: Is Kinect Depth Data Accurate for the Aesthetic Evaluation after Breast Cancer Surgeries?
AUTHORS: Helder P Oliveira ; Marco D Silva; Andre Magalhaes; Maria J Cardoso ; Jaime S Cardoso ;
PUBLISHED: 2013, SOURCE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PAGES: 261-268
AUTHORS: Helder P Oliveira ; Marco D Silva; Andre Magalhaes; Maria J Cardoso ; Jaime S Cardoso ;
PUBLISHED: 2013, SOURCE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PAGES: 261-268
2314
TITLE: Lattices, Semigroups, and Universal Algebra
AUTHORS: Jorge Almeida ; Philip Dwinger;
PUBLISHED: 2013
AUTHORS: Jorge Almeida ; Philip Dwinger;
PUBLISHED: 2013
INDEXED IN: 
Openlibrary
Openlibrary2315
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Jurgensen, H; Reis, R ;
PUBLISHED: 2013, SOURCE: 15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8031 LNCS
AUTHORS: Jurgensen, H; Reis, R ;
PUBLISHED: 2013, SOURCE: 15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8031 LNCS
INDEXED IN: Scopus
Scopus2316
TITLE: Localization for a Random Walk in Slowly Decreasing Random Potential Full Text
AUTHORS: Christophe Gallesco; Serguei Popov ; Gunter M Schütz;
PUBLISHED: 2013, SOURCE: Journal of Statistical Physics, VOLUME: 150, ISSUE: 2, PAGES: 285-298
AUTHORS: Christophe Gallesco; Serguei Popov ; Gunter M Schütz;
PUBLISHED: 2013, SOURCE: Journal of Statistical Physics, VOLUME: 150, ISSUE: 2, PAGES: 285-298
2317
TITLE: Locus Coeruleus Is Involved in Weight Loss in a Rat Model of Parkinson's Disease: An Effect Reversed by Deep Brain Stimulation Full Text
AUTHORS: Joana Guimaraes ; Eduardo Moura; Elisabete Silva; Paulo Aguiar ; Carolina Garrett ; Maria Augusta Vieira Coelho ;
PUBLISHED: 2013, SOURCE: BRAIN STIMULATION, VOLUME: 6, ISSUE: 6, PAGES: 845-855
AUTHORS: Joana Guimaraes ; Eduardo Moura; Elisabete Silva; Paulo Aguiar ; Carolina Garrett ; Maria Augusta Vieira Coelho ;
PUBLISHED: 2013, SOURCE: BRAIN STIMULATION, VOLUME: 6, ISSUE: 6, PAGES: 845-855
2318
TITLE: Mathematical biornarkers for the autonomic regulation of cardiovascular system Full Text
AUTHORS: Luciana A Campos; Valter L Pereira; Amita Muralikrishna; Sulayma Albarwani; Susana Bras; Sonia Gouveia ;
PUBLISHED: 2013, SOURCE: FRONTIERS IN PHYSIOLOGY, VOLUME: 4
AUTHORS: Luciana A Campos; Valter L Pereira; Amita Muralikrishna; Sulayma Albarwani; Susana Bras; Sonia Gouveia ;
PUBLISHED: 2013, SOURCE: FRONTIERS IN PHYSIOLOGY, VOLUME: 4
2319
TITLE: Methods for the Aesthetic Evaluation of Breast Cancer Conservation Treatment: A Technological Review
AUTHORS: Oliveira, HP ; Cardoso, JS ; Magalhaes, A; Cardoso, MJ ;
PUBLISHED: 2013, SOURCE: CURRENT MEDICAL IMAGING, VOLUME: 9, ISSUE: 1, PAGES: 32-46
AUTHORS: Oliveira, HP ; Cardoso, JS ; Magalhaes, A; Cardoso, MJ ;
PUBLISHED: 2013, SOURCE: CURRENT MEDICAL IMAGING, VOLUME: 9, ISSUE: 1, PAGES: 32-46
2320
TITLE: Modelling neuromuscular blockade: a stochastic approach based on clinical data Full Text
AUTHORS: Conceicao Rocha ; Teresa Mendonca ; Maria Eduarda Silva ;
PUBLISHED: 2013, SOURCE: MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, VOLUME: 19, ISSUE: 6, PAGES: 540-556
AUTHORS: Conceicao Rocha ; Teresa Mendonca ; Maria Eduarda Silva ;
PUBLISHED: 2013, SOURCE: MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, VOLUME: 19, ISSUE: 6, PAGES: 540-556
