A diagrammatic representation for entities and mereotopological relations in ontologies

In the graphical representation of ontologies, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations. We focus here on a problem in the graph-based representation of ontologies in complex domains such as biomedical, engineering and manufacturing: lack of mereotopological representation. Based on such limitation, we proposed a diagrammatic way to represent an entity’s structure and various forms of mereotopological relationships between the entities

Numerical tests of the large charge expansion

We perform Monte-Carlo measurements of two and three point functions of charged operators in the critical O(2) model in 3 dimensions. Our results are compatible with the predictions of the large charge superfluid effective field theory. To obtain reliable measurements for large values of the charge, we improved the Worm algorithm and devised a measurement scheme which mitigates the uncertainties due to lattice and finite size effects.Comment: 16 pages, 12 figures. v2: Improved finite size scaling. v3: Added comparison between Monte Carlo update

Using abstract interpretation to produce dependable aerospace control software

In the context of software dependability, the software veri- fication process has an important role. Formal verification of programs is an activity that can be inserted in this process to improve software reliability. This paper presents the defini- tion of an approach that employs a formal verification tech- nique based on abstract interpretation. The main goal is to apply this technique as a formal activity in the software veri- fication process to help software engineers identify programs faults. The applicability of the proposed approach is demon- strated by a case study based on embedded aerospace control software. The results obtained from its use show that abstract interpretation can contribute to software dependability.Fundação para a Ciência e a Tecnologia (FCT

Suporte para construção de decisões de modelagem da adaptação em sistemas WEB de tutoria

Adaptation or personalization is the key word for Educational WEB based systems. Nevertheless, the absence of a personalization model that could make possible to reason about, to support, to analyze the design of a Personalized Tutoring WEB System (PTWS), a kind of Adaptive Educational Hypermedia System (AEHS), is a great inconvenience. The weakness of the existing approaches is the lack of a justifiably process or method to identify and structuralize adaptation constituents and determinants, as well as to define adaptation rules. In current research, these aspects are unclearly treated. Aiming at overcoming such weakness, this paper presents an approach of how to support design decisions for modeling Personalized Tutorial Web System.Keywords: adaptation, adaptation modeling, adaptive tutorial WEB system.Adaptação ou personalização é a palavra chave de sistemas WEB educacionais. Apesar disso, a ausência de um modelo de personalização, que poderia possibilitar o raciocínio, o suporte e a análise da construção de Sistema Personalizado WEB de Tutoria (SPWT), um tipo de Sistema Hipermídia Adaptativo Educacional (SHAE), é uma grande lacuna. Faltam métodos ou processos para justificar e estruturar a adaptação, identificando seus constituintes e determinantes, bem como o suporte à criação das regras de adaptação. Esses aspectos não são tratados de forma clara nas atuais pesquisas. Esse artigo apresenta uma proposta que trata desses aspectos para a modelagem Sistema Personalizados Web de Tutoria.Palavras-chave: adaptação, modelagem de adaptação, sistema WEB tutorial adaptativo

First Latin American clinical practice guidelines for the treatment of systemic lupus erythematosus: Latin American Group for the Study of Lupus (GLADEL, Grupo Latino Americano de Estudio del Lupus)-Pan-American League of Associations of Rheumatology (PANLAR)

Systemic lupus erythematosus (SLE), a complex and heterogeneous autoimmune disease, represents a significant challenge for both diagnosis and treatment. Patients with SLE in Latin America face special problems that should be considered when therapeutic guidelines are developed. The objective of the study is to develop clinical practice guidelines for Latin American patients with lupus. Two independent teams (rheumatologists with experience in lupus management and methodologists) had an initial meeting in Panama City, Panama, in April 2016. They selected a list of questions for the clinical problems most commonly seen in Latin American patients with SLE. These were addressed with the best available evidence and summarised in a standardised format following the Grading of Recommendations Assessment, Development and Evaluation approach. All preliminary findings were discussed in a second face-to-face meeting in Washington, DC, in November 2016. As a result, nine organ/system sections are presented with the main findings; an 'overarching' treatment approach was added. Special emphasis was made on regional implementation issues. Best pharmacologic options were examined for musculoskeletal, mucocutaneous, kidney, cardiac, pulmonary, neuropsychiatric, haematological manifestations and the antiphospholipid syndrome. The roles of main therapeutic options (ie, glucocorticoids, antimalarials, immunosuppressant agents, therapeutic plasma exchange, belimumab, rituximab, abatacept, low-dose aspirin and anticoagulants) were summarised in each section. In all cases, benefits and harms, certainty of the evidence, values and preferences, feasibility, acceptability and equity issues were considered to produce a recommendation with special focus on ethnic and socioeconomic aspects. Guidelines for Latin American patients with lupus have been developed and could be used in similar settings.Fil: Pons Estel, Bernardo A.. Centro Regional de Enfermedades Autoinmunes y Reumáticas; ArgentinaFil: Bonfa, Eloisa. Universidade de Sao Paulo; BrasilFil: Soriano, Enrique R.. Instituto Universitario Hospital Italiano de Buenos Aires. Rectorado.; ArgentinaFil: Cardiel, Mario H.. Centro de Investigación Clínica de Morelia; MéxicoFil: Izcovich, Ariel. Hospital Alemán; ArgentinaFil: Popoff, Federico. Hospital Aleman; ArgentinaFil: Criniti, Juan M.. Hospital Alemán; ArgentinaFil: Vásquez, Gloria. Universidad de Antioquia; ColombiaFil: Massardo, Loreto. Universidad San Sebastián; ChileFil: Duarte, Margarita. Hospital de Clínicas; ParaguayFil: Barile Fabris, Leonor A.. Hospital Angeles del Pedregal; MéxicoFil: García, Mercedes A.. Universidad de Buenos Aires. Facultad de Medicina. Hospital de Clínicas General San Martín; ArgentinaFil: Amigo, Mary Carmen. Centro Médico Abc; MéxicoFil: Espada, Graciela. Gobierno de la Ciudad de Buenos Aires. Hospital General de Niños "Ricardo Gutiérrez"; ArgentinaFil: Catoggio, Luis J.. Hospital Italiano. Instituto Universitario. Escuela de Medicina; ArgentinaFil: Sato, Emilia Inoue. Universidade Federal de Sao Paulo; BrasilFil: Levy, Roger A.. Universidade do Estado de Rio do Janeiro; BrasilFil: Acevedo Vásquez, Eduardo M.. Universidad Nacional Mayor de San Marcos; PerúFil: Chacón Díaz, Rosa. Policlínica Méndez Gimón; VenezuelaFil: Galarza Maldonado, Claudio M.. Corporación Médica Monte Sinaí; EcuadorFil: Iglesias Gamarra, Antonio J.. Universidad Nacional de Colombia; ColombiaFil: Molina, José Fernando. Centro Integral de Reumatología; ColombiaFil: Neira, Oscar. Universidad de Chile; ChileFil: Silva, Clóvis A.. Universidade de Sao Paulo; BrasilFil: Vargas Peña, Andrea. Hospital Pasteur Montevideo; UruguayFil: Gómez Puerta, José A.. Hospital Clinic Barcelona; EspañaFil: Scolnik, Marina. Instituto Universitario Hospital Italiano de Buenos Aires. Rectorado.; ArgentinaFil: Pons Estel, Guillermo J.. Centro Regional de Enfermedades Autoinmunes y Reumáticas; Argentina. Hospital Provincial de Rosario; ArgentinaFil: Ugolini Lopes, Michelle R.. Universidade de Sao Paulo; BrasilFil: Savio, Verónica. Instituto Universitario Hospital Italiano de Buenos Aires. Rectorado.; ArgentinaFil: Drenkard, Cristina. University of Emory; Estados UnidosFil: Alvarellos, Alejandro J.. Hospital Privado Universitario de Córdoba; ArgentinaFil: Ugarte Gil, Manuel F.. Universidad Cientifica del Sur; Perú. Hospital Nacional Guillermo Almenara Irigoyen; PerúFil: Babini, Alejandra. Instituto Universitario Hospital Italiano de Buenos Aires. Rectorado.; ArgentinaFil: Cavalcanti, André. Universidade Federal de Pernambuco; BrasilFil: Cardoso Linhares, Fernanda Athayde. Hospital Pasteur Montevideo; UruguayFil: Haye Salinas, Maria Jezabel. Hospital Privado Universitario de Córdoba; ArgentinaFil: Fuentes Silva, Yurilis J.. Universidad de Oriente - Núcleo Bolívar; VenezuelaFil: Montandon De Oliveira E Silva, Ana Carolina. Universidade Federal de Goiás; BrasilFil: Eraso Garnica, Ruth M.. Universidad de Antioquia; ColombiaFil: Herrera Uribe, Sebastián. Hospital General de Medellin Luz Castro de Gutiérrez; ColombiaFil: Gómez Martín, DIana. Instituto Nacional de la Nutrición Salvador Zubiran; MéxicoFil: Robaina Sevrini, Ricardo. Universidad de la República; UruguayFil: Quintana, Rosana M.. Hospital Provincial de Rosario; Argentina. Centro Regional de Enfermedades Autoinmunes y Reumáticas; ArgentinaFil: Gordon, Sergio. Hospital Interzonal General de Agudos Dr Oscar Alende. Unidad de Reumatología y Enfermedades Autoinmunes Sistémicas; ArgentinaFil: Fragoso Loyo, Hilda. Instituto Nacional de la Nutrición Salvador Zubiran; MéxicoFil: Rosario, Violeta. Hospital Docente Padre Billini; República DominicanaFil: Saurit, Verónica. Hospital Privado Universitario de Córdoba; ArgentinaFil: Appenzeller, Simone. Universidade Estadual de Campinas; BrasilFil: Dos Reis Neto, Edgard Torres. Universidade Federal de Sao Paulo; BrasilFil: Cieza, Jorge. Hospital Nacional Edgardo Rebagliati Martins; PerúFil: González Naranjo, Luis A.. Universidad de Antioquia; ColombiaFil: González Bello, Yelitza C.. Ceibac; MéxicoFil: Collado, María Victoria. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones Médicas; ArgentinaFil: Sarano, Judith. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones Médicas; ArgentinaFil: Retamozo, Maria Soledad. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Investigaciones en Ciencias de la Salud. Universidad Nacional de Córdoba. Instituto de Investigaciones en Ciencias de la Salud; ArgentinaFil: Sattler, María E.. Provincia de Buenos Aires. Ministerio de Salud. Hospital Interzonal de Agudos "Eva Perón"; ArgentinaFil: Gamboa Cárdenas, Rocio V.. Hospital Nacional Guillermo Almenara Irigoyen; PerúFil: Cairoli, Ernesto. Universidad de la República; UruguayFil: Conti, Silvana M.. Hospital Provincial de Rosario; ArgentinaFil: Amezcua Guerra, Luis M.. Instituto Nacional de Cardiologia Ignacio Chavez; MéxicoFil: Silveira, Luis H.. Instituto Nacional de Cardiologia Ignacio Chavez; MéxicoFil: Borba, Eduardo F.. Universidade de Sao Paulo; BrasilFil: Pera, Mariana A.. Hospital Interzonal General de Agudos General San Martín; ArgentinaFil: Alba Moreyra, Paula B.. Universidad Nacional de Córdoba. Facultad de Medicina; ArgentinaFil: Arturi, Valeria. Hospital Interzonal General de Agudos General San Martín; ArgentinaFil: Berbotto, Guillermo A.. Provincia de Buenos Aires. Ministerio de Salud. Hospital Interzonal de Agudos "Eva Perón"; ArgentinaFil: Gerling, Cristian. Hospital Interzonal General de Agudos Dr Oscar Alende. Unidad de Reumatología y Enfermedades Autoinmunes Sistémicas; ArgentinaFil: Gobbi, Carla Andrea. Universidad Nacional de Córdoba. Facultad de Medicina; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Gervasoni, Viviana L.. Hospital Provincial de Rosario; ArgentinaFil: Scherbarth, Hugo R.. Hospital Interzonal General de Agudos Dr Oscar Alende. Unidad de Reumatología y Enfermedades Autoinmunes Sistémicas; ArgentinaFil: Brenol, João C. Tavares. Hospital de Clinicas de Porto Alegre; BrasilFil: Cavalcanti, Fernando. Universidade Federal de Pernambuco; BrasilFil: Costallat, Lilian T. Lavras. Universidade Estadual de Campinas; BrasilFil: Da Silva, Nilzio A.. Universidade Federal de Goiás; BrasilFil: Monticielo, Odirlei A.. Hospital de Clinicas de Porto Alegre; BrasilFil: Seguro, Luciana Parente Costa. Universidade de Sao Paulo; BrasilFil: Xavier, Ricardo M.. Hospital de Clinicas de Porto Alegre; BrasilFil: Llanos, Carolina. Universidad Católica de Chile; ChileFil: Montúfar Guardado, Rubén A.. Instituto Salvadoreño de la Seguridad Social; El SalvadorFil: Garcia De La Torre, Ignacio. Hospital General de Occidente; MéxicoFil: Pineda, Carlos. Instituto Nacional de Rehabilitación; MéxicoFil: Portela Hernández, Margarita. Umae Hospital de Especialidades Centro Medico Nacional Siglo Xxi; MéxicoFil: Danza, Alvaro. Hospital Pasteur Montevideo; UruguayFil: Guibert Toledano, Marlene. Medical-surgical Research Center; CubaFil: Reyes, Gil Llerena. Medical-surgical Research Center; CubaFil: Acosta Colman, Maria Isabel. Hospital de Clínicas; ParaguayFil: Aquino, Alicia M.. Hospital de Clínicas; ParaguayFil: Mora Trujillo, Claudia S.. Hospital Nacional Edgardo Rebagliati Martins; PerúFil: Muñoz Louis, Roberto. Hospital Docente Padre Billini; República DominicanaFil: García Valladares, Ignacio. Centro de Estudios de Investigación Básica y Clínica; MéxicoFil: Orozco, María Celeste. Instituto de Rehabilitación Psicofísica; ArgentinaFil: Burgos, Paula I.. Pontificia Universidad Católica de Chile; ChileFil: Betancur, Graciela V.. Instituto de Rehabilitación Psicofísica; ArgentinaFil: Alarcón, Graciela S.. Universidad Peruana Cayetano Heredia; Perú. University of Alabama at Birmingahm; Estados Unido