1,721,256 research outputs found

    ARTECA

    No full text
    Review of ARTECA, Reviewed April 2017 by Lindsey Reynold, Dodd Librarian University of Georgia Lamar Dodd School of Art [email protected]

    Arteca: el arte llega a la biblioteca

    No full text
    [ES] Este artículo pretende dar a conocer la iniciativa del servicio Arteca: préstamo y exposición de obras de arte en la Biblioteca Pública de Palafrugell (Girona). Con marcado carácter innovador, la biblioteca acoge desde hace un año un nuevo formato de fondos y lo acerca a sus usuarios

    Respuesta institucional ante la pandemia : Objetivos, desafíos y estrategias

    No full text
    El Dr. Fernando Tauber, entrevistado por los periodistas Damián Zárate, Ezequiel Lasta y Mario Arteca, en el programa de la trasnoche de Radio Universidad el día lunes 13 de julio del año 2020, describe los ejes rectores de la actividad de la UNLP durante la pandemia y los compromisos a futuro con la comunidad de la región. Se refiere a las respuestas que la Universidad brinda ante la crisis actual en materia de producción alimentaria, fabricación de módulos habitacionales básicos y fabricación de insumos en general. Tanto éstas como otras iniciativas que lleva a cabo la institución buscando articular el pasaje desde una visión académica basaba en la Enseñanza, la Investigación y la Extensión, a una nueva concepción que debe incluir la Producción y el Trabajo para funcionar efectivamente como herramienta para la soberanía y la creación de oportunidades para los vecinos de la región.Presidenci

    Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language

    No full text
    Foreign function interfaces (FFIs) allow programs written in one language (called the host language) to call functions written in another language (called the guest language), and are widespread throughout modern programming languages, with C FFIs being the most prevalent. Unfortunately, reasoning about C FFIs can be very challenging, particularly when using traditional methods which necessitate a full model of the guest language in order to guarantee anything about the whole language. To address this, we propose a framework for defining whole language semantics of FFIs without needing to model the guest language, which makes reasoning about C FFIs feasible. We show that with such a semantics, one can guarantee some form of soundness of the overall language, as well as attribute errors in well-typed host language programs to the guest language. We also present an implementation of this scheme, Poseidon Lua, which shows a speedup over a traditional Lua C FFI

    Entrevista a Sara Facio, amiga y fotógrafa de Julio Cortázar : Testimonio a 20 años de la muerte del gran escritor argentino

    No full text
    En el programa Todos los climas, los periodistas Mario Arteca y Cintia Rodil entrevistan a Sara Facio, fotógrafa célebre por sus retratos, sobre todo los de Julio Cortázar. Sara Facio, además de retratarlo, fue amiga del escritor, y sobre él deja su testimonio, a 20 años de su muerte.Radio Universidad Nacional de La Plat

    El filósofo y periodista Miguel Wiñazki habla de su libro <i>La noticia deseada: leyendas y fantasmas de la opinión pública</i>

    No full text
    El filósofo y periodista Miguel Wiñaski se refiere a su libro La noticia deseada: leyendas y fantasmas de la opinión pública (Marea Editorial, 2004) en el programa Todos los climas, conducido por Cintia Rodil y Mario Arteca. Distingue los países "tevecéntricos" (que se informan mayormente a través de la televisión) de los "diariocéntricos", atribuyéndoles a estos mayor calidad institucional. Relativiza el impacto de los medios de comunicación en el ánimo y pensamientos de las audiencias.Radio Universidad Nacional de La Plat

    Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact)

    No full text
    There are two components to this artifact. First, a we provide a mechanization of the formalization in the paper, as well as mechanized proofs of the main results from the paper. Second, we provide a full implementation of Poseidon Lua, the language implemented in the paper. Instructions for all components of the artifact are included this document

    Testimonio sobre Hipólito Yrigoyen a 153 años de su nacimiento : El historiador Diego Barovero se refiere al dos veces presidente de la Argentina

    No full text
    El historiador, abogado y secretario del Instituto Nacional Yrigoyeneano, Diego Barovero, responde a los periodistas Damián Toschi y Mario Arteca, sobre la persona y figura política de Hipólito Yrigoyen. Su doble paso por la presidencia de la Nación, su relación con otras figuras políticas y su legado en la Unión Cívica Radical. Entrevista realizada telefónicamente en el marco del programa Todos los climas. Diego Barovero: abogado, historiador y secretario del Instituto Nacional Yrigoyeneano.Radio Universidad Nacional de La Plat

    El filósofo y periodista Miguel Wiñazki habla de su libro <i>La noticia deseada: leyendas y fantasmas de la opinión pública</i>

    No full text
    El filósofo y periodista Miguel Wiñaski se refiere a su libro La noticia deseada: leyendas y fantasmas de la opinión pública (Marea Editorial, 2004) en el programa Todos los climas, conducido por Cintia Rodil y Mario Arteca. Distingue los países "tevecéntricos" (que se informan mayormente a través de la televisión) de los "diariocéntricos", atribuyéndoles a estos mayor calidad institucional. Relativiza el impacto de los medios de comunicación en el ánimo y pensamientos de las audiencias.Radio Universidad Nacional de La Plat
    corecore