A Classification of Tools for Learning Logic

A table showing a comparison and classification of tools (intelligent tutoring systems) for e-learning of Logic at a college level.

Bibliotecas y centros de documentación virtuales en la nueva era de la sociedad de la información : la Biblioteca Virtual de la UOC

L'aparició i l'ús creixent i cada vegada més generalitzat de les tecnologies de la informació ha fet possible l'aparició d'un nou escenari que ha originat i fins i tot precipitat, una sèrie de canvis de gran abast en tots els nivells, especialment a nivell social, econòmic i cultural. Aquest nou escenari ha influït en gran manera en l'entorn pedagògic; l'aparició de nous models educatius, propiciats per aquest important canvi, s'ha anat succeint de forma continuada i ininterrompuda des de fa amb prou feines una dècada. Aquests nous models educatius han fet possible que sectors de la població que no podien accedir a cert tipus d'estudis, per circumstàncies d'índole diversa, es veiessin afavorits per un nou entorn, que no solament els facilitava l'accés a tot tipus d'ensenyaments, sinó que creava espais i eines cada vegada més fàcils d'usar perquè aquesta nova possibilitat no aparegués com una barrera tecnològica que els tanqués de nou l'accés.

New genetic models and mesenchymal cells as tools to ameliorate anti-tumor immunity

Résumé Le but final de ce projet est d'utiliser des cellules T ou des cellules souches mésenchymateuses modifiées génétiquement afin de surexprimer localement les deux chémokines CXCL13 et CCL2 ensemble ou chacune séparément à l'intérieur d'une tumeur solide. CXCL13 est supposé induire des structures lymphoïdes ectopiques. Un niveau élevé de CCL2 est présumé initier une inflammation aiguë. La combinaison des deux effets amène à un nouveau modèle d'étude des mécanismes régulateur de la tolérance périphérique et de l'immunité tumorale. Les connaissances acquises grâce à ce modèle pourraient permettre le développement ou l'amélioration des thérapies immunes du cancer. Le but premier de ce travail a été l'établissement d'un modèle génétique de la souris permettant d'exprimer spécifiquement dans la tumeur les deux chémokines d'intérêt à des niveaux élevés. Pour accomplir cette tâche, qui est en fait une thérapie génétique de tumeurs solides, deux types de cellules porteuses potentielles ont été évaluées. Des cellules CD8+ T et des cellules mésenchymateuses de la moelle osseuse transférées dans des receveurs portant une tumeur. Si on pouvait répondre aux besoins de la thérapie génétique, indépendamment de la thérapie immune envisagée, on posséderait là un outil précieux pour bien d'autres approches thérapeutiques. Plusieurs lignées de souris transgéniques ont été générées comme source de cellules CD8+ T modifiées afin d'exprimer les chémokines d'intérêt. Dans une approche doublement transgénique les propriétés de deux promoteurs spécifiques de cellules T ont été combinées en utilisant la technologie Cre-loxP. Le promoteur de granzyme B confère une dépendance d'activation et le promoteur distal de lck assure une forte expression constitutive dès que les cellules CD8+ T ont été activées. Les transgènes construits ont montré une bonne performance in vivo et des souris qui expriment CCL2 dans des cellules CD8+ T activées ont été obtenues. Ces cellules peuvent maintenant être utilisées avec différents protocoles pour transférer des cellules T cytotoxiques (CTL) dans des receveurs porteur d'une tumeur, permettant ainsi d'évaluer leur capacité en tant que porteuse de chémokine d'infiltrer la tumeur. L'établissement de souris transgéniques, qui expriment pareillement CXCL13 est prévu dans un avenir proche. L'évaluation de cellules mésenchymateuses de la moelle osseuse a démontré que ces cellules se greffent efficacement dans le stroma tumoral suite à la co-injection avec des cellules tumorales. Cela représente un outil précieux pour la recherche, vu qu'il permet d'introduire des cellules manipulées dans un modèle tumoral. Les résultats confirment partiellement d'autres résultats rapportés dans un modèle amélioré. Cependant, l'efficacité et la spécificité suggérées de la migration systémique de cellules mésenchymateuses de la moelle osseuse dans une tumeur n'ont pas été observées dans notre modèle, ce qui indique, que ces cellules ne se prêtent pas à une utilisation thérapeutique. Un autre résultat majeur de ce travail est l'établissement de cultures de cellules mésenchymateuses de la moelle osseuse in vitro conditionnées par des tumeurs, ce qui a permis à ces cellules de s'étendre plus rapidement en gardant leur capacité de migration et de greffe. Cela offre un autre outil précieux, vu que la culture in vitro est un pas nécessaire pour une manipulation thérapeutique. Abstract The ultimate aim of the presented project is to use genetically modified T cells or mesenchymal stem cells to locally overexpress the two chemokines CXCL13 and CCL2 together or each one alone inside a solid tumor. CXCL13 is supposed to induce ectopic lymphoid structures and a high level of CCL2 is intended to trigger acute inflamation. The combination of these two effects represents a new model for studying mechanisms that regulate peripheral tolerance and tumor immunity. Gained insights may help developing or improving immunotherapy of cancer. The primary goal of the executed work was the establishment of a genetic mouse model that allows tumor-specific expression of high levels of the two chemokines of interest. For accomplishing this task, which represents gene therapy of solid tumors, two types of potentially useful carrier cells were evaluated. CD8+ T cells and mesenchymal bone marrow cells to be used in adoptive cell transfers into tumor-bearing mice. Irrespectively of the envisaged immunotherapy, satisfaction of so far unmet needs of gene therapy would be a highly valuable tool that may be employed by many other therapeutic approaches, too. Several transgenic mouse lines were generated as a source of CD8+ T cells modified to express the chemokines of interest. In a double transgenic approach the properties of two T cell-specific promoters were combined using Cre-loxP technology. The granzyme B promoter confers activation-dependency and the lck distal promoter assures strong constitutive expression once the CD8+ T cell has been activated. The constructed transgenes showed a good performance in vivo and mice expressing CCL2 in activated CD8+ T cells were obtained. These cells can now be used with different protocols for adoptively transferring cytotoxic T cells (CTL) into tumor-bearing recipients, thus allowing to study their capacity as tumor-infiltrating chemokine carrier. The establishment of transgenic mice likewisely expressing CXCL13 is expected in the near future. In addition, T cells from generated single transgenic mice that have high expression of an EGFP reporter in both CD4+ and CD8+ cells can be easily traced in vivo when setting up adoptive transfer conditions. The evaluation of mesenchymal bone marrow cells demonstrated that these cells can efficiently engraft into tumor stroma upon local coinjection with tumor cells. This represents a valuable tool for research purposes as it allows to introduce manipulated stromal cells into a tumor model. Therefore, the established engraftment model is suited for studying the envisaged immunotherapy. These results confirm to some extend previously reported results in an improved model, however, the suggested systemic tumor homing efficiency and specificity of mesenchymal bone marrow cells was not observed in our model indicating that these cells may not be suited for therapeutic use. Another major result of the presented work is the establishment oftumor-conditioned in vitro culture of mesenchymal bone marrow cells, which allowed to more rapidly expand these cells while maintaining their tumor homing and engrafting capacities. This offers another valuable tool as in vitro culture is a necessary step for therapeutic manipulations.

A Change in the Epidemiology of Infections Due to Extended-Spectrum b-Lactamase–Producing Organisms

Extended-spectrum β-lactamases (ESBLs) form a heterogeneous group that share the property of hydrolytic activity against the oxyimino-β-lactams while remaining susceptible to inhibition by β-lactamase inhibitors, such as clavulanic acid. From a clinical point of view, they are important because they confer resistance to penicillins, aztreonam, and cephalosporins, and ESBL-producing organisms are typically also resistant to aminoglycosides, trimethoprim-sulfamethoxazole, and quinolones [1]. Until recently, the main problem posed by ESBLs was related to nosocomial outbreaks caused by ESBL-producing Klebsiella species. These outbreaks are usually clonal, the strains are mainly spread through cross-transmission, and the risk factors are similar to those found for other multidrug-resistant nosocomial pathogens [2]. In Europe and the United States, most ESBL-producing Klebsiella isolates harbored enzymes belonging to the TEM and SHV families [3]. Detection of colonized patients by performing surveillance cultures within affected units, isolation precautions for colonized patients, and restriction of oxyimino-β-lactam use are frequently useful for the control of these outbreaks [1]. There is no evidence that hospital-acquired ESBL-producing klebsiellae are decreasing in importance—in fact, data from the Centers for Disease Control and Prevention show that 20.6% of Klebsiella pneumoniae isolates from United States intensive care units in 2003 were probable producers of ESBL [4]. This represented a 47% increase, compared with the preceding 5 years. However, during the last few years, an impressive increase in the number of ESBL-producing Escherichia coli (and, less frequently, other Enterobacteriaceae) is being described in several parts of the world [5–8]. This emergent phenomenon shows some differences from the problem posed by Klebsiella species; many of these ESBL-producing E. coli are isolated …

Quantification of the genetic change in the transition of Rhodnius pallescens Barber, 1932 (Hemiptera: Reduviidae) from field to laboratory

Previous studies have reported genetic differences between wild-caught sylvatic, domestic and laboratory pop-ulations of several Triatominae species. The differences between sylvatic and laboratory colonies parallel are similar to the differences observed between sylvatic and domestic populations. Laboratory colonies are frequently used as references for field populations, but the consequences of founder events on the genetic makeup of laboratory or domestic populations are rarely quantified. Our goal was to quantify the genetic change in Rhodnius pallescens populations artificially submitted to founder effects via laboratory colonization. We compared the genetic makeup of two sylvatic populations and their laboratory descendants using a panel of 10 microsatellite markers. Both sylvatic populations were initially collected from palm trees, but the colonies differed in the number of founder insects and amount of time kept in the laboratory. We evaluated allelic polymorphism, differences between expected and observed heterozygosity, estimates of population differentiation (Fst) and inbreeding (Fis, Fit) and cluster analyses based on Nei's distances. We found a unique genetic structure for each sample population, with significant differentiation between the field insects and each of the laboratory generations. These analyses showed strong founder effects and showed that genetic drift had led to a genetic equilibrium over several generations of isolation. Our results suggest that laboratory colonies of R. pallescens have a different genetic structure than their wild relatives and similar processes likely affect other Triatominae laboratory stocks.

IVA in addition to BMD can change the osteoporosis management in 25% of clinical routine patients

Introduction: Vertebral fracture is one of the major osteoporotic fractures which are unfortunately very often undetected. In addition, it is well known that prevalent vertebral fracture increases dramatically the risk of future additional fracture. Instant Vertebral Assessment (IVA) has been introduced in DXA device couple years ago to ease the detection of such fracture when routine DXA are performed. To correctly use such tool, ISCD provided clinical recommendation on when and how to use it. The aim of our study was to evaluate the ISCD guidelines in clinical routine patients and see how often it may change of patient management. Methods: During two months (March and April 2010), a medical questionnaire was systematically given to our clinical routine patient to check the validity of ISCD IVA recommendations in our population. In addition, all women had BMD measurement at AP spine, Femur and 1/3 radius using a Discovery A System (Hologic, Waltham, USA). When appropriate, IVA measurement had been performed on the same DXA system and had been centrally evaluated by two trained Doctors for fracture status according to the semi-quantitative method of Genant. The reading had been performed when possible between L5 and T4. Results: Out of 210 women seen in the consultation, 109 (52%) of them (mean age 68.2 ± 11.5 years) fulfilled the necessary criteria to have an IVA measurement. Out of these 109 women, 43 (incidence 39.4%) had osteoporosis at one of the three skeletal sites and 31 (incidence 28.4%) had at least one vertebral fracture. 14.7% of women had both osteoporosis and at least one vertebral fracture classifying them as "severe osteoporosis" while 46.8% did not have osteoporosis nor vertebral fracture. 24.8% of the women had osteoporosis but no vertebral fracture while 13.8% of women did have osteoporosis and vertebral fracture (clinical osteoporosis). Conclusion: In conclusion, in 52% of our patients, IVA was needed according to ISCD criteria. In half of them the IVA test influenced of patient management either by changing the type of treatment of simply by classifying patient as "clinical osteoporosis". IVA appears to be an important tool in clinical routine but unfortunately is not yet very often used in most of the centers.

'Greek' and 'Roman' in Latin Medical Texts. Studies in Cultural Change and Exchange in Ancient Medicine : [Proceedings of the 10th International Conference "Ancient Latin Medical Texts", Lausanne, 2010, November 3rd-6th November]

Latin medical texts transmit medical theories and practices that originated mainly in Greece. This interaction took place through juxtaposition, assimilation and transformation of ideas. 'Greek' and 'Roman' in Latin Medical Texts studies the ways in which this cultural interaction influenced the development of the medical profession and the growth of knowledge of human and animal bodies, and especially how it provided the foundations for innovations in the areas of anatomy, pathology and pharmacology, from the earliest Latin medical texts until well into the medieval world.

Exploration of geological variability and possible processes through the use of compositional data analysis: an example using scottish metamorphosed

Developments in the statistical analysis of compositional data over the last twodecades have made possible a much deeper exploration of the nature of variability,and the possible processes associated with compositional data sets from manydisciplines. In this paper we concentrate on geochemical data sets. First we explainhow hypotheses of compositional variability may be formulated within the naturalsample space, the unit simplex, including useful hypotheses of subcompositionaldiscrimination and specific perturbational change. Then we develop through standardmethodology, such as generalised likelihood ratio tests, statistical tools to allow thesystematic investigation of a complete lattice of such hypotheses. Some of these tests are simple adaptations of existing multivariate tests but others require specialconstruction. We comment on the use of graphical methods in compositional dataanalysis and on the ordination of specimens. The recent development of the conceptof compositional processes is then explained together with the necessary tools for astaying- in-the-simplex approach, namely compositional singular value decompositions. All these statistical techniques are illustrated for a substantial compositional data set, consisting of 209 major-oxide and rare-element compositions of metamorphosed limestones from the Northeast and Central Highlands of Scotland.Finally we point out a number of unresolved problems in the statistical analysis ofcompositional processes

Compositional hypotheses of subcompositional stability and specific perturbation change and their testing

In standard multivariate statistical analysis common hypotheses of interest concern changes in mean vectors and subvectors. In compositional data analysis it is now well established that compositional change is most readily described in terms of the simplicial operation of perturbation and that subcompositions replace the marginal concept of subvectors. To motivate the statistical developments of this paper we present two challenging compositional problems from food production processes.Against this background the relevance of perturbations and subcompositions can beclearly seen. Moreover we can identify a number of hypotheses of interest involvingthe specification of particular perturbations or differences between perturbations and also hypotheses of subcompositional stability. We identify the two problems as being the counterpart of the analysis of paired comparison or split plot experiments and of separate sample comparative experiments in the jargon of standard multivariate analysis. We then develop appropriate estimation and testing procedures for a complete lattice of relevant compositional hypotheses

Analysis and regeneration of hypermedia contents through Java and XML tools

This paper presents a tool for the analysis and regeneration of Web contents, implemented through XML and Java. At the moment, the Web content delivery from server to clients is carried out without taking into account clients' characteristics. Heterogeneous and diverse characteristics, such as user's preferences, different capacities of the client's devices, different types of access, state of the network and current load on the server, directly affect the behavior of Web services. On the other hand, the growing use of multimedia objects in the design of Web contents is made without taking into account this diversity and heterogeneity. It affects, even more, the appropriate content delivery. Thus, the objective of the presented tool is the treatment of Web pages taking into account the mentioned heterogeneity and adapting contents in order to improve the performance on the Web

Alternative ways to estimate change points in multinomial sequences. An application to an authorship attribution problem

The statistical analysis of literary style is the part of stylometry that compares measurable characteristicsin a text that are rarely controlled by the author, with those in other texts. When thegoal is to settle authorship questions, these characteristics should relate to the author’s style andnot to the genre, epoch or editor, and they should be such that their variation between authors islarger than the variation within comparable texts from the same author.For an overview of the literature on stylometry and some of the techniques involved, see for exampleMosteller and Wallace (1964, 82), Herdan (1964), Morton (1978), Holmes (1985), Oakes (1998) orLebart, Salem and Berry (1998).Tirant lo Blanc, a chivalry book, is the main work in catalan literature and it was hailed to be“the best book of its kind in the world” by Cervantes in Don Quixote. Considered by writterslike Vargas Llosa or Damaso Alonso to be the first modern novel in Europe, it has been translatedseveral times into Spanish, Italian and French, with modern English translations by Rosenthal(1996) and La Fontaine (1993). The main body of this book was written between 1460 and 1465,but it was not printed until 1490.There is an intense and long lasting debate around its authorship sprouting from its first edition,where its introduction states that the whole book is the work of Martorell (1413?-1468), while atthe end it is stated that the last one fourth of the book is by Galba (?-1490), after the death ofMartorell. Some of the authors that support the theory of single authorship are Riquer (1990),Chiner (1993) and Badia (1993), while some of those supporting the double authorship are Riquer(1947), Coromines (1956) and Ferrando (1995). For an overview of this debate, see Riquer (1990).Neither of the two candidate authors left any text comparable to the one under study, and thereforediscriminant analysis can not be used to help classify chapters by author. By using sample textsencompassing about ten percent of the book, and looking at word length and at the use of 44conjunctions, prepositions and articles, Ginebra and Cabos (1998) detect heterogeneities that mightindicate the existence of two authors. By analyzing the diversity of the vocabulary, Riba andGinebra (2000) estimates that stylistic boundary to be near chapter 383.Following the lead of the extensive literature, this paper looks into word length, the use of the mostfrequent words and into the use of vowels in each chapter of the book. Given that the featuresselected are categorical, that leads to three contingency tables of ordered rows and therefore tothree sequences of multinomial observations.Section 2 explores these sequences graphically, observing a clear shift in their distribution. Section 3describes the problem of the estimation of a suden change-point in those sequences, in the followingsections we propose various ways to estimate change-points in multinomial sequences; the methodin section 4 involves fitting models for polytomous data, the one in Section 5 fits gamma modelsonto the sequence of Chi-square distances between each row profiles and the average profile, theone in Section 6 fits models onto the sequence of values taken by the first component of thecorrespondence analysis as well as onto sequences of other summary measures like the averageword length. In Section 7 we fit models onto the marginal binomial sequences to identify thefeatures that distinguish the chapters before and after that boundary. Most methods rely heavilyon the use of generalized linear models

Immune Microenvironment in Colorectal Cancer: A New Hallmark to Change Old Paradigms

Impact of immune microenvironment in prognosis of solid tumors has been extensively studied in the last few years. Specifically in colorectal carcinoma, increased knowledge of the immune events around these tumors and their relation with clinical outcomes have led to consider immune microenvironment as one of the most important prognostic factors in this disease. In this review we will summarize and update the current knowledge with respect to this intriguing and complex new hallmark of cancer, paying special attention to infiltration by T-infiltrating lymphocytes and their subtypes in colorectal cancer, as well as its eventual clinical translation in terms of long-term prognosis. Finally, we suggest some possible investigational approaches based on combinatorial strategies to trigger and boost immune reaction against tumor cells.