Improving MCS Enumeration via Caching

Enumeration of minimal correction sets (MCSes) of conjunctive normal form formulas is a central and highly intractable problem in infeasibility analysis of constraint systems. Often complete enumeration of MCSes is impossible due to both high computational cost and worst-case exponential number of MCSes. In such cases partial enumeration is sought for, finding applications in various domains, including axiom pinpointing in description logics among others. In this work we propose caching as a means of further improving the practical efficiency of current MCS enumeration approaches, and show the potential of caching via an empirical evaluation.Peer reviewe

Estratégias de coping utilizadas por familiares de indivíduos em tratamento hemodialítico

This descriptive, qualitative study aims to identify the coping strategies used most by the family members of patients with chronic kidney disease receiving hemodialysis. The data were collected through interviews, with the Coping Strategies Inventory questionnaire administered to ten family members, and were submitted to descriptive statistics and to thematic content analysis. The strategy used most was escape-avoidance, demonstrating that the family members prefer not to face the situation. The second most-used strategy was social support, ratified by the fact that they stated that they talk with other persons and professionals, seeking information about the problem, and because they accept the support received positively. The third was problem resolution, represented by the attitude of accepting responsibility for the care, either through strong affective bonds or through a feeling of responsibility established prior to the disease. The families use coping strategies of different intensities, while, nevertheless, indicating involvement and major participation in the care for the patient.Estudio cualitativo, que trató de identificar las estrategias de afrontamiento empleadas por las familias de los pacientes con insuficiencia renal crónica en hemodiálisis. Se aplicó el Inventario de Estrategias de Afrontamiento y una questión abierta con diez familiares. Los datos cuantitativos fueron sometidos a procedimientos estatísticos y análisis de contenido cualitativo. La estrategia de mayor utilización fue el escape y evitación (oito), lo que demuestra que los miembros de las familisa preferían no tener que enfrentar esta situación. La siguiente estrategia fue utilizada más apoyo social, ya hablé con otras personas y profesionales que buscan información sobre el problema, y aceptar el apoyo positivo recibido. A terceira foi resolução de problemas, representada pela atitude em assumir o cuidado, seja pelo forte vínculo afetivo ou pelo sentimento de responsabilidade já estabelecido antes da doença. Familias de las estrategias de afrontamiento empleadas con diferentes intensidades, pero mostrando una gran implicación y la participación en el cuidado del paciente crónico.Estudo descritivo, de natureza quali-quantitativa, que objetivou identificar as estratégias de enfrentamento mais utilizadas por familiares de pacientes com doença renal crônica em hemodiálise. Os dados foram coletados por meio de entrevista, com aplicação do Inventário de Estratégias de Coping a dez familiares, e submetidos à estatística descritiva e à análise de conteúdo temática. A estratégia mais utilizada foi fuga e esquiva, demonstrando que os familiares preferiam não enfrentar a situação. A segunda estratégia mais usada foi suporte social, ratificada ao afirmarem que conversaram com outras pessoas e profissionais buscando informações sobre o problema, e por aceitarem positivamente o apoio recebido. A terceira foi resolução de problemas, representada pela atitude em assumir o cuidado, seja pelo forte vínculo afetivo ou pelo sentimento de responsabilidade já estabelecido antes da doença. As famílias empregaram estratégias de enfrentamento com intensidades diferentes, porém indicando envolvimento e grande participação no cuidado ao doente.Universidade Federal de São Paulo (UNIFESP)aff2Universidade Estadual de MaringáUEMUNIFESPSciEL

Single origin of sex chromosomes and multiple origins of B chromosomes in fish genus Characidium

Chromosome painting with DNA probes obtained from supernumerary (B) and sex chromosomes in three species of fish genus Characidium (C. gomesi, C. pterostictum and C. oiticicai) showed a close resemblance in repetitive DNA content between B and sex chromosomes in C. gomesi and C. pterostictum. This suggests an intraspecific origin for B chromosomes in these two species, probably deriving from sex chromosomes. In C. oiticicai, however, a DNA probe obtained from its B chromosome hybridized with the B but not with the A chromosomes, suggesting that the B chromosome in this species could have arisen interspecifically, although this hypothesis needs further investigation. A molecular phylogenetic analysis performed on nine Characidium species, with two mtDNA genes, showed that the presence of heteromorphic sex chromosomes in these species is a derived condition, and that their origin could have been unique, a conclusion also supported by interspecific chromosome painting with a CgW probe derived from the W chromosome in C. gomesi. Summing up, our results indicate that whereas heteromorphic sex chromosomes in the genus Characidium appear to have had a common and unique origin, B chromosomes may have had independent origins in different species. Our results also show that molecular phylogenetic analysis is an excellent complement for cytogenetic studies by unveiling the direction of evolutionary chromosome changes.This research was funded by grants from the State of Sao Paulo Research Foundation (FAPESP) to EAS (2013/02143-3), grants from National Council for Research and Development (CNPq) to FF (480449/2012-0), and by Coordenacao de Aperfeicoamento de Pessoal de Nıvel Superior (CAPES)

Cashew nut allergy: clinical relevance and allergen characterisation

Cashew plant (Anacardium occidentale L.) is the most relevant species of the Anacardium genus. It presents high economic value since it is widely used in human nutrition and in several industrial applications. Cashew nut is a well-appreciated food (belongs to the tree nut group), being widely consumed as snacks and in processed foods by the majority of world's population. However, cashew nut is also classified as a potent allergenic food known to be responsible for triggering severe and systemic immune reactions (e.g. anaphylaxis) in sensitised/allergic individuals that often demand epinephrine treatment and hospitalisation. So far, three groups of allergenic proteins have been identified and characterised in cashew nut: Ana o 1 and Ana o 2 (cupin superfamily) and Ana o 3 (prolamin superfamily), which are all classified as major allergens. The prevalence of cashew nut allergy seems to be rising in industrialised countries with the increasing consumption of this nut. There is still no cure for cashew nut allergy, as well as for other food allergies; thus, the allergic patients are advised to eliminate it from their diets. Accordingly, when carefully choosing processed foods that are commercially available, the allergic consumers have to rely on proper food labelling. In this sense, the control of labelling compliance is much needed, which has prompted the development of proficient analytical methods for allergen analysis. In the recent years, significant research advances in cashew nut allergy have been accomplished, which are highlighted and discussed in this review.This work was supported by FCT/MEC through national funds and co-financed by FEDER, under the Partnership Agreement PT2020 with grant no. UID/QUI/50006/2013–POCI/01/ 0145/FEDER/007265. Joana Costa is grateful to FCT post-doctoral grant (SFRH/BPD/102404/2014) financed by POPH-QREN (subsidised by FSE and MCTES).info:eu-repo/semantics/publishedVersio

Unprecedented within-species chromosome number cline in the Wood White butterfly Leptidea sinapis and its significance for karyotype evolution and speciation

Background: Species generally have a fixed number of chromosomes in the cell nuclei while between-species differences are common and often pronounced. These differences could have evolved through multiple speciation events, each involving the fixation of a single chromosomal rearrangement. Alternatively, marked changes in the karyotype may be the consequence of within-species accumulation of multiple chromosomal fissions/fusions, resulting in highly polymorphic systems with the subsequent extinction of intermediate karyomorphs. Although this mechanism of chromosome number evolution is possible in theory, it has not been well documented. Results: We present the discovery of exceptional intraspecific variability in the karyotype of the widespread Eurasian butterfly Leptidea sinapis. We show that within this species the diploid chromosome number gradually decreases from 2n = 106 in Spain to 2n = 56 in eastern Kazakhstan, resulting in a 6000 km-wide cline that originated recently (8,500 to 31,000 years ago). Remarkably, intrapopulational chromosome number polymorphism exists, the chromosome number range overlaps between some populations separated by hundreds of kilometers, and chromosomal heterozygotes are abundant. We demonstrate that this karyotypic variability is intraspecific because in L. sinapis a broad geographical distribution is coupled with a homogenous morphological and genetic structure. Conclusions: The discovered system represents the first clearly documented case of explosive chromosome number evolution through intraspecific and intrapopulation accumulation of multiple chromosomal changes. Leptidea sinapis may be used as a model system for studying speciation by means of chromosomally-based suppressed recombination mechanisms, as well as clinal speciation, a process that is theoretically possible but difficult to document. The discovered cline seems to represent a narrow time-window of the very first steps of species formation linked to multiple chromosomal changes that have occurred explosively. This case offers a rare opportunity to study this process before drift, dispersal, selection, extinction and speciation erase the traces of microevolutionary events and just leave the final picture of a pronounced interspecific chromosomal difference