Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Movilidad social en barrios de Córdoba: Villa La Tela y áreas colindantes. Social Mobility in Neighborhoods of Cordoba: Villa La Tela and Adjacent Areas.

Esta investigación propone aproximarse al conocimiento y comprensión de los diversos mecanismos de movilidad social en Villa La Tela barrios adyacentes (ciudad de Córdoba). Si bien las poblaciones objetivo poseen diferentes niveles de vida, este proyecto no se propone la comparación entre ambos sectores urbanos, sino la identificación de diversos patrones de movilidad social vigentes. Se intenta también aproximarse indirectamente al esquema de estratificación social vigente en la ciudad de Córdoba. El equipo se propone avanzar en la definición de una estrategia metodológica que permita comprender de una manera integral los diversos mecanismos de movilidad social. Se propone articular una triangulación de métodos cuantitativos y cualitativos que aproveche las fortalezas de cada enfoque para efectuar una mirada multidisciplinaria de las condiciones de vida de la población en estudio. Se intenta también aprovechar la inserción que ya tienen algunos de los investigadores del equipo en los barrios, a fin de aportar conocimientos útiles a las organizaciones que realizan actividades de intervención social. El trabajo se propone en tres fases constituidas por tres instancias que no necesariamente se corresponden con tiempos cronológicos: análisis de información secundaria (censos de población, relevamientos de organismos gubernamentales y civiles) y de resultados de investigaciones previas; en otra fase se generará un espacio recreativo en la comunidad que permita identificar las percepciones subjetivas de los actores locales en relación a las condiciones de vida y la experiencia de movilidad social (etnodrama, etnografía fotográfica); finalmente se realizará una fase de trabajo de encuestas y entrevistas en profundidad a partir de los insumos producidos en las dos fases antes mencionadas. Se tomará para ello, como unidad de análisis socio-económica a los hogares, considerados como el espacio físico y social desde el cual se diseñan e implementan las estrategias familiares de vida de sus miembros. Se considera que el proyecto puede transferir los resultados -parciales y finales- alcanzados a las instituciones intervinientes en los barrios considerados. Esta transferencia constituye una actividad de extensión concreta, dado que las intervenciones en marcha están destinadas a mejorar las condiciones de vida de la población en términos materiales y culturales. La acción sinérgica entre las diversas instituciones que intervienen o investigan sobre estas comunidades es un compromiso, ya que de ello depende la calidad del impacto en las propias comunidades. En este sentido, la descripción de las experiencias intergeneracionales de movilidad social de los hogares y su significación subjetiva, puede considerarse de interés tanto para las instituciones como para la comunidad misma. De esta manera se espera devolver a las comunidades lo que éstas le ofrezcan al equipo de investigación, como flujo de intercambio recíproco de conocimiento y desarrollo humano. Desde el punto de vista metodológico, el equipo espera realizar una evaluación de los distintos abordajes cuantitativos y cualitativos a escala microsocial, a fin de realizar propuestas válidas para nuevas investigaciones en ámbitos locales. This research proposes to approach the knowledge and understanding of the various mechanisms of social mobility in adjacent neighborhoods of Villa La Tela (Cordoba, Argentina). Although the target populations have different levels of life, this project does not intend to compare urban areas, but the identification of different patterns of social mobility nowadays. Indirect approach is also intended to outline the existing social stratification in Cordoba city. We plan to define a methodological approach based on triangulation of quantitative and qualitative methods, exploiting the strengths of each approach to make a multidisciplinary vision of the population living conditions. Project proposes phases consisting of three instances, that do not necessarily correspond with chronological time: 1) secondary data analysis (population censuses, surveys of government agencies and civilian organizations) and previous research results; 2) promotion of a recreation space in the community to identify the subjective perceptions of local actors in relation to living conditions and experience of social mobility; 3) finally there will be a phase of survey work and deep interviews from inputs produced in the two phases mentioned above. Households will be taken as socio-economic unit, also considered as social and physical space where family strategies of life are designed and implemented by its members. We considere this project can transfer the obtained results to the institutions involved in the concerned districts. This transfer is a specific outreach activity, since the interventions in place are aimed to improving the living conditions of population in material and cultural terms.

Enfermedades de origen viral u ocasionadas por mollicutes en los nuevos escenarios del cultivo en la provincia de Córdoba.

Argentina es el tercer exportador mundial de maíz luego de Estados Unidos y Brasil. La estimación de la campaña 2009/10 indica que la producción mundial de maíz alcanzaría los 832,37 millones de toneladas, cerca de 23 millones de toneladas más que lo cosechado durante la campaña anterior y 21 millones de toneladas mas que lo cosechado en la campaña récord de 2007/08 (USDA, 2010). La cosecha de maíz 2009/10 en Argentina sería récord, llegando a los 22,5 millones de toneladas lo que significaría un incremento de 53% respecto de la campaña anterior, igualando el récord de la campaña 2006/07. El aumento de la potencialidad de rendimiento se concibe desde un cultivo sin incidencia de enfermedades. La predicción de la ocurrencia y del riesgo de daño asociado a las enfermedades de los cultivos a gran escala, la determinación del riesgo de distribución de pestes exóticas o emergentes en la agricultura sustentable, la evaluación de riesgo/beneficio del control biológico y la evaluación de enfermedades asociadas con el calentamiento global o el cambio de prácticas culturales son tópicos importantes en la ciencia agropecuaria moderna. Las enfermedades del maíz, en especial las producidas por virus y mollicutes se han incrementado en los últimos años debido, entre otras causas, al cultivo continuo desde el norte del país y países vecinos desde donde migran los vectores, a los cultivares de alto rendimiento que en muchos casos son susceptibles a estos patógenos y en gran medida a los cambios climáticos globales que generan que virosis de zonas tropicales y subtropicales se extiendan a zonas templadas. El principal enfoque para el control es el conocimiento del ciclo epidemiológico de la enfermedad ubicado para cada ambiente. En este marco es que desde el Departamento de Graduados de la Fac. de Cs. Agropecuarias, junto con la Secretaría de Extensión surgió la necesidad de la transferencia de los resultados de la investigación. Los conocimientos adquiridos en investigación hasta el presente, en toda la extensión de la Provincia de Córdoba, servirán a profesionales asesores, empresas semilleras y de insumos agropecuarios, productores y estudiantes próximos a graduarse a conocer estas enfermedades, sus vectores, las condiciones predisponentes y tener acceso a información actualizada para lograr su manejo con medidas preventivas desde el momento de la compra de los insumos agropecuarios, el sistema de labranza y de las fechas de siembra. Entrenar al productor para que adquiera esta habilidad le permitirá escapar a pérdidas de hasta 60% del lote, como son las producidas en la Provincia por algunas virosis como el Mal de Río Cuarto (March et al., 1993, Gaceta agronómica 76: 384), o pérdidas no perceptibles pero reales, de 14% en plantas con esta enfermedad respecto a plantas sanas (Ornaghi et a., 1995, IX J. Fitosanitarias Argentinas: 84). Otras virosis, como el mosaico común, no producen grandes epidemias sino son incidiosas, están presentes todos los años con pérdidas de producción a niveles tan significativos como 5,5 qq/ha e incidencias de hasta 44% en la Provincia (Lenardón y Giolitti, 1999, Proyecto de Investig. en Fitovirología INTA-JICA) y requiere certificación sanitaria para la exportación del grano pues se transmite por semilla. Por su parte, mollicutes emergentes como el Corn stunt spiroplasma, se han detectado en Córdoba con incidencias de 61% en lotes de Justiniano Posse y de 80% en Sarmiento, habiéndose detectado en la campaña 2009/10 en 4 localidades de la Provincia. Virosis re-emergentes como el MCMV, que produce necrosis letal del maíz en sinergismo con otras virosis, han hecho su reaparición con niveles de hasta 18% de infección. Reconocer sus síntomas y conocer las formas de dispersión y transmisión permitirá al profesional y al productor la evaluación del problema y tomar medidas de prevención y manejo de estas enfermedades para lograr los rendimientos esperados.

Barcelona, metropolis policentrica en red

La organización de la producción en el espacio se asocia con el crecimiento y el desarrollo económico. En esta investigación se propone el estudio de las relaciones entre Barcelona y los municipios de su sistema urbano desde tres niveles del análisis: el área metropolitana, la región metropolitana policéntrica, y la red de ciudades. El estudio del área metropolitana permite comprobar el cambio de extensión de la metrópolis de Barcelona, la dirección de la expansión y la creciente integración con otras áreas urbanas de Cataluña. El análisis interno del área metropolitana nos permite comprobar que a pesar del gran peso específico del municipio de Barcelona, el sistema urbano es policéntrico. El incremento en extensión de la metrópolis se debe a la expansión conjunta de la interacción con Barcelona y con un conjunto de ciudades de antigua tradición industrial. Las áreas de influencia de todos estos subcentros se entrelazan al expandirse, formado una región metropolitana policéntrica. Finalmente, la aplicación al análisis de las teorías de redes de ciudades permite identificar un sistema urbano en el que coexisten relaciones jerárquicas con no jerárquicas, y en el que se generan relaciones de complementariedad y sinergia. El análisis de las redes de ciudades en clave de economía del conocimiento permite deducir la dependencia en la transmisión de información y conocimiento tanto de las redes verticales como de las horizontales. Posteriores estudios deben encaminarse a cuantificar los efectos de la estructura urbana sobre la productividad y la utilidad.

Descentralización del empleo: ¿compactación policéntrica o dispersión? El caso de la región metropolitana de Barcelona 1986-1996

La Región Metropolitana de Barcelona (RMB) ha sido caracterizada en repetidas ocasiones como un sistema urbano de tipo policéntrico. Este trabajo pretende corroborar esta afirmación haciendo uso de una metodología que permite identificar los subcentros de empleo y valorar el grado de policentrismo de la RMB en 1986 y 1996. Los resultados obtenidos en los dos años confirman la existencia y extensión del policentrismo.

Un model de decisió pel tractament mèdic a partir de diagnòstics imprecisos

És un sistema expert que donat un diagnòstic imprecís d’un metge en un malalt amb una malaltia infecciosa i els paràmetres mèdics d’aquest pacient, retorni com a resultat els possibles tractaments que se li poden subministrar al pacient ordenats per un coeficient d’adequadament, que pugui combatre qualsevol dels possibles bacteris que el metge hagi diagnosticat i vigilant de no provocar efectes secundaris. Aquest sistema expert resoldrà casos senzills i pretén ser la base d’una possible extensió per arribar a resoldre casos més complexos.

Análisis jurisprudencial del derecho al secreto de las comunicaciones (art. 18.3 C.E.)

Este trabajo aspira a plantear en qué estado se halla actualmente la regulación de la intervención de las comunicaciones telefónicas en nuestro ordenamiento jurídico. Nuestro enfoque en el presente trabajo será plantearnos la legitimidad o licitud de las medidas de intervención telefónica así como su ámbito de validez y eficacia a efectos de su utilización en el proceso penal en el sentido de qué límites o controles deben establecerse. Asimismo analizaremos el derecho fundamental al secreto de las comunicaciones consagrado en el art. 18.3 de la Constitución y la regulación positiva de dicho derecho en nuestro ordenamiento jurídico. En definitiva, se trata de plantear la problemática en términos amplios para posteriormente profundizar y abordar cuestiones de gran relevancia tales como qué sucede o qué tratamiento debe darse a los llamados hallazgos casuales o a la prueba ilegalmente obtenida, elementos que debido a su extensión trataremos de una forma puntual y que serán objeto de desarrollo en un trabajo posterior.

Kernels semàntics per a clustering de patrons

Memòria elaborada a partir d’una estada al projecte Proteus de la New York University entre abril i juny del 2007. Les tècniques de clustering poden ajudar a reduir la supervisió en processos d’obtenció de patrons per a Extracció d’Informació. Tanmateix, és necessari disposar d’algorismes adequats a documents, i aquests algorismes requereixen mesures adequades de similitud entre patrons. Els kernels poden oferir una solució a aquests problemes, però l’aprenentatge no supervisat requereix d’estrat`egies m´es astutes que l’aprenentatge supervisat per a incorporar major quantitat d’informació. En aquesta memòria, fruit de la meva estada de mes d’Abril al de Juny de 2007 al projecte. Proteus de la New York University, es proposen i avaluen diversos kernels sobre patrons. Ini- cialment s’estudien kernels amb una família de patrons restringits, i a continuació s’apliquen kernels ja usats en tasques supervisades d’Extracció d’Informació. Degut a la degradació del rendiment que experimenta el clustering a l’afegir informació irrellevant, els kernels se simpli- fiquen i es busquen estratègies per a incorporar-hi semàntica de forma selectiva. Finalment, s’estudia quin efecte té aplicar clustering sobre el coneixement semàntic com a pas previ al clustering de patrons. Les diverses estratègies s’avaluen en tasques de clustering de documents i patrons usant dades reals.

La importancia económica de los procesos de innovación a nivel de empresa. Un análisis empírico del sector manufacturero español

Este trabajo analiza los lazos existentes entre productividad, innovación e investigación a nivel de empresa utilizando una extensión del modelo estructural de función de producción de Crépon, Duguet y Mairesse (1998). El modelo explica la productividad por medio de la innovación y, la innovación a través de la inversión en investigación. El estudio se realiza para las empresas del sector manufacturero español utilizando datos provenientes de la Encuesta sobre innovación tecnológica en las empresas 2004. Se corrigen los sesgos de selectividad y simultaneidad que se presentan dadas las características estadísticas de los datos y de las relaciones económicas entre las variables: sólo una pequeña proporción de las empresas realizan actividades de investigación; y la investigación, innovación y productividad se determinan de forma endógena. Al aplicar la forma tradicional de estimación del modelo se encuentran resultados muy similares a trabajos anteriores realizados para España. Sin embargo, se demuestra que dicha formulación no produce estimaciones consistentes, por lo que aquí se utilizan extensiones alternativas, y se exploran nuevas especificaciones para las decisiones de realizar actividades internas de investigación y desarrollo.

Transmisión intergeneracional de la pobreza en Uruguay

El deterioro de los niveles de desigualdad y el empeoramiento de los niveles de pobreza que se registraron en Uruguay durante la crisis de comienzos del siglo XXI, tuvieron una especial repercusión en la infancia y la juventud, haciendo más vulnerable el futuro desempeño socioeconómico de las nuevas generaciones. El presente trabajo pretende ahondar en la existencia y extensión de la transmisión intergeneracional de la pobreza (TIP) en Uruguay. La ausencia de datos de panel impide la utilización de algunas de las metodologías más difundidas, como la correlación intergeneracional de ingresos, por lo cual se opta por centrar el análisis en la correlación intergeneracional educativa, mediante la utilización de la Encuesta Continua de Hogares del año 2005. Los resultados comprueban la existencia de correlación intergeneracional educativa en Uruguay, que se ubica por debajo de la registrada en la mayoría de los países de América Latina, y por encima de la registrada en los países más desarrollados. Para ahondar en los determinantes de la TIP se ha estimado un modelo de selección discreta que permite explicar la probabilidad de los jóvenes de terminar la enseñanza secundaria (umbral que permite situarse fuera de la situación de pobreza) en función de una serie de variables vinculadas con el entorno familiar. Se comprueba así la significativa importancia de la educación de los padres en la explicación de los resultados de los hijos, respaldando los enfoques teóricos del capital humano y de la transmisión de habilidades. El análisis también evidencia el efecto negativo de un mayor número de hermanos en la familia, comprobando la importancia del enfoque de cantidad calidad de Becker. Finalmente, los resultados permiten entrever la importancia de otros mecanismos de la TIP como la segregación residencial, el assortative mating y el embarazo adolescente.

Contribución al estudio de las desigualdades en la España de los '60: ingresos y alimentación

Durante la década de los ’60 España vivió su particular “edad de oro” y uno de los periodos de transformaciones más radicales de toda su historia en su economía y su sociedad. La década que empezó con el Plan de Estabilización acabó con una país ya plenamente industrial, atravesado por el movimiento interior y exterior más grande de personas de su historia, con un campo que se fue vaciando rápidamente y, consecuentemente, se fueron imponiendo transformaciones de su agricultura que la alejaron definitivamente del modelo de la agricultura tradicional; fue esta la década de mayor crecimiento económico del siglo XX (y por extensión de la historia). Lo único que se mantenía intacto era el sistema político, que hacía del tardo-fascismo y del nacional-catolicismo español la gran anomalía del concierto europeo, junto a su vecino ibérico. De manera que en España los años gloriosos del capitalismo keynesiano, amén de empezar con notable retraso respecto al resto del mundo capitalista avanzado, se caracterizaron por una particular cojera en la aplicación del modelo occidental de la época; una cojera consolidada de la mano de los intereses militares y geopolíticos estadounidenses y acentuada por las transformaciones a que obligaba una desastrosa crisis de balanza de pagos. Es decir, se asistió a una inédita aceleración del crecimiento pero sin paralela construcción del Estado de Bienestar. ¿Cómo influyó esta circunstancia sobre los niveles de bienestar de los españoles y las españolas? ¿De qué magnitud eran durante este período las desigualdades y cómo evolucionaron? Responder a estas preguntas desde la perspectiva de los ingresos y de la alimentación es el objetivo de esta investigación.

Analyzing the effects of transient faults into applications

As computer chips implementation technologies evolve to obtain more performance, those computer chips are using smaller components, with bigger density of transistors and working with lower power voltages. All these factors turn the computer chips less robust and increase the probability of a transient fault. Transient faults may occur once and never more happen the same way in a computer system lifetime. There are distinct consequences when a transient fault occurs: the operating system might abort the execution if the change produced by the fault is detected by bad behavior of the application, but the biggest risk is that the fault produces an undetected data corruption that modifies the application final result without warnings (for example a bit flip in some crucial data). With the objective of researching transient faults in computer system’s processor registers and memory we have developed an extension of HP’s and AMD joint full system simulation environment, named COTSon. This extension allows the injection of faults that change a single bit in processor registers and memory of the simulated computer. The developed fault injection system makes it possible to: evaluate the effects of single bit flip transient faults in an application, analyze an application robustness against single bit flip transient faults and validate fault detection mechanism and strategies.

Desarrollo de una aplicación para la edición de elementos gráficos en ArcMap 9.2

El projecte està enmarcat a la 10a edició del master en tecnologies de l'informació geogràfica. Al mateix temps va consistir en la creació i organització d'instruccions d'edició i analisi dintre de l'entorn de ArcMap 9.2, agrupant una conjunt de funcionalitats creades o ja existents, a una nova barra d'eines. El desenvolupament d'aquesta aplicació es va realitzar integrament amb VBA(Visual basic for Aplications) mitjançant l'editor integrat dintre d'ArcMap i fent ús de les lliberies ArcObjects. Es tracta d'una personalització de la interficie a nivell intern, doncs el codi ha estat generat dintre del propi entorn de ArcMap i emmagatzemat dintre d'un proojecte d'extensió .mxd.

Pequín, London, Roma: un viatge lingüístic a través de la història de tres llengües: gramàtica comparada entre el xinès, l'anglès i el llatí

Treball de recerca realitzat per un alumne d'ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l'any 2009. En aquest treball es vol trobar un vincle entre les cultures més influents al llarg de la història d’Àsia i Europa, prenent com a element bàsic les seves llengües: el xinès, l’anglès i el llatí. Ara bé, la comparació lingüística entre elles només té veritable interès si es cerca allò comú sobretot semàntica i sintàcticament, posat que d'entrada, visual i fonèticament, qualsevol profà pot observar-ne prou diferències. Aquestes característiques comunes, doncs, tenen valor independentment del temps i l'espai, ja que el que hi ha en joc aquí és, en el fons, el llenguatge verbal com a nervi del fet de ser humà. Els continguts s'estructuren mitjançant l'ús d'un mètode inductiu com a regla d’anàlisi comparativa; no es pot, tanmateix, prescindir d'una introducció teòrica de lingüística, absolutament necessària per a un estudi comparatiu de gramàtica. Una vegada conclòs el treball, es veu que els conceptes que totes tres expressen són comuns i el canvi, quan es dóna, afecta la forma i està relacionat amb les regles de la lògica: aquests casos, doncs, no fan sinó confirmar la tesi, ja que esperar una equivalència total seria no només ingenu, sinó gens natural ni realista. L'anhel del traductor és arribar a expressar, precisament, aquest univers.

Análisis de una iniciativa estudiantil de investigación surgida en Criptogamia, una asignatura optativa de segundo ciclo de Biología = Analysis of a students’ research initiative originating in Cryptogamy, an elective course in the last two years of the Biology degree

Presentamos una experiencia exitosa de aprendizaje que partió de Criptogamia (asignatura optativa de segundo ciclo de Biología), que dio lugar a un proyecto de investigación gestionado por los propios alumnos. La iniciativa se consolidó estableciendo una Asociación de Estudiantes centrada en investigación y divulgación. En poco tiempo, los participantes han presentado comunicaciones científicas, y organizado actividades dirigidas a diversos públicos, dentro y fuera de la comunidad universitaria. Actualmente se plantea una colaboración multidisciplinar con otros organismos de investigación y la extensión de su ámbito de estudio. Abordamos su incidencia en el aprendizaje en varios aspectos: científico (técnicas específicas, rigor, búsqueda de información e interpretación de resultados), comunicativo (estructuración y presentación de la información obtenida, para diversos públicos), y organizativo, incluyendo el trabajo en equipo. Aunque de carácter espontáneo, esta experiencia muestra rasgos evaluables en cuanto a sus posibilidades para otras asignaturas. Analizamos las características y planteamiento de esta optativa, el perfil de sus alumnos, y el contexto universitario que la acoge. Detectamos como factores principales los aspectos participativos de la asignatura, la cohesión del grupo, el carácter voluntario de la implicación, los beneficios percibidos por los estudiantes, y la disponibilidad de recursos humanos (supervisión) y materiales (equipamiento y subvenciones).