Building and Combining Matching Algorithms

International audienceThe concept of matching is ubiquitous in declarative programming and in automated reasoning. For instance, it is a key mechanism to run rule-based programs and to simplify clauses generated by theorem provers. A matching problem can be seen as a particular conjunction of equations where each equation has a ground side. We give an overview of techniques that can be applied to build and combine matching algorithms. First, we survey mutation-based techniques as a way to build a generic matching algorithm for a large class of equational theories. Second, combination techniques are introduced to get combined matching algorithms for disjoint unions of theories. Then we show how these combination algorithms can be extended to handle non-disjoint unions of theories sharing only constructors. These extensions are possible if an appropriate notion of normal form is computable

Teachers in school sports : between the field of education and sport?

According to the cultural sociologist Pierre Bourdieu, gaining access to a social space or a position within a social space requires a specific capital. For teachers, this is normally indicated by a valid teaching certificate with relevant subject knowledge. However, when no qualified teachers are available, which is the case for the subject of school sports in Sweden, other assets gain recognition. Drawing on Bourdieu's conceptual framework, this paper examined the conditions for school sports in Sweden, and based on questionnaires answered by 109 teachers, explored the competencies, education and backgrounds teachers in upper secondary school sports possess. The paper address the question: what valuable resources are required to become a teacher of school sports and gain recognition as symbolic capital? The results show that while school sports in Sweden are carried out through a school subject and thus regulated by the government, it is influenced by both the fields of education and sport. Furthermore, the questionnaire results show that a majority of the teachers are employed as coaches instead of teachers and that less than half of them (45%) have a teacher education background, while 95% have a coaching education background. However, the results also show that teachers assessed their competencies for teaching school sports as high, especially with regard to competencies in specific sport skills. In conclusion, this paper shows how coaching education and experience in competitive sports are an important resource required to become a teacher in school sports and is thus recognized as symbolic capital. Therefore, school sports cannot be viewed as a legitimate part of the field of education but can be viewed as a part of the field of sport.At the time of Magnus Ferry's dissertation the article was submitted.</p

Development and Initial Validation of the NyTid Test : A Movement Assessment Tool for Compulsory School Pupils.

This study presents the development process and initial validation of the NyTid test, a process-oriented movement assessment tool for compulsory school pupils. A sample of 1,260 (627 girls and 633 boys; mean age of 14.39) Swedish school children participated in the study. In the first step, exploratory factor analyses (EFAs) were performed in Sample 1, consisting of one third of the participants. The EFA indicated that the 17 skills in the test could be reduced to 12 and divided into four factors. In the second step, the suggested factor structure was cross-validated with confirmatory factor analyses (CFAs) in the larger Sample 2. The NyTid test adopts a holistic perspective in which qualitative criteria offer an alternative approach to product-oriented measurement. The study confirms that the NyTid test is a valid process-oriented assessment tool designed for typically developed children aged 12 and 16. ABSTRACT FROM AUTHO

Inhibition of myeloperoxidase: Evaluation of 2H-indazoles and 1H-indazolones

Myeloperoxidase (MPO) produces hypohalous acids as a key component of the innate immune response; however, release of these acids extracellularly results in inflammatory cell and tissue damage. The two-step, one-pot Davis-Beirut reaction was used to synthesize a library of 2H-indazoles and 1H-indazolones as putative inhibitors of MPO. A structure-activity relationship study was undertaken wherein compounds were evaluated utilizing taurine-chloramine and MPO-mediated H(2)O(2) consumption assays. Docking studies as well as toxicophore and Lipinski analyses were performed. Fourteen compounds were found to be potent inhibitors with IC(50) values <1 μM, suggesting these compounds could be considered as potential modulators of pro-oxidative tissue injury pertubated by the inflammatory MPO:H(2)O(2):HOCl/HOBr system

Rational drug design applied to myeloperoxidase inhibition

Rational drug design is a general approach using protein-structure technique in which the discovery of a ligand can be driven either by chance, screening, or rational theory. Myeloperoxidase (MPO) was rapidly identified as a therapeutical target because of its involvement in chronic inflammatory syndromes. In this context, the research of MPO inhibitors was intensified and development of new chemical entities was rationally driven by the research of ligands that enter into the MPO catalytic pocket. Actually, as soon as crystallography data of MPO have become available and its structure was virtually designed, the rational drug design has been applied to this peroxidase. Pharmaceutical industries and academic laboratories apply rational drug design on MPO by either optimizing known inhibitors or searching new molecules by high-throughput virtual screening. By these ways, they were able to find efficient MPO inhibitors and understand their interactions with the enzyme. During this quest of MPO inhibition, it appears that Glu268 is a crucial residue in order to optimize ligandtarget interaction. This amino acid should be carefully considered by medicinal chemist when they design inhibitors interfering with MPO activity.SCOPUS: re.jinfo:eu-repo/semantics/publishe