Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Procesos oxidativos en matrices alimentarias complejas. Oxidative processes in complex food matrices.

Las reacciones bioquímicas que ocurren como consecuencia del tratamiento y almacenamiento de los alimentos, mejoran la seguridad alimentaria, las propiedades sensoriales y la vida útil. Sin embargo, el tratamiento térmico, la exposición a la luz y el oxígeno pueden causar daño oxidativo a los lípidos y proteínas. Los procesos oxidativos de matrices complejas tienen características distintivas que no se manifiestan cuando los componentes son sometidos a oxidación individualmente. La hipótesis de trabajo es que la oxidación de proteínas en matrices alimentarias complejas altera la estructura y las propiedades funcionales de las proteínas y, que las modificaciones que se producen varían según las condiciones de procesamiento y de la composición química del alimento. Nuestros estudios intentan demostrar que el estado oxidativo de las proteínas de un alimento es un parámetro importante para la evaluación de las propiedades funcionales, sensoriales y nutricionales de un producto lácteo. El objetivo general del proyecto es el estudio de los procesos de oxidación de matrices alimentarias complejas (la leche, miel) y su relación con distintos procesos y materiales utilizados en la industria. Es decir, nos proponemos estudiar las consecuencias funcionales y biológicas (calidad nutricional, coagulación) de la oxidación proteica en modelos experimentales “in vitro” y en productos comerciales. 1. Estudiar los fenómenos de peroxidación proteica en leche entera y descremada sometida a los distintos procesos tecnológicos de la producción de leche y queso a escala laboratorio. Se realizarán las mismas experiencias con albúmina sérica y con proteínas aisladas de suero de leche para comparar diferencias entre una matriz compleja y una simple. 2. Determinar la relación entre oxidación y composición proteica de la leche, y los cambios en las fracciones proteicas aisladas (caseínas y beta-lactoglobulina). 3. Analizar el impacto de los procesos tecnológicos a nivel de producción primaria (composición proteica y estado de oxidación) en los indicadores de inflamación (contenido de células somáticas y proteína C Reactiva) y de estado redox (capacidad antioxidante de los productos lácteos y nivel de carbonilos de proteinas). 4. Comparar las características de composición química y el estado de oxidación de leche provenientes de las tres regiones (Buenos Aires, Santa Fe y Córdoba) que conforman la cuenca láctea Argentina. Este objetivo se realizará conjuntamente con los integrantes de nuestro grupo de investigación que trabajan en el Laboratorio de Control de Calidad de la Escuela Superior de Lechería. 5. Determinar los metabolitos secundarios de mieles uniflorales propuestos como responsables de la capacidad antioxidante de estas (polifenoles) y como indicadores de su origen botánico. 6. Valorar la capacidad antioxidante total de mieles uniflorales. 7. Validar los métodos analíticos y semicuantitativos utilizados y a utilizar en el presente proyecto teniendo en cuenta lo efectos de matrices típico de los fluidos biológicos y las mezclas. El estudio de las modificaciones oxidativas de matrices complejas es un tema que es importante tanto desde el punto de vista del conocimiento básico como del aplicado. Nosotros creemos que el presente proyecto aportará conocimiento sobre las características de las vías oxidativas de proteínas en matrices complejas y que podrá ser utilizado para diseñar estrategias productivas tendientes a disminuir el deterioro de la calidad de la leche debido a la exposición a energía radiante. Parte de la experiencia ganada por el grupo ha sido ya volcada a subsanar dificultades y problemas de oxidación y deterioro de la calidad de alimentos. Además, se contribuirá a discernir la paradoja que existe en el área sobre las propiedades oxidantes/antioxidantes de los polifenoles y la relación entre estas y el estado oxidativo de un alimento. The biochemical reactions that occur as a result of food treatment and storage, improve food security, sensory properties and shelf life. Heat treatment, exposure to light and oxygen can cause oxidative damage to lipids and proteins. Oxidative processes in complex matrices display distinctive features that do not appear when the components are individually subjected to oxidation. The hypothesis is that protein oxidation in complex food matrices alters the structure and functional properties of proteins and that the modifications vary according to process conditions and food composition. The main goal is to study oxidation of complex food matrices (milk, honey) with different processes and materials used in the industry. The specific aims are: 1. To study protein oxidation in whole milk and skim subject to various technological processes. The same experiences will be done with serum albumin and isolated whey proteins to compare complex and simple matrices. 2. To determine the relationship between oxidation and milk protein composition, and changes in casein and beta-lactoglobulin. 3. Analyze the impact of technological processes at the level of primary production on markers of inflammation and redox (antioxidant capacity and protein carbonyls). 4. Compare characteristics of chemical composition and oxidation state of milk. 5. Determine secondary metabolites of honey responsible for the antioxidant capacity of these. 6. To evaluate the total antioxidant capacity unifloral honey. This project will provide knowledge about characteristics of oxidative pathways of proteins in complex matrices that can be used to design production strategies aimed at reduce the deterioration of milk quality. Also, it would help to discern the paradox that exists on the oxidants/antioxidants properties of polyphenols and the relationship between these and the oxidative status of a food.

Optimización de sistemas de tratamiento de aguas residuales existentes en pequeñas urbanizaciones combinando tecnologías flexibles que permitan la reutilización del agua tratada.

En el Valle de Punilla, provincia de Córdoba, el aumento de la densidad demográfica, el desarrollo de la industria y el impulso de la actividad turística produjo un incremento en la demanda de agua potable y en la generación de aguas residuales. Un alto porcentaje de viviendas y pequeñas urbanizaciones no están conectadas a la red cloacal y utilizan sistemas in-situ para el tratamiento de sus efluentes líquidos como cámara séptica, y para su disposición final pozos absorbentes o sangrías. Debido a los bajos rendimientos documentados de este sistema de tratamiento, las aguas ineficazmente tratadas lixivian arrastrando sustancias tóxicas que contaminarán las napas freáticas. Además y fundamentalmente, imposibilita su posterior reutilización para el llenado de acuíferos superficiales, irrigación agrícola y ornamental, procesos industriales, y otros usos. A fin de disminuir el impacto ambiental se plantean innovadores prototipos modulares a escala real para ser anexados con los sistemas de saneamiento existentes, objetivo del presente trabajo. Como tratamiento secundario se diseñarán, construirán y pondrán en operación dos módulos biológicos, uno de naturaleza aeróbica -biodiscos- y otro de naturaleza anaeróbica -decantador de flujo ascendente- ambas tecnologías no tradicionales que pueden ser acopladas de manera individual o conjunta. Experiencias previas del equipo, muestran que la eficiencia del módulo aeróbico resulta superior al 86% calculada a partir de los parámetros sanitarios. Se pretende mejorar aún más, la eficacia de la etapa biológica razón por la cual, se ensamblará el módulo anaeróbico. Para lograr reutilizar las aguas tratadas se deberán someter a un proceso de cloración previa al vertido, lo cual no garantiza que su calidad sea la adecuada según la legislación vigente. Por tal motivo se investigará el uso alternativo de un ozonizador como tratamiento terciario, metodología seleccionada por su efectividad e inocuidad para la desinfección bacteriana e inactivación viral. El modelo de integración de tecnologías existentes con tecnologías biológicas no tradicionales es una opción ecológica y económicamente viable ya que mejora la eficiencia del tratamiento, permite su reutilización y resuelve en un futuro próximo una de las problemáticas ambientales que más preocupan a la sociedad y que más afectan a las comunidades vulnerables, la contaminación y la escasez del recurso hídrico.

Linfocitos TH 17: moduladores o reguladores de la infección por VIH-1.

Los linfocitos T-CD4+ llamados helper (LTh) o cooperadores, componen una población heterogénea de células constituidas por LTh naive y células efectoras: Th1, Th2, Th17, Th1/Th17 y células regulatorias LT reguladores (T-reg). Ellos desempeñan un rol central en la defensa inmune y adquieren distintas propiedades funcionales en respuesta a señales que genera el sistema inmune innato. Los Th17 cumplen un rol crítico en la interrelación entre la inmunidad innata y adaptativa, en la inflamación crónica y en el mantenimiento de la esterilidad de la mucosa gastrointestinal. La infección por el virus de la inmunodeficiencia humana (VIH-1) se caracteriza por una gradual y progresiva disfunción del sistema inmune, con su consecuencia final el Síndrome de Inmuno Deficiencia Adquirida (SIDA). La infección viral involucra la interacción de proteínas virales con la molécula de superficie celular CD4 y el receptor de quimiocinas CCR5 o CXCR4. Nuestro objetivo es evaluar cualitativamente y cuantitativamente los Th17 en relación con los subtipos de LTh en pacientes con infección por VIH-1 en distintos estadios de la infección y correlacionarlos con la clínica del paciente. Para ello se estudiarán individuos con infección por VIH-1 en distintos estadios de la infección sin tratamiento antirretroviral a los que se evaluarán cuantitativamente los niveles de LTh y las subpoblaciones Th17, Th1 y Treg. Además, se estudiarán las características funcionales de los TH17 cuantificando los niveles de IL-17, IL10 e INF-G; en suero y sobrenadante de cultivos celulares y los niveles de granulocitos. La evaluación de los Th17, en relación con el fase inmune, virológico y con la clínica del paciente nos permitirá detectar subgrupos de pacientes y nuevos marcadores de progresión de la enfermedad.

Optimización de sistemas de tratamiento de aguas residuales existentes en pequeñas urbanizaciones combinando tecnologías flexibles que permitan la reutilización del agua tratada.

En el Valle de Punilla, provincia de Córdoba, el aumento de la densidad demográfica, el desarrollo de la industria y el impulso de la actividad turística produjo un incremento en la demanda de agua potable y en la generación de aguas residuales. Un alto porcentaje de viviendas y pequeñas urbanizaciones no están conectadas a la red cloacal y utilizan sistemas in-situ para el tratamiento de sus efluentes líquidos como cámara séptica, y para su disposición final pozos absorbentes o sangrías. Debido a los bajos rendimientos documentados de este sistema de tratamiento, las aguas ineficazmente tratadas lixivian arrastrando sustancias tóxicas que contaminarán las napas freáticas. Además y fundamentalmente, imposibilita su posterior reutilización para el llenado de acuíferos superficiales, irrigación agrícola y ornamental, procesos industriales, y otros usos. A fin de disminuir el impacto ambiental se plantean innovadores prototipos modulares a escala real para ser anexados con los sistemas de saneamiento existentes, objetivo del presente trabajo. Como tratamiento secundario se diseñarán, construirán y pondrán en operación dos módulos biológicos, uno de naturaleza aeróbica -biodiscos- y otro de naturaleza anaeróbica -decantador de flujo ascendente- ambas tecnologías no tradicionales que pueden ser acopladas de manera individual o conjunta. Experiencias previas del equipo, muestran que la eficiencia del módulo aeróbico resulta superior al 86% calculada a partir de los parámetros sanitarios. Se pretende mejorar aún más, la eficacia de la etapa biológica razón por la cual, se ensamblará el módulo anaeróbico. Para lograr reutilizar las aguas tratadas se deberán someter a un proceso de cloración previa al vertido, lo cual no garantiza que su calidad sea la adecuada según la legislación vigente. Por tal motivo se investigará el uso alternativo de un ozonizador como tratamiento terciario, metodología seleccionada por su efectividad e inocuidad para la desinfección bacteriana e inactivación viral. El modelo de integración de tecnologías existentes con tecnologías biológicas no tradicionales es una opción ecológica y económicamente viable ya que mejora la eficiencia del tratamiento, permite su reutilización y resuelve en un futuro próximo una de las problemáticas ambientales que más preocupan a la sociedad y que más afectan a las comunidades vulnerables, la contaminación y la escasez del recurso hídrico.

Infusão intravenosa de vasopressina causa efeitos cardiovasculares adversos dose-dependentes em cães anestesiados

FUNDAMENTO: A arginina-vasopressina (AVP) tem sido amplamente utilizada no tratamento do choque vasodilatador. Entretanto, há muitas questões relativas ao seu uso clínico, especialmente em altas doses, pois sua utilização pode estar associada a efeitos cardíacos adversos. OBJETIVO: Investigar os efeitos cardiovasculares da AVP em infusão IV contínua nos parâmetros hemodinâmicos em cães. MÉTODOS: Dezesseis cães saudáveis sem raça definida, anestesiados com pentobarbital, receberam um cateter intravascular e foram aleatoriamente designados para dois grupos: controle (solução salina - placebo; n=8) e AVP (n=8). O grupo do estudo recebeu infusão de AVP por três períodos consecutivos de 10 minutos a doses logaritmicamente progressivas (0,01; 0,1 e 1,0 U/kg/min), a intervalos de 20 minutos. A frequência cardíaca (HR) e as pressões intravasculares foram continuamente registradas. O debito cardíaco foi medido através do método de termodiluição. RESULTADOS: Nenhum efeito hemodinâmico significante foi observado durante a infusão de 0,01 U/kg/min de AVP, mas com as doses mais altas, de 0,1 e 1,0U/kg/min, houve um aumento progressivo na pressão arterial média (PAM) e índice de resistência vascular sistêmica (IRVS), com significante diminuição na frequência cardíaca (FC) e índice cardíaco (IC). Com a dose de 1,0 U/kg/min, também foi observado um aumento significante no índice de resistência vascular pulmonar (IRVP), principalmente devido à diminuição no IC. CONCLUSÃO: A AVP em doses entre 0,1 e 1,0 U/kg/min resultou em significantes aumentos na PAM e no IRVS, com efeitos inotrópicos e cronotrópicos negativos em animais saudáveis. Embora essas doses sejam de 10 a 1.000 vezes maiores do que as rotineiramente utilizadas no tratamento do choque vasodilatador, nossos dados confirmam que a AVP deveria ser usada cuidadosamente e sob rígida monitoração hemodinâmica na prática clínica, especialmente se doses maiores do que 0,01 U/kg/min forem necessárias.

Tomografia de coronárias na predição de eventos adversos em pacientes com suspeita de coronariopatia

FUNDAMENTO: Embora os estudos tenham demonstrado uma alta precisão diagnóstica da Tomografia Coronariana Multidetectores (TCMD) na detecção de Doença Arterial Coronariana (DAC), os dados sobre o valor prognóstico desse método são limitados. OBJETIVO: Determinar o valor da TCMD na predição de desfechos clínicos adversos em pacientes com suspeita de DAC. MÉTODOS: Foram avaliados prospectivamente 355 pacientes consecutivos (idade média de 58 ± 12 anos; 252 do sexo masculino), com suspeita de DAC, entre janeiro de 2008 e junho de 2010. DAC pela TCMD foi definida como a presença de placa de ateroma observada em qualquer artéria coronariana. Os desfechos clínicos adversos foram definidos como morte, infarto do miocárdio, angina instável ou revascularização miocárdica. RESULTADOS: Durante um acompanhamento médio de 15 meses, houve 55 eventos cardíacos. Na análise multivariada utilizando-se o modelo de regressão de Cox, classe funcional da NYHA, diabetes, tabagismo e aterosclerose à TCMD foram preditores de desfecho clínico adverso, e a presença de placa à TCMD apresentou forte associação com desfechos clínicos adversos, independentemente de fatores de risco estabelecidos para DAC (hazard ratio 5,29; intervalo de confiança de 95%, 2,4 - 11,8; p < 0,001). CONCLUSÃO: A presença de aterosclerose demonstrada pela TCMD em pacientes com suspeita de DAC apresentou valor independente e incremental aos fatores de risco convencionais na predição de desfechos clínicos adversos, podendo se mostrar útil na estratificação de risco desses pacientes.

Intervenção coronária percutânea utilizando Full Metal Jacket com stents farmacológicos: eventos cardíacos adversos maiores em um ano

FUNDAMENTO: O benefício clínico de intervenção coronária percutânea (ICP) para lesões coronárias longas é incerto; além disso, foram levantadas dúvidas questões sobre a sua segurança. OBJETIVO: Avaliar os preditores de eventos cardíacos adversos maiores (ECAM) associados à ICP utilizando Full Metal Jacket (FMJ), definido como a sobreposição de stents farmacológicos (SF) medindo >60 mm de comprimento, para lesões muito longas. MÉTODOS: Foram incluídos 136 pacientes consecutivos com lesões coronárias longas, requerendo FMJ em nosso cadastro de centro único. O desfecho primário incluiu a ocorrência combinada de todas as causas de morte, infarto do miocárdio (IM) e revascularização do vaso alvo (RVA). Variáveis demográficas, clínicas, angiográficas e de procedimento foram avaliadas por meio de análise de regressão de Cox para determinar os preditores independentes de desfecho. RESULTADOS: O comprimento médio do stent por lesão foi de 73,2 ± 12,3 mm e o diâmetro médio do vaso de referência foi de 2,9 ± 0,6 mm. O sucesso angiográfico foi de 96,3%. A ausência de ECAM foi de 94,9% em 30 dias e 85,3% em um ano. No acompanhamento de um ano, a taxa de mortalidade por todas as causas foi de 3,7% (1,5% por mortes cardíacas), a taxa de IM foi de 3,7%, e a incidência de trombose de stent (TS) definitiva ou provável foi de 2,9%. O gênero feminino [risco relativo (RR), 4,40; intervalo de confiança de 95% (IC), 1,81-10,66, p = 0,001) e ICP de artéria coronária não direita (RR, 3,49; p = 0,006; IC 95%, 1,42-8,59) foram preditores independentes de ECAM em um ano. A ausência de eventos adversos em um ano foi maior em pacientes com angina estável submetidos à ICP (RR, 0,33; IC 95% 0,13-0,80, p = 0,014). CONCLUSÕES: A ICP utilizando FMJ com SF para lesões muito longas foi eficaz, mas associada a uma alta taxa de TS em acompanhamento de um ano. No entanto, a taxa de mortalidade cardíaca, IM não relacionado a procedimento, e ECAM foi relativamente baixa. ICP de vaso coronário alvo, apresentação clínica, e gênero feminino são novos fatores clínicos contemporâneos que parecem apresentar efeitos adversos sobre o resultado da ICP utilizando FMJ para lesões longas.

Efectos del herbicida Paraquat sobre el zooplancton

The effects of 0.1; 0.2; 0.4 and 0.8 mlPQ/L were analized on a zooplankton community, to determine the most sensitive species and to analize the occurence of physical abnormalities. A total of 40 taxa were determined. Paraquat affected significantly the zooplankton density but not the species richness. A progressive state of deformation of these organisms was also observed. Paraquat showed to be highly toxic for the zooplankton, so this herbicide should be strictly regulated in aquatic and terrestrial ecosystems.

Los Efectos del sistema electoral europeo en España: los partidos políticos de ámbito no estatal

A lo largo de este artículo se analizan los efectos del sistema electoral europeo en España sobre los partidos políticos de ámbito no estatal. Por un lado, se estudia el funcionamiento de la normativa electoral española, subrayando la sobrerepresentación de unos partidos políticos y la infrarepresentación de otros en función del ámbito territorial organizativo de la formación política. Por otro lado, se presentan datos sistemáticos y comparados que demuestran esta distorsión de la representación política –fruto de la normativa electoral-, y dibujamos la estrategia electoral que los partidos políticos afectados negativamente desarrollan: las coaliciones electorales. Pero, ¿en base a qué criterios se organizan tales coaliciones electorales? El enfoque multivariable –la circunscripción, la magnitud electoral y el número de eurodiputados españoles- nos va permitir responder a esta y otras preguntas. El objetivo es ahondar en el debate sobre la normativa electoral en la arena política europea.

El Taller de traducción como metodología didáctica experimental en un marco epistemológico socioconstructivista y humanista

Aquest treball de recerca presenta les diferents fases d’un experiment pilot que vaig projectar i realitzar dins l’àmbit de l’ensenyament de la traducció a un context universitari. L’experiment va consistir en l’aplicació i observació d’una metodologia didàctica innovadora, amb una base epistemològica socioconstructivista i humanista, i en l’avaluació dels resultats obtinguts. Per l’experiment pilot vaig seleccionar com a marc teòric el model socioconstructivista del procés d’ensenyament i aprenentatge proposat per Williams i Burden (1997), que integra instàncies constructivistes, interaccionistes i humanistes. En aquest àmbit vaig elaborar una metodologia didàctica innovadora, el “Taller de Traducció”, modelat sobre el Constructivist Workshop proposat per Don Kiraly (2000: 62-64) al qual vaig aportar algunes modificacions per adequar-lo al context diferent d’ensenyament. El disseny experimental basat en la utilització d’un grup experimental i d’un de control, preveu el recurs a instruments de recollida de dades qualitatives i quantitatives. Les hipòtesis elaborades prospecten l’aparició de determinats efectes com a conseqüència de l’aplicació del tractament experimental (autonomia, motivació i presa de consciència) i, al mateix temps es basen en la pressuposició, sustentat sobre la literatura consultada, que els efectes prospectats milloren el procés d’ensenyament i aprenentatge. Per tant, vaig intentar, per una banda, verificar l’eficàcia del tractament relacionada amb l’aparició dels efectes prospectats i, per una altra, mesurar l’incidència d’aquests efectes sobre el procés d’ensenyament i aprenentatge. A més, vaig dur a terme l’observació i avaluació de la metodologia aplicada respecte la coherència amb les bases epistemològiques socioconstructivistes i a la funcionalitat dins el context universitari on es va aplicar. Totes les dades recollides confirmen la coherència i la funcionalitat de la metodologia aplicada, tant pel que fa a l’eficàcia relacionada amb l’aparició dels efectes prospectats a les hipòtesis elaborades i a la seva incidència sobre la millora del procés d’ensenyament i aprenentatge, tot i que es van detectar algunes fallides a l’experiment pilot que se solucionaran a l’experiment definitiu. Els resultats positius de l’experiment pilot han estat confirmades també per les dades d’altres dos experiments realitzats posteriorment amb altres grups d’estudiants de la mateixa assignatura. Tots els resultats recollits es faran servir per projectar l’experiment definitiu, aportant-hi les modificacions necessàries per eliminar les fallides evidenciades durant la fase d’aplicació de l’experiment pilot i de les seves extensions i seguiments, i serviran com a base per a la meva tesi doctoral a la qual voldria arribar a formular una proposta socioconstrucitivista i humanista integradora per a l’ensenyament de la traducció.

Análisis de los efectos redistributivos del IVA español en la última década

El Impuesto sobre el Valor Añadido se ha convertido en el año 2000 en el tributo de mayor poder recaudatorio en la economía española. Esto pone de manifiesto la progresiva tendencia de sustitución de la imposición directa por los impuesto indirectos. Este trabajo pretende evaluar las consecuencias redistributivas de la actual legislación del IVA. Para la consecución de tal empresa, se ha utilizado la Encuesta Básica de Presupuesto Familiares 90-91, y se ha elaborado una nueva propuesta de clasificación de categorías de gasto, que contribuyen positivamente a una mejora en la homogeneización de los grupos e identificación de los tipos. Dicho tributo ha sufrido innumerables reformas fiscales en la década de los noventa, basada en cambios sustanciales en los tipos impostivos. En este sentido, se pretende enjuiciar la adecuación de dichas modificaciones a la contribución de los objetivos de equidad, y sus. Por tanto, se analiza el impacto diferencial en el tiempo de las tres reformas más relevantes en los últimos años mediante las técnicas de microsimulación. Dicha simulación se lleva a cabo bajo la asunción de dos hipótesis posibles de las decisiones de consumo: ausencia y presencia de comportamiento.

SPRAWL: definición, causas y efectos

El término Sprawl ha servido como un gran contenedor capaz de dar cabida a explicaciones, teorías y definiciones de diferente naturaleza, con lo que en ocasiones resulta difícil separar causas y efectos, teorías y hechos comprobados, descripciones y deseos. Este trabajo pretende ofrecer una definición neutra y operativa del fenómeno, así como un marco de análisis sobre sus causas y efectos prestando especial atención al caso europeo y español.