Alejandro Martinez

Learn More
We present a small-step operational semantics for the Python programming language. We present both a core language for Python, suitable for tools and proofs, and a translation process for converting Python source to this core. We have tested the composition of translation and evaluation of the core for conformance with the primary Python implementation,(More)
The efficacy of thrombolysis in clinical stroke subtypes is unclear. We compared the benefit of intravenous rt-PA in 11 patients with lacunar syndrome with that in 33 patients with a non-lacunar syndrome. Patients were matched by NIHSS score and time to treatment. Although no statistically significant differences were detected in outcome, the benefit was(More)
We present a small-step operational semantics for the Python programming language. We present both a core language for Python, suitable for tools and proofs, and a translation process for converting Python source to this core. We have tested the composition of translation and evaluation of the core for conformance with the primary Python implementation ,(More)
[To freethinking] iv ACKNOWLEDGEMENTS I would like to thank my advisor, Dr. Santamarina, for the opportunity to work and study in his group. His patience, dedication and insightful comments were the keystone for the success of this thesis. Also, I would like to thank to my thesis suggestions and exceptional courses taught at Georgia Tech. I want to express(More)
Erratum to: A de novo whole gene deletion of XIAP detected by exome sequencing analysis in very early onset inflammatory bowel disease: a case report Following publication of the original version [1] of the article in BMC Gastroenterology it was brought to our attention that the author's name has been incorrectly spelt, instead of ' Alejuandro' it should be(More)
Cambios principales de las Guías de la American Heart Association de 2010 en resucitación cardiopulmonar y soporte cardiaco avanzado AbstrAct ACLS 2010 Guidelines, has arrived, we found the same changes in shape and especially the background. The order of the letters ABC learned over several years, changes to CBA, seeking to improve heart function, is(More)
  • Antonio Villaraigosa, Dennis P. Zine, Paul Koretz, Tony Cardenas, Jose Huizar, Janice Hahn +54 others
  • 2011
Acknowledgements The LADOT Bicycle Program would like to thank the following individuals and organizations for their support and contribution to this study.
  • 1