Search Results - "Villarraga, C."
-
1
The effect of thermal cycles on limestone mechanical degradation
Published in International journal of rock mechanics and mining sciences (Oxford, England : 1997) (01-09-2018)“…This work presents the results of an experimental program performed to study the effect of long series of moderate thermal cycles on the mechanical response of…”
Get full text
Journal Article Publication -
2
EVALUACION DE LA AGROINDUSTRIA DEL ALMIDON AGRIO DE YUCA (Manihot esculenta, Crantz) EN CORDOBA Y SUCRE
Published in Temas Agrarios (01-01-2006)“…El almidón agrio de yuca es un producto obtenido por fermentación espontánea del almidón nativo de este tubérculo, posterior secado con luz solar. En Colombia…”
Get full text
Journal Article -
3
A computational model for SAT-based verification of hardware-dependent low-level embedded system software
Published in 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC) (01-01-2013)“…This paper describes a method to generate a computational model for formal verification of hardware-dependent software in embedded systems. The computational…”
Get full text
Conference Proceeding