Modular session types for objects

Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on session types for distributed object-oriented languages in three ways. (1) We attach a session type to a class definition, to specify the possible sequences of method calls. (2) We allow a session type (protocol) implementation to be modularized, i.e. partitioned into separately-callable methods. (3) We treat session-typed communication channels as objects, integrating their session types with the session types of classes. The result is an elegant unification of communication channels and their session types, distributed object-oriented programming, and a form of typestate supporting non-uniform objects, i.e. objects that dynamically change the set of available methods. We define syntax, operational se-mantics, a sound type system, and a sound and complete type checking algorithm for a small distributed class-based object-oriented language with structural subtyping. Static typing guarantees that both sequences of messages on channels, and sequences of method calls on objects, conform to type-theoretic specifications, thus ensuring type-safety. The language includes expected features of session types, such as delegation, and expected features of object-oriented programming, such as encapsulation of local state.Comment: Logical Methods in Computer Science (LMCS), International Federation for Computational Logic, 201

Report on "Scheduling in a factory"

In order to carry out their orders of shoe soles, this company has a number of tasks T_1, ..., T_n of different lengths to be assigned to groups of machines. Each group is operated by one worker (two in one case), and an operation cycle corresponds to injection, cooling, and removal of the sole. The time taken at each step varies from one order to another, and when starting a new task a machine needs to be tuned, which takes some extra time. Machines are working in parallel. At the moment the assignment is carried out empirically, and the problem proposed is to optimize the procedure

Variation of the first Hilbert coefficients of parameters with a common integral closure

A problem posed by Wolmer V. Vasconcelos on the variation of the first Hilbert coefficients of parameter ideals with a common integral closure in a local ring is studied. Affirmative answers are given and counterexamples are explored as well

LINFOPENIA T CD4 NO LUPUS ERITEMATOSO SISTÉMICO

Abstract: Background: Systemic Lupus Erythematosus (SLE) is an inflammatory chronic disease characterized by the presence of autoantibodies, immunocomplex production and organ injury. Several alterations of the immune system have been described, namely of CD4 T cells, with particular focus on regulatory subgroup. Objective: Quantify peripheral CD4 T cells in a population of patients with SLE and correlate it with lupus activity, affected organs, therapeutics and infections. Methods: Retrospective study involving all SLE patients seen in the clinical immunology outpatient clinic of the Hospital Geral Santo António, Porto that has done some peripheral blood flow cytometry study. Results: Twenty-nine patients have been evaluated, 16 were taking glucocorticoids and six immunossupressors. The mean SLEDAI at the study time was nine and the ECLAM was three. Thirty-one percent of the patients had leukopenia, 76% lymphocytopenia and the same number CD4 depletion. Fifty-five percent of the patients had CD4 levels lower than 500/mm3, 31% lower than 200/mm3. All patients with SLEDAI ?20 and ECLAM ?4 had CD4 counts inferior to 500/mm3 and all patients with inactive disease had CD4 superior to 500/mm3. There have been three opportunistic infections: cryptococcal meningitis, pulmonary aspergilosis, Pneumocystis jirovecii pneumonia, all in patients with CD4 counts lower than 500/mm3. Conclusion: Decreased CD4 T cells counts have been very common in this study population. There is an inverse relation between CD4 cells counts and disease activity. Opportunistic infections occurred in patients with severe CD4 depletion. Keywords: Systemic Lupus Erythematosus; CD4 T Lymphocytes; Lymphocytopenia; SLE Activity; Opportunistic infection

LINFOPENIA T CD4 NO LUPUS ERITEMATOSO SISTÉMICO

Abstract: Background: Systemic Lupus Erythematosus (SLE) is an inflammatory chronic disease characterized by the presence of autoantibodies, immunocomplex production and organ injury. Several alterations of the immune system have been described, namely of CD4 T cells, with particular focus on regulatory subgroup. Objective: Quantify peripheral CD4 T cells in a population of patients with SLE and correlate it with lupus activity, affected organs, therapeutics and infections. Methods: Retrospective study involving all SLE patients seen in the clinical immunology outpatient clinic of the Hospital Geral Santo António, Porto that has done some peripheral blood flow cytometry study. Results: Twenty-nine patients have been evaluated, 16 were taking glucocorticoids and six immunossupressors. The mean SLEDAI at the study time was nine and the ECLAM was three. Thirty-one percent of the patients had leukopenia, 76% lymphocytopenia and the same number CD4 depletion. Fifty-five percent of the patients had CD4 levels lower than 500/mm3, 31% lower than 200/mm3. All patients with SLEDAI ?20 and ECLAM ?4 had CD4 counts inferior to 500/mm3 and all patients with inactive disease had CD4 superior to 500/mm3. There have been three opportunistic infections: cryptococcal meningitis, pulmonary aspergilosis, Pneumocystis jirovecii pneumonia, all in patients with CD4 counts lower than 500/mm3. Conclusion: Decreased CD4 T cells counts have been very common in this study population. There is an inverse relation between CD4 cells counts and disease activity. Opportunistic infections occurred in patients with severe CD4 depletion. Keywords: Systemic Lupus Erythematosus; CD4 T Lymphocytes; Lymphocytopenia; SLE Activity; Opportunistic infection

Invasion Percolation Between two Sites

We investigate the process of invasion percolation between two sites (injection and extraction sites) separated by a distance r in two-dimensional lattices of size L. Our results for the non-trapping invasion percolation model indicate that the statistics of the mass of invaded clusters is significantly dependent on the local occupation probability (pressure) Pe at the extraction site. For Pe=0, we show that the mass distribution of invaded clusters P(M) follows a power-law P(M) ~ M^{-\alpha} for intermediate values of the mass M, with an exponent \alpha=1.39. When the local pressure is set to Pe=Pc, where Pc corresponds to the site percolation threshold of the lattice topology, the distribution P(M) still displays a scaling region, but with an exponent \alpha=1.02. This last behavior is consistent with previous results for the cluster statistics in standard percolation. In spite of these discrepancies, the results of our simulations indicate that the fractal dimension of the invaded cluster does not depends significantly on the local pressure Pe and it is consistent with the fractal dimension values reported for standard invasion percolation. Finally, we perform extensive numerical simulations to determine the effect of the lattice borders on the statistics of the invaded clusters and also to characterize the self-organized critical behavior of the invasion percolation process.Comment: 7 pages, 11 figures, submited for PR