1000 resultados para Criptografía basada en la identidad
Resumo:
Durante las últimas tres décadas el interés y diversidad en el uso de canales escalonados han aumentado debido al desarrollo de nuevas técnicas y materiales que permiten su construcción de manera rápida y económica (Concreto compactado con rodillo CCR, Gaviones, etc.). Actualmente, los canales escalonados se usan como vertedores y/o canales para peces en presas y diques, como disipadores de energía en canales y ríos, o como aireadores en plantas de tratamiento y torrentes contaminados. Diversos investigadores han estudiado el flujo en vertedores escalonados, enfocándose en estructuras de gran pendiente ( 45o) por lo que a la fecha, el comportamiento del flujo sobre vertedores con pendientes moderadas ( 15 a 30o) no ha sido totalmente comprendido. El presente artículo comprende un estudio experimental de las propiedades físicas del flujo aire-agua sobre canales escalonados con pendientes moderadas, típicas en presas de materiales sueltos. Un extenso rango de gastos en condiciones de flujo rasante se investigó en dos modelos experimentales a gran escala (Le = 3 a 6): Un canal con pendiente 3.5H:1V ( 16o) y dos alturas de escalón distintas (h = 0.1 y 0.05 m) y un canal con pendiente 2.5H:1V ( 22o) y una altura de escalón de h = 0.1 m. Los resultados incluyen un análisis detallado de las propiedades del flujo en vertedores escalonados con pendientes moderadas y un nuevo criterio de diseño hidráulico, el cual está basado en los resultados experimentales obtenidos. English abstract: Stepped chutes have been used as hydraulic structures since antiquity, they can be found acting as spillways and fish ladders in dams and weirs, as energy dissipators in artificial channels, gutters and rivers, and as aeration enhancers in water treatment plants and polluted streams. In recent years, new construction techniques and materials (Roller Compacted Concrete RCC, rip-rap gabions, etc.) together with the development of the abovementioned new applications have allowed cheaper construction methods, increasing the interest in stepped chute design. During the last three decades, research in stepped spillways has been very active. However, studies prior to 1993 neglected the effect of free-surface aeration. A number of studies have focused since on steep stepped chutes ( 45o) but the hydraulic performance of moderate-slope stepped channels is not yet totally understood. This study details an experimental investigation of physical air-water flow properties down moderate slope stepped spillways conducted in two laboratory models: the first model was a 3.15 m long stepped chute with a 15.9o slope comprising two interchangeable step heights (h = 0.1 m and h = 0.05 m); the second model was a 3.3 m long, stepped channel with a 21.8o slope (h = 0.1 m). A broad range of discharges within transition and skimming flow regimes was investigated. Measurements were conducted using a double tip conductivity probe. The study provides new, original insights into air-water stepped chute flows not foreseen in prior studies and presents a new design criterion for chutes with moderate slopes based on the experimental results.
Resumo:
En América Latina destacan experiencias de reforma sanitaria en donde se ha dado paso a la implementación de hospitales autónomos. En Chile, el sistema de salud implementa una reforma que introduce los Establecimientos de Autogestión en Red. Estos serán centros de alta complejidad que involucrarán una mayor diversidad técnica, centros de costos y mecanismos de evaluación de la satisfacción de los usuarios. Para el recurso humano en salud, la implementación de estos centros plantea desafíos en la planificación para la provisión de servicios, así como en la transición de la gestión clásica de los equipos a una basada en redes. Estos desafíos involucran la estimación de brechas de especialidades médicas, así como de otras profesiones del sector. Para el éxito de la autogestión en Chile, se deben establecer políticas globales y locales que aborden temas de formación y de organización de la provisión de servicios de salud en estas instituciones.
Resumo:
Los estudios de las zonas fronterizas muestran una clara oposición entre la lógica del Estado y la lógica de las populaciones locales. En la frontera hispano-portuguesa las relaciones sociales entre los pueblos de Barrancos y Oliva de la Frontera, a lo largo del tiempo, permiten identificar las ambigüedades entre la "frontera política", definida y vigilada por los Estados Ibéricos, y la "frontera cuotidiana", cruzada, transgredida y reinventada por las gentes. A pesar de su abolición, la frontera reconfigurase hoy como materia de patrimonio identitario.
Resumo:
Ochocientos veinte reden nacidosfRN) de ≤2500g de la Matemidad Percy Bolandfueron examinados entre 1988 y 1989por los diferentes métodos de diagnóstico de la enfermedad de Chagas (Patologia de placenta, serologia, parasitologia y clínica) con el propósito de determinar su eflcacia y costo. El examen histopatologico permitió detectar 87 casos de infección placentaria. De este total, se observaron 43 (49%) casos RN positivos al examen parasitologico de la sangre del cordon. Este número aumento con la repetición de la prueba durante el primer mes de vida del nino, alcanzando el mismo nivel que la histopatologia. Con el examen serológico se detectaron 2 casos positivos. El signo clínico de alia especificidad de la enfermedad de Chagas en RN es la hepato-esplecnomegalia. Se discuten ventajas y desventajas en cuanto a costo y factibilidad de dos estrategias de detección de la enfermedad de Chagas congénito, la primera basada en la histopatologia y la otra en la parasitologia. Se concluye que los programas de detección de la enfermedad de Chagas no pueden ser uniformes, yaquese deben tomar en cuenta aspectos deprevalencia de la enfermedad, existencia del vector y disponibilidad de técnicas de laboratorio.
Resumo:
En nuestras investigaciones sobre la formación de la identidad cultural local y regional, hemos encontrado con frecuencia relatos que vinculan la afirmación de una identidad territorial con antagonismos de vecindad expresados en la evocación de encuentros deportivos, particularmente en relación de encuentros de equipo. Observamos en estos relatos que el enfrentamiento deportivo, sobre todo en el fútbol, se utiliza para representar conflictos que forman parte de las relaciones entre localidades.
Resumo:
En este artículo se presenta el análisis de dos textos como ejemplares del género de texto crónica de periodismo radiofónico sobre el vino. A partir de una metodología descendente basada en la noción de actividad de lenguaje, se describirá el género a través de ocurrencias textuales, desde los siguientes puntos de vista: la sociedad de consumo como un tema social de relieve social, la organización temática y la organización argumentativa (esta última estrechamente asociada a la modalidad deóntica) como cuestiones lingüísticas que marcan el género y que expresan la dinámica persuasiva del especialista, un agente económico indirectamente implicado en la venta del producto.
Resumo:
La ciudad de Córdoba posee una importante tradición histórica asociada con los conceptos de cultura y cambio. Durante los últimos años de renovación urbana, se ha construido un paisaje urbano fragmentado y desordenado. Esto genera un gran riesgo de cambiar el carácter habitacional de los que fueron los barrios originarios de Córdoba. En períodos de renovación y cambio urbano, donde estudios de “planificación urbana” están en ebullición, sería conveniente concebir estrategias de acción para recuperar los valores que gestaron la identidad de aquellos barrios a modo de preservar nuestro patrimonio cultural. Frente a esta situación se propone recuperar y revalorar los espacios públicos abiertos de dos barrios tradicionales de grandes potenciales culturales actualmente amenazados, mediante la detección de estrategias de acción para el diseño de una identidad barrial integral. Durante esta investigación se abordará el tema problema referido a ciudad y territorio con el fin de revalorar las extraordinarias potencialidades de aquellos barrios de alguna manera degradados mediante una intensión regenerativa. Los barrios Güemes y Bella Vista están ubicados al sur oeste de la cuadrícula fundacional de la ciudad a no más de veinte calles. La historia ha consolidado en ellos un perfil social marginal donde conviven dos modos diferentes de apropiación. El objetivo del trabajo es el de producir una sinergia en- tre los valores descubiertos con el máximo aprovechamiento de los recursos al menor costo. En esta interpretación del territorio, la gestión ocuparía un rol importante. Durante la primera etapa se registraron y relevaron los recursos patrimoniales singulares de ambos barrios. Con estos elementos se construirá una red de recursos y un modelo estructural del conjunto que incluya los espacios públicos abiertos y la dinámica de sus habitantes. Con esta interpretación del territorio, en la segunda etapa se definirán los entes gestores y se elaborarán prediseños coherentes con aquella. En último término, se van a definir los microproyectos identificados sobre la red de recursos, seleccionando el más necesario y el primero a desarrollar para impulsarlo hacia la transferencia real y material. De esta manera, el proyecto pretende contribuir a la recuperación territorial-urbano-barrial desarrollando un modelo de estrategia de gestión en sectores más desfavorecidos incluyendo otras disciplinas como la sociología y la estadística, como instrumento de interrelación.
Resumo:
[El proyecto consta de dos líneas de trabajo: "El rol del color en la relación edificio-entorno inmediato" y "El rol del color en el equipamiento urbano"] Objetivos generales y específicos: "Rol del color en la relación edificio-entorno inmediato". Brindar una herramienta conceptual y operativa para arquitectos, ingenieros, usuarios y todos aquellos operadores de la ciudad brindando un ámbito de reflexión y puesta en valor del fenómeno cromático a fin de consolidar una actitud respetuosa frente a la relación arquitectura-ciudad. Promover una actitud en los diseñadores que haga consciente la variable del color desde el inicio del proceso de diseño fundamentando así, los criterios de selección de tecnología, materiales y aspectos constructivos, como así también las decisiones sobre la forma, expresión y significado de los hechos arquitectónicos. Se podrá hacer extensiva una acción de servicio como asesoramiento para toda intervención cromática ya sea en la ciudad o a usuarios diversos por medio de asociaciones intermedias o gubernamentales. Es fundamental proponer un llamado de atención sobre el uso indiscriminado del color que actualmente se realiza en fachadas de edificios y medianeras urbanas, con un espíritu decorativo y mercantilista, muy lejos de mantener criterios aceptables para el reciclaje y/o puesta en valor de edificios en caso de ser considerados como patrimonio urbano. Llamado de atención que se hace extensivo al caos imperante y la polución visual de la ciudad, sin control por la carencia de normativas que orienten a una mayor y mejor legibilidad, orientación y sentido de lugar urbano. Objetivos generales y específicos: "Rol del color en la relación en el equipamiento urbano". Promover una nueva metodología de pensamiento en el proceso de ideación en el hacer de la ciudad. Concientizar a los operadores de la ciudad, sean éstos usuarios, arquitectos, ingenieros, publicistas, diseñadores industriales, del problema actual del caos visual originado por la multiplicidad de mensajes y polución visual que genera el uso indiscriminado del color. Corroborar el uso de códigos internacionales utilizados en los distintos tipos de equipamientos urbanos. Proponer una categorización y sistematización de los elementos considerados como componentes del equipamiento urbano. Promover el buen uso del color y la tecnología en el diseño del equipamiento urbano, adoptando criterios que refuercen la identidad de cada ambiente.
Resumo:
En sus narrativas de base histórica, ciertas escritoras aprehenden los eventos colectivos del ámbito público a través de lo que éstos implican en el ámbito privado de la vida de una persona o familia. El patrón con el que estructuran su versión de la Historia es el de las memorias, las cuales representan al sujeto histórico en un discurso eminentemente dialógico, inserto en relaciones interpersonales desde las cuales se construye la vida cotidiana de la sociedad y la noción de identidad personal. De este modo las narrativas des-centran el discurso histórico institucionalizado, proponiendo otros sujetos y otras acciones como agentes y praxis de la Historia. Esta objetivación discursiva podría tener origen en un habitus común, en el cuan un generolecto determinado, al cual las memorias pertenecerían como estrategia discursiva propia, cumpliera un rol fundamental. En esta etapa de la investigación se hará análisis textual usando el instrumental metodológico de la narratología. Los datos así obtenidos serán interpretados desde el marco de teorías sociológicas, antropológicas y feministas sobre las prácticas de la vida cotidiana, especialmente aquellas que intervienen en la construcción del sujeto socializado. (...) El objetivo específico tiene dos etapas diferenciables y sucesivas: En primer lugar, describir el modo en que las memorias permiten ficcionalizar los llamados "hechos históricos" desde la esfera de las relaciones interpersonales. En segundo lugar, construir una explicación plausible sobre la intención estético-ideológica que fundamenta el proyecto descentralizador de la narración histórica y la selección de las memorias como estructura narrativa. En realidad, esta segunda etapa consistiría en comenzar a trazar el mapa del habitus desde el cual escriben estas mujeres, a partir de lo cual podría intentarse responder el interrogante principal: si el género de quien escribe condiciona la selección de estrategias narrativas. Para ello, habría que ver si todas o la mayoría de las escritoras comparten el mismo habitus y si un generolecto forma parte activa de él.
Resumo:
El cáncer se origina por mutaciones, competición y selección natural en células somáticas de tejidos de diferentes órganos,siendo un proceso complejo y multifactorial que ocurre en una secuencia de etapas: iniciación, promoción y progresión (1). Factores hereditarios,genéticos y epigenéticos como los lípidos dietarios, estrés oxidativo, hormonas, pesticidas y otros, influyen tanto en el desarrollo como en la inhibición de esta enfermedad (2). Datos epidemiológicos y experimentales tanto nuestros como de otros laboratorios han demostrado que el consumo de dietas ricas en ácidos grasos de la familia n-3, n-6 o n-9 cambian la fluidez, la actividad de enzimas, el nivel de proteínas y favorecen la formación de moléculas bioactivas derivadas de los lípidos como los eicosanoides y endocanabinoides que modulan el proceso carcinogénico (3-15). Estos derivados lípídicos activan vias de señalización produciendo cambios especificos en la expresión génica, un proceso fundamental durante la transformación neoplásica (1-2).También ha sido demostrado que estos cambios en la expresión génica inducidos por derivados lipídicos modulan funciones en células cancerosas como proliferación y muerte celular, migración y producción de matriz extracelular (16-17). A pesar de estos conocimientos, la identidad de los derivados lipídicos implicados en la modulación de la expresión génica durante la transformación neoplásica asi como los mecanismos utilizados por estas moléculas permanecen aun poco conocidos. HIPOTESIS: En los modelos a utilizar en el presente proyecto, la variación lipídica de las membranas que se induzca por manipulación dietaria deberán generar también variaciones en los eicosanoides . endocanabinoides y otros peróxidos que afecten factores de transcripción nucleares como el p53 y GLI incidiendo en los mecanismos responsables de la muerte y proliferación de células cancerosas. OBJETIVOS: Nos proponemos establecer el impacto de dietas enriquecidas con ácidos grasos de las familias n-3, n-6 o n-9 sobre modelos experimentales in-vivo e in-vitro. Se estudiarán los ácidos grasos de membrana plasmática, la generación de eicosanoides y endocanabinoides derivados de las vias COX y LOX Además se determinará el efecto de los peróxidos en la expresión y actividad de los factores nucleares de transcripción p53 y GLI como mecanismos responsables de la muerte y proliferación celular. MATERIALES Y MÉTODO: Se utilizará un modelo in-vivo de cáncer de mama empleando ratones C57BL6J inducidos con DMBA que se alimentarán con una dieta base semi-sintética suplemetada con diferentes PUFAs (Chia: n-3, Maíz: n-6 y Oleico: n-9 , empleada en estudios previos (8).Modelos in vitro: se utilizarán lineas celulares cancerígenas humanas de mama MCF-7 y MDA, las cuales se tratarán exógenamente con diferentes PUFAS (GLA:n-6,EPA:n-3, Oleico n-9)(9). Se determinarán ácidos grasos de membranas por Cromatografía de gas (CG)(10-11). El análisis de eicosanoides en células tumorales se realizará por HPLC (9-11). Los endocanabinoides por GC-Espectometría de Masa (18).La formación de peróxidos intracelulares se determinará por análisis de Glutation reducido (GSH)(16).La apoptosis se medirá por actividad caspasas y por Citometria de flujo usando Annexina V FICT (19).La expresión celular de Tp53 y GLI se realizará por Western Blot, PCR e inmunohistoquímica (20-21).RESULTADOS ESPERADOS: Se espera que los lípidos añadidos en las dietas de ratones inyectados con DMBA o al medio de cultivo de células tumorales de mama o páncreas modifiquen los ácidos grasos de membrana y sus derivados lipídicos los eicosanoides y endocanabionoides que suponemos afectarán la activación y expresión de factores de transcripción regulando la carcinogénesis. IMPORTANCIA: Diseñar nuevos modelos experimentales para implementar en terapias génicas y aplicar los resultados sobre factores nutricionales que pudieran actuar como inhibidores o promotores del desarrollo del cáncer en humanos.
Resumo:
La contabilidad a través de los estados financieros, concebidos como instrumentos que proporcionan un resumen de la situación patrimonial de las organizaciones y de sus evoluciones económicas y financieras, cumple un trascendente rol en la sociedad que consiste en suministrar información a ser utilizada en los procesos decisorios de los principales agentes que intervienen en la economía (inversores, acreedores, empleados, sindicados, mercados de valores, clientes, proveedores, estado, etc.). La importancia que fueron adquiriendo los estados financieros, como satisfactores de las demandas informativas de los interesados en su contenido, produjo la imperiosa necesidad de contar con una seguridad razonable de que la información incorporada en los mismos se encuentre libre de errores u omisiones significativos, que pudieran distorsionar las decisiones a ser tomadas por sus usuarios. Fue de este modo que la auditoría de estados financieros, dentro de los servicios de que agregan credibilidad a la información, se erigió en el proceso destinado a tal fin. En este contexto, la auditoría de estados financieros se convirtió en el proceso estructurado, llevado a cabo por un auditor independiente, con vistas a arribar a una conclusión respecto a si la información contenida por los estados financieros, refleja razonablemente o no la situación patrimonial y la evolución económica y financiera de una organización por el período que abarcan, conforme a las disposiciones consagradas en ordenamiento contable utilizado como referencia. El riesgo de auditoría, concebido como la medida que refleja la posibilidad de que el auditor arribe a una conclusión equivocada respecto de la forma en que los estados contables reflejan la situación patrimonial y la evolución económica y financiera por el período que comprenden, adquiere una relevancia inusitada dentro del proceso de auditoría de estados financieros. Los principales ordenamientos en materia de auditoría de estados financieros proponen una metodología de cálculo del riesgo de auditoría en donde el mismo se concibe como el producto de los siguientes componentes: a) riesgo inherente (posibilidad de que la información contenida por los estados financieros contenga errores u omisiones significativas en si misma), b) riesgo de falta de control (posibilidad de que el sistema de control interno no prevenga, detecte o corrija errores u omisiones propios de la información contenida por los estados financieros en si misma), y c) riesgo de falta de detección (posibilidad de que información con errores u omisiones no siendo prevenida, detectada o corregida por el sistema de control interno tampoco sea advertida como consecuencia de la aplicación de los procedimientos de auditoría). Existió un primer enfoque en relación a forma de determinación del riesgo de auditoría que se caracterizó por: a) una concepción reducida de los posibles factores determinantes de los diferentes tipos de riesgos, b) una visión transaccional y desintegrada de la organización y de la información, y c) una valoración de los riesgos apoyada fuertemente en el criterio profesional del auditor. La referida orientación en relación a los aspectos metodológicos de determinación del riesgo de auditoría, denominada “enfoque tradicional”, fue identificada por académicos y profesionales, como la principal causa del fracaso de la auditoría de estados financieros en reconocidos escándalos financieros (casos: Enron, Worldcom, Parmalat, etc.) que trajeron aparejadas un conjunto de consecuencias sociales de profundo impacto (cuantiosas pérdidas económicas, descrédito de la auditoría como proceso que agrega credibilidad a la información contenida en los estados financieros, sanciones de naturaleza penal, civil y profesional a auditores e integrantes de organismos encargados de controlar la ejecución de auditorias, etc.) A los efectos de superar las deficiencias del enfoque tradicional, relacionado con la metodología de determinación del riesgo de auditoría, se desarrolló un nuevo enfoque, conocido como auditoría basada en riesgos, el cual se caracteriza por: a) una concepción amplia de los posibles factores que inciden sobre los componentes del riesgo de auditoría, b) una visión estratégica, sistémica e integrada de la organización y de la información generada por ella y c) la pretensión de la utilización de herramientas objetivas en la valoración de riesgos. La auditoría basada en riesgos ataca el corazón mismo de la auditoría de estados financieros que es el modelo de riesgos de auditoría, haciendo foco en los riesgos de negocio de las organizaciones. El presente proyecto de investigación tiene la pretensión de colaborar como un eslabón más en la instauración del enfoque de auditoría basada en riesgos, aportando un modelo integrado de cuantificación de riesgos que identifique el grado de influencia que cada uno de los factores determinantes del riesgo de negocio tiene respecto de cada uno de los componentes que definen al riesgo de auditoría.
Resumo:
La familia Rhabdoviridae incluye varios patógenos económicamente importantes de cultivos, entre los más de 70 virus que afectan plantas. Estos últimos se clasifican en los géneros Cytorhabdovirus y Nucleorhabdovirus, dependiendo de si producen inclusiones en el espacio perinuclear, o si desarrollan viriones citoplasmáticos. Los integrantes de esta familia infectan gran cantidad de monocotiledóneas y dicotiledóneas y la mayoría son dependientes de transmisión por insectos. Las interacciones virus-vector son altamente específicas, y se ha registrado la replicación en insectos, del rhabdovirus que transmiten a las plantas. Cada especie de rhabdovirus induce un amplio espectro de síntomas en sus plantas huéspedes, y estos van desde la falta de efectos discernibles hasta la muerte total de la planta. El maíz (Zea mays L.) es el cultivo más ampliamente distribuido a nivel mundial y uno de los principales cultivos de cereales, ubicándose tercero en el ranking de producción en el mundo. En maíz se ha citado la presencia de varios rhabdovirus, entre estos American wheat striate mosaic virus (AWSMV), Cereal chlorotic mottle virus (CCMV), Maize mosaic virus (MMV), Maize sterile stunt virus (strains of Barley yellow striate virus), Northern cereal mosaic virus (NCMV) y Maize fine streak virus (MFSV). Ninguno de ellos reportado en Argentina. Desde 2001 un rhabdovirus es observado, por sintomatología y microscopía electrónica, en plantas de maíz de diferentes localidades de la provincia de Córdoba. Esta virosis pudo ser transmitida en dos oportunidades a plantas de maíz sanas mediante Peregrinus maidis y logró amplificarse mediante RT-PCR con iniciadores degenerados, el gen de la polimerasa L. Nuestra hipótesis es que el agente causal de la sintomatología de mosaico estriado amarillo en maíz sería un rhabdovirus emergente en Argentina, diferente de Maize mosaic virus (MMV), transmitido por delfácidos, que puede aislarse y mantenerse en condiciones controladas. El objetivo del presente trabajo es generar conocimientos biológicos, moleculares y epidemiológicos sobre el agente causal de la sintomatología en maíz de mosaico estriado amarillo. Para ello se colectarán plantas de maíz con sintomatología de mosaico estriado amarillo, en distintas localidades donde se presente la sintomatología. Las muestras se observarán al microscopio electrónico en cortes ultrafinos y en “leaf dip". Los viriones se purificarán, extraerá el RNA de los mismos, y obtendrá la secuencia de nucleótidos, para compararla con otras publicadas de virosis vegetales y se obtendrán homologías. Se realizarán transmisiones experimentales de esta virosis, por incisiones vasculares y mediante el empleo de diferentes especies de insectos vectores. Importancia del proyecto El avance de patógenos tropicales hacia zonas templadas es una de las causas de la aparición de las virosis emergentes, que se caracterizan por producir epifítias al ingresar a nuevos ecosistemas. El Maize mosaic virus (MMV) es un rhabdovirus que produce una de las virosis más importantes del maíz en el continente americano. Determinar la identidad del agente etiológico del mosaico estriado amarillo y establecer su relación con MMV es fundamental para desarrollar medidas proactivas y diseñar estrategias de manejo de esta nueva enfermedad.
Resumo:
El objetivo principal de esta investigación es analizar la segregación residencial socioeconómica (en adelante SRS) en la ciudad de Córdoba (Argentina) y sus vinculaciones con los programas habitacionales llevados a cabo por el Gobierno de la Provincia de Córdoba durante los últimos diez años. Para la realización de la investigación proponemos un abordaje cuantitativo de las tres dimensiones constitutivas de la SRS identificadas por Sabatini (2006), a saber: (1) el grado de concentración espacial de los grupos sociales; (2) la homogeneidad social que presentan las distintas áreas internas de la ciudad; y (3) el prestigio social de las distintas áreas o barrios de cada ciudad. Las dos primeras dimensiones son definidas como las dimensiones objetivas de la segregación. Mientras que la primera analiza los grupos sociales en términos de su localización espacial, la segunda los analiza en términos de su composición social. La última dimensión es de carácter subjetivo y se refiere: por un lado, a la percepción que las personas tienen del hecho de pertenecer a un grupo social que tiene una forma particular de ocupar el espacio urbano, y, por otro lado, a la identidad y prestigio asignados a algunos barrios o zonas completas de la ciudad. Para el análisis de las dimensiones objetivas de la SRS proponemos la realización de mapas temáticos de la ciudad y el cálculo de índices estadísticos, basados en: los Censos Nacionales de Población y Vivienda de 1991 y 2001 (Instituto Nacional de Estadísticas y Censos - INDEC), y el Censo Provincial 2008 (Dirección General de Estadísticas y Censos – Provincia de Córdoba). Para el análisis de la dimensión subjetiva proponemos la realización de encuestas tanto a los beneficiarios directos de los programas habitacionales ejecutados por el Gobierno de la Provincia de Córdoba como a los habitantes de la ciudad que no viven en viviendas sociales. A través de las primeras exploraremos cómo los habitantes de las viviendas sociales se perciben a sí mismos en relación al resto de la sociedad y a través de las segundas cómo el resto de los cordobeses perciben a los barrios de viviendas sociales y a sus residentes. La conjunción de fuentes primarias y secundarias de información nos permitirá alcanzar una visión más integral y más completa de la SRS en la ciudad de Córdoba, ya que no sólo podremos describir y cuantificar dicho fenómeno, sino también explorar las diferentes percepciones de los habitantes de la ciudad en torno al mismo.
Resumo:
Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.
Resumo:
La auditoría es el proceso que agrega un grado razonable de seguridad en relación a que la información contenida en los estados financieros se encuentra libre de incorrecciones materiales respecto del marco de información utilizado en su elaboración. Los procesos de auditoría de estados financieros incorporan el siguiente modelo de riesgos: Ra = Ri x Rfc x Rfd Donde: Ra = Riesgo de auditoría, (posibilidad que el auditor arribe a una conclusión equivocada tras la realización de la auditoría), Ri = Riesgo inherente (posibilidad que la información a ser exteriorizada en los estados financieros contenga incorrecciones materiales en si mismas), Rfd = Riesgo de falta de control (posibilidad que información con incorrecciones materiales en si misma no sea prevenida, detectada o corregida por el sistema de control interno), Rfd = Riesgo de falta de detección (posibilidad que información con icorrecciones materiales no prevenida, detectada o corregida por el sistema de control interno, tampoco lo sea por los procedimientos que emplea el auditor), A partir de la referida formulación matemática el auditor de estados financieros puede obtener una medida objetivo del riesgo de falta de detección a partir de: a) La definición de un nivel aceptable de riesgo de auditoría y b) la valoración del riesgo combinado que es producto del riesgo inherente y del riesgo de falta de control. Podemos expresar lo anterior mediante la expresión: Rfdo = Raa / (Ri x Rfc) Donde: Rfdo = Riesgo de falta de detección objetivo, Raa = Riesgo de auditoría aceptable, Ri = Riesgo inherente, Rfc = Riesgo de falta de control, La obtención de una medida objetivo de riesgo de falta de detección constituye en un factor determinante a la hora de planificar y ejecutar una auditoría de estados financieros ya que incide: a) en la determinación del nivel de significación, b) en la selección de los procedimientos de auditoría alternativos con idénticos propósitos, c) en la determinación del alcance y oportunidad de los referidos procedimientos. El objetivo del presente proyecto es el desarrollo de un modelo integrado de cuantificación del riesgo inherente y del riesgo de falta de control – riesgo combinado – con vistas a lograr medidas del riesgo de falta de detección objetivo que puedan actuar como ejes conductores en los procesos de auditoría de estados financieros.