An architectural idea has been drawn out in a row house on an imaginary site. Architectural drawings in plan, section and elevation, as well as diagrams, sketches and graphite renderings show a process of working that presupposes existential questions as necessary for making architecture. / Master of Architecture

L'esprit humain abstrait et isole les parties d'un sujet pour les examiner, en déduire les conclusions et les vérités. Cette réaction est appelée réductionnisme et permet de connaître et de faire avancer la connaissance. Par contre, l'esprit en vient à négliger la globalité du sujet et cette tendance à réduire crée un problème d'esprit d'abstraction. Notre société s'est laissée aveugler par les sciences et les techniques au point d'en oublier les valeurs et le sens de la vie. L'abstraction a pour effet de rendre l'homme paresseux intellectuellement puisqu'il n'est plus formé à penser par lui-même mais à se fier à l'avis de spécialistes. Ce mémoire examine ce qu'est le réductionnisme ainsi que ses différentes formes afin de le repérer dans le monde qui nous entoure. Il en étudie les conséquences afin de proposer des solutions à ce problème qui tend à devenir un danger important au 21e siècle.

<P align="justify">Model-checking is an automated technique which aims at verifying properties of computer systems. A model-checker is fed with a model of the system (which capture all its possible behaviors) and a property to verify on this model. Both are given by a convenient mathematical formalism like, for instance, a transition system for the model and a temporal logic formula for the property.</P> <P align="justify">For several reasons (the model-checking is undecidable for this class of model or the model-checking needs too much resources for this model) model-checking may not be applicable. For safety properties (which basically says "nothing bad happen"), a solution to this problem uses a simpler model for which model-checkers might terminate without too much resources. This simpler model, called the abstract model, over-approximates the behaviors of the concrete model. However the abstract model might be too imprecise. In fact, if the property is true on the abstract model, the same holds on the concrete. On the contrary, when the abstract model violates the property, either the violation is reproducible on the concrete model and so we found an error; or it is not reproducible and so the model-checker is said to be inconclusive. Inconclusiveness stems from the over-approximation of the concrete model by the abstract model. So a precise model yields the model-checker to conclude, but precision comes generally with an increased computational cost.</P> <P align="justify">Recently, a lot of work has been done to define abstraction refinement algorithms. Those algorithms compute automatically abstract models which are refined as long as the model-checker is inconclusive. In the thesis, we give a new abstraction refinement algorithm which applies for safety properties. We compare our algorithm with previous attempts to build abstract models automatically and show, using formal proofs that our approach has several advantages. We also give several extensions of our algorithm which allow to integrate existing techniques used in model-checking such as acceleration techniques.</P> <P align="justify">Following a rigorous methodology we then instantiate our algorithm for a variety of models ranging from finite state transition systems to infinite state transition systems. For each of those models we prove the instantiated algorithm terminates and provide encouraging preliminary experimental results.</P> <br> <br> <P align="justify">Le model-checking est une technique automatisée qui vise à vérifier des propriétés sur des systèmes informatiques. Les données passées au model-checker sont le modèle du système (qui en capture tous les comportements possibles) et la propriété à vérifier. Les deux sont donnés dans un formalisme mathématique adéquat tel qu'un système de transition pour le modèle et une formule de logique temporelle pour la propriété.</P> <P align="justify">Pour diverses raisons (le model-checking est indécidable pour cette classe de modèle ou le model-checking nécessite trop de ressources pour ce modèle) le model-checking peut être inapplicable. Pour des propriétés de sûreté (qui disent dans l'ensemble "il ne se produit rien d'incorrect"), une solution à ce problème recourt à un modèle simplifié pour lequel le model-checker peut terminer sans trop de ressources. Ce modèle simplifié, appelé modèle abstrait, surapproxime les comportements du modèle concret. Le modèle abstrait peut cependant être trop imprécis. En effet, si la propriété est vraie sur le modèle abstrait alors elle l'est aussi sur le modèle concret. En revanche, lorsque le modèle abstrait enfreint la propriété : soit l'infraction peut être reproduite sur le modèle concret et alors nous avons trouvé une erreur ; soit l'infraction ne peut être reproduite et dans ce cas le model-checker est dit non conclusif. Ceci provient de la surapproximation du modèle concret faite par le modèle abstrait. Un modèle précis aboutit donc à un model-checking conclusif mais son coût augmente avec sa précision.</P> <P align="justify">Récemment, différents algorithmes d'abstraction raffinement ont été proposés. Ces algorithmes calculent automatiquement des modèles abstraits qui sont progressivement raffinés jusqu'à ce que leur model-checking soit conclusif. Dans la thèse, nous définissons un nouvel algorithme d'abstraction raffinement pour les propriétés de sûreté. Nous comparons notre algorithme avec les algorithmes d'abstraction raffinement antérieurs. A l'aide de preuves formelles, nous montrons les avantages de notre approche. Par ailleurs, nous définissons des extensions de l'algorithme qui intègrent d'autres techniques utilisées en model-checking comme les techniques d'accélérations.</P> <P align="justify">Suivant une méthodologie rigoureuse, nous instancions ensuite notre algorithme pour une variété de modèles allant des systèmes de transitions finis aux systèmes de transitions infinis. Pour chacun des modèles nous établissons la terminaison de l'algorithme instancié et donnons des résultats expérimentaux préliminaires encourageants.</P>

La présente recherche s’attache à mettre en relief l’un des aspects particuliers de l’art : la peinture.Il s’agit, à la suite d’une pratique personnelle cultivée depuis plu¬sieurs années et explorant les relations complexes entre expression plastique et intégration de la lettre écrite, de réfléchir sur l’entité singulière qu’est l’écriture.C’est alors que, conjuguant le travail plastique et le travail de recher¬che, se conduit cette étude dont l’objectif se fonde et se développe autour de la question des rapports texte/image au sein des œuvres peintes traversant et construisant l’ensemble de l’histoire de l’art occidental.En 1924, l’artiste Paul Klee (1879-1940) déclare :« Ecrire et dessiner sont identiques en leur fond » . Un cloisonnement entre les disciplines littéraires et pictu¬rales fait néanmoins foi depuis des siècles et ce malgré l’étymologie commune des ter¬mes « écrire » et « dessiner » formulée à partir du mot grec grapheïn . Mais, au regard des pratiques artistiques menées par les cubistes, tels le po¬choir ou le papier collé, par les futuristes, tel le bouleversement des co¬des de composition et de mise en page, par Dada, telle la destruction du langage, par les surréalistes, telle l’« écriture automatique », par les lettristes, telle la prise en compte de la singularité de la lettre même, et par l’Art conceptuel envisageant l’écrit comme une matière à l’œuvre, nous voyons que les liens tissés entre le domaine iconique et le domaine textuel se renou¬vellent cons¬tamment et mérite un examen approfondi.Ainsi, notre recherche organise et analyse les différents usages concédés à la lettre par l’univers pictural. Elle met en valeur son intégration, son implication, son évolution et sa résonnance dans le champ visuel. La tra¬duction des modalités plastiques de l’écriture, après l’observation d’œuvres contemporaines comme celles de Jenny Holzer, de Claude Closky ou de Ta¬nia Mouraud, fait émerger l’indice d’une nouvelle organisation actuelle des codes graphiques qui, après le règne de la figuration et celui de l’abstraction en art, explore le graphème comme une matière picturale première et à part entière. Paul KLEE, Théorie de l’art moderne, Gallimard, Paris, (1956), 1998, p. 58. Bruno DUBORGEL, Figures du grapheïn, Publications Universitaires de Saint-Etienne, Saint-Etienne, 2000, pp. 11-12. « Grapheïn… A/ Primitivement, égratigner, écorcher… B/ Par suite, tracer des signes pour écrire ou pour dessiner, d’où : I/ Graver… II/ Ecrire… […] Le verbe graphô est attesté depuis Homère. Sens : “érafler” (Cf. Iliade 17, 599), tracer, dessiner, écrire, d’où rédiger un décret, etc. », extraits du Dictionnaire Grec-Français d’André Bailly (16e édition, Hachette, Paris, 1950) et du Dictionnaire étymologique de la langue grecque de Paul Chantraine (Histoire des mots, Klincksieck, Paris, 1968). / It’s a question of one of peculiarities of art : the painting.It’s a question, following a personal practice cultivated for many years and investigating the complex relations between plastic expression and integration of the written letter, of reflecting about the singular entity that is the writing.It’s then that, conjugating the plastic work and the research work, behaves this study which the objective establishes and develops around the question of relationships text/picture within the painted works crossing and building the whole western art history.Everything begins with the proverb thrown, in 1924, by the artist Paul Klee (1879-1940) declaring that :« To write and to draw are identical in their bottom » .A subdivision between the literary and pictorial disciplines been va¬lid for centuries and it in spite of the common etymology of the terms « to write » and « to draw » formulated from the greek grapheïn word. Neverthe¬less, towards the artistic practices led by the cubists, such the sten¬cil or the stuck paper, by the futurists, such the upheaval of the codes of composition and layout, by Dada, such the destruction of the language, by the surrealists, such the automatic writing, by the lettrist, such the conside¬ration of the visual peculiarity of the letter, and by the Conceptual art envisaging the paper as subject in the work, we see that the links weaved bet¬ween the iconic domain and the textual domain are constantly renewed and deserve a detailed examination.So, our research organizes and analyzes the various practices granted literally within the pictorial universe. It considers its integration, its impli¬cation, its evolution and its resonnance in the field of vision. The translation of the pictorial modalities of the writing, after the observation of works contemporary as those of Jenny Holzer, Claude Closky, Tania Mouraud, brings to the foreground the indication of a new current organization of the graphic codes which, after the reign of the representation and that of the abstraction in art, investigates the grapheme as the first and full pictorial subject. Paul KLEE, Theory of the modern art, Gallimard, Paris, (1956), 1998, p. 58. Bruno DUBORGEL, Figures of the grapheïn, University Publications of Saint-Etienne, Saint-Etienne, 2000, pp. 11-12. « Grapheïn… A/ Primitively, graze, skin… B/ Following, to draw signs to write or to draw, from : I/ Graze… II/ to write… […] The graphô verb is attested since Homère. Sense : « scratch » (Cf. Iliade 17, 599), to draw, to write, where from to draft a decree, etc. », extracted from the André Bailly's Greek-French Dictionary (16th publishing, Hachette, Paris, 1950) and of the Etymological Dictionary of the Greek language of Paul Chantraine (History of the words, Klincksieck, Paris, 1968).

L’objectif général de la thèse est d’examiner le rôle de l’utilisation du langage dans la perpétuation des biais intergroupes. Plus spécifiquement, il s’agit d’étudier les conséquences du Biais Linguistique Intergroupe (Linguistic Intergroup Bias, LIB,Maass, Salvi, Arcuri, & Semin, 1989). Le LIB est une manifestation subtile du biais de favoritisme endogroupe au niveau langagier. Ce biais se traduit par l’utilisation préférentielle de termes abstraits, i.e. des adjectifs, pour décrire les comportements positifs des membres de l’endogroupe et négatifs des membres de l’exogroupe, et à l’inverse par l’utilisation de termes concrets, i.e. des verbes d’action, pour décrire les comportements négatifs des membres de l’endogroupe et positifs des membres de l’exogroupe. Il est généralement admis que le LIB participe au maintien et à latransmission des croyances sur les groupes (Wigboldus & Douglas, 2007), cependant les processus sous-jacents restent relativement peu étudiés. Cette thèse propose une approche normative des conséquences du LIB, en examinant l’évaluation de l’usage de l’abstraction linguistique en contexte intergroupe. Le programme de recherche se décline en huit études. Trois études portent sur les liens entre usage de l’abstraction linguistique et évaluation des biais du locuteurà l’égard du groupe décrit. Quatre études examinent ensuite les liens entre utilisation de l’abstraction et évaluation de la valeur du locuteur en tant que membre de son groupe. Enfin, la dernière étude porte sur les conséquences des réactions sociales envers l’utilisation du LIB sur la perception des normes et sur l’expression explicite des biais intergroupes. Globalement, les résultats soutiennent l’idée que l’usage de l’abstraction linguistique en contexte intergroupe, et donc leLIB, peut faire l’objet de régulations normatives. Les implications pour le rôle du LIB dans la perpétuation des biais intergroupes sont discutées / The general aim of this thesis is to examine the role of language use into the perpetuation of intergroup bias. More precisely,we investigate the consequences of the Linguistict Intergroup Bias (LIB, Maass, Salvi, Arcuri, & Semin, 1989). The LIB is a subtle expression of ingroup bias at a linguistic level. The LIB refers to the tendency to use preferentially abstracts terms, i.e. adjectives, to describe positive ingroup and negative outgroup behaviors, and in contrast to use concrete terms, i.e. action verbs, to describe negative ingroup and positive outgroup behaviors. The LIB is widely accepted as playing a role in the transmission and the maintenance of beliefs about groups (Wigboldus & Douglas, 2007), however little is known about the underlying processes. This thesis develops a normative approach of the consequences of the LIB, by examining theevaluation of the use of linguistic abstraction in intergroup context. The research program is divided in eight studies. Three studies focuses on the relationships between the use of linguistic abstraction and the evaluation of the speaker’s bias toward the group being described. Four studies examine the relationships between the use of linguistic abstraction and the evaluation of the speaker’s value as a group member. Finally, the last study focuses on the consequences of social reactions toward the use of the LIB on the perception of norms and on the explicit expression of intergroup bias. In general, our results indicate that the use of linguistic abstraction, and therefore the LIB, may be subject to normative regulations. The implications for the role of the LIB into the perpetuation of intergroup bias are discussed

Abstração é um processo que consiste em encontrar similaridades em artefatos e omitir detalhes desnecessários em um particular momento. Em geral, tal processo resulta em simplificação, substituindo situações do mundo real complexas e excessivamente detalhadas por modelos compreensíveis que admitem resolução. Na computação, existem estilos de programação que fornecem ao programador uma visão particular sobre a organização e execução de um programa. Cada estilo viabiliza formas de representação e tratamento de abstrações aderentes ao conjunto de conceitos, valores, percepções e práticas compartilhadas por uma comunidade. Em particular, o fenômeno de reescrita de termos viabiliza transformações entre espaços de abstração. Como instância de tal fenômeno, macros constituem um padrão sintático que especifica uma transformação simbólica ou algorítmica sobre uma sequência de símbolos associada. Na ocorrência de uma instância de tal padrão sintático, este é substituído pela aplicação de sua transformação correspondente. Dada a importância da disponibilização de estruturas de representação mais convenientes às necessidades dos usuários, o objetivo principal desta tese é tratar da utilização de sistemas de reescrita como mecanismos de abstração em transformações textuais. Para tal, técnicas de projeto e aspectos de implementação de tais sistemas são apresentados, com enfoque em macros. / Abstraction is a process of finding similarities in artifacts and omitting unnecessary details at a particular moment. In general, such a process results in simplification, replacing complex and overly detailed real-world situations with understandable models that admit resolution. In computing, there are programming styles that give the programmer a particular insight into the organization and execution of a program. Each style enables forms of representation and treatment of abstractions adhering to the set of concepts, values, perceptions and practices shared by a community. In particular, the term rewriting phenomenon enables transformations along spaces of abstraction. As an instance of such a phenomenon, macros constitute a syntactic pattern that specifies a symbolic or algorithmic transformation over an associated symbol sequence. In the occurrence of an instance, the matched syntactic pattern is replaced by the application of its corresponding transformation. Given the importance of making representation structures more convenient to users\' needs, this thesis aims at addressing the use of rewriting systems as abstraction mechanics in textual transformations. To this end, design techniques and implementation aspects of such systems are presented, focusing on macros.

Data abstraction is the process of reducing a large dataset into one of moderate size, while maintaining dominant characteristics of the original dataset. Data abstraction quality refers to the degree by which the abstraction represents original data. Clearly, the quality of an abstraction directly affects the confidence an analyst can have in results derived from such abstracted views about the actual data. While some initial measures to quantify the quality of abstraction have been proposed, they currently can only be used as an after thought. While an analyst can be made aware of the quality of the data he works with, he cannot control the desired quality and the trade off between the size of the abstraction and its quality. While some analysts require atleast a certain minimal level of quality, others must be able to work with certain sized abstraction due to resource limitations. consider the quality of the data while generating an abstraction. To tackle these problems, we propose a new data abstraction generation model, called the QoS model, that presents the performance quality trade-off to the analyst and considers that quality of the data while generating an abstraction. As the next step, it generates abstraction based on the desired level of quality versus time as indicated by the analyst. The framework has been integrated into XmdvTool, a freeware multi-variate data visualization tool developed at WPI. Our experimental results show that our approach provides better quality with the same resource usage compared to existing abstraction techniques.

Abstração é um processo que consiste em encontrar similaridades em artefatos e omitir detalhes desnecessários em um particular momento. Em geral, tal processo resulta em simplificação, substituindo situações do mundo real complexas e excessivamente detalhadas por modelos compreensíveis que admitem resolução. Na computação, existem estilos de programação que fornecem ao programador uma visão particular sobre a organização e execução de um programa. Cada estilo viabiliza formas de representação e tratamento de abstrações aderentes ao conjunto de conceitos, valores, percepções e práticas compartilhadas por uma comunidade. Em particular, o fenômeno de reescrita de termos viabiliza transformações entre espaços de abstração. Como instância de tal fenômeno, macros constituem um padrão sintático que especifica uma transformação simbólica ou algorítmica sobre uma sequência de símbolos associada. Na ocorrência de uma instância de tal padrão sintático, este é substituído pela aplicação de sua transformação correspondente. Dada a importância da disponibilização de estruturas de representação mais convenientes às necessidades dos usuários, o objetivo principal desta tese é tratar da utilização de sistemas de reescrita como mecanismos de abstração em transformações textuais. Para tal, técnicas de projeto e aspectos de implementação de tais sistemas são apresentados, com enfoque em macros. / Abstraction is a process of finding similarities in artifacts and omitting unnecessary details at a particular moment. In general, such a process results in simplification, replacing complex and overly detailed real-world situations with understandable models that admit resolution. In computing, there are programming styles that give the programmer a particular insight into the organization and execution of a program. Each style enables forms of representation and treatment of abstractions adhering to the set of concepts, values, perceptions and practices shared by a community. In particular, the term rewriting phenomenon enables transformations along spaces of abstraction. As an instance of such a phenomenon, macros constitute a syntactic pattern that specifies a symbolic or algorithmic transformation over an associated symbol sequence. In the occurrence of an instance, the matched syntactic pattern is replaced by the application of its corresponding transformation. Given the importance of making representation structures more convenient to users\' needs, this thesis aims at addressing the use of rewriting systems as abstraction mechanics in textual transformations. To this end, design techniques and implementation aspects of such systems are presented, focusing on macros.

Si la peinture abstraite n’a pas bien sûr fait mourir la peinture figurative qui existe après elle, si elle n’a pas supprimé le paysage pictural, quel peut bien être le sens, la nature et la portée, au sein de la peinture contemporaine elle-même, du paysage abstrait ? Quelles en sont les conditions de possibilité ? A quelles conditions un paysage abstrait est-il possible, c’est à dire réalisable pour le peintre et pensable pour l’historien et le théoricien de l’art ? Telles sont les questions rectrices de cette thèse qui entend déployer et explorer le paradoxe d’un paysage séparé — ce qui est bien le sens strict d’abstrait — de l’exigence de représentation mimétique d’un espace naturel ou urbain extérieur « d’un lieu assez élevé, où tous les objets auparavant dispersés se rassemblent sous un seul coup d’oeil » selon l’expression de Fénelon. Ce déploiement et cette exploration s’effectue sur les deux exemples des oeuvres de Cy Twombly et Gerhard Richter interprétées comme deux modalités différentes d’une relève du paysage, dépassant et conservant à la fois ce dernier sur le mode de l’évocation : par un langage purement pictural, par le langage des titres et des mots dans la peinture pour Twombly, par la photographie et la photo-peinture pour Richter. A cet égard, Twombly et Richter tentent tous les deux de mettre en oeuvre aux deux sens duterme, une rupture et une continuité : entre la forme du genre paysage et l’expérience paysagère au sein de l’espace de la galerie d’exposition, entre la tradition du paysage occidental (Poussin, Turner, Friedrich) et la peinture des peintres américains contemporains (Pollock, Rothko et Rauschenberg), entre la peinture et les autres média ou les autres arts auxquels elle se confronte (la poésie pour Twombly, la photographie et la littérature pour Richter). La thèse est donc construite comme un ensemble de croisements qui rend possible le paysage abstrait renouvelant le genre du paysage, lelibérant de ses règles traditionnelles et, ainsi, l’ouvrant à des formes inédites et étonnantes. / If abstraction did not kill landscape painting, how would the pictorial genre survive within the context of contemporary painting? What would be the meaning of the term abstract landscape? Under which circumstances and conditions would an abstract landscape be possible? This research tries to address these questions by investigating the paradox of a landscape which does not represent mimetically space seen from a higher point at a glance, as Fénelon would put it.The works of Cy Twombly and Gerhard Richter are used as means for this exploration since they present two different modalities of a landscape which overcomes and preserves itself at the same time. In this respect, both Twombly and Richter attempt to implement rupture and continuity: between landscape form and landscape experience within the gallery space, between western landscape tradition (Poussin, Turner, Friedrich) and contemporary American painting (Pollock,Rothko and Rauschenberg), between painting and other media or arts (poetry for Twombly, photography and literature for Richter). This way, this study is constructed by a set of contradictions which make abstract landscape possible. This abstract landscape renews landscape genre, frees it from its traditional rules and opens it to new and surprising forms

Les recherches actuelles en psychologie clinique sont centrées sur l’étude des processus psychologiques impliqués dans le développement et le maintien de nombreux troubles psychologiques. Deux de ces processus ont fait l’objet de nombreuses études : les pensées répétitives négatives (PRN), qui sont majoritairement verbales, et la perspective visuelle adoptée dans les images mentales (i.e., acteur vs. observateur). Bien que représentant des phénomènes distincts, les PRN et la perspective d’observateur semblent toutes deux avoir une fonction d’évitement et dépendre d’un processus d’abstraction centré sur l’analyse du « pourquoi » des événements (i.e., l’adoption d’un mode abstrait de traitement de l’information). Ces similarités fonctionnelles et processuelles amènent à se questionner sur les liens possibles entre les PRN et la perspective d’observateur. Pourtant, très peu d’études se sont intéressées à cette association. Par conséquent, cette thèse portait sur les liens entre les PRN et la perspective d’observateur en imagerie mentale, ainsi qu’à leur processus sous-jacent (i.e., l’abstraction) et leur fonction (i.e., l’évitement). Les résultats de quatre études corrélationnelles indiquent que les PRN et la perspective d’observateur ne sont pas associées. Ils répliquent aussi des résultats d’études passées sur le rôle de l’évitement et de l’abstraction dans les PRN mais pas dans la perspective d’observateur. Les résultats de trois études expérimentales montrent également que l’induction de PRN sur un mode abstrait n’a pas d’effet sur la perspective visuelle adoptée ou la réactivité émotionnelle et, plus globalement, que l’induction d’un mode abstrait de traitement de l’information n’a pas d’effet sur la perspective visuelle adoptée, les PRN, ou la réponse émotionnelle lors de l’anticipation ou le rappel d’une tâche émotionnelle. Finalement, une méta-analyse conduite sur les études publiées et les études menées dans le cadre de cette thèse semble confirmer l’absence de lien entre les PRN et la perspective d’observateur. Dans l’ensemble, il semblerait que les PRN et la perspective d’observateur en imagerie mentale ne soient pas associées. Ces résultats sont discutés au regard des modèles théoriques et des implications méthodologiques. / Current research in clinical psychology is focused on the study of psychological processes implicated on the onset and maintenance of many psychological disorders. Two of these processes have been extensively explored: repetitive negative thinking (RNT), which is predominantly verbal, and the visual perspective adopted in mental images (i.e., actor vs. observer). Even if they represent two distinct phenomena, RNT and the observer perspective both seem to serve an avoidance function and be underpinned by a process of abstraction focused on the analysis of the “why” of events (i.e., the adoption of an abstract level of construal). These functional and processual similarities suggest a potential association between RNT and the observer perspective. However, few studies have examined this association. Therefore, this dissertation explored the association between RNT and the visual perspective in mental imagery as well as their underlying process (i.e., abstraction) and function (i.e., avoidance). Results of four correlational studies showed that RNT and the observer perspective were not associated. They also replicated results from previous studies on the role of avoidance and abstraction in RNT but not in visual perspective. Results from three experimental studies also showed that the induction of RNT at an abstract level had no effect on visual perspective or emotional reactivity, and more generally, that the induction of an abstract level of construal did not influence visual perspective, RNT, and emotional response during the anticipation or the post-event processing of an emotional task. Finally, a meta-analysis conducted on published studies as well as on our studies confirmed the absence of association between RNT and the observer perspective. Overall, it seems that RNT and the observer perspective adopted in mental imagery are not associated. These results are discussed in light of theoretical models and methodological implications.