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: 2112
96 Team MembersFilters -> Year: 2025
1581
TITLE: THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2011, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 4, ISSUE: 2, PAGES: 205-218
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2011, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 4, ISSUE: 2, PAGES: 205-218
1582
TITLE: Time series methods for obtaining excess mortality attributable to influenza epidemics Full Text
AUTHORS: Baltazar Nunes ; Isabel Natario ; Luclia Carvalho, ML ;
PUBLISHED: 2011, SOURCE: STATISTICAL METHODS IN MEDICAL RESEARCH, VOLUME: 20, ISSUE: 4, PAGES: 331-345
AUTHORS: Baltazar Nunes ; Isabel Natario ; Luclia Carvalho, ML ;
PUBLISHED: 2011, SOURCE: STATISTICAL METHODS IN MEDICAL RESEARCH, VOLUME: 20, ISSUE: 4, PAGES: 331-345
1583
TITLE: Unconstrained optimization techniques for the acceleration of alternating projection methods Full Text
AUTHORS: Hernández Ramos, LM; Escalante, R; Raydan, M ;
PUBLISHED: 2011, SOURCE: Numerical Functional Analysis and Optimization, VOLUME: 32, ISSUE: 10, PAGES: 1041-1066
AUTHORS: Hernández Ramos, LM; Escalante, R; Raydan, M ;
PUBLISHED: 2011, SOURCE: Numerical Functional Analysis and Optimization, VOLUME: 32, ISSUE: 10, PAGES: 1041-1066
1584
TITLE: Universal suspension via noncommutative motives
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2011, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 5, ISSUE: 4, PAGES: 573-589
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2011, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 5, ISSUE: 4, PAGES: 573-589
1585
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
1586
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
1587
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
1588
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
1589
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
1590
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
1591
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
Scopus1592
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
1593
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
1594
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
1595
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
1596
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
1597
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
Scopus1598
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
1599
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
1600
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
