Now showing items 25553-25572 of 26017

    • Verbesina suncho (Griseb.) S.F. Blake 

      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)
      Tabacal cerca de Orán.
    • Verbesina suncho (Griseb.) S.F. Blake 

      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 Suaruru entre Amareta y Buyuyu, Prov. de Las Salinas.
    • Verbesina suncho (Griseb.) S.F. Blake 

      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)
      En las cercanías de Orán.
    • Verbesina suncho (Griseb.) S.F. Blake 

      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, 1872)
      Tucumán
    • Verdad y verosimilitud en el cine documental cordobés 

      Ferreyra, María Elena (2013)
      El cine cordobés está explorando nuevas dimensiones y visibilizando viejas tensiones. Yatasto de Hermes Paralluelo y Criada de Matías Herrera Córdoba remiten al valor testimonial de la palabra y de la imagen conjugando ...
    • Verdad de la experiencia y experiencia de verdad en el arte. Una mirada desde la hermenéutica 

      Rufinetti, Edgar (2014)
      Seguimos cayendo aún en la tendencia a interpretar las obras artísticas sólo como creaciones y fenómenos de la expresión. De este modo se ponen en juego categorías que presuponen de modo no explicito que el arte no puede ...
    • Verdad lógica y realidad en la doctrina de Quine 

      Gaeta, Rodolfo (Universidad Nacional de Córdoba, 2006-10)
      La caracterización de las verdades lógicas plantea a los empiristas dos problemas: ¿qué las hace verdaderas? y "cómo puede conocerse su verdad? Ambas cuestiones están íntimamente relacionadas; en el caso de los empiristas, ...
    • Verdad y portadores de verdad en una epistemología naturalizada 

      Garay, Carlos (Universidad Nacional de Córdoba, 1995-09)
      Es una inquietud filosófica generalizada el averiguar qué clase de cosa o evento se busca cuando se busca la verdad. Entre las corrientes epistemológicas que han merecido recientemente la atención de los filósofos, se ...
    • Verdad, conocimiento y antirrealismo semántico 

      Barrio, Eduardo A. (Universidad Nacional de Córdoba, 1995-09)
      En este trabajo me propongo discutir la plausibilidad del argumento de la manifestación del conocimiento lingüístico (2) de Dummett y algunos de sus seguidores en contra del enfoque realista. Tal discusión se realizará en ...
    • "Lo verdadero" y la "representación" en la Lógica de los Estoicos 

      Gatti, María de Fátima (Universidad Nacional de Córdoba, 2005-09)
      Este trabajo se encuadra dentro del libro Lógica de los Estoicos, de Benson Mates y, específicamente, se remite a la segunda sección del capítulo lll que trata sobre las diferencias que hacen los estoicos entre las palabras ...
    • Verificación de estructura autoportante para chimenena 

      Iérmolo, Julián; Menichelli, Ignacio (Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales., 2018)
      Pretende verificar la estructura ampliada ya definida y corroborar según normas vigentes si es capaz de soportar las cargas a la cual se encontrará sometida en su utilización con las limitaciones que presenta el actual ...
    • Verificación de lógicas modales dinámicas en Coq 

      Trucco, Francisco Carlos (2019-03)
      Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...
    • Verificación de modelos y cargas, y diseño de fundaciones para nuevos parámetros de suelo en edificios de la estación transformadora Santiago del Estero 

      Frontera, Ana Laura (Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales., 2014)
      Refiere al tendido de una línea de extra alta tensión de 500 kv de 90 km de longitud y la construcción de dos nuevas estaciones transformadoras: "Estación transformadora Lavalle 500 kv y "Estación transformadora Santiago ...
    • Verificación de pilas - Viaducto La Noria etapa acceso a Camino Negro 

      Oyola Marletta, Agustín. (Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales., 2014)
      Examina de los pilotes columnas, determinando para ello, la longitud y la armadura necesaria. Se realiza la verificación de las pilas intermedias de la primera etapa del viaducto, sin estudiar el estribo en el acceso al ...
    • Verificación de pilotes/columna viaducto Santa Ana 

      Rivas, Alberto Adrián (2018)
      Trata las obras correspondiente al cierre de Av. Circunvalación, tramo: Distribuidor Ruta Provincial N°5 - Distribuidor "El Tropezón " en la Provincia de Córdoba proyecto encargado por la Dirección Provincial de Vialidad. ...
    • Verificación de un reactivo comercial de PCR en tiempo real para el diagnóstico de infección congénita por Trypanosoma cruzi 

      Brunetto, Micaela Noemí (2023-06-01)
      La infección por el parásito Trypanosoma cruzi (T. cruzi), el cual causa la enfermedad de Chagas, sigue siendo un problema importante de salud pública en 21 países endémicos de América. Las principales vías de transmisión ...
    • 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, ...