Estudio preclínico de la acriflavina en la progresión tumoral del carcinoma epidermoide nasal

Premio Extraordinario de Doctorado de la UAH en 2013El cáncer es la segunda causa de mortalidad en los países desarrollados. Los tumores malignos de cabeza y cuello son relativamente frecuentes, representando en España la cuarta o quinta neoplasia en orden de frecuencia para los varones y la décima o undécima para las mujeres. La mayoría son carcinomas epidermoides y representan el 5-10 por ciento de todos los procesos malignos. En España, origina aproximadamente el 5 por ciento de las muertes por cáncer lo que supone unas 4000 muertes anuales y se calcula que para el 2015 habrá unos 12.000 nuevos casos por año. Los tumores de la región nasal están englobados dentro de los tumores de cabeza y cuello. Su comportamiento biológico y su estudio clínico y diagnóstico son similares en las diferentes localizaciones y por tanto su tratamiento se aplica con conceptos y principios similares. El crecimiento de un tumor, tanto primario como secundario, a partir de un cierto diámetro (de tan sólo 2-3 mm3) requiere su vascularización. Sin ella, las células tumorales mueren por deficiencia de nutrientes y oxígeno, y por falta de eliminación de sustancias de desecho. La angiogénesis es, por tanto, esencial para la progresión tumoral. En este trabajo, hemos estudiado la actividad antiangiogénica y proapoptótica de una sustancia llamada Acriflavina frente a células tumorales de carcinoma epidermoide nasal de rata o FAT-7. La Acriflavina, en estudios in vitro, presenta efectos antiproliferativos frente a esta línea celular directamente proporcional a la dosis del compuesto. En el ensayo in vivo, hemos implantado un cultivo de células tumorales a nivel subcutáneo en la región abdominal de 19 ratas Fisher, 13 machos y 6 hembras. Las ratas desarrollaron tumor macroscópico al cabo de 4 días y un crecimiento progresivo del tumor en días posteriores. La Acriflavina, inyectada a diario intraperitonealmente y al cabo de una semana de la implantación de células FAT-7 carece de efectos secundarios relevantes para los animales de experimentación y es capaz de inhibir la progresión tumoral provocando la remisión completa del tumor al cabo de dos semanas de tratamiento. En nuestro estudio concluimos que la Acriflavina inhibe la angiogénesis de esta línea celular implantada en ratas Fisher ya que en los cortes histológicos de estos tumores se evidencia una disminución en el número de vasos sanguíneos de manera estadísticamente significativa y promueve la apoptosis de células FAT-7 según la técnica de TUNEL

Symbolic execution as a basis for termination analysis

Program termination is a relevant property that has been extensively studied in the context of many different formalisms and programming languages. Traditional approaches to proving termination are usually based on inspecting the source code. Recently, a new semantics-based approach has emerged, which typically follows a two-stage scheme: first, a finite data structure representing the computation space of the program is built; then, termination is analyzed by inspecting the transitions in this data structure using traditional, syntax-based techniques. Unfortunately, this approach is still specific to a programming language and semantics. In this work, we present instead a general, high-level framework that follows the semanticsbased approach to proving termination. In particular, we focus on the first stage and advocate the use of symbolic execution, together with appropriate subsumption and abstraction operators, for producing a finite representation of the computations of a program. Hopefully, this higher level approach will provide useful insights for designing new semantics-based termination tools for particular programming languages. © 2015 Elsevier B.V. All rights reserved.This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Economia y Competitividad (Secretaria de Estado de Investigacion, Desarrollo e Innovacion) under grant TIN2013-44742-C4-1-R and by the Generalitat Valenciana under grant PROMETEO/2011/052.Vidal Oriola, GF. (2015). Symbolic execution as a basis for termination analysis. Science of Computer Programming. 102:142-157. https://doi.org/10.1016/j.scico.2015.01.007S14215710

Un aragonesismo sintáctico en don Juan Manuel

Colón Germán. Un aragonesismo sintáctico en don Juan Manuel. In: Cahiers de linguistique hispanique médiévale. N°7-1, 1982. pp. 61-72