We present an incomplete UL IUL decomposition of matrixAwhich is extracted as a by-product of BFAPINV backward factored approximate inverse process. We term this IUL factorization as IULBF. We have used ILUFF 3 and IULBF as left preconditioner for linear systems. Different versions of ILUFF and IULBF preconditioners are computed by using different dropping techniques. In this paper, we compare ...

‎In this paper‎, ‎we use a complete pivoting strategy to compute the IUL preconditioner obtained as the by-product of the Backward Factored APproximate INVerse process‎. ‎This pivoting is based on the complete pivoting strategy of the Backward IJK version of Gaussian Elimination process‎. ‎There is a parameter $alpha$ to control the complete pivoting process‎. ‎We have studied the effect of dif...

Consider the linear system of equations of the form Ax = b where the coefficient matrix A ∈ Rn×n is nonsingular, large, sparse and nonsymmetric and also x, b ∈ R. We refer to this system as the original system. An explicit preconditioner M for this system is an approximation of matrix A−1. In [1], Lou presented the Backward Factored INVerse or BFINV algorithm which computes the inverse factoriz...

19 Galactica, a Digital Planetarium for Immersive Virtual Reality Settings Miguel Sales Dias, Microsoft Language Development Center, Lisboa, Portugal and ISCTE Instituto Universitário de Lisboa, ISTAR-IUL, Lisboa, Portugal Jorge d’Alpuim, ISCTE Instituto Universitário de Lisboa, ISTAR-IUL, Lisboa, Portugal Pedro Caetano, IST Técnico, Universidade de Lisboa, Lisboa, Portugal and ISCTE Instituto ...

1 HFAR Hospital das Foras Armadas, Azinhaga Ulmeiros, 1620-060 Lisboa, Portugal [email protected] 2 ALGORITMI Research Centre, Department of Information Systems, University of Minho, 4800-058 Guimarães, Portugal [email protected] WWW home page: http://www3.dsi.uminho.pt/pcortez 3 Business Research Unit (UNIDE-IUL), Instituto Universitário de Lisboa (ISCTE-IUL), Av. das Forças Armadas, 162...

Abstract An algebraic proof is presented for the finite strong standard completeness of Involutive Uninorm Logic with Fixed Point ( $${{\mathbf {IUL}}^{fp}}$$ IUL fp ). It may provide a first step towards settling problem $${\mathbf {IUL}}$$ , pos...

We examine a logical foundation for the intersection and union types assignment system (IUT). The proposed system is Intersection and Union Logic (IUL), an extension of Intersection Logic (IL) with the canonical rules for union. We investigate two different formalisms for IUL, as well as its properties and its relation with minimal intuitionistic logic.

In this paper, we present a block version of incomplete LU preconditioner which is computed as the by-product of block A-biconjugation process. The pivot entries of this block preconditioner are one by one or two by two blocks. The L and U factors of this block preconditioner are computed separately. The block pivot selection of this preconditioner is inherited from one of the block versions of...

Idiopathic ulcerative laryngitis (IUL) is characterized by bilateral midmembranous vocal fold ulceration, which follows upper respiratory infection with cough. In contrast, granuloma of the membranous vocal fold can occur rarely following microlaryngoscopy, presumably secondary to surgical violation of deep tissue planes. We report a novel case of noniatrogenic membranous vocal fold granulation...

Sonja PERREN, University of Zürich, Switzerland Lucie CORCORAN, Trinity College Dublin, Ireland Helen COWIE, University of Surrey, UK Francine DEHUE, Open University of Netherlands D'Jamila GARCIA, Instituto Universitário de Lisboa (ISCTE-IUL), Centro de Investigação e Intervenção Social – IUL, Portugal Conor MC GUCKIN, Trinity College Dublin, Ireland Anna SEVCIKOVA, Faculty of Social Studies, ...