1,720,980 research outputs found

    La transizione pedagogica e il dono di Chirone

    No full text
    Nei documenti internazionali la ricorrente invocazione dell’esigenza di una transizione (green, digitale o di altra natura) si accompagna a un richiamo costante all’educazione come veicolo principe per attuarla. Pur essendo benvenuto, tale appello all’educazione sconta almeno due rischi: da un lato, ciò che nella letteratura internazionale va sotto il nome di “instrumentalization of education” e, dall’altro, l’assunto che la crisi dell’Antropocene non metta in discussione l’idea di educazione come ce la consegna quello che possiamo chiamare il “progetto paidetico-matematico occidentale”. In questo orizzonte di interrogazione, il contributo si sofferma sulla domanda se non dovremmo pensare piuttosto a una “catastrofe pedagogica”, ossia a un rivolgimento complessivo del modo in cui – dal modello della paideia in poi – si è pensata (e praticata) l’educazione. Si propone, così, una speculazione ‘archeologica’ della nostra tradizione pedagogica, alla luce della quale leggere anche alcune proposte teoriche contemporanee in tema di educazione ecologica

    Mixed Nash equilibria in selfish routing problems with dynamic constraints

    Full text link
    We study the problem of routing traffic through a congested network consisting of m parallel links, each having a certain speed. Moreover, we are given n selfish (non-cooperative) agents, each of them willing to route her own piece of traffic on exactly one link. Agents are selfish in that they only pick a link which minimize the delay of their own piece of traffic. In this context much effort has been lavished in the framework of mixed Nash equilibria where the agent’s routing choices are regulated by probability distributions, one for each agent, which let the system thus enter a steady state from which no agent is willing to unilaterally deviate. In this work we consider situations in which some agents have constraints on the routing choice: in a sense they are forbidden to route their traffic on some links. We show that at most one Nash equilibrium may exist and, in some cases with equal speed links and where each agent is forbidden to route on at most one link, we give necessary and sufficient conditions on its existence; these conditions correlate the traffic load of the agents. We consider also a dynamic behaviour of the network when the constraints may vary, in particular when a constraint is removed: we establish under which conditions the network is still in equilibrium. These conditions are all effective in the sense that, given a set of yes/no routing constraints on each link for each agent, we provide the probability distributions corresponding to the unique Nash equilibrium associated to the constraints (if it exists). Moreover these conditions and the possible Nash equilibrium are computed in time O(mn)

    Graded-CTL: Satisfiability and Symbolic Model Checking

    No full text
    In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the standard quantifiers with graded modalities, being able thus to express “There exist at least k” or “For all but k” futures, for some constant k. One can thus describe properties useful in system design, which cannot be expressed with CTL, like a sort of redundant liveness property asking whether there is more than one path satisfying that “something good eventually happens”, making thus the system more tolerant to possible faults. Graded-CTL formulas can also be used to determine whether there are more than a given number of bad behaviors of a system: this, in the model-checking framework, means that one can verify the existence of a user-defined number of counterexamples for a given specification and generate them, in a unique run of the model-checker. Here we show both theoretical and applicative contributions. On the theoretical side we give a simple algorithm to decide this logic, and we prove that the satisfiability problem is ExpTime-complete when the constants of the quantifiers are represented in unary. On the applicative side we propose symbolic algorithms to solve the model checking problem. One of the main characteristics of these algorithms is that, though the computation of “distinct” counterexamples has inherently high complexity when the model is represented symbolically, we have designed them to make the generation of multiple counterexamples as easy and quick as possible. The symbolic algorithms have been implemented using BDD data structures, and have been integrated into the well known NuSMV model checker, that has been modified to accept specifications expressed in graded-CTL. The test results we report are very comfortable in the sense that both the running time and the size of the BDDs produced are comparable to those obtained with specifications expressed in classical CTL

    Beyond Anthropocentric Humanism. The Potentialities of the Posthuman in Educational Studies

    Full text link
    Alessandro Ferrante, Pedagogia e orizzonte post-umanista (2014

    Going Beyond Counting First Authors in Author Co-citation Analysis

    Full text link
    The present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed

    Oltre il tokenismo, tra alterità, scarto e relazione educativa. Prospettive teoriche e linee progettuali di un disegno di ricerca

    No full text
    Il contributo affronta sotto un profilo di Pedagogia critica l’ampia problematica dell’inclusione. All’interno di essa emerge, come problema sociale ampio e concettualizzato pure sul piano interdisciplinare, il tema del tokenismo. Il concetto di token sottende una forma di esclusione e segregazione mistificata, il cui profilo manifesto mostra una facciata leggibile in termini emancipativi ma i cui ordini di latenza acuiscono i rapporti di subalternità di volta in volta agenti in un’istituzione determinata. In primo luogo, il lavoro affronta il concetto di token entro il rapporto tra ideologia e educazione, nel tentativo di enuclearne sul piano teorico e procedurale tanto il funzionamento istituzionale quanto l’incidenza nelle culture di servizio e nella materialità dei setting educativi. In seguito, si entrerà più nel dettaglio in una prospettiva decoloniale in Pedagogia interculturale, affrontando la critica al concetto di token tramite una disamina del rapporto tra alterità e differenza nel discorso pedagogico

    Variations on the Author

    Full text link
    “Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship

    Appropriate Similarity Measures for Author Cocitation Analysis

    Full text link
    We provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
    corecore