Correcció d'exercicis de lògica per l'ACME

La Universitat de Girona, i més concretament el Departament d’Informàtica i Matemàtica Aplicada, ja fa uns anys que ha posat en marxa el Projecte Avaluació Continuada i Millora de l’Ensenyament, també anomenat ACME. Aquest projecte és una plataforma d'e-learning, és a dir, un sistema d’aprenentatge a través de la xarxa que potencia la col•laboració digital i el bescanvi d’informació entre alumne i professor. El creixement que ha experimentat la plataforma, ha estat possible gràcies al disseny modular de l’aplicació, on cada nova funcionalitat que estava essent desenvolupada evolucionava de manera independent a la resta de la plataforma i sense comprometre’n el funcionament. Per afegir un nou mòdul a l’ACME, s’utilitzen els mòduls de base que confereixen l'estructura a la plataforma i les eines per incorporar nous mòduls, amb el que la implantació d’aquests a la plataforma és d’elevada senzillesa. Actualment, la majoria de les assignatures de primer del Grau d’Informàtica ja disposen d’exercicis adaptats a la plataforma, el que dóna una uniformitat en les eines i plataformes que utilitzen els alumnes en la seva formació. Però no hi són totes les assignatures, falta incloure l’assignatura de Lògica a la plataforma. D’aquesta manera, tant els alumnes com els professors de l’assignatura, podran treure profit dels beneficis esmentats que aporta l’ACME. Concretament, a l’assignatura de Lògica es disposava d’uns aplicatius a la plataforma Moodle de la Universitat de Girona on es guiava a l’alumne en la resolució dels exercicis. Aquest mètode és molt interessant com a mètode pedagògic per a l’aprenentatge inicial de l’assignatura, però no representa un repte real on els alumnes hagin d’aplicar els seus coneixements per a la seva realització. Els alumnes també disposaven d’un dossier on se’ls proposava uns exercicis molt complets, i a les pàgines finals d’aquest se’ls donava la solució. Aleshores, de manera voluntària els alumnes realitzaven els exercicis i comprovaven amb la solució si havien aprés a resoldre’ls. Per tant, tant els responsables de l'assignatura de Lògica com els responsables de la plataforma ACME van veure que es podrien desenvolupar eines a l'ACME per tal de corregir de forma automàtica els exercicis de l'assignatura. Incorporar l’assignatura de Lògica a l’ACME permet que els alumnes es vegin més involucrats a fer exercicis durant els curs de manera continuada, gràcies als terminis d’entrega, i facilita als professors la seva tasca deslliurant-los de les correccions i oferint-los-hi eines de seguiment

Mechanisms of antagonism of Pseudomonas fluorescens EPS62e against Erwinia amylovora, the causal agent of fire blight

Pseudomonas fluorescens EPS62e was selected during a screening procedure for its high efficacy in controlling infections by Erwinia amylovora, the causal agent of fire blight disease, on different plant materials. In field trials carried out in pear trees during bloom, EPS62e colonized flowers until the carrying capacity, providing a moderate efficacy of fire-blight control. The putative mechanisms of EPS62e antagonism against E. amylovora were studied. EPS62e did not produce antimicrobial compounds described in P. fluorescens species and only developed antagonism in King’s B medium, where it produced siderophores. Interaction experiments in culture plate wells including a membrane filter, which physically separated the cultures, confirmed that inhibition of E. amylovora requires cell-to-cell contact. The spectrum of nutrient assimilation indicated that EPS62e used significantly more or different carbon sources than the pathogen. The maximum growth rate and affinity for nutrients in immature fruit extract were higher in EPS62e than in E. amylovora, but the cell yield was similar. The fitness of EPS62e and E. amylovora was studied upon inoculation in immature pear fruit wounds and hypanthia of intact flowers under controlled-environment conditions. When inoculated separately, EPS62e grew faster in flowers, whereas E. amylovora grew faster in fruit wounds because of its rapid spread to adjacent tissues. However, in preventive inoculations of EPS62e, subsequent growth of EPS101 was significantly inhibited. It is concluded that cell-to-cell interference as well as differences in growth potential and the spectrum and efficiency of nutrient use are mechanisms of antagonism of EPS62e against E. amylovora

Incidència de l’entorn educatiu, familiar i social en les actituds lingüístiques i identitàries dels joves d’origen xinès i llatinoamericà a Catalunya

From an interdisciplinary perspective, the present investigation undertaken by the GREILI-UPF research group has expanded a previous study aiming at explaining how young secondary school students of Latin American and Chinese origin in Catalonia construct their linguistic and cultural identity. Here we analyze the relationship between these youngsters and their social environment in order to determine how these relationships and the socialization process that derives from them influence language attitudes and practices. We focus on two spaces of socialization: (1) the school, where youngsters from diverse cultural and linguistic backgrounds coexist and interact, and (2) the neighborhood, a geographic and symbolic space where social identity is constructed and, consequently, where young newcomers construct their perceptions regarding the host society, including its linguistic reality. We have collected several sets of data in three public secondary schools and three neighborhoods from Barcelona’s metropolitan area with a high index of immigrant population: (1) interviews with secondary school students, (2) interviews with teachers, (3) social discourses in newspapers that consolidate the social image of the neighborhood, (4) narratives from immigrant families in relation to their neighborhood, (5) participant observation in schools, and (5) observation in the neighborhood. The results of the thematic and, when appropriate, discursive analysis of the data allow us to reach conclusions regarding: (a) the social image of the neighborhoods, (b) the socialization of young newcomers in the schools and the neighborhoods, (c) the identity games, and (d) the language and cultural practices and attitudes of young people, in relation to their countries and languages of origin as well as the school and the neighborhood investigated.

La opinión de los estudiantes sobre su participación en la universidad

Aunque el tema de la participación en losdistintos espacios de la vida comunitariaha irrumpido con fuerza en los últimostiempos, el sector universitario apenas haincorporado el debate de la participaciónen su funcionamiento universitario. Laparticipación estudiantil ha sido, y siguesiendo en la mayoría de los casos, simbólica.En este contexto, el artículo quepresentamos profundiza en el análisis dela participación de los estudiantes en laestructura académica universitaria a partirde un estudio realizado en la Universidadde Girona. Nos centramos en los resultadosderivados de la aplicación de uncuestionario electrónico a los estudiantespara conocer sus propias percepciones ypuntos de vista en relación con su participación en la universidad. A partir deeste análisis planteamos las orientacionesy estrategias que se configuran comoelementos y recursos favorecedores de laparticipación estudiantil, tratando aspectosdiversos como la mejora de la información,la necesidad de estrategias para facilitar la adaptación de los estudiantes a la dinámica de los órganos de gobierno oel reconocimiento del carácter formativode la participación

Arnau de Montrodon y la catedral de San Carlomagno. Sobre la imagen y el culto al emperador carolingio en Gerona

In 1345, the unique worship of Saint Charlemagne was institutionalized in the cathedral of Gerona. The roots (and for many, the reasons) of this celebration are found in the existence of an old local legend, the well-known testimonies to which go back to the eleventh century. Nevertheless, a lengthy analysis of the facts that marked the life of the cathedral during the long permanence Amau de Montrodon had there—first in quality of canon (1297-1335) and later as bishop (1333-1348)- make it possible for us to verify that the promotion of the cult to San Charlemagne falls within a complex program of ideological and symbolic exaltation of the See of Girona that was designed by this notable and restlessly active ecclesiastic

Incorporating features of distribution and progression for automatic Makam classification

Automatic classification of makams from symbolic data is a rarely studied topic. In this paper, first a review of an n-gram based approach is presented using various representations of the symbolic data. While a high degree of precision can be obtained, confusion happens mainly for makams using (almost) the same scale and pitch hierarchy but differ in overall melodic progression, seyir. To further improve the system, first n-gram based classification is tested for various sections of the piece to take into account a feature of the seyir that melodic progression starts in a certain region of the scale. In a second test, a hierarchical classification structure is designed which uses n-grams and seyir features in different levels to further improve the system.

Teaching ethnic diversity in journalism school

It has been found that the symbolic elites have a prominent role in the discursive reproduction of racism in society, because they control the public discourse through which many ethnic prejudices are spread and shared. This special position of the mass media requires that the professional education of journalists, also featuring such topics as ethnic studies, diversity and racism, is optimally adapted to the multicultural societies in Europe, North America and Australia. This paper reports about an extensive research project examining ethnic education of journalists in these white-dominated countries, by examining the websites of many journalism and communication departments. Consistent with the general finding that white symbolic elites primarily deny or ignore (their) racism in society, none of the academic programs, anywhere in the world, mentions special classes on racism in the mass media. Finally, a practical proposal is made for a course on ethnic reporting in multicultural societies.

Are Americans' musical preferences more omnivores today?

Although we found a general trend favouring the omnivorousness thesis, as soon as we adjusted it to a set of structural factors and consumers tastes it was clear that this was caused by elitist inclusive omnivores who had increased the scope of their tastes. In general, younger cohorts were becoming less omnivorous, nevertheless, they were also becoming more educated and had greater to higher levels of inc ome, making the youth moreomnivorous. As expected, upscale consumers set limits on their popular taste: musicalgenres, whose audiences had educational levels below the mean profile were less preferredby upscale respondents. In spite of this, as time passed, some popular brows gained socialstatus.

Implementing interactive computing in an object-oriented environment

Statistical computing when input/output is driven by a Graphical User Interface is considered. A proposal is made for automatic control ofcomputational flow to ensure that only strictly required computationsare actually carried on. The computational flow is modeled by a directed graph for implementation in any object-oriented programming language with symbolic manipulation capabilities. A complete implementation example is presented to compute and display frequency based piecewise linear density estimators such as histograms or frequency polygons.

An approach for linking score and audio recordings in Makam music of Turkey

The main information sources to study a particular piece of music are symbolic scores and audio recordings. These are complementary representations of the piece and it isvery useful to have a proper linking between the two of the musically meaningful events. For the case of makam music of Turkey, linking the available scores with the correspondingaudio recordings requires taking the specificities of this music into account, such as the particular tunings, the extensive usage of non-notated expressive elements, and the way in which the performer repeats fragmentsof the score. Moreover, for most of the pieces of the classical repertoire, there is no score written by the original composer. In this paper, we propose a methodology to pair sections of a score to the corresponding fragments of audio recording performances. The pitch information obtained from both sources is used as the common representationto be paired. From an audio recording, fundamental frequency estimation and tuning analysis is done to compute a pitch contour. From the corresponding score, symbolic note names and durations are converted to a syntheticpitch contour. Then, a linking operation is performed between these pitch contours in order to find the best correspondences.The method is tested on a dataset of 11 compositions spanning 44 audio recordings, which are mostly monophonic. An F3-score of 82% and 89% are obtained with automatic and semi-automatic karar detection respectively,showing that the methodology may give us a needed tool for further computational tasks such as form analysis, audio-score alignment and makam recognition.

A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

Comunicar la ciudad desde el paisaje: hacia una teoría del landscape branding

La necesidad de descodificar los significados inherentes al paisaje, la interactuación sociedadpaisaje (comunicación intra e interpersonal) y, más recientemente, los usos de paisaje a modo de aparador territorial mediático en el ámbito, por ejemplo, de la comunicación publicitaria, del citymarketing o del place branding (comunicación masiva), sirven para plantear el estudio de lo que, de algún modo, representa la persuasión del paisaje, la cual incluye claros tintes emocionales y simbólicos y, por tanto, también comunicacionales. El paisaje en su condición de imagen y/o rostro del territorio acumula la esencia del mensaje implícito en el espacio, posicionándose, de este modo, como la gran metáfora comunicativa de la ciudad. En este sentido, el trabajo de comunicación específico con el intangible paisajístico, unido a la reciente explosión de las denominadas geografías emocionales, plantea una teoría del mensaje territorial basada en la unión de las variables geografía, paisaje, emoción y comunicación. Históricamente, de los estudios de paisaje se han ocupado los geógrafos, arquitectos, historiadores, sociólogos o ambientólogos, entre muchos otros, sin embargo, el paisaje se ha mantenido poco explorado desde la perspectiva de la comunicación. En este sentido, es notoria la proliferación de análisis que ponen el acento en el papel que desarrolla el territorio como mediador de procesos de comunicación o en el estudio de procesos de retroalimentación entre la sociedad y sus espacios (cognición y/o percepción). El actual mercadeo identitario con los lugares se concreta en la creciente producción de marcas territoriales, las cuales acumulan, en los últimos tiempos, un importante protagonismo.

Macaulay style formulas for sparse resultants

We present formulas for computing the resultant of sparse polyno- mials as a quotient of two determinants, the denominator being a minor of the numerator. These formulas extend the original formulation given by Macaulay for homogeneous polynomials.

La ciència del bé i del mal en El jardí simbòlic

Chapter 21 of the Byzantine work known as The Symbolic Garden refers to an unidentified plant (the smilax) which symbolizes science. The author has taken this symbol from patristic literature (Athanasius of Alexandria and other patristic texts). On the other hand, a passage (p. 71, 17- 73, 1) unti1 now misinterpreted can be understood if confronted with severa1 texts by John Darnascenus and Nicetas Stethatos, who both voice the same opinions about science