Centre for Mathematics and Applications (CMA)
Centro de Matemática e Aplicações
AuthID: I-000-1EJ Publications Count: 2272
106 Team MembersFilters -> Year: 2025
1421
TITLE: Centralizers in the Full Transformation Semigroup
AUTHORS: Joao Araujo ; Janusz Konieczny;
PUBLISHED: 2013, SOURCE: SEMIGROUP FORUM, VOLUME: 86, ISSUE: 1, PAGES: 1-31
AUTHORS: Joao Araujo ; Janusz Konieczny;
PUBLISHED: 2013, SOURCE: SEMIGROUP FORUM, VOLUME: 86, ISSUE: 1, PAGES: 1-31
1422
TITLE: Checking proofs
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: The Argument of Mathematics, PAGES: 147-170
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: The Argument of Mathematics, PAGES: 147-170
1423
TITLE: CHERN-SIMONS THEORY AND THE QUANTUM RACAH FORMULA
AUTHORS: Sebastian De Haro; Atle Hahn ;
PUBLISHED: 2013, SOURCE: REVIEWS IN MATHEMATICAL PHYSICS, VOLUME: 25, ISSUE: 3
AUTHORS: Sebastian De Haro; Atle Hahn ;
PUBLISHED: 2013, SOURCE: REVIEWS IN MATHEMATICAL PHYSICS, VOLUME: 25, ISSUE: 3
1424
TITLE: Chow motives versus noncommutative motives
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 7, ISSUE: 3, PAGES: 767-786
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 7, ISSUE: 3, PAGES: 767-786
1425
TITLE: Cobs and stair nesting - Segregation and crossing
AUTHORS: Fernandes, C ; Ramos, P ; Mexia, J ;
PUBLISHED: 2013, SOURCE: Far East Journal of Mathematical Sciences, VOLUME: 78, ISSUE: 2, PAGES: 301-308
AUTHORS: Fernandes, C ; Ramos, P ; Mexia, J ;
PUBLISHED: 2013, SOURCE: Far East Journal of Mathematical Sciences, VOLUME: 78, ISSUE: 2, PAGES: 301-308
1426
TITLE: Comparative analysis of Streptococcus pneumoniae transmission in Portuguese and Finnish day-care centres
AUTHORS: Delphine Pessoa; Fabian Hoti; Ritva Syrjanen; Raquel Sa Leao ; Tarja Kaijalainen; Gabriela G M Gomes ; Kari Auranen;
PUBLISHED: 2013, SOURCE: BMC INFECTIOUS DISEASES, VOLUME: 13, ISSUE: 1, PAGES: 180
AUTHORS: Delphine Pessoa; Fabian Hoti; Ritva Syrjanen; Raquel Sa Leao ; Tarja Kaijalainen; Gabriela G M Gomes ; Kari Auranen;
PUBLISHED: 2013, SOURCE: BMC INFECTIOUS DISEASES, VOLUME: 13, ISSUE: 1, PAGES: 180
1427
TITLE: Comparing classical performance measures for a multi-period, two-echelon supply chain network design problem with sizing decisions
AUTHORS: Isabel Correia ; Teresa Melo; Francisco Saldanha da Gama ;
PUBLISHED: 2013, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 64, ISSUE: 1, PAGES: 366-380
AUTHORS: Isabel Correia ; Teresa Melo; Francisco Saldanha da Gama ;
PUBLISHED: 2013, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 64, ISSUE: 1, PAGES: 366-380
1428
TITLE: Comparing Several Tests of Randomness Based on the Difference of Observations
AUTHORS: Ayana Mateus ; Frederico Caeiro ;
PUBLISHED: 2013, SOURCE: 11th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM) in 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013, PTS 1 AND 2 (ICNAAM 2013), VOLUME: 1558, PAGES: 809-812
AUTHORS: Ayana Mateus ; Frederico Caeiro ;
PUBLISHED: 2013, SOURCE: 11th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM) in 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013, PTS 1 AND 2 (ICNAAM 2013), VOLUME: 1558, PAGES: 809-812
1429
TITLE: Computing with mathematical arguments
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: New Challenges to Philosophy of Science, PAGES: 9-22
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: New Challenges to Philosophy of Science, PAGES: 9-22
1430
TITLE: Delta Method, Moment Convergence, and Inference
AUTHORS: Miguel Fonseca ; Joao Tiago Mexia ;
PUBLISHED: 2013, SOURCE: COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, VOLUME: 42, ISSUE: 12, PAGES: 2165-2171
AUTHORS: Miguel Fonseca ; Joao Tiago Mexia ;
PUBLISHED: 2013, SOURCE: COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, VOLUME: 42, ISSUE: 12, PAGES: 2165-2171
1431
TITLE: Discrimination between parametric survival models for removal times of bird carcasses in scavenger removal trials at wind turbines sites
AUTHORS: Bispo, R ; Bernardino, J; Marques, TA; Pestana, D;
PUBLISHED: 2013, SOURCE: Studies in Theoretical and Applied Statistics, Selected Papers of the Statistical Societies, PAGES: 65-72
AUTHORS: Bispo, R ; Bernardino, J; Marques, TA; Pestana, D;
PUBLISHED: 2013, SOURCE: Studies in Theoretical and Applied Statistics, Selected Papers of the Statistical Societies, PAGES: 65-72
1432
TITLE: Dividend problems in the dual risk model
AUTHORS: Afonso, LB ; Cardoso, RMR ; dos Reis, ADE ;
PUBLISHED: 2013, SOURCE: INSURANCE MATHEMATICS & ECONOMICS, VOLUME: 53, ISSUE: 3, PAGES: 906-918
AUTHORS: Afonso, LB ; Cardoso, RMR ; dos Reis, ADE ;
PUBLISHED: 2013, SOURCE: INSURANCE MATHEMATICS & ECONOMICS, VOLUME: 53, ISSUE: 3, PAGES: 906-918
1433
TITLE: Estimating bird and bat fatality at wind farms: a practical overview of estimators, their assumptions and limitations
AUTHORS: Bernardino, J; Bispo, R ; Costa, H; Mascarenhas, M;
PUBLISHED: 2013, SOURCE: NEW ZEALAND JOURNAL OF ZOOLOGY, VOLUME: 40, ISSUE: 1, PAGES: 63-74
AUTHORS: Bernardino, J; Bispo, R ; Costa, H; Mascarenhas, M;
PUBLISHED: 2013, SOURCE: NEW ZEALAND JOURNAL OF ZOOLOGY, VOLUME: 40, ISSUE: 1, PAGES: 63-74
1434
TITLE: Estimation of Variance Components in Linear Mixed Models with Commutative Orthogonal Block Structure
AUTHORS: Ferreira, SS ; Ferreira, D ; Nunes, C ; Mexia, JT ;
PUBLISHED: 2013, SOURCE: REVISTA COLOMBIANA DE ESTADISTICA, VOLUME: 36, ISSUE: 2, PAGES: 261-271
AUTHORS: Ferreira, SS ; Ferreira, D ; Nunes, C ; Mexia, JT ;
PUBLISHED: 2013, SOURCE: REVISTA COLOMBIANA DE ESTADISTICA, VOLUME: 36, ISSUE: 2, PAGES: 261-271
1435
TITLE: F tests with random sample sizes. Theory and applications
AUTHORS: Elsa E. Moreira ; Joao T Mexia ; Christoph E Minder;
PUBLISHED: 2013, SOURCE: STATISTICS & PROBABILITY LETTERS, VOLUME: 83, ISSUE: 6, PAGES: 1520-1526
AUTHORS: Elsa E. Moreira ; Joao T Mexia ; Christoph E Minder;
PUBLISHED: 2013, SOURCE: STATISTICS & PROBABILITY LETTERS, VOLUME: 83, ISSUE: 6, PAGES: 1520-1526
1436
TITLE: Fetal ECG Detection in Abdominal Recordings: a Method for QRS Location
AUTHORS: Rodrigues, R ;
PUBLISHED: 2013, SOURCE: 40th Annual Meeting on Computing in Cardiology (CinC) in 2013 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOLUME: 40, PAGES: 325-328
AUTHORS: Rodrigues, R ;
PUBLISHED: 2013, SOURCE: 40th Annual Meeting on Computing in Cardiology (CinC) in 2013 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOLUME: 40, PAGES: 325-328
1437
TITLE: Finding large co-Sidon subsets in sets with a given additive energy
AUTHORS: Arturas Dubickas; Tomasz Schoen; Manuel Silva ; Paulius Sarka;
PUBLISHED: 2013, SOURCE: EUROPEAN JOURNAL OF COMBINATORICS, VOLUME: 34, ISSUE: 7, PAGES: 1144-1157
AUTHORS: Arturas Dubickas; Tomasz Schoen; Manuel Silva ; Paulius Sarka;
PUBLISHED: 2013, SOURCE: EUROPEAN JOURNAL OF COMBINATORICS, VOLUME: 34, ISSUE: 7, PAGES: 1144-1157
1438
TITLE: FINITELY GENERATED SOLUBLE GROUPS AND THEIR SUBGROUPS
AUTHORS: Tara Brough ; Derek F Holt;
PUBLISHED: 2013, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 41, ISSUE: 5, PAGES: 1790-1799
AUTHORS: Tara Brough ; Derek F Holt;
PUBLISHED: 2013, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 41, ISSUE: 5, PAGES: 1790-1799
1439
TITLE: Fitting johnson’s s<inf>B</inf> distribution to forest tree diameter
AUTHORS: Ayana Mateus ; Margarida Tomé ;
PUBLISHED: 2013, SOURCE: Studies in Theoretical and Applied Statistics, Selected Papers of the Statistical Societies, PAGES: 289-296
AUTHORS: Ayana Mateus ; Margarida Tomé ;
PUBLISHED: 2013, SOURCE: Studies in Theoretical and Applied Statistics, Selected Papers of the Statistical Societies, PAGES: 289-296
1440
TITLE: From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace
AUTHORS: Oitavem, I ;
PUBLISHED: 2013, SOURCE: 22nd Annual Conference of the European Association for Computer Science Logic EACSL, CSL 2013 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 23, PAGES: 24-27
AUTHORS: Oitavem, I ;
PUBLISHED: 2013, SOURCE: 22nd Annual Conference of the European Association for Computer Science Logic EACSL, CSL 2013 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 23, PAGES: 24-27
