Search

.

Current filters:

Use filters to refine the search results.

 |          

Item hits: Results 21-30 of 126 (Search time: 0.0 seconds).
Issue DateTitleAuthor(s)TypeAccess
2003The Moore-Penrose inverse of a factorizationPatrício, PedroArticleOpen access
Mar-2007Computing the square roots of matrices with central symmetryLiu Zhongyun; Zhang Yulin; Ralha, RuiArticleOpen access
2008The investigation on the workability of fibre cocktail reinforced self-compacting high performance concreteDing Yining; Liu Siguo; Zhang Yulin; Thomas, A.ArticleOpen access
2004Confluence and strong normalisation of the generalised multiary lambda-calculusEspírito Santo, José; Pinto, Luís F.Book partOpen access
2008A decision support system for planning promotion time slotsPereira, P. A.; Fontes, Fernando A. C. C.; Fontes, Dalila B. M. M.Conference paperOpen access
2002An isomorphism between a fragment of sequent calculus and an extension of natural deductionEspírito Santo, JoséConference paperOpen access
Jun-2009H-theorem and trend to equilibrium of chemically reacting mixture of gasesKremer, Gilberto M.; Oliveira, Filipe; Soares, A. J.ArticleOpen access
2004Type-based termination of recursive definitionsBarthe, Gilles Jacques Denis; Frade, M. J.; Giménez, E.; Pinto, Luís F.; Uustalu, TarmoArticleOpen access
1-Oct-2003N-matrix completion problemAraújo, C. Mendes; Torregrosa, Juan R.; Urbano, Ana M.ArticleOpen access
15-May-2005The doubly negative matrix completion problemAraújo, C. Mendes; Torregrosa, Juan R.; Urbano, Ana M.ArticleOpen access