An induction programme for Bologna first-year bachelor’s degree students in Spain

Introduction. The current study describes the planning process and aims of the university reforms in Spain and suggests an innovative proposal, namely the design and evaluation of a week-long induction programme for first-year bachelor‟s degree students at the University of Lleida (Spain), organised within the European higher education framework. The purpose of this induction programme is to help new students adapt to university life. Method. A total of 102 students and ten lecturers were involved in the study. These participants responded questionnaires and interviews. We contrasted all the results in order to obtain some results that were useful to evaluate the induction programmee which the University introduced in the first four degrees. Results. Findings of the study revealed that participants gave very positive feedback regarding the programme, and the results also highlighted areas which could be improved. Conclusion. The new proposals clearly require a higher level of staff participation to make them work, highlighting the need for appropriate training of university staff and improving coordination with appropriate systems.

Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Gene expression following induction of regeneration in Drosophila wing imaginal discs

Background: Regeneration is the ability of an organism to rebuild a body part that has been damaged or amputated, and can be studied at the molecular level using model organisms. Drosophila imaginal discs, which are the larval primordia of adult cuticular structures, are capable of undergoing regenerative growth after transplantation and in vivo culture into the adult abdomen. Results: Using expression profile analyses, we studied the regenerative behaviour of wing discs at 0, 24 and 72 hours after fragmentation and implantation into adult females. Based on expression level, we generated a catalogue of genes with putative role in wing disc regeneration, identifying four classes: 1) genes with differential expression within the first 24 hours; 2) genes with differential expression between 24 and 72 hours; 3) genes that changed significantly in expression levels between the two time periods; 4) genes with a sustained increase or decrease in their expression levels throughout regeneration. Among these genes, we identified members of the JNK and Notch signalling pathways and chromatin regulators. Through computational analysis, we recognized putative binding sites for transcription factors downstream of these pathways that are conserved in multiple Drosophilids, indicating a potential relationship between members of the different gene classes. Experimental data from genetic mutants provide evidence of a requirement of selected genes in wing disc regeneration. Conclusions: We have been able to distinguish various classes of genes involved in early and late steps of the regeneration process. Our data suggests the integration of signalling pathways in the promoters of regulated genes.

Gene expression following induction of regeneration in Drosophila wing imaginal discs

Background: Regeneration is the ability of an organism to rebuild a body part that has been damaged or amputated, and can be studied at the molecular level using model organisms. Drosophila imaginal discs, which are the larval primordia of adult cuticular structures, are capable of undergoing regenerative growth after transplantation and in vivo culture into the adult abdomen. Results: Using expression profile analyses, we studied the regenerative behaviour of wing discs at 0, 24 and 72 hours after fragmentation and implantation into adult females. Based on expression level, we generated a catalogue of genes with putative role in wing disc regeneration, identifying four classes: 1) genes with differential expression within the first 24 hours; 2) genes with differential expression between 24 and 72 hours; 3) genes that changed significantly in expression levels between the two time periods; 4) genes with a sustained increase or decrease in their expression levels throughout regeneration. Among these genes, we identified members of the JNK and Notch signalling pathways and chromatin regulators. Through computational analysis, we recognized putative binding sites for transcription factors downstream of these pathways that are conserved in multiple Drosophilids, indicating a potential relationship between members of the different gene classes. Experimental data from genetic mutants provide evidence of a requirement of selected genes in wing disc regeneration. Conclusions: We have been able to distinguish various classes of genes involved in early and late steps of the regeneration process. Our data suggests the integration of signalling pathways in the promoters of regulated genes.

Liver Glucokinase A456V induces potent hypoglycemia without dyslipidemia through a paradoxical induction of the catalytic subunit of glucose-6-phosphatase

Recent reports point out the importance of the complex GK-GKRP in controlling glucose and lipid homeostasis. Several GK mutations affect GKRP binding, resulting in permanent activation of the enzyme. We hypothesize that hepatic overexpression of a mutated form of GK, GKA456V, described in a patient with persistent hyperinsulinemic hypoglycemia of infancy (PHHI) and could provide a model to study the consequences of GK-GKRP deregulation in vivo. GKA456V was overexpressed in the liver of streptozotocin diabetic mice. Metabolite profiling in serum and liver extracts, together with changes in key components of glucose and lipid homeostasis, were analyzed and compared to GK wild-type transfected livers. Cell compartmentalization of the mutant but not the wild-type GK was clearly affected in vivo, demonstrating impaired GKRP regulation. GKA456V overexpression markedly reduced blood glucose in the absence of dyslipidemia, in contrast to wild-type GK-overexpressing mice. Evidence in glucose utilization did not correlate with increased glycogen nor lactate levels in the liver. PEPCK mRNA was not affected, whereas the mRNA for the catalytic subunit of glucose-6-phosphatase was upregulated ~4 folds in the liver of GKA456V-treated animals, suggesting that glucose cycling was stimulated. Our results provide new insights into the complex GK regulatory network and validate liver-specific GK activation as a strategy for diabetes therapy.

Characterizing RecA-Independent Induction of Shiga toxin2-encoding Phages by EDTA Treatment

The bacteriophage life cycle has an important role in Shiga toxin (Stx) expression. The induction of Shiga toxin-encoding phages (Stx phages) increases toxin production as a result of replication of the phage genome, and phage lysis of the host cell also provides a means of Stx toxin to exit the cell. Previous studies suggested that prophage induction might also occur in the absence of SOS response, independently of RecA.