State space c-reductions for concurrent systems in rewriting logic

We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system. This is done by means of a canonizer function, which maps each state into a (non necessarily unique) canonical representative of its equivalence class. The approach exploits the expressiveness of rewriting logic and its realization in Maude to enjoy several advantages over similar approaches: exibility and simplicity in the definition of the reductions (supporting not only traditional symmetry reductions, but also name reuse and name abstraction); reasoning support for checking and proving correctness of the reductions; and automatization of the reduction infrastructure via Maude's meta-programming features. The approach has been validated over a set of representative case studies, exhibiting comparable results with respect to other tools

The effects of 5-fluorouracil and interferon-alpha on early healing of experimental intestinal anastomoses.

The continuing search for effective adjuvant therapy after resection of intestinal malignancies has prompted a growing interest in both immediate post-operative regional chemotherapy and the combination of 5-fluorouracil (5-FU) and interferon-alpha as drugs of choice. We have compared the effects of both compounds, alone and together, on early healing of intestinal anastomoses. Four groups (n = 26 each) of rats underwent resection and anastomosis of both ileum and colon: a control group and three groups receiving intraperitoneal 5-FU, interferon-alpha or both on the day of surgery and the next 2 days. Animals were killed 3 or 7 days (n = 10 each) after operation in order to measure anastomotic strength and hydroxyproline content. The remaining six animals in each group were used to study anastomotic collagen synthetic capacity at day 3. Three days after operation, ileal anastomotic bursting pressure was lowered by 37% in the 5-FU/interferon-alpha group (P = 0.0104). At day 7, anastomotic breaking strength was reduced significantly in ileum (P = 0.0221) and colon (P = 0.0054) of the 5-FU/interferon-alpha group and in colon of the interferon-alpha group (P = 0.0221). Collagen synthetic capacity was strongly suppressed by 5-FU but not by interferon-alpha. However, no differences in anastomotic hydroxyproline content were observed between groups at both days 3 and 7. Thus, post-operative use of interferon-alpha, in particular in combination with 5-FU, may be detrimental to anastomotic repair in the intestine

Cooperative fluorescence effects for dipole-dipole interacting systems with experimentally relevant level configurations

The mutual dipole-dipole interaction of atoms in a trap can affect their fluorescence. Extremely large effects were reported for double jumps between different intensity periods in experiments with two and three Ba^+ ions for distances in the range of about ten wave lengths of the strong transition while no effects were observed for Hg^+ at 15 wave lengths. In this theoretical paper we study this question for configurations with three and four levels which model those of Hg^+ and Ba^+, respectively. For two systems in the Hg^+ configuration we find cooperative effects of up to 30% for distances around one or two wave lengths, about 5% around ten wave lengths, and, for larger distances in agreement with experiments, practically none. This is similar for two V systems. However, for two four-level configurations, which model two Ba^+ ions, cooperative effects are practically absent, and this latter result is at odds with the experimental findings for Ba^+.Comment: 9 pages, 5 figures, RevTeX4, to be published in Phys. Rev.

Perceptions of people with mild intellectual disability and their family members about family-based social capital in the Netherlands

Families play an important role in the lives of people with intellectual disability as they do for everyone. However, little research has addressed the views of people with intellectual disability about their families by using self-report. Individual family members may hold different views about their family relationships. Therefore, we used a social capital theoretical perspective to examine (a) how perceptions of people with mild intellectual disability (MID) about their family support networks compare to those of their family members and (b) what factors are associated with any diverging perceptions. Randomly selected participants with MID (n = 111) and their family members (n = 111) were interviewed individually at their homes using the Family Network Method-Intellectual Disability (FNM-ID). The FNM-ID examines how people define their family groups and how they perceive existing supportive relationships within this group. The findings showed that participants with MID perceived that they had somewhat denser family networks (i.e., bonding social capital) than family members perceived them to have and were more likely to report bridging social capital. They reported more relationships that involved them providing support to family members. This difference in estimation was greater when the participant with MID displayed higher levels of externalizing behaviour problems. They also perceived more reciprocity in their relationships with family. No differences were found in the estimated numbers of significant family members and relationships in which support was received. It is concluded that people with MID and their family members have different perceptions on several aspects of the family support network. Family professionals and services should seek the views of people with intellectual disability and their family members when carrying out assessments or organizing supports. [Abstract copyright: © 2021 The Authors. Health and Social Care in the Community published by John Wiley & Sons Ltd.