Centre for Mathematics and Applications (CMA)
Centro de Matemática e Aplicações
AuthID: I-000-1EJ Publications Count: 2194
102 Team MembersFilters -> Year: 2019
1601
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
1602
TITLE: Asymptotic linearity and limit distributions, approximations
AUTHORS: Joao T Mexia ; Manuela M Oliveira;
PUBLISHED: 2010, SOURCE: JOURNAL OF STATISTICAL PLANNING AND INFERENCE, VOLUME: 140, ISSUE: 2, PAGES: 353-357
AUTHORS: Joao T Mexia ; Manuela M Oliveira;
PUBLISHED: 2010, SOURCE: JOURNAL OF STATISTICAL PLANNING AND INFERENCE, VOLUME: 140, ISSUE: 2, PAGES: 353-357
1603
TITLE: Automatic presentations and semigroup constructions
AUTHORS: Cain, AJ ; Oliver, G; Ruskuc, N; Thomas, RM;
PUBLISHED: 2010, SOURCE: Theory of Computing Systems, VOLUME: 47, ISSUE: 2, PAGES: 568-592
AUTHORS: Cain, AJ ; Oliver, G; Ruskuc, N; Thomas, RM;
PUBLISHED: 2010, SOURCE: Theory of Computing Systems, VOLUME: 47, ISSUE: 2, PAGES: 568-592
1604
TITLE: Automatic semigroups and Bruck-Reilly extensions
AUTHORS: Cain, AJ ;
PUBLISHED: 2010, SOURCE: ACTA MATHEMATICA HUNGARICA, VOLUME: 126, ISSUE: 1-2, PAGES: 1-15
AUTHORS: Cain, AJ ;
PUBLISHED: 2010, SOURCE: ACTA MATHEMATICA HUNGARICA, VOLUME: 126, ISSUE: 1-2, PAGES: 1-15
1605
TITLE: Automorphisms of endomorphism semigroups of reflexive digraphs
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
1606
TITLE: Characterization of preclones by matrix collections
AUTHORS: Lehtonen, E ;
PUBLISHED: 2010, SOURCE: Asian-European Journal of Mathematics, VOLUME: 3, ISSUE: 3, PAGES: 457-473
AUTHORS: Lehtonen, E ;
PUBLISHED: 2010, SOURCE: Asian-European Journal of Mathematics, VOLUME: 3, ISSUE: 3, PAGES: 457-473
1607
TITLE: Classes of operations closed under permutation, cylindrification and composition
AUTHORS: Couceiro, M; Lehtonen, E ;
PUBLISHED: 2010, SOURCE: 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010 in Proceedings of The International Symposium on Multiple-Valued Logic, PAGES: 117-121
AUTHORS: Couceiro, M; Lehtonen, E ;
PUBLISHED: 2010, SOURCE: 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010 in Proceedings of The International Symposium on Multiple-Valued Logic, PAGES: 117-121
1608
TITLE: Closed classes of functions, generalized constraints, and clusters
AUTHORS: Lehtonen, E ;
PUBLISHED: 2010, SOURCE: Algebra Universalis, VOLUME: 63, ISSUE: 2-3, PAGES: 203-234
AUTHORS: Lehtonen, E ;
PUBLISHED: 2010, SOURCE: Algebra Universalis, VOLUME: 63, ISSUE: 2-3, PAGES: 203-234
1609
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
1610
TITLE: Column-partitioned matrices over rings without invertible transversal submatrices
AUTHORS: Foldes, S; Lehtonen, E ;
PUBLISHED: 2010, SOURCE: Ars Combinatoria, VOLUME: 97, PAGES: 33-39
AUTHORS: Foldes, S; Lehtonen, E ;
PUBLISHED: 2010, SOURCE: Ars Combinatoria, VOLUME: 97, PAGES: 33-39
1611
TITLE: Comparative evaluation of the tridimensional spine position measured with a new instrument (Vertebral Metrics) and an optoelectronic system of stereophotogrammetry
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
1612
TITLE: Comparing double minimization and zigzag algorithms in Joint Regression Analysis: the complete case
AUTHORS: Dulce Gamito Pereira ; Joao Tiago Mexia ;
PUBLISHED: 2010, SOURCE: JOURNAL OF STATISTICAL COMPUTATION AND SIMULATION, VOLUME: 80, ISSUE: 1-2, PAGES: 133-141
AUTHORS: Dulce Gamito Pereira ; Joao Tiago Mexia ;
PUBLISHED: 2010, SOURCE: JOURNAL OF STATISTICAL COMPUTATION AND SIMULATION, VOLUME: 80, ISSUE: 1-2, PAGES: 133-141
1613
TITLE: COMPUTER SOLUTIONS OF PROBLEMS IN INVERSE SEMIGROUPS
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
1614
TITLE: Computing automorphisms of semigroups
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
1615
TITLE: Crossing segregated models with commutative orthogonal block structure
AUTHORS: Sandra S Ferreira ; Dário Ferreira ; Célia Nunes ; João T Mexia ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics 2010, ICNAAM-2010 in AIP Conference Proceedings, VOLUME: 1281, PAGES: 1229-1232
AUTHORS: Sandra S Ferreira ; Dário Ferreira ; Célia Nunes ; João T Mexia ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics 2010, ICNAAM-2010 in AIP Conference Proceedings, VOLUME: 1281, PAGES: 1229-1232
1616
TITLE: Decomposable lambda-critical tensors
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
1617
TITLE: Delta Method and Moment Convergence
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
1618
TITLE: Deus ex Machina and the Aesthetics of Proof
AUTHORS: Alan J Cain ;
PUBLISHED: 2010, SOURCE: MATHEMATICAL INTELLIGENCER, VOLUME: 32, ISSUE: 3, PAGES: 7-11
AUTHORS: Alan J Cain ;
PUBLISHED: 2010, SOURCE: MATHEMATICAL INTELLIGENCER, VOLUME: 32, ISSUE: 3, PAGES: 7-11
1619
TITLE: Differential graded versus simplicial categories
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
1620
TITLE: Discretized formulations for capacitated location problems with modular distribution costs
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