Editorial: Farewell/Hasta La Vista!

Hasta-La-Vista: Termination Analyser for Logic Programs

Verifying termination is often considered as one of the most important aspects of program verification. Logic languages, allowing us to program declaratively, increase the danger of non-termination. Therefore, termination analysis received considerable attention in logic programming (see e.g. [7, 8, 10, 16]). Unfortunately, the majority of existing termination analysers, such as TermiLog [15], ...

Detección de perfiles de usuarios en la Web 2.0 desde el punto de vista emocional

Actualmente, los estudios sociológicos sobre los estados ańımicos se realizan a través de la interpretación de encuestas individuales en las que se formulan preguntas acerca del estado emocional y del bienestar del encuestado. Sin embargo, es bien conocido que el proceso podŕıa dar con interpretaciones erróneas. Es por ello, que el objetivo principal del proyecto de tesis es la creación de técn...

Lake Buena Vista, Fla

Technical Sessions (8 am Noon) 5A Aerospace – Coronado A 5BWear III – Coronado B 5C Condition Monitoring III – Mini Course and Papers: XRF for Lubrication Analysis – Coronado C 5D Seals I – Coronado D 5E Tribotesting – Coronado E 5F Lubrication Fundamentals V – Coronado F/G 5GMetalworking III – Fiesta 3/4 5H Commercial Marketing Forum V – Fiesta 5 5I Rolling Element Bearings I – Yucatan 1 5J No...

VISTA Status Report December 2009

VISTA Status Report December 1997