1,720,968 research outputs found
Formalización de mónadas concurrentes en Agda: un análisis del caso de la mónada Delay
No full textEn los últimos años, la concurrencia ha cobrado mucha importancia en el mundo de la programación, sobre todo debido a la masificación de los procesadores con múltiples núcleos. Los lenguajes de programación funcional, en general, proveen la capacidad de concurrencia mediante funciones ad-hoc, y no mediante primitivas bien fundadas del lenguaje.
En este trabajo se presenta una formalización del concepto de mónada concurrente en el lenguaje y asistente de pruebas Agda, así como también otras formalizaciones de conceptos previos como las mónadas, los funtores monoidales y los monoides concurrentes. Luego se analiza el caso particular de la mónada delay, con el objetivo de probar o refutar que esta puede dotarse de una estructura de mónada concurrente. La principal dificultad que se encontró a la hora de realizar esta prueba es la demostración de la ley de intercambio. Se buscó entonces una simplificación del problema y se demostró que los números conaturales forman un monoide concurrente, obteniendo luego una mónada concurrente alternativa a delay: la mónada writer con los conaturales como monoide.Fil: Bini, Valentina María. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura; Argentina
Comunità in dialogo nelle aree protette: alcune progettualità dal Piemonte nella cornice del PNRR
No full textIl progetto NODES (Nord Ovest Digitale e Sostenibile) mira a sviluppare un sistema integrato di proposte sostenibili e partecipate per il rilancio turistico nelle aree protette del Piemonte, che costituiscono circa il 18% del territorio regionale. Gli obiettivi sono quelli di identificare ecosistemi culturali e cluster tematici e creare un modello di dialogo territoriale, in cui le parti interessate e le comunità siano coinvolte nella gestione di proposte per un turismo sostenibile e integrato. Tra i vari casi di studio presi in esame, il Comune di Chiaverano (TO), sulla collina morenica della Serra e a dalla ZPS dei Cinque Laghi di Ivrea, rappresenta un esempio di riappropriazione degli spazi naturali attraverso pratiche culturali partecipative e logiche partecipative e collaborative
The dopamine beta-hydroxylase inhibitor nepicastat increases dopamine release and potentiates psychostimulant-induced dopamine release in the prefrontal cortex
No full textThe dopamine-beta-hydroxylase inhibitor nepicastat has been shown to reproduce disulfiram ability to suppress the reinstatement of cocaine seeking after extinction in rats. To clarify its mechanism of action, we examined the effect of nepicastat, given alone or in association with cocaine or amphetamine, on catecholamine release in the medial prefrontal cortex and the nucleus accumbens, two key regions involved in the reinforcing and motivational effects of cocaine and in the reinstatement of cocaine seeking.
Nepicastat effect on catecholamines was evaluated by microdialysis in freely moving rats.
Nepicastat reduced noradrenaline release both in the medial prefrontal cortex and in the nucleus accumbens, and increased dopamine release in the medial prefrontal cortex but not in the nucleus accumbens. Moreover, nepicastat markedly potentiated cocaine-and amphetamine-induced extracellular dopamine accumulation in the medial prefrontal cortex but not in the nucleus accumbens. Extracellular dopamine accumulation produced by nepicastat alone or by its combination with cocaine or amphetamine was suppressed by the alpha(2)-adrenoceptor agonist clonidine.
It is suggested that nepicastat, by suppressing noradrenaline synthesis and release, eliminated the alpha(2)-adrenoceptor mediated inhibitory mechanism that constrains dopamine release and cocaine-and amphetamine-induced dopamine release from noradrenaline or dopamine terminals in the medial prefrontal cortex
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe 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
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 linkWe 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
Dispelling the Myths Behind First-author Citation Counts
Full text linkWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
- …
