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

AuthID: I-000-1EJ

External   Internal

Publications Count: 2265

106 Team Members
Filters -> Year: 2025
2141
TITLE: On Huygens' principle for Dirac operators associated to electromagnetic fields
AUTHORS: Chalub, FACC ;
PUBLISHED: 2001, SOURCE: ANAIS DA ACADEMIA BRASILEIRA DE CIENCIAS, VOLUME: 73, ISSUE: 4, PAGES: 483-493
2142
TITLE: On Huygens' principle for Dirac operators associated to electromagnetic fields
AUTHORS: FABIO A.C.C CHALUB ;
PUBLISHED: 2001, SOURCE: Anais da Academia Brasileira de Ciências, VOLUME: 73, ISSUE: 4, PAGES: 483-493
2143
TITLE: On the covering number of a matroid element
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 337, ISSUE: 1-3, PAGES: 21-35
2144
TITLE: On the interpolation constant for Orlicz spaces
AUTHORS: Oleksiy Karlovych ; Maligranda, L;
PUBLISHED: 2001, SOURCE: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 129, ISSUE: 9, PAGES: 2727-2739
2145
TITLE: On the kernel of the derivation operator
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 337, ISSUE: 1-3, PAGES: 121-138
2146
TITLE: Perron-Frobenius theorem for matrices with some negative entries
AUTHORS: Tarazaga, P; Raydan, M ; Hurman, A;
PUBLISHED: 2001, SOURCE: Linear Algebra and Its Applications, VOLUME: 328, ISSUE: 1-3, PAGES: 57-68
2147
TITLE: Preface
AUTHORS: Reinhard Kahle ; Schroeder Heister, P; Stärk, R;
PUBLISHED: 2001, SOURCE: International Seminar on Proof Theory in Computer Science, PTCS 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2183
2148
TITLE: Proof Theory in Computer Science. International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
AUTHORS: Reinhard Kahle ; Peter Schroeder-Heister; Robert Stärk;
PUBLISHED: 2001, SOURCE: Lecture Notes in Computer Science
2149
2150
TITLE: The monoid of all injective order preserving partial transformations on a finite chain
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 2001, SOURCE: SEMIGROUP FORUM, VOLUME: 62, ISSUE: 2, PAGES: 178-204
2151
TITLE: The rank partition and the covering number of the elements of the dual matroid
AUTHORS: da Silva, JAD; Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: ARS COMBINATORIA, VOLUME: 59, PAGES: 129-144
2152
TITLE: Truth in Applicative Theories
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2001, SOURCE: Stud Logica, VOLUME: 68, ISSUE: 1, PAGES: 103-128
2153
TITLE: Universes in explicit mathematics
AUTHORS: Jager, G; Reinhard Kahle ; Studer, T;
PUBLISHED: 2001, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 109, ISSUE: 3, PAGES: 141-162
2154
TITLE: Universes in explicit mathematics
AUTHORS: Gerhard Jäger; Reinhard Kahle ; Thomas Studer;
PUBLISHED: 2001, SOURCE: Ann. Pure Appl. Log., VOLUME: 109, ISSUE: 3, PAGES: 141-162
2155
TITLE: A self-learning method of parallel texts alignment
AUTHORS: Ribeiro, A; Lopes, G; Mexia, J ;
PUBLISHED: 2000, SOURCE: 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1934, PAGES: 30-39
2156
TITLE: A Theory of Explicit Mathematics Equivalent to ID1
AUTHORS: Reinhard Kahle ; Thomas Studer;
PUBLISHED: 2000, SOURCE: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, VOLUME: 1862, PAGES: 356-370
2157
TITLE: A three-phase procedure for designing an irrigation system's water distribution network
AUTHORS: Goncalves, GM ; Pato, MV ;
PUBLISHED: 2000, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 94, ISSUE: 1-4, PAGES: 163-179
2158
TITLE: Abelian kernels of some monoids of injective partial transformations and an application
AUTHORS: Delgado, M ; Vítor H. Fernandes ;
PUBLISHED: 2000, SOURCE: SEMIGROUP FORUM, VOLUME: 61, ISSUE: 3, PAGES: 435-452
2159
TITLE: Aligning Portuguese and Chinese parallel texts using confidence bands
AUTHORS: Ribeiro, A; Lopes, G ; Mexia, J ;
PUBLISHED: 2000, SOURCE: 6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1886 LNAI, PAGES: 627-637
2160
TITLE: Extracting equivalents from aligned parallel texts: Comparison of measures of similarity
AUTHORS: Ribeiro, A; Lopes, GP ; Mexia, J ;
PUBLISHED: 2000, SOURCE: International Joint Conference of the 7th Ibero-American Conference on AI/15th Brazilian Symposium on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 1952, PAGES: 339-349

Results per Page: 20.
Page 108 of 114. Total results: 2265.