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

AuthID: I-000-1EJ

External   Internal

Publications Count: 2143

93 Team Members
Filters -> Year: 2024
2021
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
2022
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
2023
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
2024
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
2025
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
2026
TITLE: Proof Theory in Computer Science
AUTHORS: Reinhard Kahle ; Peter Schroeder-Heister; Robert Stärk;
PUBLISHED: 2001, SOURCE: Lecture Notes in Computer Science
2027
2028
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
2029
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
2030
TITLE: Truth in Applicative Theories
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2001, SOURCE: Stud Logica, VOLUME: 68, ISSUE: 1, PAGES: 103-128
2031
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
2032
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
2033
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
2034
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
2035
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
2036
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
2037
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
2038
TITLE: Flexibility, efficiency, and accountability: adapting reserve selection algorithms to more complex conservation problems
AUTHORS: Rodrigues, AS; Cerdeira, JO ; Gaston, KJ;
PUBLISHED: 2000, SOURCE: ECOGRAPHY, VOLUME: 23, ISSUE: 5, PAGES: 565-574
2039
TITLE: Integrable systems, Huygens' principle, and Dirac operators
AUTHORS: Chalub, FACC ; Zubelli, JP;
PUBLISHED: 2000, SOURCE: Workshop on Nonlinearity, Integrability and all that - 20 Years after NEEDS 79 in PROCEEDINGS OF THE WORKSHOP ON NONLINEARITY, INTEGRABILITY AND ALL THAT: TWENTY YEARS AFTER NEEDS '79, PAGES: 89-96
2040
TITLE: N-strictness in applicative theories
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2000, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 39, ISSUE: 2, PAGES: 125-144

Results per Page: 20.
Page 102 of 108. Total results: 2143.