O contributo da expressão plástica para o desenvolvimentodas múltiplas linguagens da criança

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Uma aplicação Web para apoio a laboratórios remotos reconfiguráveis baseados na norma IEEE 1451.0

Nos últimos anos, o processo de ensino e aprendizagem tem sofrido significativas alterações graças ao aparecimento da Internet. Novas ferramentas para apoio ao ensino têm surgido, nas quais se destacam os laboratórios remotos. Atualmente, muitas instituições de ensino disponibilizam laboratórios remotos nos seus cursos, que permitem, a professores e alunos, a realização de experiências reais através da Internet. Estes são implementados por diferentes arquiteturas e infraestruturas, suportados por vários módulos de laboratório acessíveis remotamente (e.g. instrumentos de medição). No entanto, a sua inclusão no ensino é ainda deficitária, devido: i) à falta de meios e competências técnicas das instituições de ensino para os desenvolverem, ii) à dificuldade na partilha dos módulos de laboratório por diferentes infraestruturas e, iii) à reduzida capacidade de os reconfigurar com esses módulos. Para ultrapassar estas limitações, foi idealizado e desenvolvido no âmbito de um trabalho de doutoramento [1] um protótipo, cuja arquitetura é baseada na norma IEEE 1451.0 e na tecnologia de FPGAs. Para além de garantir o desenvolvimento e o acesso de forma normalizada a um laboratório remoto, este protótipo promove ainda a partilha de módulos de laboratório por diferentes infraestruturas. Nesse trabalho explorou-se a capacidade de reconfiguração de FPGAs para embutir na infraestrutura do laboratório vários módulos, todos descritos em ficheiros, utilizando linguagens de descrição de hardware estruturados de acordo com a norma IEEE 1451.0. A definição desses módulos obriga à criação de estruturas de dados binárias (Transducer Electronic Data Sheets, TEDSs), bem como de outros ficheiros que possibilitam a sua interligação com a infraestrutura do laboratório. No entanto, a criação destes ficheiros é bastante complexa, uma vez que exige a realização de vários cálculos e conversões. Tendo em consideração essa mesma complexidade, esta dissertação descreve o desenvolvimento de uma aplicação Web para leitura e escrita dos TEDSs. Para além de um estudo sobre os laboratórios remotos, é efetuada uma descrição da norma IEEE 1451.0, com particular atenção para a sua arquitetura e para a estrutura dos diferentes TEDSs. Com o objetivo de enquadrar a aplicação desenvolvida, efetua-se ainda uma breve apresentação de um protótipo de um laboratório remoto reconfigurável, cuja reconfiguração é apoiada por esta aplicação. Por fim, é descrita a verificação da aplicação Web, de forma a tirar conclusões sobre o seu contributo para a simplificação dessa reconfiguração.

Localização de jogos

Dissertação de Mestrado apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Tradução e Interpretação Especializadas, sob orientação do Doutor Manuel Moreira da Silva Esta versão não contém as críticas e sugestões dos elementos do júri

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

Disquietude: A Sonata-Form Inquiry Into Multiliteracies Practices in an EAL Classroom

This narrative case study describes an English as an Additional Language teacher’s struggle to understand her young adult learners’ apparent resistance toward multiliteracies pedagogical practices in a college setting. Multiliteracies Pedagogy (New London Group, 1996) advocates the use of digital media, and home languages and culture, to engage diverse youth in designing personally meaningful multimodal texts that can significantly impact learner identity, voice, and agency. This arts-based study uses an innovative sonata-style format to document the making of a class documentary, accompanied by teacher reflections on the video project in the form of poetry, journal excerpts, and classroom dialogue. The sonata form provides a unique methodology for teacher inquiry, allowing the teacher-researcher to explore the ways in which curriculum, pedagogy, and sociocultural influences intersect in the classroom. The study does not end with a clear resolution of the problem; instead, the process of inquiry leads to deeper understandings of what it means to teach in the complex worlds of diverse learners.

Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo

Ce mémoire vise à recenser les avantages et les inconvénients de l'utilisation du langage de programmation fonctionnel dynamique Scheme pour le développement de jeux vidéo. Pour ce faire, la méthode utilisée est d'abord basée sur une approche plus théorique. En effet, une étude des besoins au niveau de la programmation exprimés par ce type de développement, ainsi qu'une description détaillant les fonctionnalités du langage Scheme pertinentes au développement de jeux vidéo sont données afin de bien mettre en contexte le sujet. Par la suite, une approche pratique est utilisée en effectuant le développement de deux jeux vidéo de complexités croissantes: Space Invaders et Lode Runner. Le développement de ces jeux vidéo a mené à l'extension du langage Scheme par plusieurs langages spécifiques au domaine et bibliothèques, dont notamment un système de programmation orienté objets et un système de coroutines. L'expérience acquise par le développement de ces jeux est finalement comparée à celle d'autres développeurs de jeux vidéo de l'industrie qui ont utilisé Scheme pour la création de titres commerciaux. En résumé, l'utilisation de ce langage a permis d'atteindre un haut niveau d'abstraction favorisant la modularité des jeux développés sans affecter les performances de ces derniers.

Transformation by example

La transformation de modèles consiste à transformer un modèle source en un modèle cible conformément à des méta-modèles source et cible. Nous distinguons deux types de transformations. La première est exogène où les méta-modèles source et cible représentent des formalismes différents et où tous les éléments du modèle source sont transformés. Quand elle concerne un même formalisme, la transformation est endogène. Ce type de transformation nécessite généralement deux étapes : l’identification des éléments du modèle source à transformer, puis la transformation de ces éléments. Dans le cadre de cette thèse, nous proposons trois principales contributions liées à ces problèmes de transformation. La première contribution est l’automatisation des transformations des modèles. Nous proposons de considérer le problème de transformation comme un problème d'optimisation combinatoire où un modèle cible peut être automatiquement généré à partir d'un nombre réduit d'exemples de transformations. Cette première contribution peut être appliquée aux transformations exogènes ou endogènes (après la détection des éléments à transformer). La deuxième contribution est liée à la transformation endogène où les éléments à transformer du modèle source doivent être détectés. Nous proposons une approche pour la détection des défauts de conception comme étape préalable au refactoring. Cette approche est inspirée du principe de la détection des virus par le système immunitaire humain, appelée sélection négative. L’idée consiste à utiliser de bonnes pratiques d’implémentation pour détecter les parties du code à risque. La troisième contribution vise à tester un mécanisme de transformation en utilisant une fonction oracle pour détecter les erreurs. Nous avons adapté le mécanisme de sélection négative qui consiste à considérer comme une erreur toute déviation entre les traces de transformation à évaluer et une base d’exemples contenant des traces de transformation de bonne qualité. La fonction oracle calcule cette dissimilarité et les erreurs sont ordonnées selon ce score. Les différentes contributions ont été évaluées sur d’importants projets et les résultats obtenus montrent leurs efficacités.

Los métodos de enseñanza en ELE : el método comunicativo revisado

Cette étude se focalise sur la révision de l’approche communicative des manuels d’enseignement de l’espagnol comme langue étrangère (ELE) et, plus particulièrement, sur celle des manuels utilisés dans les institutions scolaires du Québec. D’un point de vue historique, les premières inquiétudes liées à l’enseignement et à l’acquisition de langues secondes sont apparues dans l’Antiquité. Pendant des siècles, l’enseignement fondé sur la répétition de structures a prédominé, mais une fois le Moyen Âge passé, d’autres avancées pédagogiques sont nées. Par exemple, au XVIIe siècle, des études sur la question, inspirées de penseurs comme Montaigne et Locke, ont révélé que l’apprentissage formel de la langue n’était pas utile et que les apprenants avaient besoin d’une motivation pour apprendre. Le XXe siècle a été caractérisé par le déploiement de propositions méthodologiques à utiliser dans l’enseignement de langues secondes, et c’est ainsi que des méthodes telles que Directe, Audio-linguistique, Apprentissage communautaire de la langue et Approche naturelle ont surgi. Au milieu du XXe siècle s’est développée en Europe une proposition basée sur les besoins communicatifs des étudiants et ce qui, au début, était connu comme l’approche notionnelle fonctionnelle a évolué et est devenu l’enseignement communicatif. Une telle approche concerne essentiellement l’usage de la langue et accorde moins d’importance aux connaissances linguistiques. Elle a pour objectif principal que l’étudiant-parlant développe des habiletés interprétatives et expressives de la langue objet. En nous appuyant sur un cadre théorique de l’enseignement des langues et en analysant les manuels Nuevo ELE, Prisma et Español en marcha (niveaux A1-B2), nous prétendons vérifier la présence de l’approche communicative dans ces manuels afin de pouvoir démontrer que dans les activités dites communicatives, il y a différentes applications possibles des méthodes traditionnelles de l’enseignement de langues secondes et que, par conséquent, l’approche communicative réunit plusieurs propositions qui proviennent d’autres méthodes. Mot-clés : Espagnol langue étrangère (ELE), approche communicative, analyse de manuels, Nuevo ELE, Prisma, Español en marcha.

Complexité raffinée du problème d'intersection d'automates

Le problème d'intersection d'automates consiste à vérifier si plusieurs automates finis déterministes acceptent un mot en commun. Celui-ci est connu PSPACE-complet (resp. NL-complet) lorsque le nombre d'automates n'est pas borné (resp. borné par une constante). Dans ce mémoire, nous étudions la complexité du problème d'intersection d'automates pour plusieurs types de langages et d'automates tels les langages unaires, les automates à groupe (abélien), les langages commutatifs et les langages finis. Nous considérons plus particulièrement le cas où chacun des automates possède au plus un ou deux états finaux. Ces restrictions permettent d'établir des liens avec certains problèmes algébriques et d'obtenir une classification intéressante de problèmes d'intersection d'automates à l'intérieur de la classe P. Nous terminons notre étude en considérant brièvement le cas où le nombre d'automates est fixé.

A Compiler for the dependently typed language Beluga

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage.

L’évolution des représentations sur les langues d’élèves plurilingues du 3e cycle du primaire lors de l’implantation d’un projet d’Éveil aux langues

La présente recherche documente l’évolution des représentations sur les langues de cinq cas d’élèves plurilingues et immigrants ou issus de l’immigration, scolarisés en fin de cycle du primaire en milieu pluriethnique à Montréal, tout au long de l’implantation d’un projet d’Éveil aux langues, sur une période de deux ans. La méthodologie adoptée permet de décrire en profondeur et de façon nuancée, l’évolution des représentations des élèves sur les langues de leur répertoire plurilingue d’une part, et plus largement, sur les langues et de la diversité linguistique d’autre part. Les résultats de la recherche ont permis de mettre en évidence que l’implantation d’un projet d’Éveil aux langues sur deux ans : 1) a des effets positifs sur les représentations sur la diversité linguistique de ces élèves; 2) permet de soutenir le développement de représentations positives sur les langues du répertoire linguistique des élèves qui passe par l’acceptation de compétences partielles dans l’une ou l’autre des langues de leur répertoire et par l’expression d’un sentiment de fierté à propos de leur répertoire plurilingue; 3) permet le développement, chez les élèves, de diverses stratégies pour légitimer l’intégration de langues dans lesquelles ils ont des compétences partielles au sein de leur répertoire linguistique : apporter un jugement de valeur sur leurs compétences, spécifier leur domaine de compétence (expression orale ou écrite, compréhension orale ou écrite), qualifier, étiqueter leurs langues (langue maternelle, langue d’origine, langue seconde), adapter les définitions formelles présentées dans le projet sur le plurilinguisme à leur situation; 4) les représentations sur les langues par les élèves peuvent être marquées par le poids des représentations sociales; toutefois, cette tendance se lénifie au fur et à mesure de l’implantation du projet et une majorité d’élèves partage des représentations plus individualisées et moins marquées par des stéréotypes en fin de projet; 5) permet, pour les élèves de niveau scolaire fort et moyen, le développement d’un vocabulaire de haut niveau ainsi que le développement d’une curiosité envers la langue de l’Autre; 6) permet, pour les élèves de niveau scolaire faible, et à partir de la seconde année d’implantation, le développement d’un engagement dans les activités qui passe par une participation accrue au projet et le développement de compétence langagière (meilleure qualité argumentative); 7) offre la possibilité aux élèves de se connaître les uns les autres, d’être à l’écoute de l’Autre et d’exprimer de la curiosité envers la langue de l’autre et de reconnaître l’expertise de l’Autre, ceci participant à la mise en place d’une dynamique relationnelle propice aux apprentissages

New Standards of Justice: Uncovering Motivations for Mexico’s Recent Judicial Reforms amid a Security Crisis

From the introduction: Mexico is in a state of siege. In recent years, organized crime and drug-related violence have escalated dramatically, taking innocent lives and leaving the country mired in bloodshed. The Mexican government, under the leadership of President Felipe Calderón, has responded in part by significantly extending the reach of its security operations, deploying thousands of federal police officers and military troops to combat the activities of drug cartels, and collaborating with the United States on an extensive regional security plan known as the Mérida Initiative. In the midst of the security crisis, however, the government has somewhat paradoxically adopted judicial reforms that protect human rights and civil liberties rather than erode them, specifically the presumption of innocence standard in criminal proceedings and the implementation of oral trials. Assuming that the new laws on the books will be applied in practice, these reforms represent an important commitment on the part of the government to uphold human rights and civil liberties. This is in stark contrast to the infamous judicial reforms in Colombia—the institutionalization of anonymous or “faceless” prosecutions in special courts—implemented after a surge in leftist and cartel brutality, and the murders of several prominent public and judicial officials in the 1980s.

Restarting automata with restricted utilization of auxiliary symbols

The restarting automaton is a restricted model of computation that was introduced by Jancar et al. to model the so-called analysis by reduction, which is a technique used in linguistics to analyze sentences of natural languages. The most general models of restarting automata make use of auxiliary symbols in their rewrite operations, although this ability does not directly correspond to any aspect of the analysis by reduction. Here we put restrictions on the way in which restarting automata use auxiliary symbols, and we investigate the influence of these restrictions on their expressive power. In fact, we consider two types of restrictions. First, we consider the number of auxiliary symbols in the tape alphabet of a restarting automaton as a measure of its descriptional complexity. Secondly, we consider the number of occurrences of auxiliary symbols on the tape as a dynamic complexity measure. We establish some lower and upper bounds with respect to these complexity measures concerning the ability of restarting automata to recognize the (deterministic) context-free languages and some of their subclasses.

The Degree of Word-Expansion of Lexicalized RRWW-Automata

Restarting automata can be seen as analytical variants of classical automata as well as of regulated rewriting systems. We study a measure for the degree of nondeterminism of (context-free) languages in terms of deterministic restarting automata that are (strongly) lexicalized. This measure is based on the number of auxiliary symbols (categories) used for recognizing a language as the projection of its characteristic language onto its input alphabet. This type of recognition is typical for analysis by reduction, a method used in linguistics for the creation and verification of formal descriptions of natural languages. Our main results establish a hierarchy of classes of context-free languages and two hierarchies of classes of non-context-free languages that are based on the expansion factor of a language.

Evolving Distributed Algorithms with Genetic Programming

Distributed systems are one of the most vital components of the economy. The most prominent example is probably the internet, a constituent element of our knowledge society. During the recent years, the number of novel network types has steadily increased. Amongst others, sensor networks, distributed systems composed of tiny computational devices with scarce resources, have emerged. The further development and heterogeneous connection of such systems imposes new requirements on the software development process. Mobile and wireless networks, for instance, have to organize themselves autonomously and must be able to react to changes in the environment and to failing nodes alike. Researching new approaches for the design of distributed algorithms may lead to methods with which these requirements can be met efficiently. In this thesis, one such method is developed, tested, and discussed in respect of its practical utility. Our new design approach for distributed algorithms is based on Genetic Programming, a member of the family of evolutionary algorithms. Evolutionary algorithms are metaheuristic optimization methods which copy principles from natural evolution. They use a population of solution candidates which they try to refine step by step in order to attain optimal values for predefined objective functions. The synthesis of an algorithm with our approach starts with an analysis step in which the wanted global behavior of the distributed system is specified. From this specification, objective functions are derived which steer a Genetic Programming process where the solution candidates are distributed programs. The objective functions rate how close these programs approximate the goal behavior in multiple randomized network simulations. The evolutionary process step by step selects the most promising solution candidates and modifies and combines them with mutation and crossover operators. This way, a description of the global behavior of a distributed system is translated automatically to programs which, if executed locally on the nodes of the system, exhibit this behavior. In our work, we test six different ways for representing distributed programs, comprising adaptations and extensions of well-known Genetic Programming methods (SGP, eSGP, and LGP), one bio-inspired approach (Fraglets), and two new program representations called Rule-based Genetic Programming (RBGP, eRBGP) designed by us. We breed programs in these representations for three well-known example problems in distributed systems: election algorithms, the distributed mutual exclusion at a critical section, and the distributed computation of the greatest common divisor of a set of numbers. Synthesizing distributed programs the evolutionary way does not necessarily lead to the envisaged results. In a detailed analysis, we discuss the problematic features which make this form of Genetic Programming particularly hard. The two Rule-based Genetic Programming approaches have been developed especially in order to mitigate these difficulties. In our experiments, at least one of them (eRBGP) turned out to be a very efficient approach and in most cases, was superior to the other representations.