Verificación de Sistemas Basada en Teoría de Tipos

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.

Validación de una técnica para la evaluación estructurada del riesgo de violencia contra la pareja: Un avance en Córdoba sobre la práctica profesional basada en la evidencia.

EL PROBLEMA A raíz del reconocimiento de la violencia contra la mujer como un problema de salud pública, en las últimas dos décadas ha ocurrido una notable transformación de la respuesta a esta problemática en todos los sectores de la sociedad, incluyendo el sistema de justicia penal, los servicios sociales, el sistema sanitario y la opinión pública. La aproximación sanitaria y epidemiológica a la violencia contra la mujer, y específicamente la que ocurre en el seno de las relaciones de pareja (violencia contra la pareja o VCP), resalta el papel de la prevención y la importancia de valorar el riesgo de violencia para orientar las estrategias de intervención que los profesionales y técnicos administrarán a fin de evitar daños y peligros, a veces letales, sobre la víctima. Aunque la VCP es un tema prioritario en las políticas públicas de Córdoba, aun permanece el interrogante de cómo funcionan en la población local las técnicas estructuradas de evaluación del riesgo que han demostrado eficacia en la predicción del fenómeno a partir de la identificación y la intervención sobre los factores de riesgo que incrementan la probabilidad de su aparición. El RVD-Bcn es una de estas técnicas y fue desarrollada a fin de incrementar la precisión de los pronósticos y de orientar las decisiones profesionales relativas a la intervención con la víctima. HIPÓTESIS El RVD-Bcn administrado en mujeres de Córdoba será una herramienta útil para evaluar de forma objetiva, replicable y válida el riesgo de violencia que una mujer pueda tener, en un momento dado, por parte de su pareja actual o anterior y favorecerá la toma de decisiones de los profesionales para la gestión de cada caso en función de los niveles de riesgo y las necesidades identificadas. OBJETIVOS General: Poner a disposición de la comunidad profesional que trabaja en contextos sociosanitarios de Córdoba un instrumento validado empíricamente en población local para asistir a los profesionales en su toma de decisiones relativas al riesgo de VCP y a la gestión de los casos. Específicos: Identificar niveles de riesgo de violencia en las mujeres participantes, evaluar la fiabilidad y validez predictiva del RVD_Bcn sobre la VCP, establecer puntos de corte que equilibren los niveles de sensibilidad y especificidad diagnósticos y establecer recomendaciones para su uso en la gestión de los casos de VCP. METODOLOGÍA Estudio longitudinal y multicéntrico. Mediante una entrevista estructurada se administrará un cuestionario de datos sociodemográficos y de la situación de pareja y familiar y el RVD-Bcn a una muestra de 500 mujeres mayores de 18 años consultantes en servicios sociosanitarios de Córdoba. Se realizarán dos entrevistas de seguimiento al cabo de los 3 y 6 meses para recoger información sobre los sucesos violentos que la mujer haya podido sufrir durante ese período. Se realizarán análisis psicométricos de fiabilidad y validez predictiva de la herramienta mediante técnicas de regresión logística y el trazado de curvas ROC. RESULTADOS ESPERADOS Las herramientas de evaluación del riesgo de VCP han demostrado eficacia predictiva similar (en promedio d= .40) en diferentes poblaciones y contextos (Hanson, Helmus & Bourgon, 2007). Es esperable que el RVD-Bcn demuestre una capacidad predictiva similar a la obtenida en la muestra original. IMPORTANCIA DEL PROYECTO El uso de protocolos estructurados para la valoración profesional del riesgo de violencia incrementa la capacidad predictiva en los pronósticos profesionales, reduce la tasa de falsos positivos y falsos negativos, mejora la eficacia de las medidas preventivas al adecuarlas a los niveles de riesgo estimados y a las necesidades detectadas en cada caso individualizado, y mejora la comunicación entre profesionales. Este estudio representa un primer esfuerzo en Córdoba de aproximación empírica a la evaluación estructurada del riesgo en casos de VCP y sus resultados serán útiles para indicar los lineamientos de investigación futura.

[Sermon en honras qve el convento de el Santissimo Rosario y Santo Domingo de Cadiz celebrò al V.P. Presentado fr. Francisco de Possadas, hijo de el de Sacala Coeli ... de el orden de predicadores ... /

Palau,

La tarasca de parto en el meson del infierno, y dias de fiesta por la noche /

Descripción basada en CCPB.

Infancia ilustrada y niñez instruida : en todo genero de virtudes christianas, morales y politicas ... : para que le vsen en la escuela : dispuesto en lecciones ... /

Mode of access: Internet.

Libro de la oracion y meditacion : en el qual se trata de la Consideracion de los principales Mysterios de nuestra Fe : con otros tres breues tratados de la excellencia de las principales obras penitenciales que son Lymosna, Ayuno, y Oracion /

CCBE s. XVI

Historia critica de España, y de la cultura española en todo genero /

Mode of access: Internet.

Historia critica de España, y de la cultura española en todo genero /

Mode of access: Internet.

Theatro critico universal ò Discursos varios en todo genero de materias, para desengaño de errores comunes ... /

Contiene: Tomo 1 (XXVIII, 512 p., [1] h. de grab.). - Tomo 2 (XXXIX, [1] en bl., 586 p.). - Tomo 3 (LXIV, 483 p., [1] en bl.). - Tomo 4 (XXXVI, 555 p., [1] en bl.) - Tomo 5 (LII, 523 p., [1] en bl.) - Tomo 6 (XLVIII, 496 p.). - Tomo 7 (XLVIII, 559 p., [1] en bl.). - Tomo 8 (LVI, 527 p., [1] en bl.)

Adriano in Siria. Opera drammatica da rappresentarsi nel regio teatro del Buon-Ritiro, Festeggiandosi il gloriosissimo giorno natalizio di ... D. Ferdinando VI ... = Adriano en Syria. Opera dramatica para representarse en el real coliseo del Buen-Retiro, Festejandose el gloriosissimo dia natalicio de ... D. Fernando VI...

Mode of access: Internet.

Compendio de contratos públicos, autos de particiones, executivos y de residencias, con el genero del papel sellado, que a cada despacho toca /

Mode of access: Internet.

Aviso de gente recogida y especialmente de la dedicada al servicio de Dios : en el qual se dan consejos, y remedios contra los peligros y tentaciones, que en el camino del Cielo se suelen ofrecer. Y se da orden de vida para qualquier estado de persona en todos los tiempos del año /

Mode of access: Internet.

[De la esperiencia en medicina] : discurso leído en la Universidad Central, por el Licenciado D. Gaspar López y López, en el acto solemne de recibir la investidura de Doctor en la Facultad de Medicina.

Tesis Universidad Central, 1866.

Las consecuencias de quedarse y de volver en el empleo de los uruguayos que migraron a España

En este artículo se analiza el acceso al empleo de emigrados y retornados uruguayos. Se discute si la aparente ventaja del retorno, desde un contexto de alto desempleo como el español hacia otro con pleno empleo como el uruguayo, se distribuye de forma homogénea entre los retornados de este origen según sexo, instrucción y duración del asentamiento tras la migración. Aprovechando la coincidencia en la fecha de realización de los censos de ambos países (2011), se estima la probabilidad de empleo incluyendo la condición migratoria (retornado o emigrado) como control y término de interacción con otras características individuales. Los resultados confirman una distribución heterogénea de las ganancias del retorno sobre el acceso al empleo y el sector de inserción, que favorece a los varones menos educados y perjudica a las mujeres y a los retornados más instruidos.

Las mujeres en el sector minero de Chile: propuestas para políticas públicas de igualdad

Elaborado a partir de un diagnóstico del sector minero en Chile, este documento presenta una serie de recomendaciones de políticas públicas que tienden a aumentar la participación de las mujeres en dicho sector de la industria nacional, y su retención en el mismo, elaboradas a través de un proceso de diálogo intersectorial público-privado que tuvo lugar durante 2015.