Centre for Mathematics and Applications (CMA)
Centro de Matemática e Aplicações
AuthID: I-000-1EJ Publications Count: 2120
97 Team MembersFilters -> Year: 2025
601
TITLE: “Sehr geehrter Herr Professor!" Proof Theory in 1949 in a Letter from Schütte to Bernays
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2020, SOURCE: The Legacy of Kurt Schütte, PAGES: 3-19
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2020, SOURCE: The Legacy of Kurt Schütte, PAGES: 3-19
602
TITLE: A business intelligence system for fisheries surveillance
AUTHORS: Anacleto Correia ; Ricardo Moura ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies, CISTI 2019 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2019-June
AUTHORS: Anacleto Correia ; Ricardo Moura ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies, CISTI 2019 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2019-June
603
TITLE: A Business Intelligence system for fisheries surveillance
AUTHORS: Anacleto Correia ; Ricardo Moura ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Anacleto Correia ; Ricardo Moura ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
604
TITLE: A computational comparison of compact MILP formulations for the zero forcing number
AUTHORS: Agra, A; Cerdeira, JO ; Requejo, C;
PUBLISHED: 2019, SOURCE: DISCRETE APPLIED MATHEMATICS, VOLUME: 269, PAGES: 169-183
AUTHORS: Agra, A; Cerdeira, JO ; Requejo, C;
PUBLISHED: 2019, SOURCE: DISCRETE APPLIED MATHEMATICS, VOLUME: 269, PAGES: 169-183
605
TITLE: A generalised Phan-Thien - Tanner model
AUTHORS: Ferras, LL ; Morgado, ML ; Rebelo, M ; Gareth H McKinley; A.M. Afonso ;
PUBLISHED: 2019, SOURCE: JOURNAL OF NON-NEWTONIAN FLUID MECHANICS, VOLUME: 269, PAGES: 88-99
AUTHORS: Ferras, LL ; Morgado, ML ; Rebelo, M ; Gareth H McKinley; A.M. Afonso ;
PUBLISHED: 2019, SOURCE: JOURNAL OF NON-NEWTONIAN FLUID MECHANICS, VOLUME: 269, PAGES: 88-99
606
TITLE: A hybrid numerical scheme for fractional-order systems
AUTHORS: Ferrás, LL ; Ford, NJ; Morgado, ML ; Rebelo, M ;
PUBLISHED: 2019, SOURCE: 3rd Conference on Innovation, Engineering and Entrepreneurship, Regional HELIX 2018 in Lecture Notes in Electrical Engineering, VOLUME: 505, PAGES: 735-742
AUTHORS: Ferrás, LL ; Ford, NJ; Morgado, ML ; Rebelo, M ;
PUBLISHED: 2019, SOURCE: 3rd Conference on Innovation, Engineering and Entrepreneurship, Regional HELIX 2018 in Lecture Notes in Electrical Engineering, VOLUME: 505, PAGES: 735-742
607
TITLE: A natural formulation versus an extended formulation for the K clusters with fixed cardinality problem
AUTHORS: Gonçalves, GM ; Lourenço, LL ;
PUBLISHED: 2019, SOURCE: International Conference of Computational Methods in Sciences and Engineering 2019, ICCMSE 2019 in AIP Conference Proceedings, VOLUME: 2186
AUTHORS: Gonçalves, GM ; Lourenço, LL ;
PUBLISHED: 2019, SOURCE: International Conference of Computational Methods in Sciences and Engineering 2019, ICCMSE 2019 in AIP Conference Proceedings, VOLUME: 2186
608
TITLE: A Note on a Unifying Proof of the Undecidability of Several Diagrammatic Properties of Term Rewriting Systems
AUTHORS: António Malheiro ; Paulo Guilherme Santos ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.09254
AUTHORS: António Malheiro ; Paulo Guilherme Santos ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.09254
609
TITLE: A NOTE ON GROTHENDIECK'S STANDARD CONJECTURES OF TYPE C+ AND D IN POSITIVE CHARACTERISTIC
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2019, SOURCE: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 147, ISSUE: 12, PAGES: 5039-5054
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2019, SOURCE: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 147, ISSUE: 12, PAGES: 5039-5054
610
TITLE: A review of multi-criteria decision making approaches for evaluating energy storage systems for grid applications
AUTHORS: Manuel Baumann; Marcel Weil; Jens F Peters; Chibeles-Martins, Nelson ; António Brandão Moniz ;
PUBLISHED: 2019, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 107, PAGES: 516-534
AUTHORS: Manuel Baumann; Marcel Weil; Jens F Peters; Chibeles-Martins, Nelson ; António Brandão Moniz ;
PUBLISHED: 2019, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 107, PAGES: 516-534
611
TITLE: A simple class of reduced bias kernel estimators of extreme value parameters
AUTHORS: Caeiro, F ; Henriques Rodrigues, L; Gomes, DP ;
PUBLISHED: 2019, SOURCE: COMPUTATIONAL AND MATHEMATICAL METHODS, VOLUME: 1, ISSUE: 3
AUTHORS: Caeiro, F ; Henriques Rodrigues, L; Gomes, DP ;
PUBLISHED: 2019, SOURCE: COMPUTATIONAL AND MATHEMATICAL METHODS, VOLUME: 1, ISSUE: 3
612
TITLE: A Spatio-Temporal Auto-regressive Model for Generating Savings Calls to a Health Line
AUTHORS: Simões, P. ; Carvalho, ML; Aleixo, S; Gomes, S; Natário, I ;
PUBLISHED: 2019, SOURCE: 19th International Conference on Computational Science and Its Applications, ICCSA 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11621 LNCS, PAGES: 81-96
AUTHORS: Simões, P. ; Carvalho, ML; Aleixo, S; Gomes, S; Natário, I ;
PUBLISHED: 2019, SOURCE: 19th International Conference on Computational Science and Its Applications, ICCSA 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11621 LNCS, PAGES: 81-96
613
TITLE: A Statistical Contribution on the Film Tourism. A Case Study
AUTHORS: Sol, Herminia; Grilo, Luis M. ; Coelho, Joao Pinto;
PUBLISHED: 2019, SOURCE: International Conference of Computational Methods in Sciences and Engineering (ICCMSE) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2019 (ICCMSE-2019), VOLUME: 2186
AUTHORS: Sol, Herminia; Grilo, Luis M. ; Coelho, Joao Pinto;
PUBLISHED: 2019, SOURCE: International Conference of Computational Methods in Sciences and Engineering (ICCMSE) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2019 (ICCMSE-2019), VOLUME: 2186
614
TITLE: A strengthened model for the web search optimization problem
AUTHORS: Gonçalves, GM ; Lourenço, LL ;
PUBLISHED: 2019, SOURCE: WSEAS Transactions on Mathematics, VOLUME: 18, PAGES: 143-148
AUTHORS: Gonçalves, GM ; Lourenço, LL ;
PUBLISHED: 2019, SOURCE: WSEAS Transactions on Mathematics, VOLUME: 18, PAGES: 143-148
615
TITLE: Abelian antipowers in infinite words
AUTHORS: Gabriele Fici; Mickael Postic; Manuel Silva ;
PUBLISHED: 2019, SOURCE: ADVANCES IN APPLIED MATHEMATICS, VOLUME: 108, PAGES: 67-78
AUTHORS: Gabriele Fici; Mickael Postic; Manuel Silva ;
PUBLISHED: 2019, SOURCE: ADVANCES IN APPLIED MATHEMATICS, VOLUME: 108, PAGES: 67-78
616
TITLE: Algebra of convolution type operators with continuous data on Banach function spaces
AUTHORS: Cláudio A Fernandes ; Oleksiy Karlovych ; Yuri I Karlovich;
PUBLISHED: 2019, SOURCE: Banach Center Publications, VOLUME: 119, PAGES: 157-171
AUTHORS: Cláudio A Fernandes ; Oleksiy Karlovych ; Yuri I Karlovich;
PUBLISHED: 2019, SOURCE: Banach Center Publications, VOLUME: 119, PAGES: 157-171
617
TITLE: An Enhanced Capacity Model based on Network Measurements for a Multi-Service 3G System
AUTHORS: Parracho, D; Duarte, D; Pinto, I ; Vieira, P;
PUBLISHED: 2019, SOURCE: International Conference on Computing, Networking and Communications (ICNC) in 2019 INTERNATIONAL CONFERENCE ON COMPUTING, NETWORKING AND COMMUNICATIONS (ICNC), PAGES: 203-208
AUTHORS: Parracho, D; Duarte, D; Pinto, I ; Vieira, P;
PUBLISHED: 2019, SOURCE: International Conference on Computing, Networking and Communications (ICNC) in 2019 INTERNATIONAL CONFERENCE ON COMPUTING, NETWORKING AND COMMUNICATIONS (ICNC), PAGES: 203-208
618
TITLE: Application of the finite form representations of meijer G and Fox H functions to the distribution of several likelihood ratio test statistics
AUTHORS: Coelho, CA ; Arnold, BC;
PUBLISHED: 2019, SOURCE: Lecture Notes in Statistics, VOLUME: 223, PAGES: 71-452
AUTHORS: Coelho, CA ; Arnold, BC;
PUBLISHED: 2019, SOURCE: Lecture Notes in Statistics, VOLUME: 223, PAGES: 71-452
619
TITLE: Approximate finite forms for the cases not covered by the finite representation approach
AUTHORS: Coelho, CA ; Arnold, BC;
PUBLISHED: 2019, SOURCE: Lecture Notes in Statistics, VOLUME: 223, PAGES: 491-505
AUTHORS: Coelho, CA ; Arnold, BC;
PUBLISHED: 2019, SOURCE: Lecture Notes in Statistics, VOLUME: 223, PAGES: 491-505
620
TITLE: Approximations for the Likelihood Ratio Statistic for Hypothesis Testing Between Two Beta Distributions
AUTHORS: Filipe Marques ; Frank Coolen; Tahani Coolen Maturi;
PUBLISHED: 2019, SOURCE: JOURNAL OF STATISTICAL THEORY AND PRACTICE, VOLUME: 13, ISSUE: 1
AUTHORS: Filipe Marques ; Frank Coolen; Tahani Coolen Maturi;
PUBLISHED: 2019, SOURCE: JOURNAL OF STATISTICAL THEORY AND PRACTICE, VOLUME: 13, ISSUE: 1