Formación y ampliación de clases de equivalencia aplicadas al tratamiento de un niño autista.

Resumen tomado de la revista

Facilitation of the equivalence - equivalence responding

Resumen tomado de la publicaci??n

Estudio de la Efectividad de Tres Técnicas de Evaluación de Código: Resultados de una Serie de Experimentos.

Hasta la fecha se han evaluado distintas técnicas de verificación y validación teórica y empíricamente. La mayoría de las evaluaciones empíricas se han llevado a cabo sin sujetos, abstrayendo el efecto del sujeto sobre la técnica a la hora de aplicarla. Hemos evaluado mediante un experimento con sujetos la efectividad de tres técnicas de verificación y validación de código: partición en clases de equivalencia, cobertura de decisión y lectura de código mediante abstracciones sucesivas, estudiando la capacidad de las técnicas para la detección de fallos en tres programas distintos. Hemos replicado el experimento ocho veces en cuatro entornos distintos. Los resultados arrojan diferencias entre las técnicas y señalan variables contextuales del proyecto software que deberían considerarse cuando se quiera elegir o aplicar una técnica de verificación y validación.

Percepciones sobre tres técnicas de evaluación de código: un estudio empírico sobre la intuición y las opiniones de los encargados de las pruebas de software

La Ingeniería del Software Empírico (ISE) utiliza como herramientas los estudios empíricos para conseguir evidencias que ayuden a conocer bajo qué circunstancias es mejor usar una tecnología software en lugar de otra. La investigación en la que se enmarca este TFM explora si las intuiciones y/o preferencias de las personas que realizan las pruebas de software, son capaces de predecir la efectividad de tres técnicas de evaluación de código: lectura por abstracciones sucesivas, cobertura de decisión y partición en clases de equivalencia. Para conseguir dicho objetivo, se analizan los datos recogidos en un estudio empírico, realizado por las tutoras de este TFM. En el estudio empírico distintos sujetos aplican las tres técnicas de evaluación de código a tres programas distintos, a los que se les habían introducido una serie de faltas artificialmente. Los sujetos deben reportar los fallos encontrados en los programas, así como, contestar a una serie de preguntas sobre sus intuiciones y preferencias. A la hora de analizar los datos del estudio, se ha comprobado: 1) cuáles son sus intuiciones y preferencias (mediante el test estadístico X2 de Pearson); 2) si los sujetos cambian de opinión después de aplicar las técnicas (para ello se ha utilizado índice de Kappa, el Test de McNemar-Bowker y el Test de Stuart-Maxwell); 3) la consistencia de las distintas preguntas (mediante el índice de Kappa), comparando: intuiciones con intuiciones, preferencias con preferencias e intuiciones con preferencias; 4) Por último, si hay coincidencia entre las intuiciones y preferencias con la efectividad real obtenida (para ello se ha utilizado, el Modelo Lineal General con medidas repetidas). Los resultados muestran que, no hay una intuición clara ni tampoco una preferencia concreta, con respecto a los programas. Además aunque existen cambios de opinión después de aplicar las técnicas, no se encuentran evidencias claras para afirmar que la intuición y preferencias influyen en su efectividad. Finalmente, existen relaciones entre las intuiciones con intuiciones, preferencias con preferencias e intuiciones con preferencias, además esta relación es más notoria después de aplicar las técnicas. ----ABSTRACT----Empirical Software Engineering (ESE) uses empirical studies as a mean to generate evidences to help determine under what circumstances it is convenient to use a given software technology. This Master Thesis is part of a research that explores whether intuitions and/or preferences of testers, can be used to predict the effectiveness of three code evaluation techniques: reading by stepwise abstractions, decision coverage and equivalence partitioning. To achieve this goal, this Master Thesis analyzes the data collected in an empirical study run by the tutors. In the empirical study, different subjects apply three code evaluation techniques to three different programs. A series of faults were artificially introduced to the programs. Subjects are required to report the defects found in the programs, as well as answer a series of questions about their intuitions and preferences. The data analyses test: 1) what are the intuitions and preferences of the subjects (using the Pearson X2 test); 2) whether subjects change their minds after applying the techniques (using the Kappa coefficient, McNemar-Bowker test, and Stuart-Maxwell test); 3) the consistency of the different questions, comparing: intuitions versus intuitions, preferences versus preferences and preferences versus intuitions (using the Kappa coefficient); 4) finally, if intuitions and/or preferences predict the actual effectiveness obtained (using the General Linear Model, repeated measures). The results show that there is not clear intuition or particular preference with respect to the programs. Moreover, although there are changes of mind after applying the techniques, there are not clear evidences to claim that intuition and preferences influence their effectiveness. Finally, there is a relationship between the intuitions versus intuitions, preferences versus preferences and intuitions versus preferences; this relationship is more noticeable after applying the techniques.

Explorando el potencial de aprendizaje de personas con esquizofrenia en distintas condiciones psicopatológicas

En el presente trabajo tratamos de explorar empíricamente el potencial de aprendizaje de personas con esquizofrenia en condiciones opuestas de estabilidad psicopatológica. Con este objetivo se realizó un experimento de equivalencia de estímulos o procedimiento general de aprendizaje de discriminaciones condicionales, estudiando seguidamente la formación de clases de equivalencia. La muestra incluyó 8 adultos en tratamiento en el programa de atención a trastornos mentales severos, con edades comprendidas entre 20 y 53 años. Debido a los abandonos, el procedimiento inicial fue modificado para reducir la duración y el esfuerzo atencional de la tarea. Los resultados mostraron que personas con esquizofrenia pueden adquirir la equivalencia de estímulos tanto en condiciones psicopatológicas de estabilidad como de descompensación en presencia de sintomatología positiva intensa. Este hallazgo es relevante para la terapia, concebida como aprendizaje, así como para el diseño de programas en el contexto de la rehabilitación y recuperación en la esquizofrenia.

Análises do matching de identidade generalizado por contingências de três e quatro termos: implicações para equivalência de estímulos

A expansão da tríplice continência em unidades com quatro ou mais elementos abriu novas perspectivas para a compreensão de comportamentos complexos, como a emergência de respostas que derivam da formação de classes de estímulos equivalentes e que modelam comportamentos simbólicos e conceituais. Na investigação experimental, o procedimento de matching to sample tem sido frequentemente empregado para estabelecer discriminações condicionais. Em particular, a obtenção do matching de identidade generalizado é considerada demonstrativa da aquisição dos conceitos de igualdade e diferença. Segundo argumentamos, o fato de se buscar a compreensão desses conceitos a partir de processos discriminativos condicionais pode ter sido responsável pelos frequentes fracassos em demonstrá-los em sujeitos não humanos. A falta de correspondência entre os processos discriminativos responsáveis por estabelecer a relação de reflexividade entre estímulos que formam classes equivalentes e o matching de identidade generalizado, nesse sentido, é aqui revista ao longo de estudos empíricos e discutida com respeito às suas implicações.

Estructura de datos avanzadas : clases disjuntas, montículos, árboles de búsqueda

En aquest treball s'amplia la implementació en Java de les estructures de dades iniciada per Esteve Mariné, utilitzant el seu disseny bàsic. Concretament, s'ha fet la programació de les estructures de a) classes disjuntes, utilitzant els algorismes de llistes encadenades i amb estructura d'arbre, b) monticles, amb els algorismes binari, binomial i de Fibonacci, i c) arbres de recerca basats en l'algorisme d'arbre binari vermell-negre, el qual complementa els dos ja existents amb algorismes d'encadenaments i AVL. Per a examinar l'evolució de les estructures, s'ha preparat un visualitzador gràfic interactiu amb l'usuari que permet fer les operacions bàsiques de l'estructura. Amb aquest entorn és possible desar les estructures, tornar a reproduir-les i desfer i tornar a repetir les operacions fetes sobre l'estructura. Finalment, aporta una metodologia, amb visualització mitjançant gràfics, de l'avaluació comparativa dels algorismes implementats, que permet modificar els paràmetres d'avaluació com ara nombre d'elements que s'han de tractar, algorismes que s'han de comparar i nombre de repeticions. Les dades obtingudes es poden exportar per a analitzar-les posteriorment.

Implementación y entrenamiento de un modelo clasificatorio de red neural sobre la base de datos IGBADAT para la clasificación de las rocas basálticas de acuerdo a las clases del sistema de clasificación tradicional de Yoder and Tiller.

Aquest treball vol implementar un projecte de mineria de dades en l'àrea de la petrologia ígnia, especialitat englobada dins la geologia clàssica.

Conflictos sobre lo sano : un estudio sociológico de la alimentación en las clases populares en Andalucía

En cub. posterior: Plan para la promoción de la actividad física y la alimentación equilibrada (2004-2008). Destinado a profesionales interesados en la Promoción de la Salud. Publicado en la página web de la Consejería de Salud y Bienestar social: www.juntadeandalucia.es/salud (Consejería de Salud y Bienestar Social / profesionales / Salud Pública / Promoción de la Salud / Actividad Física y Alimentación Equilibrada / Materiales)

Plataforma distribuida para la clasificación de clases de isomorfia de curvas hiperelípticas de género 2 sobre cuerpos finitos de característica 2

Análisis, desarrollo e implementación de una plataforma distribuida constituida por varios ordenadores de una red local en un sistema Grid, utilizando la técnica de Harvesting. De forma concreta lo que se calculará con la plataforma será un problema matemático consistente en la clasificación de curvas hiperelípticas de género 2 sobre cuerpos binarios. Los resultados de este proyecto pueden ser válidos con fines criptográficos de forma general. Se pretende separar el cálculo matemático de la plataforma, para que ésta sea reutilizable.

La Relación de equivalencia del civil partnership entre Inglaterra y España

En el presente trabajo se pretende averiguar la aplicabilidad de los supuestos de Šarčević desde el punto de vista traductológico. Por esta razón, se ha tomado como ejemplo práctico la investigación de la relación de equivalencia funcional del civil partnership entre los sistemas jurídicos de Inglaterra y de España. En primer lugar se ha estudiado la equivalencia funcional y su relación con el derecho comparado, destacando los puntos en común con la traducción jurídica. Luego, en materia de derecho, se han destacado las principales diferencias entre la common law y la civil law. El resultado, derivado de la aplicación práctica de la teoría Šarčević, demuestra que ésta no es válida para un traductor no jurista, lo cual ha necesitado buscar una forma alternativa para conseguir el equivalente.

Proyecto de investigación-acción. Análisis de clases de inglés como lengua extranjera

El uso de las clases particulares es un tabú para el mundo de la educación. Aunque populares y abundantes, existen muy pocos estudios que analicen cómo se debe llevar a cabo para ser provechosas y adecuadas. El presente trabajo muestra un proyecto de investigación-acción sobre el aprendizaje del ILE, que busca analizar este recurso en un caso concreto y mostrar cómo se puede mejorar su práctica.