Working within the Plurilingual Paradigm. Use of Translation to Enrich Additional Language Learning and Plurilingual Competence in Secondary Education in Catalonia

Aquesta tesi estudia els efectes de la implementació d’una proposta didàctica basada en la traducció a l’aula de llengua addicional en un institut concertat de Barcelona amb un grup d’alumnes de 3r. d’educació secundària obligatòria. Aquest estudi observacional i interpretatiu pretén avaluar fins a quin punt l’ús de la traducció a l’aula de llengua addicional, a través de l’enfocament TOLC (Traducció per a altres contextos d’aprenentatge), pot afectar l’aprenentatge de la llengua addicional i el desenvolupament de la competència plurilingüe de l’alumnat, així com les seves percepcions i els seus comportaments vers la traducció a l’aula de la llengua addicional. Per poder-ho comprovar, es va dissenyar i posar en pràctica una proposta didàctica basada en l’enfocament plurilingüe integrat (EPI) i TOLC. La proposta didàctica, composta de tres seqüències didàctiques, parteix de supòsits socioconstructivistes i incorpora pràctiques relacionades amb la traducció audiovisual. Seguint un enfocament mixt es recullen dades de caire quantitatiu i qualitatiu a través d' instruments diversos Dos grups estan involucrats a l’estudi; un grup que realitza la proposta didàctica i un grup de control. Les conclusions principals de l’estudi són que la traducció contribueix de manera positiva a l’aprenentatge de la llengua addicional de l’alumnat. En segon lloc, que la participació en pràctiques d’aula basades en l’EPI té un efecte positiu en el desenvolupament de la competència plurilingüe de l’alumnat. Per últim, s’ha observat que la traducció és quasi sempre present a l’aula de la llengua addicional independentment de si el/la professor/a la promou o no. Tanmateix, tot i que la traducció és un recurs natural que l’alumnat té al seu abast, l’eficàcia d’aquest recurs i com és percebut per part de l’alumnat depèn de la manera com s’utilitza dins de l’aula de la llengua addicional. Seguint l’EPI i incorporant pràctiques d’aula relacionades amb TOLC, de l’alumnat es pot beneficiar de la traducció, no com a darrer recurs, sinó com a eina d’aprenentatge, comunicació i mediació.Esta tesis estudia los efectos de la implementación de una propuesta didáctica basada en la traducción en el aula de lengua adicional de un instituto concertado de Barcelona con un grupo de 3ro. de educación secundaria obligatoria. Este estudio observacional e interpretativo pretende evaluar hasta qué punto el uso de la traducción en el aula de lengua adicional, a través del enfoque TOLC (Traducción para otros contextos de aprendizaje), puede afectar el aprendizaje de la lengua adicional y el desarrollo de la competencia plurilingüe del alumnado, así como sus percepciones y comportamientos frente a la traducción en el aula de la lengua adicional. Para poder comprobar este hecho, se diseñó e implementó una propuesta didáctica basada en el enfoque plurilingüe integrado (EPI) y TOLC. La propuesta didáctica, compuesta de tres secuencias didácticas, parte de supuestos socioconstructivistas e incorpora prácticas relacionadas con la traducción audiovisual. Siguiendo un enfoque mixto, se recogen datos cuantitativos y cualitativos de varios instrumentos. Dos grupos de 25 alumnos/as están involucrados en el estudio; un grupo que realiza la propuesta didáctica y un grupo de control. Las conclusiones principales del estudio son que la traducción puede contribuir de manera positiva en el aprendizaje de la lengua adicional del alumnado. En segundo lugar, la participación en prácticas de aula basadas en el EPI puede tener un efecto positivo en el desarrollo de la competencia plurilingüe del alumnado. Por último, se ha observado que la traducción está casi siempre presente en el aula de la lengua adicional independientemente de si el/la profesor/a la promueve o no. Sin embargo, aunque la traducción es un recurso natural que el alumnado tiene a su alcance, la eficacia de este recurso y cómo es percibido por parte del alumnado depende de la forma en que se utiliza dentro del aula de la lengua adicional. Siguiendo el EPI e incorporando prácticas de aula relacionadas con TOLC, el alumnado se puede beneficiar de la traducción, no como último recurso, sino como herramienta de aprendizaje comunicación y mediación.This thesis studies the effects of carry out a translation-based didactic proposal in the additional language (AL) class at semi-private secondary school in Barcelona with a group of students in their third year of compulsory education. This observational and interpretative study sets off from the hypotheses that the use of translation in the AL classroom, by means of the approach Translation for Other Learning Contexts (TOLC), can have a positive effect students’ AL learning (ALL), plurilingual competence as well as their perceptions and performance regarding the use of translation in the AL class. To do so, a didactic proposal based on the Integrative Plurilingual Approach (IPA) and TOLC was designed and implemented. The didactic proposal, composed of three didactic sequences, draws on socioconstructivist assumptions and incorporates practices related to audiovisual translation. Following a mix-method approach, quantitative and qualitative data were collected from various instruments. Two groups of 25 students were involved in the study; a treatment group which participated in the didactic proposal and a control group. The main conclusions drawn from the study are that translation can indeed contribute positively to students’ ALL. Secondly, participation in IPA-based classroom practices can have a positive effect on students’ development of plurilingual competence. Lastly, it has been observed that translation is almost always present in the AL classroom regardless of whether the teacher promotes it or not. However, while the act of translating may come naturally to students, how successfully it is carried out and how it is perceived by the students depends on the way it is used within the AL class. By following the IPA and incorporating classroom practices related to TOLC, students can benefit from translation, not as a last resort but as a tool for learning, communication and mediation

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

A systematic approach to airborne sensor orientation and calibration: method and models

Avui dia, s'estima que el mercat de la geom atica mou pels volts de 30 bilions d'euros. Al darrera del creixement d'aquest mercat hi trobem noves tecnologies,projectes i aplicacions, com per exemple, \Global Positioning System"(GPS), Galileo, \Global Monitoring for Environment and Security"(GMES), Google Earth, etc. Actualment, la demanda i el consum de geoinformaci o est a incrementant i, a m es a m es, aquesta ha de ser precisa, exacta, actualitzada i assequible. Amb l'objectiu d'acomplir aquests requisits t ecnics i, en general, la demanda del mercat, la ind ustria i l' ambit acad emic estan introduint un darrera l'altre sistemes d'imatgeria, plataformes a eries i plataformes satel.litals. Per o alhora, aquests sistemes d'adquisici o introdueixen nous problemes com el calibratge i l'orientaci o de sensors, la navegaci o de les plataformes (de manera precisa i exacta segons el seu rendiment), la combinaci o de diferents tipus de sensors, la integraci o de dades auxiliars que provenen de diverses fonts, aspectes temporals com la gravaci o \cont nua"en el temps dels sensors, la feble geometria d'alguns d'ells, etc. Alguns d'aquests problemes es poden resoldre amb els m etodes i estrat egies actuals, sovint afegint pegats, per o la majoria no es poden resoldre amb els m etodes vigents o no es poden resoldre amb els m etodes vigents amb fiabilitat i robustesa. Aquesta tesi presenta les abstraccions i generalitzacions necess aries que permeten desenvolupar la propera generaci o d'ajustos de xarxes i m etodes d'estimaci o amb l'objectiu de resoldre aquests problemes. A m es, basada en aquestes idees, s'ha desenvolupat la principal eina d'aquesta recerca: la plataforma de software \Generic Extensible Network Approach"(GENA). L'objectiu d'aquesta recerca es establir les bases met odiques d'un concepte sistem atic per l'orientaci o i el calibratge de sensors aeris i provar la seva validesa amb nous models i aplicacions. Aix , en primer lloc, prenent dist ancia sobre el que s'ha fet tradicionalment i tenint en compte tot el que ens ofereix la tecnologia INS/GNSS, aquesta tesi genera un m etode per l'explotaci o dels sistemes INS/GNSS en l'orientaci o i el calibratge de sensors aeris. I, en segon lloc, s'han proposat i testejat amb dades reals alguns models que conformen aquest concepte, com per exemple, l' us de temps, posici o i actitud donats pel sistema INS/GNSS en mode relatiu (eliminant la necessitat dels par ametres d'absorci o d'errors INS/GNSS o la matriu d'orientaci o relativa IMU-sensor), l' us de temps, posici o, velocitat i actitud pel calibratge de temps (utilitzant aix la soluci o completa que donen els sistemes INS/GNSS per lligar les dimensions espacial i temporal) o reduir el nombre de mesures de l'orientaci o integrada de sensors tradicional, duent a terme la proposta \fast aerotriangulation", Fast AT. Aquesta recerca est a presentada a la tesi com un compendi d'articles. Aix doncs, els resultats de la tesi no s on nom es el document de la tesi en si mateix i les publicacions, hi ha tamb e un software comercial i models i aplicacions que validen el m etode proposat i representen un nou panorama per l'orientaci o i el calibratge de sensors aeris.En la actualidad, el mercado de la geom atica est a valorado en unos 30 billones de euros. Tras el crecimiento de dicho mercado, se hallan nuevas tecnologias, proyectos y aplicaciones, como por ejemplo, \Global Positioning System"(GPS), Galileo, \Global Monitoring for Environment and Security"(GMES), Google Earth, etc. Hoy en d a, la demanda y el consumo de geoinformaci on est a increment andose y, adem as, dicha informaci on debe ser precisa, exacta, actualizada y asequible. Intentando cumplir estos requisitos t ecnicos y, en general, la demanda del mercado, la industria y el ambito acad emico est an introduciendo uno tras otro sistemas de imagen, plataformas a ereas y plataformas satelitales. Pero a su vez, estos sistemas de adquisici on introducen nuevos problemas como la calibraci on y la orientaci on de sensores, la navegaci on de las plataformas (debe ser precisa y exacta teniendo en cuenta su rendimiento particular), la combinación de diferentes tipos de sensor, la integraci on de datos auxiliares que proceden de diversas fuentes, aspectos temporales como la grabaci on \continua" en el tiempo de los sensores, la d ebil geometr a de algunos de ellos, etc. Algunos de estos problemas pueden resolverse con los m etodos y estrategias actuales, generalmente aplicando parches, pero la mayor a no se pueden resolver con los m etodos vigentes o no se pueden resolver con los m etodos vigentes con fi abilidad y robustez. Esta tesis presenta las abstracciones y generalizaciones necesarias que permiten desarrollar la pr oxima generaci on de ajustes de redes y m etodos de estimaci on con el objetivo de resolver estos problemas. Es m as, basada en estas ideas, se ha desarrollado la herramienta principal de esta investigaci on: la plataforma de software \Generic Extensible Network Approach"(GENA). El objetivo de esta investigaci on es establecer las bases met odicas de un concepto sistem atico para la orientaci on y la calibraci on de sensores a ereos, y probar su validez con nuevos modelos y aplicaciones. As pues, en primer lugar, distanci andonos de lo que tradicionalmente se ha realizado y considerando lo que la tecnolog a INS/GNSS nos ofrece, esta tesis crea un m etodo para la explotaci on de los sistemas INS/GNSS en la orientaci on y la calibraci on de sensores a ereos. Y, en segundo lugar, se proponen y testean con datos reales algunos modelos que constituyen este concepto, como por ejemplo, el uso de tiempo, posici on y actitud dados por el sistema INS/GNSS en modo relativo (eliminando la necesidad de los par ametros de absorci on de errores INS/GNSS o la matriz de orientaci on relativa IMU-sensor), el uso de tiempo, posici on, velocidad y actitud para la calibraci on temporal (utilizando as la soluci on completa que dan los sistemas INS/GNSS para enlazar las dimensiones espacial y temporal) o reducir el n umero de medidas de la orientaci on integrada de sensores tradicional, llevando a cabo la propuesta \fast aerotriangulation", Fast AT. Esta investigaci on est a presentada en la tesis como un compendio de art culos. Resumiendo, los resultados de la tesis no son s olo el documento de la tesis en sí mismo y las publicaciones, existe tambi en un software comercial y modelos y aplicaciones que validan el m etodo propuesto y presentan un nuevo panorama para la orientaci on y la calibraci on de sensores a ereos.The geomatic market has an estimated value of some 30 thirty trillion euros. Behind this growing market, there are new technologies, projects and applications like Global Positioning System (GPS), Galileo, Global Monitoring for Environment and Security (GMES), Google Earth, etc. Modern society is increasingly demanding and consuming geoinformation that must be precise, accurate, up-to-date and affordable. In an attempt to meet these technical requirements and general market demand, industry and academia are introducing one imaging system, airborne platform and satellite platform after another. These acquisitions are introducing new problems such as calibration and orientation of the sensors, navigation of the platforms (with an accurate and precise processing of their individual performances), combination of different types of sensors, integration of auxiliary data provided from various sources, temporal issues of the ¿continuously¿ recording sensors, weak geometry of some sensors, etc. Some of the previous problems can be solved with current methods and strategies, oftentimes with a dose of patchwork. However, the vast majority of these problems cannot be solved with the current methods, or at least not with a like degree of robustness and reliability. This thesis presents the abstractions and generalizations needed to facilitate the development of the next generation of network adjustment and estimation methods that will make it possible to solve these problems. Moreover, the main tool of this research is a commercial software platform, ¿Generic Extensible Network Approach' (GENA), based on the proposed network approach. The goal of this research is to establish a methodical basis of a systematic approach to airborne sensor orientation and calibration and to prove its validity with newly-developed models and applications. On one hand, viewing the traditional DiSO and ISO from a distance and considering the possibilities that the INS/GNSS technology offers, this thesis generates a method to exploit the INS/GNSS systems for airborne sensor orientation and calibration. On the other hand, several models that constitute this method are proposed and tested with independent actual data sets; for example, the use of INS/GNSS-derived time, position and attitude in relative mode (avoiding the need for GNSS linear shift parameters, that absorb the INS/GNSS errors, or the relative orientation IMU-to-sensor, boresight, matrix), the use of INS/GNSS-derived time, position, velocity and attitude for time calibration (exploiting the full solution of the INS/GNSS systems to link the space and time dimensions) or the measurement reduction of the traditional integrated sensor orientation to perform the proposed "fast aerotriangulation", or Fast AT. This research is presented in the thesis as compiled papers. Therefore, the results of this thesis are not only the thesis document itself and a number of publications, but also a commercial software platform and models and applications that validate the proposed method and present a new panorama for airborne sensor orientation and calibration

Security risk assessment in cloud computing domains

Cyber security is one of the primary concerns persistent across any computing platform. While addressing the apprehensions about security risks, an infinite amount of resources cannot be invested in mitigation measures since organizations operate under budgetary constraints. Therefore the task of performing security risk assessment is imperative to designing optimal mitigation measures, as it provides insight about the strengths and weaknesses of different assets affiliated to a computing platform. The objective of the research presented in this dissertation is to improve upon existing risk assessment frameworks and guidelines associated to different key assets of Cloud computing domains - infrastructure, applications, and users. The dissertation presents various informal approaches of performing security risk assessment which will help to identify the security risks confronted by the aforementioned assets, and utilize the results to carry out the required cost-benefit tradeoff analyses. This will be beneficial to organizations by aiding them in better comprehending the security risks their assets are exposed to and thereafter secure them by designing cost-optimal mitigation measures --Abstract, page iv