Extending relAPS to first order logic

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

Déploiement automatique d’une application de routage téléphonique d’une langue source vers une langue cible

Les modèles de compréhension statistiques appliqués à des applications vocales nécessitent beaucoup de données pour être entraînés. Souvent, une même application doit pouvoir supporter plusieurs langues, c’est le cas avec les pays ayant plusieurs langues officielles. Il s’agit donc de gérer les mêmes requêtes des utilisateurs, lesquelles présentent une sémantique similaire, mais dans plusieurs langues différentes. Ce projet présente des techniques pour déployer automatiquement un modèle de compréhension statistique d’une langue source vers une langue cible. Ceci afin de réduire le nombre de données nécessaires ainsi que le temps relié au déploiement d’une application dans une nouvelle langue. Premièrement, une approche basée sur les techniques de traduction automatique est présentée. Ensuite une approche utilisant un espace sémantique commun pour comparer plusieurs langues a été développée. Ces deux méthodes sont comparées pour vérifier leurs limites et leurs faisabilités. L’apport de ce projet se situe dans l’amélioration d’un modèle de traduction grâce à l’ajout de données très proche de l’application ainsi que d’une nouvelle façon d’inférer un espace sémantique multilingue.

Le corps fantomatique dans Le Ravissement de Lol V. Stein de Marguerite Duras et La Maison étrangère d'Élise Turcotte

Depuis la valorisation du corps comme site identitaire et comme langage autre dans la théorisation de l’écriture au féminin des années 1970, les représentations du corps, notamment du corps féminin, occupent la scène romanesque jusqu’à aujourd’hui. Dans cette perspective, le présent mémoire s’intéresse au corps fantomatique des héroïnes du Ravissement de Lol V. Stein de Marguerite Duras et de La Maison étrangère d’Élise Turcotte. Le corps se fait littéralement hantise chez Duras et Turcotte : il est marqué d’absence, d’étrangeté, de fatigue et d’errance, ne trouvant plus de lieu d’être ni de repères à la suite d’un événement « traumatique », dans le cas de Lol, ou à la suite d’une séparation, dans celui d’Élisabeth. Les protagonistes sont sous l’emprise d’un sentiment d’étrangeté qui spectralise le corps en introduisant un décalage dans le rapport à soi et à autrui. Ce sentiment est causé en partie par une mémoire défaillante qui fragmente leur identité. C’est par un travail mémoriel que Lol V. Stein et Élisabeth tenteront de résoudre la hantise de leur histoire individuelle et familiale. Le texte fait écho à la corporalité fantomatique – mise en scène selon diverses représentations du corps dématérialisé – en se spectralisant à son tour par l’inscription des « blancs » dans l’écriture. Le processus d’effacement des corps sera mis en parallèle avec une spatio-temporalité elle aussi marquée par la hantise du passé. La spectralité apparaît, dans le récit contemporain au féminin, pour témoigner d’une identité (cor)rompue par la rupture ; celle-ci devient prétexte à une réflexion sur la manière d’habiter son corps et d’un être-au-monde à repenser.

La letra con refranes entra : el Quijote para la enseñanza de ELE

L’objectif principal du présent travail de recherche est d’établir un lien entre les proverbes (refranes) du Quichotte et l’enseignement de l’espagnol comme langue étrangère (ELE). En premier lieu, afin de mieux définir l’utilisation des parémies à travers les siècles, nous observons leur origine en lien avec l’oralité et la culture écrite, liée avec la Bible. De plus, nous considérons nécessaire de définir de manière claire les termes utilisés en parémiologie, tels que la parémie, le refrán espagnol et le proverbe. Cette précision terminologique est importante dans le processus d’apprentissage d’une nouvelle langue, par exemple afin de ne pas faire de fausses associations entre la langue maternelle et la langue apprise. La définition du refrán suit une matrice de traits essentiels ou optionnels. De plus, afin d’actualiser ces notions, nous présentons l’espace qu’occupent les proverbes ou les refranes de nos jours. Face au manque d’études sur l’utilisation des proverbes au Québec, nous avons réalisé un sondage parmi les étudiants québécois de cégeps afin d’observer leur opinion et son emploi. En ce qui a lieu à la relation directe entre les proverbes et l’enseignement de l’espagnol, nous remarquons que ce type d’énoncé n’est pas introduit en profondeur dans les documents officiels, tels que le Cadre européen commun de référence (2002), le Plan curricular del Instituto Cervantes (2005) et le Espagnol, langue tierce du Ministère de l’éducation, du loisir et du sport de Québec (MELS). Cette présence peu active est soulignée par le peu d’importance qui leur est attribuée dans les manuels d’enseignement. L’inclusion de la littérature en enseignement d’ELE, comme force didactique, a été généralement peu considérée. Le corpus de notre recherche, sélectionné du roman de Don Quichotte de la Manche, nous est utile pour connaître le lien entre les refranes, la littérature et ELE, présentant les proverbes comme un type de littérature en soi, grâce à un éventail d’activités, avec l’objectif qu’elles soient reconsidérées à sa juste valeur, dès les premiers niveaux d’enseignement. Mots-clés: Enseignement de l’espagnol comme langue étrangère (ELE), Littérature, Don Quichotte, proverbes (le refrán espagnol), activités

Lecture d'une ambivalence identitaire de la société martiniquaise. Essai psychanalytique d’une aliénation

Comme une grande partie des îles de la Caraïbe, pour des raisons économiques basées sur le mercantilisme, justifiées par une législation, la Martinique, née il y a trois siècles, a connu un emmêlement massif de diverses ethnies. Suite à l’abolition de l’esclavage en 1848 et à la crise agricole qui en découla, c’est un brassage de coutumes qui s’opéra avec l’immigration des Hindous, des Africains, des Chinois et des Indochinois. Ce faisant, ces coutumes ont conservé leurs traditions et croyances propres, expliquant ainsi la fusion d'éléments de ces cultures, encore présente aujourd’hui. En abolissant l’esclavage, la « Loi » abolit également la réification, rétablissant ainsi l’humanité de l’homme, puisque l’esclave noir était considéré comme un bien meuble . Il en résulte la création d’un nouveau monde, modifiant la vie culturelle, déployant des habitus, ainsi qu’une manière de penser et d’agir. Aussi, un nouveau langage se structure progressivement. En 1946, la Martinique est reconnue département français d’Amérique. Aujourd’hui, elle se trouve dans une dépendance économique et sociale. De cet état de fait, un conflit s’impose à l’Afro-Martiniquais quant à la question de l’identité. Il se trouve partagé entre le contexte franco-européen et le milieu afro-antillais. Cette contradiction émane aussi de situations de confrontation, d’où se dégage souvent un ressenti de « fatalité » voire de « malédiction » entraînant « un sentiment de culpabilité collective » d’oser défier l’ordre social en place. Notre recherche vise à analyser ce dilemme de la dépendance à partir de l’énoncé des malédictions puis des considérations historiques suivies d'une perspective psychanalytique.

Projection multilingue d'annotations pour dialogues avancés

Depuis quelques années, les applications intégrant un module de dialogues avancés sont en plein essor. En revanche, le processus d’universalisation de ces systèmes est rapidement décourageant : ceux-ci étant naturellement dépendants de la langue pour laquelle ils ont été conçus, chaque nouveau langage à intégrer requiert son propre temps de développement. Un constat qui ne s’améliore pas en considérant que la qualité est souvent tributaire de la taille de l’ensemble d’entraînement. Ce projet cherche donc à accélérer le processus. Il rend compte de différentes méthodes permettant de générer des versions polyglottes d’un premier système fonctionnel, à l’aide de la traduction statistique. L’information afférente aux données sources est projetée afin de générer des données cibles parentes, qui diminuent d’autant le temps de développement subséquent. En ce sens, plusieurs approches ont été expérimentées et analysées. Notamment, une méthode qui regroupe les données avant de réordonner les différents candidats de traduction permet d’obtenir de bons résultats.

Sprachentwicklung und Fachlernen im Mechanikunterricht

Die empirische Studie untersucht das Wechselspiel zwischen der fachbezogenen Sprachentwicklung und dem Fachlernen von Schülerinnen und Schülern bei der Einführung in den Kraftbegriff. Sie betrachtet also sowohl sprachliche wie auch kognitive Aspekte des Lernens in der Mechanik. Dafür wurde ein Unterrichtskonzept entwickelt, das den Gebrauch des Fachwortes Kraft in der Wissenschaft und in der alltäglichen Sprache besonders thematisiert. Dieses Unterrichtskonzept basiert auf Empfehlungen und Ergebnissen der Kognitionspsychologie, Linguistik, Philosophie, Sprachlehrforschung und der Didaktiken der Physik und der Fremdsprachen. Im Rahmen des Unterrichts wurden die Schülerinnen und Schüler mit zwei Aufgabentypen konfrontiert: Beim ersten Aufgabentyp waren die Lerner aufgefordert, den Kraftbegriff so zu verwenden, wie es einer fachsprachlich angemessenen Form entspräche, etwa um die Bewegung eines Zuges zu beschreiben. Aufgaben des zweiten Typs sahen vor, dass die Schülerinnen und Schüler kurze Texte danach klassifizierten, ob sie der Alltagssprache oder der Fachsprache angehörten. Diese als Metadiskurs bezeichnete Form der Auseinandersetzung mit sprachlichen Aspekten verhalf den Schülerinnen und Schülern zu einer Gelegenheit, ihr eigenes Verständnis des Kraftbegriffs zu thematisieren. Weiter lieferte der Metadiskurs wichtige Hinweise darauf, ob die Schülerinnen und Schüler sich bei ihren Beurteilungen eher auf formal-sprachliche oder inhaltliche Aspekte der Sprache bezogen. Für die Datenerhebung wurden alle Unterrichtsstunden videografiert und transkribiert. Zusammen mit schriftlichen Arbeitsergebnissen und Tests stand ein umfangreicher Datensatz zur Verfügung, für dessen Auswertung ein inhaltsanalytisches Verfahren Anwendung fand. Die Ergebnisse zeigen, dass das Lernen im Fach Physik bestimmte Ähnlichkeiten mit dem Lernen einer Fremdsprache zeigt: Wenn die Schülerinnen und Schüler den Kraftbegriff fachsprachlich verwenden sollen, sehen sie sich oft einer Alternativentscheidung gegenüber. Entweder sie versuchen, einer fachsprachlichen Form zu gehorchen und verlieren dabei den Inhalt aus den Augen, oder sie konzentrieren sich auf den Inhalt, drücken sich dabei aber in ihrer Alltagssprache aus und folgen Alltagskonzepten, die weit entfernt von den fachlich intendierten liegen. Ähnliche Beobachtungen kann man im Sprachunterricht machen, wenn Schüler eine neue grammatische Regel einüben: Sie konzentrieren sich entweder auf die neu zu erlernende Regel, oder aber auf den Inhalt des Gesagten, wobei sie die grammatische Regel, die an sich Gegenstand der Übung ist, verletzen. Meistens fällt diese Entscheidung derart, dass die Konzentration auf den Inhalt des Gesagten gerichtet ist, nicht oder wenig auf seine Form. Im Unterschied zum Sprachunterricht ist der Physikunterricht allerdings nicht nur darauf gerichtet, fachsprachlich angemessene Formen einzuüben, sondern insbesondere darauf, den Blick für neue und ungewohnte Konzepte zu öffnen. Damit müssen die Schülerinnen und Schüler hier häufig sprachliche und kognitive Hürden zur selben Zeit bewältigen. Die detaillierte Analyse des Metadiskurses zeigt, dass das Problem des Nebeneinanders zweier unterschiedlicher Anforderung entschäft werden kann: Während die Schüler im Metadiskurs unterschiedliche Aspekte der Sprache diskutieren, sind sie eher in der Lage, sowohl formale wie inhaltsbezogene Merkmale der Sprache wahrzunehmen. Der Text referiert weitere Parallelen zwischen dem Physikunterricht und dem Fremdsprachenlernen, sodass die Auffassung gerechtfertigt ist, dass die Fremdsprachendidaktik als Ideenlieferantin dafür dienen kann, neue Verbesserungsmöglichkeiten für den Physikunterricht aufzufinden.

Maygen: A Symbolic Debugger Generation System

With the development of high-level languages for new computer architectures comes the need for appropriate debugging tools as well. One method for meeting this need would be to develop, from scratch, a symbolic debugger with the introduction of each new language implementation for any given architecture. This, however, seems to require unnecessary duplication of effort among developers. This paper describes Maygen, a "debugger generation system," designed to efficiently provide the desired language-dependent and architecture-dependent debuggers. A prototype of the Maygen system has been implemented and is able to handle the semantically different languages of C and OPAL.

Future Monument

Based on a series of collage made from images of mega yachts, the Future Monument looks at the possibility of taking late capitalism more seriously as an ideology than it takes itself seriously. The project asks whether the private display of wealth and power represented by the yacht can be appropriated for a new language of public sculpture. The choreographed live performance of the construction of the large scale monument was scripted to a proposed capitalist manifesto and took place in a public square in Herzliya, Israel. It aimed to articulate the ideology latent in capitalism’s claims to a neutral manifestation of human nature. The Future Monument project was developed through reading seminars taking place at Goldsmiths College, as part of a research strand headed by Pil and Galia Kollectiv on irony and overidentification within the Political Currency of Art research group. This research has so far produced a series of silk screen collage prints, a sculpture commissioned by the Essex Council and a live performance commissioned by the Herzliya Biennale. However, the project is ongoing, with future outputs planned including a curated exhibition and conference in 2012, in collaboration with Matthew Poole, Programme Director of the Centre for Curatorial Studies at the University of Essex.

El cambio de código en hispanohablantes en Suecia : Experiencias y actitudes

In this thesis it is investigated how Spanish-speakers in Sweden experience living with two languages ​​and how common it is for them to use code-switching in their everyday speech. The study has focused on not only the experiences but also the use of code-switching among Hispanics who have become bilinguals in Sweden. The study has also examined the attitudes the informants show towards code – switching.The aim of this study is to provide a picture of the experiences Spanish-speakers have of becoming bilinguals in Sweden and of learning and using Swedish as a second language. It is of interest to see how the bilinguals converse inside and outside the home and how frequent and accepted it is among the Hispanics in Sweden with the use of code-switching in different social contexts. In summary, we can see that the Hispanics in Sweden are satisfied with the linguistic development they have experienced by learning a new language and that they consider it beneficial being bilingual. The study shows that code-switching is very much used, but not fully accepted even by those who use it on a daily basis. Code-switching is in many cases not considered appropriate and it is sometimes performed unconsciously.

Think global, act local: from naive comparison to critical participation in the teaching of strategic international human resource management

In this paper, we examine the implications of ethnocentrism and paternalism in teaching approaches for the field of strategic international human resource management (SIHRM), as an example of management studies. We argue that the teaching of SIHRM has been approached in a colonizing fashion, joining and extending the territories of human resource management and organizational strategy through the definition and teaching of a new language and conceptual vocabulary. We explore philosophical approaches and processes involved in teaching SIHRM, and consider implications of pedagogical developments in this field of management education.

Opportunities and challenges with J2SE 5 for introductory programming teaching

The recent release of the Java version 5.0 "Tiger" introduces some significant language changes. For educators, some of these changes provide opportunities to improve teaching, while others pose additional problems that require awareness to avoid them. The authors have recently completed the inclusion of support for all new language features into a wellknown educational IDE for Java – BlueJ – and in the course of doing so evaluated each of them for usefulness in education, and developed pedagogic strategies to handle the inherent opportunities and challenges. This has formed the basis of the design of the features in BlueJ which support the language changes. In this paper, we describe the results of our evaluation, provide recommendations on treatment of the new features in introductory courses and discuss how BlueJ may be used to illustrate important aspects.

Hair braiding : working the boundaries of methodology in globalisation research

This paper engages the constitutive as well as the representative role of metaphor in research. Metaphors are understood to provide possibilities for representations and conceptualisations. The use of metaphorical redescription permits us to 'use familiar words in unfamiliar ways' (Rorty, 1989, p. 18) and provides new language that deters the use of repeated ways of knowing. It invites us to see things differently and to act differently. Lakoff and Johnson (1980) argue that metaphor does more than represent: 'New metaphors have the power to construct a new reality' (p. 145). I have drawn on both these understandings of metaphor. In qualitative research, metaphorical analysis has a well-established history. Researchers analyse metaphors used by research participants and apply metaphors to participant actions and understandings (Koro-Ljungberg, 2001; Gregory & Noblit, 1998). Researchers also use metaphors to reflect or represent their methodological decision-making (Richardson, 2003; Gadamer, 1989). In this article, I have nudged the conceptual boundaries of methodology. I have argued the constructive nature of metaphor in methodological positioning and decision making. I use the writing of a doctoral thesis to argue this role of metaphor. There, the metaphor of hair braiding constructed and communicated my methodological decision-making and my researcher stance as a braider.

Professional standards for physical education teachers' professional development : technology for performance?

Background: The widespread and diverse models of professional standards for teaching raise questions with respect to the need to provide teachers with a pathway for continuing professional development balanced with the public nature of surveillance and accountability that may accompany standards. Ways of understanding technologies of power in relation to standards for
teaching gives us a new language and, in turn, new questions about the standards agenda in the physical education profession.
Purpose: To analyse how one health and physical education (HPE) teacher worked with Education Queensland’s (EQ) professional standards for teaching within the broader context of teacher professional development and renewal.
Participants and setting: An experienced HPE teacher working in an urban secondary school was the ‘case’ for this article. Tim was the only experienced HPE teacher within the larger pilot study of 220 selected teachers from the volunteer pool across the state.
Data collection: The case-study data comprised two in-depth interviews conducted by the first author, field notes from workshops (first author), teacher diaries and work samples, notes from focus groups of which Tim was a member, and electronic communications with peers by Tim
during the course of the evaluation.
Findings: Tim was supportive of the teaching standards while they did not have a strong evaluative dimension associated with technologies of power. He found the self-regulation associated with his reflective practices professionally rewarding rather than being formalised within a prescribed
professional development framework.
Conclusion: Tim’s positive response to the professional standards for teaching was typical of the broader pilot cohort. The concept of governmentality provided a useful framework to help map how the standards for teaching were received, regardless of teacher specialisation or experience.
We suggest that it is not until the standards regimes are talked about within the discourses of
power (e.g. codification for career progression, certification for professional development imperatives) that we can understand patterns of acceptance and resistance by teachers to policies
that seek to shape their performance.

The role of effective partnerships in an Australian place-based intervention to reduce race-based discrimination

Localities Embracing and Accepting Diversity (LEAD) is an ongoing place-based pilot program aimed at improving health outcomes among Aboriginal and migrant communities through increased social and economic participation. Specifically, LEAD works with mainstream organizations to prevent race-based discrimination from occurring. The partnership model of LEAD was designed to create a community intervention that was evidence-based, effective, and flexible enough to respond to local contexts and needs. LEAD's complex organizational and partnership model, in combination with an innovative approach to reducing race-based discrimination, has necessitated the use of new language and communication strategies to build genuinely collaborative partnerships. Allocating sufficient time to develop strategies aligned with this new way of doing business has been critical. However, preliminary data indicate that a varied set of partners has been integral to supporting the widespread influence of the emerging LEAD findings across partner networks in a number of different sectors.