Centre for Mathematics and Applications (CMA)
Centro de Matemática e Aplicações
AuthID: I-000-1EJ
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: 1949
93 Team MembersFilters -> Year: 2024
921
TITLE: Towards a Proof-Theoretic Semantics of Equalities
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2016, SOURCE: Advances in Proof-Theoretic Semantics., VOLUME: 43, PAGES: 153-160
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2016, SOURCE: Advances in Proof-Theoretic Semantics., VOLUME: 43, PAGES: 153-160
INDEXED IN: 
DBLP
DBLP922
TITLE: Two function algebras defining functions in NCk boolean circuits Full Text
AUTHORS: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLISHED: 2016, SOURCE: 4th Workshop on Developments in Implicit Computational Complexity in INFORMATION AND COMPUTATION, VOLUME: 248, PAGES: 82-103
AUTHORS: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLISHED: 2016, SOURCE: 4th Workshop on Developments in Implicit Computational Complexity in INFORMATION AND COMPUTATION, VOLUME: 248, PAGES: 82-103
923
TITLE: TWO GENERALIZATIONS OF HOMOGENEITY IN GROUPS WITH APPLICATIONS TO REGULAR SEMIGROUPS
AUTHORS: Joao Araujo ; Peter J Cameron;
PUBLISHED: 2016, SOURCE: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 368, ISSUE: 2, PAGES: 1159-1188
AUTHORS: Joao Araujo ; Peter J Cameron;
PUBLISHED: 2016, SOURCE: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 368, ISSUE: 2, PAGES: 1159-1188
924
TITLE: Using the high conservation value forest concept and Pareto optimization to identify areas maximizing biodiversity and ecosystem services in cork oak landscapes Full Text
AUTHORS: Bugalho, MN; Dias, FS; Brinas, B; Cerdeira, JO ;
PUBLISHED: 2016, SOURCE: AGROFORESTRY SYSTEMS, VOLUME: 90, ISSUE: 1, PAGES: 35-44
AUTHORS: Bugalho, MN; Dias, FS; Brinas, B; Cerdeira, JO ;
PUBLISHED: 2016, SOURCE: AGROFORESTRY SYSTEMS, VOLUME: 90, ISSUE: 1, PAGES: 35-44
925
TITLE: USING WEIGHTED DISTRIBUTIONS TO MODEL OPERATIONAL RISK
AUTHORS: Lourdes B Afonso ; Pedro Corte Real;
PUBLISHED: 2016, SOURCE: ASTIN BULLETIN, VOLUME: 46, ISSUE: 2, PAGES: 469-485
AUTHORS: Lourdes B Afonso ; Pedro Corte Real;
PUBLISHED: 2016, SOURCE: ASTIN BULLETIN, VOLUME: 46, ISSUE: 2, PAGES: 469-485
926
TITLE: Why Are We Not Able to See Beyond Three Dimensions? Full Text
AUTHORS: Rogerio Martins ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL INTELLIGENCER, VOLUME: 38, ISSUE: 4, PAGES: 46-51
AUTHORS: Rogerio Martins ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL INTELLIGENCER, VOLUME: 38, ISSUE: 4, PAGES: 46-51
927
TITLE: <math><msup><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msup></math>-homotopy invariants of dg orbit categories
Full Text
AUTHORS: Gonçalo Tabuada ;
PUBLISHED: 2015, SOURCE: Journal of Algebra, VOLUME: 434, PAGES: 169-192
AUTHORS: Gonçalo Tabuada ;
PUBLISHED: 2015, SOURCE: Journal of Algebra, VOLUME: 434, PAGES: 169-192
928
TITLE: A canonical construction for nonnegative integral matrices with given line sums Full Text
AUTHORS: Fernandes, Rosario ; Henrique F da Cruz;
PUBLISHED: 2015, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 484, PAGES: 304-321
AUTHORS: Fernandes, Rosario ; Henrique F da Cruz;
PUBLISHED: 2015, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 484, PAGES: 304-321
929
TITLE: A comprehensive high-throughput FTIR spectroscopy-based method for evaluating the transfection event: estimating the transfection efficiency and extracting associated metabolic responses Full Text
AUTHORS: Filipa Rosa; Kevin C Sales; Bernardo R Cunha; Andreia Couto; Marta B Lopes ; Cecilia R C Calado;
PUBLISHED: 2015, SOURCE: ANALYTICAL AND BIOANALYTICAL CHEMISTRY, VOLUME: 407, ISSUE: 26, PAGES: 8097-8108
AUTHORS: Filipa Rosa; Kevin C Sales; Bernardo R Cunha; Andreia Couto; Marta B Lopes ; Cecilia R C Calado;
PUBLISHED: 2015, SOURCE: ANALYTICAL AND BIOANALYTICAL CHEMISTRY, VOLUME: 407, ISSUE: 26, PAGES: 8097-8108
930
TITLE: A fix-and-relax algorithm for solving parallel and sequential versions of a multi-period multi-product closed loop supply chain design and operation planning model
AUTHORS: Baptista, S ; Maria Isabel Gomes ; Escudero, L; Medeiros, P; Cabrita, F;
PUBLISHED: 2015, SOURCE: Operations Research and Big Data: IO2015-XVII Congress of Portuguese Association of Operational Research (APDIO), VOLUME: 15, PAGES: 9-14
AUTHORS: Baptista, S ; Maria Isabel Gomes ; Escudero, L; Medeiros, P; Cabrita, F;
PUBLISHED: 2015, SOURCE: Operations Research and Big Data: IO2015-XVII Congress of Portuguese Association of Operational Research (APDIO), VOLUME: 15, PAGES: 9-14
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef931
TITLE: A log probabilityweighted moment estimator of extreme quantiles
AUTHORS: Caeiro, F ; Gomes, DP ;
PUBLISHED: 2015, SOURCE: 5th International Conference on Risk Analysis, ICRA5 2013 in Springer Proceedings in Mathematics and Statistics, VOLUME: 136, PAGES: 293-303
AUTHORS: Caeiro, F ; Gomes, DP ;
PUBLISHED: 2015, SOURCE: 5th International Conference on Risk Analysis, ICRA5 2013 in Springer Proceedings in Mathematics and Statistics, VOLUME: 136, PAGES: 293-303
932
TITLE: A Metaheuristic for Solving Large-Scale Two-Stage Stochastic Mixed 0-1 Programs with the Time Stochastic Dominance Risk Averse Strategy
AUTHORS: Susana Baptista ; Ana Paula Barbosa Povoa; Laureano Escudero; Maria Isabel Gomes ; Celeste Pizarro;
PUBLISHED: 2015, SOURCE: 12th International Symposium on Process Systems Engineering (PSE) / 25th European Symposium on Computer Aided Process Engineering (ESCAPE) in 12TH INTERNATIONAL SYMPOSIUM ON PROCESS SYSTEMS ENGINEERING (PSE) AND 25TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING (ESCAPE), PT A, VOLUME: 37, PAGES: 857-862
AUTHORS: Susana Baptista ; Ana Paula Barbosa Povoa; Laureano Escudero; Maria Isabel Gomes ; Celeste Pizarro;
PUBLISHED: 2015, SOURCE: 12th International Symposium on Process Systems Engineering (PSE) / 25th European Symposium on Computer Aided Process Engineering (ESCAPE) in 12TH INTERNATIONAL SYMPOSIUM ON PROCESS SYSTEMS ENGINEERING (PSE) AND 25TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING (ESCAPE), PT A, VOLUME: 37, PAGES: 857-862
933
TITLE: A methodology to measure innovation in European Union through the national innovation system
AUTHORS: Nuno Carvalho; Luísa Carvalho; Sandra Nunes ;
PUBLISHED: 2015, SOURCE: International Journal of Innovation and Regional Development, VOLUME: 6, ISSUE: 2, PAGES: 159
AUTHORS: Nuno Carvalho; Luísa Carvalho; Sandra Nunes ;
PUBLISHED: 2015, SOURCE: International Journal of Innovation and Regional Development, VOLUME: 6, ISSUE: 2, PAGES: 159
934
TITLE: A model to minimize costs and promote species persistence under climate change
AUTHORS: Alagador, D ; Cerdeira, JO ;
PUBLISHED: 2015, SOURCE: Operations Research and Big Data: IO2015-XVII Congress of Portuguese Association of Operational Research (APDIO), VOLUME: 15, PAGES: 1-8
AUTHORS: Alagador, D ; Cerdeira, JO ;
PUBLISHED: 2015, SOURCE: Operations Research and Big Data: IO2015-XVII Congress of Portuguese Association of Operational Research (APDIO), VOLUME: 15, PAGES: 1-8
935
TITLE: A Model to Minimize Costs and Promote Species Persistence under Climate Change
AUTHORS: Alagador, D; Cerdeira, JO ;
PUBLISHED: 2015, SOURCE: Studies in Big Data, VOLUME: 15, PAGES: 1-8
AUTHORS: Alagador, D; Cerdeira, JO ;
PUBLISHED: 2015, SOURCE: Studies in Big Data, VOLUME: 15, PAGES: 1-8
INDEXED IN: Scopus
Scopus936
TITLE: A modeling framework for project staffing and scheduling problems
AUTHORS: Correia, I ; Saldanha Da Gama, F;
PUBLISHED: 2015, SOURCE: Handbook on Project Management and Scheduling Vol. 1, PAGES: 547-564
AUTHORS: Correia, I ; Saldanha Da Gama, F;
PUBLISHED: 2015, SOURCE: Handbook on Project Management and Scheduling Vol. 1, PAGES: 547-564
937
TITLE: A new partially reduced-bias mean-of-order p class of extreme value index estimators Full Text
AUTHORS: Ivette I Gomes; Fatima F Brilhante; Frederico Caeiro ; Dinis Pestana;
PUBLISHED: 2015, SOURCE: COMPUTATIONAL STATISTICS & DATA ANALYSIS, VOLUME: 82, PAGES: 223-237
AUTHORS: Ivette I Gomes; Fatima F Brilhante; Frederico Caeiro ; Dinis Pestana;
PUBLISHED: 2015, SOURCE: COMPUTATIONAL STATISTICS & DATA ANALYSIS, VOLUME: 82, PAGES: 223-237
938
TITLE: A nonpolynomial collocation method for fractional terminal value problems Full Text
AUTHORS: Ford, NJ; Morgado, ML ; Rebelo, M ;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 275, PAGES: 392-402
AUTHORS: Ford, NJ; Morgado, ML ; Rebelo, M ;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 275, PAGES: 392-402
939
TITLE: A note on "branch-and-price approach for the multi-skill project scheduling problem" Full Text
AUTHORS: Isabel Correia ; Francisco Saldanha da Gama;
PUBLISHED: 2015, SOURCE: OPTIMIZATION LETTERS, VOLUME: 9, ISSUE: 6, PAGES: 1255-1258
AUTHORS: Isabel Correia ; Francisco Saldanha da Gama;
PUBLISHED: 2015, SOURCE: OPTIMIZATION LETTERS, VOLUME: 9, ISSUE: 6, PAGES: 1255-1258
940
TITLE: A Routing/Assignment Problem in Garden Maintenance Services Full Text
AUTHORS: Orestes Cerdeira, JO ; Manuel Cruz; Ana Moura ;
PUBLISHED: 2015, SOURCE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH, PAGES: 145-155
AUTHORS: Orestes Cerdeira, JO ; Manuel Cruz; Ana Moura ;
PUBLISHED: 2015, SOURCE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH, PAGES: 145-155
INDEXED IN: 
WOS CrossRef
WOS CrossRef