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

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

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

Sonja Perren, Jacobs Center for Productive Youth Development, University of Zürich, Switzerland Lucie Corcoran, School of Education, Trinity College Dublin, Ireland Helen Cowie, Faculty of Health and Medical Sciences, University of Surrey, United Kingdom Francine Dehue, Department of Psychology, Open University of the Netherlands, Heerlen, the Netherlands D’Jamila Garcia, Instituto Universitári...

BACKGROUND AND AIMS To investigate the prevalence and pattern of PC and BCP mutations and their clinical significance in patients with genotype D chronic hepatitis B infection in the Fars province of southern Iran. MATERIALS AND METHODS From January 2007 to March 2008, we evaluated 44 patients with chronic hepatitis B infection who were referred to our hepatology clinics affiliated with the S...