A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Structural and enzymatic characterization of ABgp46, a novel phage endolysin with broad anti-Gram-negative bacterial activity

The present study demonstrates the antibacterial potential of a phage endolysin against Gram-negative pathogens, particularly against multidrug resistant strains of Acinetobacter baumannii. We have cloned, heterologously expressed and characterized a novel endolysin (ABgp46) from Acinetobacter phage vb_AbaP_CEB1 and tested its antibacterial activity against several multidrug-resistant A. baumannii strains. LC-MS revealed that ABgp46 is an N-acetylmuramidase, that is also active over a broad pH range (4.0-10.0) and temperatures up to 50°C. Interestingly, ABgp46 has intrinsic and specific anti-A. baumannii activity, reducing multidrug resistant strains by up to 2 logs within 2 hours. By combining ABgp46 with several organic acids that act as outer membrane permeabilizing agents, it is possible to increase and broaden antibacterial activity to include other Gram-negative bacterial pathogens. In the presence of citric and malic acid, ABgp46 reduces A. baumannii below the detection limit (> 5 log) and more than 4 logs P. aeruginosa and Salmonella Typhimurium strains. Overall, this globular endolysin exhibits a broad and high activity against Gram-negative pathogens, that can be enhanced in presence of citric and malic acid, and be used in human and veterinary medicine.

Structural and functional characteristics of rat hearts with and without myocardial infarct. Initial experience with doppler echocardiography

OBJECTIVE: To assess by Doppler echocardiography the structural and functional alterations of rat heart with surgical induced extensive myocardial infarction. METHODS: Five weeks after surgical ligature of the left coronary artery, 38 Wistar-EPM rats of both sexes, 10 of them with extensive infarction, undergone anatomical and functional evaluation by Doppler echocardiography and then euthanized for anatomopathological analysis. RESULTS: Echocardiography was 100% sensible and specific to anatomopathological confirmed extensive miocardial infarction. Extensive infarction lead to dilatation of left ventricle (diastolic diameter: 0.89cm vs.0.64cm; systolic: 0.72cm vs. 0.33cm) and left atrium (0.55cm vs. 0.33cm); thinning of left ventricular anterior wall (systolic: 0.14cm vs. 0.23cm, diastolic: 0.11cm vs. 0.14cm); increased mitral E/ A wave relation (6.45 vs. 1.95). Signals of increased end diastolic ventricle pressure, B point in mitral valve tracing in 62.5% and signs of pulmonary hypertension straightening of pulmonary valve (90%) and notching of pulmonary systolic flow (60%) were observed in animals with extensive infarction. CONCLUSION: Doppler echocardiography has a high sensitivity and specificity for detection of chronic extensive infarction. Extensive infarction caused dilatation of left cardiac chambers and showed in Doppler signals of increased end diastolic left ventricular pressure and pulmonary artery pressure.

Origen y evolución del magma granítico en el Batolito de Achala: Fundamentos petrológicos, geoquímicos y estructurales para la preconcentración uranífera en el área de Cañada del Puerto. Origin and evolution of the granitic magma in the Achala Batholith: petrological, geochemical and structural constraint for the uranium preconcentration in the Cañada del Puerto area.

El batolito de Achala es uno de los macizos graníticos más grandes de las Sierras Pampeanas, el cual se localiza en las Sierras Grandes de Córdoba. Si bien el batolito de Achala ha sido objeto de diversos estudios geológicos, principalmente debido a sus yacimientos de uranio, el mismo todavía no posee un inequívoco modelo petrogéntico. Tampoco existe, en la actualidad, un inequívoco modelo que explique la preconcentración de uranio en las rocas graníticas portadores de este elemento. Este Proyecto tiene como objetivo general realizar estudios petrológicos y geoquímicos en la región conocida como CAÑADA del PUERTO, un lugar estratégicamente definido debido a la abundancia de granitos equigranulares de grano fino y/o grano medio biotíticos, emplazados durante el desarrollo de cizallas magmáticas tardías, y que constituirían las rocas fuentes de uranio. El objetivo específico requiere estudios detallados de las diferentes facies del batolito de Achala en el área seleccionada, incluyendo investigaciones petrológicas, geoquímicas de roca total, geoquímica de isótopos radiactivos y química mineral, con el fin de definir un MODELO PETROGENÉTICO que permita explicar: (a) el origen del magma padre y el subsiguiente proceso de cristalización de las diferentes facies graníticas aflorantes en el área de estudio, (b) identificar el proceso principal que condujo a la PRECONCENTRACIÓN uranífera de los magmas graníticos canalizados en las cizallas magmáticas tardías. Ambos objetivos se complementan y no son compartimentos estancos, ya que el logro combinado de estos objetivos permitirá comprender de mejor manera el proceso geoquímico que gobernó la distribución y concentración del U. De esta manera, se intentará definir un MODELO de PRECONCENTRACIÓN URANÍFERA EXTRAPOLABLE a otras áreas graníticas enriquecidas en uranio, constituyendo una poderosa herramienta de investigación aplicada a la exploración uranífera. En particular, el conocimiento de los recursos uraníferos es parte de una estrategia nacional con vistas a triplicar antes del 2025 la disponibilidad energética actual, en cuyo caso, el uranio constituye la materia prima de las centrales nucleares que se están planificando y en construcción. Por otro lado, la Argentina adhirió al Protocolo de Kioto y, junto a los países adherentes, deben disminuir de manera progresiva el uso de combustibles fósiles (que producen gases de efecto invernadero), reemplazándola por otras fuentes de energía, entre ellas, la ENERGÍA NUCLEAR. Este Proyecto, si bien NO es un Proyecto de exploración y/o prospección minera, es totalmente consistente con la política energética nacional promocionada desde el Ministerio de Planificación Federal, Inversión Pública y Servicios (v. sitio WEB CNEA), que ha invertido, desde 2006, importantes sumas de dinero, en el marco del Programa de Reactivación de la Actividad Nuclear.Los estudios referidos serán conducidos por los Drs. Dahlquist (CONICET-UNC) y Zarco (CNEA) quienes integrarán sus experiencias desarrolladas en el campo de las Ciencias Básicas con aquel logrado en el campo de las Ciencias Aplicadas, respectivamente. Se pretende, por tanto, aplicar conocimientos académicos-científicos a un problema de geología con potencial significado económico-energético, vinculando las instituciones referidas, esto es, CONICET-UNC y CNEA, con el fin de contribuir a la actividad socioeconómica de la provincia de Córdoba en particular y de Argentina en general.Finalmente, convencidos de que el progreso de la Ciencia y el Desarrollo Tecnológico está íntimamente vinculada con la sólida Formación de Recursos Humanos se pretende que este Proyecto contribuya SIGNIFICATIVAMENTE a las investigaciones de Doctorado que iniciará la Geóloga Carina Bello, actual Becaria de la CNEA.

Transformacion de Productos Regionales mediante procesos catalíticos. Transformation of Regional products by catalytic processes.

En este proyecto se plantea la posibilidad de aumentar el valor agregado de compuestos abundantes en nuestro país (terpenos y glicerol) mediante reacciones de oxidación y transesterificación, reemplazando los procesos homogéneos existentes por procesos heterogéneos eco-compatibles. Para ello se desarrollarán catalizadores heterogéneos del tipo MCM-41 e hidroxidos de doble capa (HDC) que posean la función activa específica para estas reacciones bajo estudio.El limoneno, principal componente del aceite esencial de limón y los alfa- y beta- pinenos, presentes en el aceite de trementina, son materiales base ampliamente disponibles. Su oxifuncionalización catalítica, mediante reacciones de epoxidación u oxidación alilica, permite producir una gran variedad de productos como fragancias, agroquímicos, medicinas, etc. En tanto, se espera un marcado incremento en la disponibilidad de glicerol, subproducto de la producción de biodiesel. Mediante su transesterificación catalítica heterogénea es posible obtener selectivamente monoésteres, los cuales tienen importantes aplicaciones como emulsionantes o agentes de estabilización en la producción de fármacos, cosméticos y alimentos. El diseño y síntesis de los materiales catalíticos mencionados permitirá la obtención de productos químicos finos por métodos limpios con bajo impacto ambiental, atendiendo a los altos niveles de contaminación ambiental generados por los procesos homogéneos tradicionales.

Factores Críticos del Desarrollo Local y Regional Integrado zona serrana y Norte de la Provincia de Córdoba-. Validación causal estadística de Modelos de Ecuaciones Estructurales. Identificación de problemas normativos de las OSC.Critical Factors of Local and Regional Development in north of the Province of Córdoba. Causal validation with Structural Equation Modeling. Legal regulations of civil society.

En la investigación anterior -en la zona pampeana de la Provincia de Córdoba- se demostró teórica y empíricamente, que el desarrollo de la Sociedad Civil muchas veces libradas a su suerte y con limitaciones legales apoyan decididamente el desarrollo local, sin embargo han logrado solo parcialmente sus objetivos, por lo que es necesario comenzar un camino de fortalecimiento en los nuevos roles que deben asumir. Los gobiernos locales, a la vez, intentan trabajosamente con contados éxitos detener el procesos de descapitalización social -financiera y humana- de sus comunidades locales y regionales, peregrinando con escaso éxito a los centros concentrados del poder político y económico, para procurar los recursos financieros y humanos necesarios que no alcanzan a reponer los que se fugan desde hace décadas de sus localidades. Las empresas, con ciclos recurrentes de crecimiento y decrecimiento vinculados a los mercados en que colocan sus productos, también se debaten en la búsqueda de los escasos recursos, financieros y humanos, que les permitan consolidar un desarrollo a mediano y largo plazo. El desarrollo alcanzado en Sistemas de información, instrumentos de relevamiento, análisis y elaboración de propuestas para el Desarrollo Local, nos permite avanzar en: 1. La confirmación empírica de las hipótesis iniciales - factores exógenos y endógenos - en la zona Norte y Serrana de la provincia 2. La validación científica -mediante el Análisis de ecuaciones estructurales. de tales supuestos, para el conjunto de las poblaciones analizadas en ambas etapas. 3. La identificación de los problemas normativos que afectan el desarrollo de las Organizaciones de la Sociedad Civil (OSC). METODOLOGÍA Respecto la validación empírica en la zona norte y serrana 1. Selección de las 4 localidades a relevar de acuerdo a las categorías definidas 2. Elaboración de acuerdos con autoridades e instituciones locales. 3. Relevamiento cualitativo con líderes locales y fuentes de datos secundarias. 4. Adaptación de instrumentos de relevamiento a las realidades locales y estudios previos 5. Relevamiento cuantitativo de campo, capacitación de encuestadores y supervisores. 6. Procesamiento y elaboración de informes finales locales. Respecto de la construcción de modelos de desarrollo 1. Desarrollar las dimensiones especificas y las variables (items) de cada factor crítico. 2. Revisar el instrumento con expertos de cada una de las dimensiones. 3. Validar a nivel exploratorio por medio de un Análisis de Componentes Principales 4. Someter a los expertos la evaluación de una serie de localidades que representan cada uno. Respecto de la identificación de las normas legales que afectan a la Sociedad Civil 1.Relevamiento documental de normas 2. Relevamiento con líderes de instituciones de la Sociedad Civil 3. Análisis de las normas vigentes 4. Elaboración de Informes Finales y Transferencia a líderes e instituciones

Manual of conchology, structural and systematic : with illustrations of the species. by George W. Tryon, Jr.

Ser.2, v.22

Manual of conchology, structural and systematic : with illustrations of the species. by George W. Tryon, Jr.

Ser.2, v.20

Manual of conchology, structural and systematic : with illustrations of the species. by George W. Tryon, Jr.

Ser.2, v.14

Manual of conchology, structural and systematic : with illustrations of the species. by George W. Tryon, Jr.

Ser.2, v.19

Manual of conchology, structural and systematic : with illustrations of the species. by George W. Tryon, Jr.

Ser.2, v.18

Manual of conchology, structural and systematic : with illustrations of the species. by George W. Tryon, Jr.

Ser.2, v.21

Manual of conchology, structural and systematic : with illustrations of the species. by George W. Tryon, Jr.

Ser.2, v.10

Manual of conchology, structural and systematic : with illustrations of the species. by George W. Tryon, Jr.

Ser.2, v.15