Tracing and Explaining Execution of CLP(FD) Programs

Previous work in the area of tracing CLP(FD) programs mainly focuses on providing information about control of execution and domain modification. In this paper, we present a trace structure that provides information about additional important aspects. We incorporate explanations in the trace structure, i.e. reasons for why certain solver actions occur. Furthermore, we come up with a format for describing the execution of the filtering algorithms of global constraints. Some new ideas about the design of the trace are also presented. For example, we have modeled our trace as a nested block structure in order to achieve a hierarchical view. Also, new ways about how to represent and identify different entities such as constraints and domain variables are presented.Comment: 16 pages; Alexandre Tessier, editor; WLPE 2002, http://xxx.lanl.gov/abs/cs.SE/020705

The semantic web explained: The technology and mathematics behind Web 3.0

Cambridge, UKvii, 471 p.: bibl. ref., index; 25 c

Evidence of CPV2c introgression into Croatia and novel insights into phylogeny and cell tropism

International audienceCanine parvovirus type 2 (CPV2) emerged for the first time in 1978 and evolved into two antigenic variants CPV2a and CPV2b and the third new antigenic variant CPV2c reported in 2000 in Italy. During 2014 unexplained outbreaks of gastroenteritis were observed in kennels where an extensive vaccination program was ongoing and where vaccinated animals showed pathologic lesions consistent with typical parvovirosis. The aim of this study was to investigate whether CPV2 could have played a role in the emergence of these cases and to evaluate genetic or pathological specificities of the virus and the disease. Using PCR and phylogenetic analysis we showed that the CPV2c variant is circulating in Croatia and is in close relationships with isolates from North and South America. Histopathological lesions and cell tropism that are known for CPV2 we are reporting the identification of the virus in glial cells and ovaries. It seems that evolution of CPV and CPV2a-c and adaptation to dogs are two independent events. Croatian isolates had specific and some unique amino acid mutations under positive selection. The effect of the alterations on the immunoglobulin binding cannot be excluded