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: 3591
143 Team MembersFilters -> Year: 2024
2401
TITLE: A tree search approach to sparse coding
AUTHORS: Rei, R; Pedroso, JP ; Hino, H; Murata, N;
PUBLISHED: 2012, SOURCE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS, PAGES: 472-477
AUTHORS: Rei, R; Pedroso, JP ; Hino, H; Murata, N;
PUBLISHED: 2012, SOURCE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS, PAGES: 472-477
2402
TITLE: A uniqueness result for a fractional differential equation
AUTHORS: Rui A C Ferreira ;
PUBLISHED: 2012, SOURCE: FRACTIONAL CALCULUS AND APPLIED ANALYSIS, VOLUME: 15, ISSUE: 4, PAGES: 611-615
AUTHORS: Rui A C Ferreira ;
PUBLISHED: 2012, SOURCE: FRACTIONAL CALCULUS AND APPLIED ANALYSIS, VOLUME: 15, ISSUE: 4, PAGES: 611-615
2403
TITLE: Additive outliers in INAR(1) models Full Text
AUTHORS: Matyas Barczy; Marton Ispany; Gyula Pap; Manuel Scotto ; Maria Eduarda Silva ;
PUBLISHED: 2012, SOURCE: STATISTICAL PAPERS, VOLUME: 53, ISSUE: 4, PAGES: 935-949
AUTHORS: Matyas Barczy; Marton Ispany; Gyula Pap; Manuel Scotto ; Maria Eduarda Silva ;
PUBLISHED: 2012, SOURCE: STATISTICAL PAPERS, VOLUME: 53, ISSUE: 4, PAGES: 935-949
2404
TITLE: An Index Integral and Convolution Operator Related to the Kontorovich-Lebedev and Mehler-Fock Transforms Full Text
AUTHORS: Semyon Yakubovich ;
PUBLISHED: 2012, SOURCE: COMPLEX ANALYSIS AND OPERATOR THEORY, VOLUME: 6, ISSUE: 4, PAGES: 947-970
AUTHORS: Semyon Yakubovich ;
PUBLISHED: 2012, SOURCE: COMPLEX ANALYSIS AND OPERATOR THEORY, VOLUME: 6, ISSUE: 4, PAGES: 947-970
2405
TITLE: Association between dietary patterns and metabolic syndrome in a sample of portuguese adults Full Text
AUTHORS: Maria Joao Fonseca; Rita Gaio ; Carla Lopes ; Ana Cristina Santos ;
PUBLISHED: 2012, SOURCE: NUTRITION JOURNAL, VOLUME: 11, ISSUE: 1, PAGES: 64
AUTHORS: Maria Joao Fonseca; Rita Gaio ; Carla Lopes ; Ana Cristina Santos ;
PUBLISHED: 2012, SOURCE: NUTRITION JOURNAL, VOLUME: 11, ISSUE: 1, PAGES: 64
2406
TITLE: AUTOMATIC DESCRIPTION OF OBJECT APPEARANCES IN A WIDE-AREA SURVEILLANCE SCENARIO Full Text
AUTHORS: Luis F. Teixeira ; Pedro Carvalho ; Jaime S Cardoso ; Luis Corte Real ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
AUTHORS: Luis F. Teixeira ; Pedro Carvalho ; Jaime S Cardoso ; Luis Corte Real ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
2407
TITLE: Ballistic regime for random walks in random environment with unbounded jumps and Knudsen billiards
AUTHORS: Francis Comets; Serguei Popov ;
PUBLISHED: 2012, SOURCE: Annales de l'institut Henri Poincare (B) Probability and Statistics, VOLUME: 48, ISSUE: 3, PAGES: 721-744
AUTHORS: Francis Comets; Serguei Popov ;
PUBLISHED: 2012, SOURCE: Annales de l'institut Henri Poincare (B) Probability and Statistics, VOLUME: 48, ISSUE: 3, PAGES: 721-744
2408
TITLE: Biped robots: Effects of small perturbations on the generation of modular trajectories
AUTHORS: Pinto, CMA ; Rocha, D; Santos, CP ;
PUBLISHED: 2012, SOURCE: Journal of Numerical Analysis, Industrial and Applied Mathematics, VOLUME: 7, ISSUE: 1-2, PAGES: 27-37
AUTHORS: Pinto, CMA ; Rocha, D; Santos, CP ;
PUBLISHED: 2012, SOURCE: Journal of Numerical Analysis, Industrial and Applied Mathematics, VOLUME: 7, ISSUE: 1-2, PAGES: 27-37
INDEXED IN: 
Scopus
Scopus2409
TITLE: BIVARIATE EXTREME STATISTICS, II Full Text
AUTHORS: Miguel de Carvalho; Alexandra Ramos ;
PUBLISHED: 2012, SOURCE: REVSTAT-STATISTICAL JOURNAL, VOLUME: 10, ISSUE: 1, PAGES: 83-+
AUTHORS: Miguel de Carvalho; Alexandra Ramos ;
PUBLISHED: 2012, SOURCE: REVSTAT-STATISTICAL JOURNAL, VOLUME: 10, ISSUE: 1, PAGES: 83-+
INDEXED IN: Scopus 
WOS
Scopus WOS2410
TITLE: Certifying execution time
AUTHORS: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLISHED: 2012, SOURCE: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7177 LNCS, PAGES: 108-125
AUTHORS: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLISHED: 2012, SOURCE: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7177 LNCS, PAGES: 108-125
2411
TITLE: Comparative evaluation of alternative batteries of genetic markers to complement autosomal STRs in kinship investigations: autosomal indels vs. X-chromosome STRs Full Text
AUTHORS: Claudia Gomes; Marta Magalhaes; Cintia Alves; Amorim, Antonio ; Nadia Pinto ; Leonor Gusmao ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL JOURNAL OF LEGAL MEDICINE, VOLUME: 126, ISSUE: 6, PAGES: 917-921
AUTHORS: Claudia Gomes; Marta Magalhaes; Cintia Alves; Amorim, Antonio ; Nadia Pinto ; Leonor Gusmao ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL JOURNAL OF LEGAL MEDICINE, VOLUME: 126, ISSUE: 6, PAGES: 917-921
2412
TITLE: Complex-order forced van der Pol oscillator
AUTHORS: Pinto, CMA ; Machado, JAT ;
PUBLISHED: 2012, SOURCE: JOURNAL OF VIBRATION AND CONTROL, VOLUME: 18, ISSUE: 14, PAGES: 2201-2209
AUTHORS: Pinto, CMA ; Machado, JAT ;
PUBLISHED: 2012, SOURCE: JOURNAL OF VIBRATION AND CONTROL, VOLUME: 18, ISSUE: 14, PAGES: 2201-2209
2413
TITLE: Convergence of Multipower Defect-Correction for spectral computations of integral operators Full Text
AUTHORS: filomena dias d' almeida ; Paulo B Vasconcelos ;
PUBLISHED: 2012, SOURCE: APPLIED MATHEMATICS AND COMPUTATION, VOLUME: 219, ISSUE: 4, PAGES: 1601-1606
AUTHORS: filomena dias d' almeida ; Paulo B Vasconcelos ;
PUBLISHED: 2012, SOURCE: APPLIED MATHEMATICS AND COMPUTATION, VOLUME: 219, ISSUE: 4, PAGES: 1601-1606
2414
TITLE: Deciding KAT and Hoare Logic with Derivatives Full Text
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012 in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., VOLUME: 96, PAGES: 127-140
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012 in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., VOLUME: 96, PAGES: 127-140
2415
TITLE: Deciding regular expressions (in-)equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS, PAGES: 98-113
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS, PAGES: 98-113
2416
TITLE: DEFORMATIONS OF MAXIMAL REPRESENTATIONS IN Sp(4, R) Full Text
AUTHORS: Steven B Bradlow; Oscar Garcia Prada; Peter B Gothen ;
PUBLISHED: 2012, SOURCE: QUARTERLY JOURNAL OF MATHEMATICS, VOLUME: 63, ISSUE: 4, PAGES: 795-843
AUTHORS: Steven B Bradlow; Oscar Garcia Prada; Peter B Gothen ;
PUBLISHED: 2012, SOURCE: QUARTERLY JOURNAL OF MATHEMATICS, VOLUME: 63, ISSUE: 4, PAGES: 795-843
2417
TITLE: DENSE AREA-PRESERVING HOMEOMORPHISMS HAVE ZERO LYAPUNOV EXPONENTS
AUTHORS: Mario Bessa ; Cesar M Silva ;
PUBLISHED: 2012, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 32, ISSUE: 4, PAGES: 1231-1244
AUTHORS: Mario Bessa ; Cesar M Silva ;
PUBLISHED: 2012, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 32, ISSUE: 4, PAGES: 1231-1244
2418
TITLE: DERIVATIONS OF FINITARY INCIDENCE RINGS Full Text
AUTHORS: Khripchenko, NS ;
PUBLISHED: 2012, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 40, ISSUE: 7, PAGES: 2503-2522
AUTHORS: Khripchenko, NS ;
PUBLISHED: 2012, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 40, ISSUE: 7, PAGES: 2503-2522
2419
TITLE: Descriptional Complexity of Formal Systems
Lecture Notes in Computer Science Theoretical Computer Sci
AUTHORS: Nelma Moreira ;
PUBLISHED: 2012
AUTHORS: Nelma Moreira ;
PUBLISHED: 2012
INDEXED IN: 
Openlibrary
Openlibrary2420
TITLE: Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
AUTHORS: Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2012, SOURCE: DCFS, VOLUME: 7386
AUTHORS: Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2012, SOURCE: DCFS, VOLUME: 7386
