Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM)

Source URL: www.clip.dia.fi.upm.es

• Logic programming
• Software engineering
• Assertion
• Debugging
• Abstraction
• SLD resolution
• Abstract interpretation
• Tree
• Logic in computer science
• Computer programming
• Theoretical computer science

Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3

Source URL: clip.dia.fi.upm.es

• Logic programming
• Rules of inference
• Automated theorem proving
• Theoretical computer science
• SLD resolution
• Abstraction
• Function
• Interpretation
• Algorithm
• Mathematics
• Mathematical logic
• Logic

Universidad de La Habana Facultad de Biología Instituto de Medicina Tropical “Pedro Kourí” Actividad antiviral de un extracto liofilizado del fruto de Punica granatum L.

Source URL: tesis.repo.sld.cu

RESOLUCION NoPOR CUANTO: Por Acuerdo adoptado por el Consejo de Estado el 21 de abril de 1994 quien resuelve fue designada Ministra de Ciencia, Tecnología y Medio Ambiente.

Source URL: bvs.sld.cu

ISSN: REPÚBLICA DE CUBA 2014

Source URL: files.sld.cu

Instituto de Medicina Tropical “Pedro Kourí” Subdirección de Atención Médica “Caracterización del dengue hemorrágico en adultos.

Source URL: tesis.repo.sld.cu

. I. CURSO INTERNACIONAL DE DENGUE

Source URL: instituciones.sld.cu

Microsoft Word - Third Announcement IP-VP 2015

Source URL: www.scf.sld.cu

• Microbiology
• Vaccination
• Vaccine
• Virology
• Rino Rappuoli
• Biology
• Health
• Medicine
• Immunologists
• Year of birth missing

VI. CANCER DE PULMON 1. Genotyping non-small cell lung cancer (NSCLC) in Latin America Arrieta O, Cardona AF, Federico Bramuglia G, Gallo A, Campos-Parra AD, Serrano S, Castro M, Avilés A, Amorin E, Kirchuk R, Cuello M

Source URL: www.inen.sld.pe

• KRAS
• Chemistry
• Non-small-cell lung carcinoma
• Protein kinase inhibitor
• Cetuximab
• Gefitinib
• Lung cancer
• Medicine
• Oncology

CANCER DE MAMA Phase I dose-escalation and pharmacokinetic study of ispinesib, a kinesin spindle protein inhibitor, administered on days 1 and 15 of a 28-day schedule in patients with no prior treatment for advanced bre

Source URL: www.inen.sld.pe

• Breast cancer
• Ribbon symbolism
• Lapatinib
• Organofluorides
• Sulfones
• Apatinib
• Inflammatory breast cancer
• Metastatic breast cancer
• HER2/neu
• Chemistry
• Medicine
• Organic chemistry