Now showing items 25897-25916 of 26352

    • Verificación en tiempo de ejecución con Streams 

      Romero, Santiago Gabriel (2010)
      La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. ...
    • Verificación estructural de la obra civil del reactor nuclear RA-0 

      Masin, Federico (Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales., 2017)
      Trata de la verificación estructural de la obra civil del Reactor RA-0, realizando un análisis de los sistemas de protección, tanto el biológico como el estructural, que posee el Reactor Nuclear RA-0 para garantizar que ...
    • Verificación formal de código binario 

      Arch, David Daniel (2015)
      Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene ...
    • Verificación formal de protocolos distribuidos 

      Naser Pastoriza, Alejandro José (2019)
      En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ...
    • Verificación y validación en simulaciones computacionales: ideales epistémicos y prácticas metodológicas 

      Ilcic, Andrés; García, Pío; Velasco, Marisa (2018)
      En este trabajo abordamos uno de los problemas filosóficos centrales respecto de las simulaciones computacionales en ciencia, el de sus garantías epistémicas. Tras un breve repaso de las caracterizaciones que se pueden ...
    • Vernonanthura montevidensis (Spreng.) H. Rob. 

      Ariza Espinar, L.; Lorentz, P. G. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1877)
      Concepción del Uruguay
    • Vernonanthura pinguis (Griseb.) H. Rob. 

      Ariza Espinar, L.; Lorentz, P. G.; Hieronymus, G. H. E. W. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1873)
      San Andrés cerca de Orán
    • Vernonanthura pinguis (Griseb.) H. Rob. 

      Ariza Espinar, L.; Lorentz, P. G.; Hieronymus, G. H. E. W. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1873)
      Cuesta del Tambo entre el Tambo y Narváez
    • Vernonanthura pseudolinearifolia (Hieron.) A.J. Vega & Dematteis 

      Dematteis, M.; Schinini, A. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 2005)
      Sierra de Aurora, 30 Km W de Rivera, camino a Masoller.
    • Vernonia auriculata Griseb. 

      Ariza Espinar, L.; Lorentz, P. G.; Hieronymus, G. H. E. W. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1873)
      Cuesta del Tambo entre El Tambo y Narváez.
    • Vernonia bangii Rusby 

      Bang, M. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1892)
      Mapiri
    • Vernonia brachylepis Griseb. 

      Ariza Espinar, L.; Lorentz, P. G.; Hieronymus, G. H. E. W. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1873)
      Cuesta de Aguairenda entre Itaperenda y Yucaiva cerca de Caraparí.
    • Vernonia costata Rusby 

      Bang, M. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1892)
      Mapiri
    • Vernonia flexuosa var. uleana Hieron. 

      Ule, E. H. G. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1890)
      Im Campo d´Una bei Laguna.
    • Vernonia incana Less. 

      Ariza Espinar, L.; Lorentz, P. G.; Hieronymus, G. H. E. W. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1873)
    • Vernonia jubifera Rusby 

      Bang, M. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1892)
      Mapiri
    • Vernonia megaphylla Hieron. 

      Ule, E. H. G. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1902)
      Pongo de Cainarachi
    • Vernonia patuliflora Rusby 

      Bang, M. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1894)
      Coroico
    • Veronica allenii Greenm. 

      Ariza Espinar, L.; Allen, O. D. (Universidad Nacional de Cordoba. Facultad de Ciencias Exactas, Fisicas y Naturales; Consejo Nacional de Investigaciones Cientificas y Tecnicas. Instituto Multidisciplinario de Biologia Vegetal, 1898)
      Near Paradise River, Mt. Rainier
    • Vertical/horizontal - diagonal : forma, oblicuidad y topología en la arquitectura territorial de Peter Eisenman 

      Ceconato, Diego (2023)
      Las intervenciones territoriales de Peter Eisenman son una deconstrucción de una forma de legitimación hegemónica de la forma a través de una innovadora forma de visibilidad del discurso arquitectónico en función de ...