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: 2014
93 Team MembersFilters -> Year: 2025
1501
TITLE: v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC Full Text
AUTHORS: Joao Araujo ; Mario Edmundo ; Steven Givant;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 21, ISSUE: 7, PAGES: 1237-1257
AUTHORS: Joao Araujo ; Mario Edmundo ; Steven Givant;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 21, ISSUE: 7, PAGES: 1237-1257
1502
TITLE: A hybrid collocation method for a nonlinear Volterra integral equation with weakly singular kernel Full Text
AUTHORS: Magda Rebelo ; Teresa Diogo ;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 234, ISSUE: 9, PAGES: 2859-2869
AUTHORS: Magda Rebelo ; Teresa Diogo ;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 234, ISSUE: 9, PAGES: 2859-2869
1503
TITLE: A Meta-Heuristics Approach for the Design and Scheduling of Multipurpose Batch Plants
AUTHORS: Chibeles-Martins, Nelson ; Tania Pinto Varela ; Ana Paula Barbosa Povoa ; Novais, AQ;
PUBLISHED: 2010, SOURCE: 20th European Symposium on Computer Aided Process Engineering (ESCAPE) in 20TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING, VOLUME: 28, ISSUE: C, PAGES: 1315-1320
AUTHORS: Chibeles-Martins, Nelson ; Tania Pinto Varela ; Ana Paula Barbosa Povoa ; Novais, AQ;
PUBLISHED: 2010, SOURCE: 20th European Symposium on Computer Aided Process Engineering (ESCAPE) in 20TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING, VOLUME: 28, ISSUE: C, PAGES: 1315-1320
1504
TITLE: A model for open populations subject to periodical re-classifications
AUTHORS: Guerreiro G.R. ; Mexia J.T. ; Miguens M.F.;
PUBLISHED: 2010, SOURCE: Journal of Statistical Theory and Practice, VOLUME: 4, ISSUE: 2, PAGES: 303-321
AUTHORS: Guerreiro G.R. ; Mexia J.T. ; Miguens M.F.;
PUBLISHED: 2010, SOURCE: Journal of Statistical Theory and Practice, VOLUME: 4, ISSUE: 2, PAGES: 303-321
1505
TITLE: A new inversion-free method for a rational matrix equation Full Text
AUTHORS: Monsalve, M; Raydan, M ;
PUBLISHED: 2010, SOURCE: Linear Algebra and Its Applications, VOLUME: 433, ISSUE: 1, PAGES: 64-71
AUTHORS: Monsalve, M; Raydan, M ;
PUBLISHED: 2010, SOURCE: Linear Algebra and Its Applications, VOLUME: 433, ISSUE: 1, PAGES: 64-71
1506
TITLE: A spatially stochastic epidemic model with partial immunization shows in mean field approximation the reinfection threshold
AUTHORS: Stollenwerk, N ; van Noort, S; Martins, J ; Aguiar, M ; Hilker, F; Pinto, A ; Gomes, G ;
PUBLISHED: 2010, SOURCE: Journal of Biological Dynamics, VOLUME: 4, ISSUE: 6, PAGES: 634-649
AUTHORS: Stollenwerk, N ; van Noort, S; Martins, J ; Aguiar, M ; Hilker, F; Pinto, A ; Gomes, G ;
PUBLISHED: 2010, SOURCE: Journal of Biological Dynamics, VOLUME: 4, ISSUE: 6, PAGES: 634-649
1507
TITLE: A two-phase local search for the K clusters with fixed cardinality problem
AUTHORS: Goncalves, GM ; Lourenco, LL ; Pato, MV ;
PUBLISHED: 2010, SOURCE: 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, MACMESE'10 in International Conference on Mathematical and Computational Methods in Science and Engineering - Proceedings, PAGES: 88-92
AUTHORS: Goncalves, GM ; Lourenco, LL ; Pato, MV ;
PUBLISHED: 2010, SOURCE: 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, MACMESE'10 in International Conference on Mathematical and Computational Methods in Science and Engineering - Proceedings, PAGES: 88-92
INDEXED IN: 
Scopus
Scopus1508
TITLE: ACOUSTIC STREAMING, THE "SMALL INVENTION" OF CYANOBACTERIA? Full Text
AUTHORS: Jair Koiller; Kurt M Ehlers; Fabio Chalub ;
PUBLISHED: 2010, SOURCE: ARBOR-CIENCIA PENSAMIENTO Y CULTURA, VOLUME: 186, ISSUE: 746, PAGES: 1089-1115
AUTHORS: Jair Koiller; Kurt M Ehlers; Fabio Chalub ;
PUBLISHED: 2010, SOURCE: ARBOR-CIENCIA PENSAMIENTO Y CULTURA, VOLUME: 186, ISSUE: 746, PAGES: 1089-1115
1509
TITLE: An applicative theory for FPH PDF Full Text
AUTHORS: Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2010, SOURCE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., VOLUME: 47, PAGES: 44-56
AUTHORS: Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2010, SOURCE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., VOLUME: 47, PAGES: 44-56
1510
TITLE: An asymptotically unbiased moment estimator of a negative extreme value index Full Text
AUTHORS: Frederico Caeiro ; Ivette I Gomes;
PUBLISHED: 2010, SOURCE: Discuss. Math. Probability and Statistics - Discussiones Mathematicae Probability and Statistics, VOLUME: 30, ISSUE: 1, PAGES: 5
AUTHORS: Frederico Caeiro ; Ivette I Gomes;
PUBLISHED: 2010, SOURCE: Discuss. Math. Probability and Statistics - Discussiones Mathematicae Probability and Statistics, VOLUME: 30, ISSUE: 1, PAGES: 5
1511
TITLE: An Extended Predicative Definition of the Mahlo Universe
AUTHORS: Reinhard Kahle ; Anton Setzer;
PUBLISHED: 2010, SOURCE: - Ways of Proof Theory
AUTHORS: Reinhard Kahle ; Anton Setzer;
PUBLISHED: 2010, SOURCE: - Ways of Proof Theory
1512
TITLE: Automorphisms of endomorphism semigroups of reflexive digraphs Full Text
AUTHORS: Joao Araujo ; Edward Dobson; Janusz Konieczny;
PUBLISHED: 2010, SOURCE: MATHEMATISCHE NACHRICHTEN, VOLUME: 283, ISSUE: 7, PAGES: 939-964
AUTHORS: Joao Araujo ; Edward Dobson; Janusz Konieczny;
PUBLISHED: 2010, SOURCE: MATHEMATISCHE NACHRICHTEN, VOLUME: 283, ISSUE: 7, PAGES: 939-964
1513
TITLE: COBS: Segregation, matching, crossing and nesting
AUTHORS: Mexia, JT ; Vaquinhas, R; Fonseca, M ; Zmyslony, R;
PUBLISHED: 2010, SOURCE: 4th International Conference on Applied Mathematics, Simulation, Modelling, ASM'10 in International Conference on Applied Mathematics, Simulation, Modelling - Proceedings, PAGES: 249-255
AUTHORS: Mexia, JT ; Vaquinhas, R; Fonseca, M ; Zmyslony, R;
PUBLISHED: 2010, SOURCE: 4th International Conference on Applied Mathematics, Simulation, Modelling, ASM'10 in International Conference on Applied Mathematics, Simulation, Modelling - Proceedings, PAGES: 249-255
INDEXED IN: Scopus
Scopus1514
TITLE: Comparative evaluation of the tridimensional spine position measured with a new instrument (Vertebral Metrics) and an optoelectronic system of stereophotogrammetry Full Text
AUTHORS: Claudia Quaresma ; Filipa Joao; Miguel Fonseca ; Mario Forjaz Secca ; Antonio Veloso ; Joao Goyri O'Neill; Jorge Branco;
PUBLISHED: 2010, SOURCE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 48, ISSUE: 11, PAGES: 1161-1164
AUTHORS: Claudia Quaresma ; Filipa Joao; Miguel Fonseca ; Mario Forjaz Secca ; Antonio Veloso ; Joao Goyri O'Neill; Jorge Branco;
PUBLISHED: 2010, SOURCE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 48, ISSUE: 11, PAGES: 1161-1164
1515
TITLE: COMPUTER SOLUTIONS OF PROBLEMS IN INVERSE SEMIGROUPS Full Text
AUTHORS: Joao Araujo ; William McCune;
PUBLISHED: 2010, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 38, ISSUE: 3, PAGES: 1104-1121
AUTHORS: Joao Araujo ; William McCune;
PUBLISHED: 2010, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 38, ISSUE: 3, PAGES: 1104-1121
1516
TITLE: Computing automorphisms of semigroups Full Text
AUTHORS: Araujo, J ; Buenau, PV; Mitchell, JD; Neunhoeffer, M;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 45, ISSUE: 3, PAGES: 373-392
AUTHORS: Araujo, J ; Buenau, PV; Mitchell, JD; Neunhoeffer, M;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 45, ISSUE: 3, PAGES: 373-392
1517
TITLE: Decomposable lambda-critical tensors Full Text
AUTHORS: Fernandes, Rosario ; Henrique F da Cruz ; Fatima Rodrigues ;
PUBLISHED: 2010, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 433, ISSUE: 1, PAGES: 297-317
AUTHORS: Fernandes, Rosario ; Henrique F da Cruz ; Fatima Rodrigues ;
PUBLISHED: 2010, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 433, ISSUE: 1, PAGES: 297-317
1518
TITLE: Delta Method and Moment Convergence Full Text
AUTHORS: Miguel Fonseca ; João T Mexia ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PAGES: 1252-1255
AUTHORS: Miguel Fonseca ; João T Mexia ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PAGES: 1252-1255
1519
TITLE: Differential graded versus simplicial categories Full Text
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2010, SOURCE: TOPOLOGY AND ITS APPLICATIONS, VOLUME: 157, ISSUE: 3, PAGES: 563-593
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2010, SOURCE: TOPOLOGY AND ITS APPLICATIONS, VOLUME: 157, ISSUE: 3, PAGES: 563-593
1520
TITLE: Discretized formulations for capacitated location problems with modular distribution costs Full Text
AUTHORS: Isabel Correia ; Luis Gouveia ; Francisco Saldanha da Gama ;
PUBLISHED: 2010, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 204, ISSUE: 2, PAGES: 237-244
AUTHORS: Isabel Correia ; Luis Gouveia ; Francisco Saldanha da Gama ;
PUBLISHED: 2010, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 204, ISSUE: 2, PAGES: 237-244
