Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

CARACTERIZACIÓN DEL INFILTRADO LINFOCITARIO (CD3, CD4, CD8, CD45RO Y FOXP3) E INESTABILIDAD MICRO-SATELITAL EN PACIENTES CON CÁNCER COLORRECTAL

Autor: Luis Contreras M, Ana María Wielandt N, Karin Alvarez, Gabriel Cavada R, Alejandro Zárate C, Francisco López-Köstner, Daniela Simian M, Udo Kronberg, Cynthia Villarroel S

Publikováno v: Revista chilena de cirugía v.67 n.1 2015
SciELO Chile
CONICYT Chile
instacron:CONICYT

Introducción: En el cáncer colorrectal (CCR), se sugiere que un mejor pronóstico podría asociarse a una respuesta inmune antitumoral (del huésped) y/o a la presencia de una alta inestabilidad microsatelital (MSI). Objetivo: Determinar si los niv

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d03b1ab2242a81c6ff3a622b871e1bf
http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-40262015000100007

Formal Verification and Validation of AADL Models

Autor: Bozzano, M, Cavada, R, Cimatti, A, Katoen, J.-P, Nguyen, V., Noll, T, Olive, Xavier

Publikováno v: ERTS 2010 proceedings
ERTS2 2010, Embedded Real Time Software & Systems
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France

International audience; Safety-critical systems are increasingly difficult to com- prehend due to their rising complexity. Methodologies, tools and modeling formalisms have been developed to overcome this. Component-based design is an im- portant par

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::542b60fe2895a14f83c1c912e1685f82
https://hal.archives-ouvertes.fr/hal-02268731

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Supporting Requirements Validation: The EuRailCheck Tool.

Autor: Cavada, R., Cimatti, A., Mariotti, A., Mattarei, C., Micheli, A., Mover, S., Pensallorto, M., Roveri, M., Susi, A., Tonetta, S.

Publikováno v: 24th IEEE/ACM International Conference on Automated Software Engineering, 2009. ASE '09; 2009, p665-667, 3p