In this paper‎, ‎an efficient dropping criterion has been used to compute the IUL factorization obtained from Backward Factored APproximate INVerse (BFAPINV) and ILU factorization obtained from Forward Factored APproximate INVerse (FFAPINV) algorithms‎. ‎We use different drop tolerance parameters to compute the preconditioners‎. ‎To study the effect of such a dropping on the quality of the ILU ...

in this paper‎, ‎an efficient dropping criterion has been used to compute the iul factorization obtained from backward factored approximate inverse (bfapinv) and ilu factorization obtained from forward factored approximate inverse (ffapinv) algorithms‎. ‎we use different drop tolerance parameters to compute the preconditioners‎. ‎to study the effect of such a dropping on the quality of the ilu ...

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...

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.

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, ...