Centre for Mathematics and Applications (CMA)
Centro de Matemática e Aplicações

AuthID: I-000-1EJ

External   Internal

Publications Count: 2202

105 Team Members
Filters -> Year: 2025
2101
TITLE: Proof-theoretic notions for software maintenance
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2000, SOURCE: MFCSIT2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology in First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000, VOLUME: 40, PAGES: 206-219
2102
TITLE: Semigroups of linear endomorphisms closed under conjugation
AUTHORS: Araujo, J ; Silva, FC ;
PUBLISHED: 2000, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 28, ISSUE: 8, PAGES: 3679-3689
2103
TITLE: Subdirectly irreducible Ockham chains
AUTHORS: Blyth, TS; Silva, HJ ;
PUBLISHED: 2000, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 44, ISSUE: 1-2, PAGES: 1-14
2104
TITLE: The monoid of all injective orientation preserving partial transformations on a finite chain
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 2000, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 28, ISSUE: 7, PAGES: 3401-3426
2105
TITLE: Theoretical analysis of the Exponential Transversal Method of Lines for the diffusion equation
AUTHORS: Salazar, AJ; Raydan, M ; Campo, A;
PUBLISHED: 2000, SOURCE: Numerical Methods for Partial Differential Equations, VOLUME: 16, ISSUE: 1, PAGES: 30-41
2106
TITLE: Theoretical analysis of the exponential transversal method of lines for the diffusion equation
AUTHORS: Salazar, AJ; Raydan, M ; Campo, A;
PUBLISHED: 2000, SOURCE: Numerical Methods for Partial Differential Equations, VOLUME: 16, ISSUE: 1, PAGES: 30-41
2107
TITLE: Using confidence bands for alignment with hapaxes
AUTHORS: Ribeiro, A; Lopes, GP; Mexia, JT ;
PUBLISHED: 2000, SOURCE: International Conference on Artificial Intelligence (IC-AI'2000) in IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, PAGES: 1089-1095
2108
TITLE: A general construction of Ockham algebras
AUTHORS: Silva, HJ ;
PUBLISHED: 1999, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 27, ISSUE: 9, PAGES: 4561-4567
2109
TITLE: Black-eye patterns: A representation of three-dimensional symmetries in thin domains
AUTHORS: Gomes, MGM ;
PUBLISHED: 1999, SOURCE: PHYSICAL REVIEW E, VOLUME: 60, ISSUE: 4, PAGES: 3741-3747
2110
TITLE: Black-eye patterns: A representation of three-dimensional symmetries in thin domains
AUTHORS: Gabriela, M; Gomes, M ;
PUBLISHED: 1999, SOURCE: Physical Review E - Statistical Physics, Plasmas, Fluids, and Related Interdisciplinary Topics, VOLUME: 60, ISSUE: 4 A, PAGES: 3741-3747
2111
TITLE: Flows associated to tangent processes on the Wiener space
AUTHORS: Fernanda Cipriano ; Cruzeiro, AB ;
PUBLISHED: 1999, SOURCE: JOURNAL OF FUNCTIONAL ANALYSIS, VOLUME: 166, ISSUE: 2, PAGES: 310-331
2112
TITLE: Frege structures for partial applicative theories
AUTHORS: Reinhard Kahle ;
PUBLISHED: 1999, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, ISSUE: 5, PAGES: 683-700
2113
TITLE: Gradient method with retards and generalizations
AUTHORS: Friedlander, A; Martínez, JM; Molina, B; Raydan, M ;
PUBLISHED: 1999, SOURCE: SIAM Journal on Numerical Analysis, VOLUME: 36, ISSUE: 1, PAGES: 275-289
2114
TITLE: On Applicative Theories
AUTHORS: Gerhard Jäger; Reinhard Kahle ; Thomas Strahm;
PUBLISHED: 1999, SOURCE: Logic and Foundations of Mathematics, PAGES: 83-92
2115
TITLE: On equalizer flat acts
AUTHORS: Bentz, W ; Bulman Fleming, S;
PUBLISHED: 1999, SOURCE: SEMIGROUP FORUM, VOLUME: 58, ISSUE: 1, PAGES: 5-16
2116
TITLE: Oxidative stress in familial adenomatous polyposis
AUTHORS: Bras, A; Sanches, R; Cristovao, L; Fidalgo, P; Chagas, C; Mexia, J ; Leitao, N; Rueff, J ;
PUBLISHED: 1999, SOURCE: EUROPEAN JOURNAL OF CANCER PREVENTION, VOLUME: 8, ISSUE: 4, PAGES: 305-310
2117
TITLE: Oxidative stress in familial adenomatous polyposis
AUTHORS: Brás, A; Sanches, R; Cristóvão, L; Fidalgo, P; Chagas, C; Mexia, J ; Leitão, N; Rueff, J;
PUBLISHED: 1999, SOURCE: European Journal of Cancer Prevention, VOLUME: 8, ISSUE: 4, PAGES: 305-310
2118
TITLE: Spatial Hidden Symmetries in Pattern Formation
AUTHORS: Gabriela G M Gomes ; Isabel S Labouriau ; Eliana M Pinho;
PUBLISHED: 1999, SOURCE: Pattern Formation in Continuous and Coupled Systems - The IMA Volumes in Mathematics and its Applications, PAGES: 83-99
2119
TITLE: The covering number of elements of a matroid and associated transformations
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 1999, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 298, ISSUE: 1-3, PAGES: 51-71
2120
TITLE: The generalized integer gamma distribution - A basis for distributions in multivariate statistics (vol 69, pg 281, 1999)
AUTHORS: Coelho, CA ;
PUBLISHED: 1999, SOURCE: JOURNAL OF MULTIVARIATE ANALYSIS, VOLUME: 69, ISSUE: 2, PAGES: 281-285

Results per Page: 20.
Page 106 of 111. Total results: 2202.