Using SAT for Combinational Implementation Checking

The problem of checking whether a system of incompletely specified Boolean functions is implemented by the given combinational circuit is considered. The task is reduced to testing out if two given logical descriptions are equivalent on the domain of one of them having functional indeterminacy. We present a novel SAT-based verification method that is used for testing whether the given circuit satisfies all the conditions represented by the system of incompletely specified Boolean functions.

Understanding the dynamics of information technology implementation: The case of clinical information systems

The ultimate intent of this dissertation was to broaden and strengthen our understanding of IT implementation by emphasizing research efforts on the dynamic nature of the implementation process. More specifically, efforts were directed toward opening the "black box" and providing the story that explains how and why contextual conditions and implementation tactics interact to produce project outcomes. In pursuit of this objective, the dissertation was aimed at theory building and adopted a case study methodology combining qualitative and quantitative evidence. Precisely, it examined the implementation process, use and consequences of three clinical information systems at Jackson Memorial Hospital, a large tertiary care teaching hospital.^ As a preliminary step toward the development of a more realistic model of system implementation, the study proposes a new set of research propositions reflecting the dynamic nature of the implementation process.^ Findings clearly reveal that successful implementation projects are likely to be those where key actors envision end goals, anticipate challenges ahead, and recognize the presence of and seize opportunities. It was also found that IT implementation is characterized by the systems theory of equifinality, that is, there are likely several equally effective ways to achieve a given end goal. The selection of a particular implementation strategy appears to be a rational process where actions and decisions are largely influenced by the degree to which key actors recognize the mediating role of each tactic and are motivated to action. The nature of the implementation process is also characterized by the concept of "duality of structure," that is, context and actions mutually influence each other. Another key finding suggests that there is no underlying program that regulates the process of change and moves it form one given point toward a subsequent and already prefigured end. For this reason, the implementation process cannot be thought of as a series of activities performed in a sequential manner such as conceived in stage models. Finally, it was found that IT implementation is punctuated by a certain indeterminacy. Results suggest that only when substantial efforts are focused on what to look for and think about, it is less likely that unfavorable and undesirable consequences will occur. ^

Tom Stoppard: Humanizing chaos

The purpose of this study was to critically evaluate Tom Stoppard’s application of chaos theory and quantum science in ROSENCRANTZ AND GUILDENSTERN ARE DEAD, HAPGOOD and ARCADIA; and determine the extent to which Stoppard argues for the importance of human action and choice. ^ Through critical analysis this study examined how Stoppard applies the quantum aspects of: (1) indeterminacy to human epistemology in ROSENCRANTZ AND GUILDENSTERN ARE DEAD; (2) complementarity to human identity in HAPGOOD; and (3) recursive symmetry to human history in ARCADIA. It also examined how Stoppard excavates the complexities of human action, choice and identity through the lens of chaos theory and quantum science. ^ These findings demonstrated that Tom Stoppard is not merely juxtaposing quantum science and human interactions for the sake of drama; rather, by excavating the complexities of human action, choice and identity through the lens of chaos theory and quantum science, Stoppard demonstrates the fundamental connection between individuals and the post-Newtonian universe.^

Dulce Maria Loynaz' Jardin: Subversive tropological discourse

The purpose of this dissertation is to analyze how the tropes or figurative discourse in Loynaz’s novel, Jardín, becomes a means by which she involves the reader within a text that subverts socio-cultural conventions. Through textual analysis, it explains how the poet communicates her views of the world as a conflictive space where existence is the will to live, life being a human construction like a garden, and a woman’s decision –often frustrated by men– to seek self-realization.^ By tracing some critical studies focused on polarities allegedly present in Jardín, such as: poetry/prose, lyric poetry/novel, word/silence, life/death, character novel/space novel, civilization/barbarism, posmodernismo/vanguardismo, and femininity/feminism, this essay explores Loynaz’s esthetic and ideological codes to demonstrate how opposition can be seen in her novel as part of her arrangement of an artistic philosophy.^ This research refers to three main sources: the semiotician Umberto Eco’s notion of the text’s indeterminacy as an opera aperta, reception theory, and Mikhail Bakhtin’s concept of dialogism. By applying these theories to the analysis of this novel, I seek to show Loynaz’s literary modus (tropological language) and ideological dictum , which correlate oppositions and transform them as a point of departure to reconsider civilized life. The poet is presented as an esthetic force that compels the reader to question some false values, by creating an implicit but intelligent dialogue between him/her and a lyrical text. To describe such literary procedure, I coin in this study the term dialirismo (dialyricism). ^ My essay is centered on the tropes through which Loynaz creates her dialyrical text. By focusing on metaphor, symbol, synecdoche, and metonymy, I examine Jardín as a convergence of the following conceptual aspects: intertextuality, primitivism, and feminist discourse. I argue that Loynaz’s novel is a creative response to the literary tradition, as well as a proposal to understand writing –and reading– as an open, interactive process in search not only of artistic values but also of critical knowledge.^ This exploration shows how the novelist faces a so-called civilized world through the eyes of her fictional character, Bárbara, who confronts patriarchal discourse. It celebrates Loynaz’s poetic representation of this inquisitive woman, in her fenced garden, as a human being who can see, above and beyond an iron curtain, the possibility to overcome an aggressive male-centered civilization.^

The Collusion of Feminist and Postmodernist Impulses in E.L. Doctorow’s "Ragtime"

Many critics of Doctorow have classified him as a postmodernist writer, acknowledging that a wide number of thematic and stylistic features of his early fiction emanate from the postmodern context in which he took his first steps as a writer. Yet, these novels have an eminently social and ethical scope that may be best perceived in their intellectual engagement and support of feminist concerns. This is certainly the case of Doctorow’s fourth and most successful novel, Ragtime. The purpose of this paper will be two-fold. I will explore Ragtime’s indebtedness to postmodern aesthetics and themes, but also its feminist elements. Thus, on the one hand, I will focus on issues of uncertainty, indeterminacy of meaning, plurality and decentering of subjectivity; on the other hand, I will examine the novel’s attitude towards gender oppression, violence and objectification, its denunciation of hegemonic gender configurations and its voicing of certain feminist demands. This analysis will lead to an examination of the problematic collusion of the mostly white, male, patriarchal aesthetics of postmodernism and feminist politics in the novel. I will attempt to establish how these two traditionally conflicting modes coexist and interact in Ragtime.

Nine for ones in nine: a schizophrenic cyborg love story.

By appropriating the images of the schizophrenic and the cyborg from Deleuze and Guattari, and from Donna Haraway respectively, this paper seeks to discuss the relationship between human and computer, composer and performer in a way that undermines and subverts the normal binaries commonly employed, and even implied in the descriptions of these relationships in this paper. “Nine for ones in nine”, despite employing the use of the OpenMusic software in its composition, retains a degree of choice and indeterminacy for the performers; despite employing the use of precise just harmony in its design and intent, the work depends upon the imprecision of human control rather than ceding to the precision of a synthesiser. Given the vast possibilities opened up to composers by the use of computers to calculate and create sound, why then do composers continue to employ performers in the realisation of their designs, and rely on sometimes hundreds of years-old technology to articulate them in real time? The very social and imprecise aspect of the act of performance is key to the messy, compromised, and complicit product that scores such as Nine for ones in nine aim to produce.

Teolog fundamentalny wobec ataku Przypadku, Nieokreśloności, Prawdopodobieństwa, Dwuznaczności, Wieloznaczności?

Postmodernizm prezentuje postawę akceptacji Nieładu, Chaosu i Przypadku. Czy istnieje moż- liwość dialogu z taką postawą? Postmodernizm powstaje jako bunt na pograniczu filozofii i estetyki. Kontestuje zastany Ład. Sprzeciwia się kartezjańskiemu Cogito ergo sum oraz podziałowi na res cogitans i res extensa. Jest to ruch kulturowy, który nie ma jeszcze swojego ostatecznego wyrazu. Jest on ciągle postrzegany jako proces przechodzenia od starego do nowego Ładu. Taki brak dookreślenia budzi niepokój i sprzeciw. Teologia fundamentalna jest badaniem granic i dialogu. Stoi na progu, więc ma obowiązek rozeznać ludzki niepokój w akceptacji otaczającego świata. Musimy zapytać, dlaczego człowiek akceptuje ten Nieład?

Igual consideração e respeito, independência ética e liberdade de expressão em Dworkin : uma reconciliação entre igualdade e liberdade e a possibilidade do discurso do ódio em um ordenamento coerente de princípios

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Direito, Pós-Graduação Stricto Sensu em Direito, 2016.

Mapping the Liminal Experience of Eastern Europe in Selected American Works, 1965-2002

The purpose of this dissertation is to study literary representations of Eastern Europe in the works of celebrated and less-known American authors, who visited and narrated the region between the mid-1960s and early 2000s. The main critical body focuses on Eastern Europe before 1989 and encompasses three major voices of American literature: John Updike, Joyce Carol Oates, and Philip Roth. However, in the last chapter I also explore American literary perceptions of the area following the collapse of communism. Importantly, the term “Eastern Europe” as used in this dissertation is charged with significance. I approach it not only as a space on the map or the geopolitical construct which emerged in the aftermath of the Second World War, but rather as a conceptual category and a repository of meanings built out of fact and fantasy: specific historical, political and cultural realities interlaced with subjective worldviews, preconceptions, and mental images. The critical framework of this dissertation is twofold. I reach for the concept of liminality to elucidate the indeterminacy and malleability which lies at the heart of the object of study—the idea, image, and experience of Eastern Europe. Bearing in mind the nature of the works under analysis, all of which were inspired by actual visits behind the Iron Curtain, I propose to interpret these transatlantic literary journeys in terms of generative experience, where Eastern Europe is mapped as a liminal space of possibility; a contact zone between cultures and, potentially, the locus of self-discovery and individual transformation. If liminality is the metaphor or a lens that I employ in order to account for the nature of the analyzed works and the complex terrain they map, imagology, whose purpose is to study the processes of constructing selfhood and otherness in literature, provides me with the method and the critical vocabulary for analyzing selected literary representations. The dissertation is divided into six chapters, the last of which serves as coda to the previous discussion. The first two chapters constitute the critical foundation of this work. Then, in chapters 3, 4, and 5 I study American images of Eastern Europe in the works written by John Updike, Joyce Carol Oates, and Philip Roth, respectively. The last, sixth chapter of this dissertation is divided into two parts. In the first one, I discuss new critical perspectives and avenues of research in the study of Eastern Europe following the collapse of communism. Then, I carry out a joint analysis of four works written after 1989 by Eva Hoffman, Arthur Phillips, John Beckman, and Gary Shteyngart. The dissertation ends with conclusions in which I summarize my findings and reflections, and suggest implications for future research. As this dissertation seeks to demonstrate, Eastern Europe portrayed in the analyzed works oscillates between contradictory representations which are contingent upon a number of factors, most importantly who maps it and in what context. Even though each experience of Eastern Europe is distinct and fueled by the profiles, identities, and interests of the characters and their creators, I have found out that certain patterns of othering are present in all the works. Thus, my research seems to suggest that there is something of a recurrent literary image of Eastern Europe, which goes beyond the context of the Cold War. Accordingly, while this dissertation hopes to be a valid contribution to the study of literary and cultural mappings of Eastern Europe, it also generates new questions regarding the current, post-communist representation of the area and its relationship to the national tropes explored in my work.

Affirming emergent practices in educational technology: the politics of usage

Drawing on de Certeau's characterisation of everyday practice as reuse, this paper focuses on the micropolitics of mobile touch-screen devices (MTSD) usage, and how emergent practices - appropriations and (re)deployments - interface with institutionalised notions of learning. The recontextualisation of technological artefacts into formal education settings can (and often does) result in a 'domestication' or 'schooling' of technology, bringing with it familiar power relations and patterns of success. However, the indeterminacy of technology allows for potentially subversive practices, for surreptitious appropriation and re-deployment of devices, processes and texts, and for 'counterplay' that challenges the ways that schooling is traditionally done. This paper discusses three examples of MTSD usage that highlight the productive role of users as creators of their own contexts for learning. The examples include young children's home usage of iPads, an early year teacher's use of iPads in her classroom, and a young child's account of his use of an iPad app at school. The paper is framed by a discussion of the possibilities opened up by practice-based approaches (such as that of de Certeau) for change-oriented research that seeks to affirm emergent and/or marginalised practices; to trouble tacit assumptions about schooling; and, to understand the relation between everyday practices and the institutionalised ground that they transform.

Like a porcupine or hedgehog?: The prose poem as post-romantic fragment

Prose poems are frequently characterised as fragmentary or incomplete in the way that they gesture to a larger, often unnamed, frame of reference; present small, sometimes unfinished narratives which are implied to be parts of larger narrative structures; and are often characterised by considerable indeterminacy. In this respect, it may be argued that prose poetry traces part of its lineage back to Romantic fragment poems—indeed, at least as far back as James Macpherson’s Ossian “translations”. In the Romantic period, fragments were understood as reflecting the idea of the imperfectability of contemporary human existence, aided by the antiquarian attraction of many Romantic writers to the ruins and relics of the classical past and an associated preference for the evocation of notions of infinitude and boundlessness. This paper argues that prose poems gesture to this Romantic genealogy in their concern with openness and diversity, and the reshaping of literary-aesthetic boundaries to metonymically explore incompleteness. The paper takes its name from Friedrich Schelgel’s Igel. Schlegel famously described the fragment as an Igel, or hedgehog, because of its autonomy and isolation from the wider world. One way of understanding the renaissance of the prose poem in the last 35 years, is to apply the Schlegelian metaphor of a hedgehog to contemporary prose poems in order to argue that this hybrid genre remains in dialogue with the fragmented literary works of the past. This paper argues that as prose poetry continues to explore fissured identity and plurality in a postmodern society, it owes a significant debt to postmodernism’s Romantic and fragmented inheritance.

L'inscription des genres et de l'intertexte dans Les Bergères de l'apocalypse de Françoise d'Eaubonne

Les bergères de l'Apocalypse est le récit de la protagoniste Ariane qui projette de réécrire, en marge du discours officiel, les événements qui ont conduit à la création d'une société gynocentrique. À la diversité des préoccupations qui alimentent cette vision utopiste de la société répond une indétermination générique qui rend le récit difficile à classer. Mettant en scène une société idéale qui n'en est pas une (puisque les femmes, après l'extermination des hommes, ont reproduit certaines structures de pouvoir patriarcales), l’ouvrage ne peut pas être identifié uniquement comme un roman de science-fiction puisqu'il emprunte à la fois à l'essai, à l’utopie féministe et au récit apocalyptique. Cette hybridation apparaît comme l’un des traits de cet ouvrage éclaté qui multiplie les techniques narratives et les récits dans un cadre où l’intertextualité joue un rôle important. L'hypothèse que je propose pour expliquer une telle variation générique est que le roman représente ici une forme modulable qui marie à la complexité des propositions apportées au discours féministe ambiant. Grâce au mélange des genres et des discours, l'auteure, à travers Ariane, parvient à dialoguer avec une panoplie d'intertextes dont le contrepoint original et touffu ne peut que déconcerter la lectrice. Afin d'analyser le roman, j'observerai comment l’oeuvre exploite les potentiels de généricité dans la forme, les techniques narratives, leur liens avec les motifs écoféministes, ainsi que le mode d'inscription des différents discours.

L'inscription des genres et de l'intertexte dans Les Bergères de l'apocalypse de Françoise d'Eaubonne

Les bergères de l'Apocalypse est le récit de la protagoniste Ariane qui projette de réécrire, en marge du discours officiel, les événements qui ont conduit à la création d'une société gynocentrique. À la diversité des préoccupations qui alimentent cette vision utopiste de la société répond une indétermination générique qui rend le récit difficile à classer. Mettant en scène une société idéale qui n'en est pas une (puisque les femmes, après l'extermination des hommes, ont reproduit certaines structures de pouvoir patriarcales), l’ouvrage ne peut pas être identifié uniquement comme un roman de science-fiction puisqu'il emprunte à la fois à l'essai, à l’utopie féministe et au récit apocalyptique. Cette hybridation apparaît comme l’un des traits de cet ouvrage éclaté qui multiplie les techniques narratives et les récits dans un cadre où l’intertextualité joue un rôle important. L'hypothèse que je propose pour expliquer une telle variation générique est que le roman représente ici une forme modulable qui marie à la complexité des propositions apportées au discours féministe ambiant. Grâce au mélange des genres et des discours, l'auteure, à travers Ariane, parvient à dialoguer avec une panoplie d'intertextes dont le contrepoint original et touffu ne peut que déconcerter la lectrice. Afin d'analyser le roman, j'observerai comment l’oeuvre exploite les potentiels de généricité dans la forme, les techniques narratives, leur liens avec les motifs écoféministes, ainsi que le mode d'inscription des différents discours.

Argumentos duales: el principio de dualidad como una estructura argumentativa

El objetivo de la tesis es identificar una familia de argumentos que comparten una estructura con el principio de dualidad de la geometría proyectiva. Esta familia la denomino "argumentos duales". Para lograr este objetivo, tomo cuatro argumentos importantes de la filosofía analítica e identifico en ellos la estructura que comparten. Los cuatro argumentos son: (i) el acertijo de la inducción de Goodman; (ii) la indeterminación de la referencia Putnam; (iii) la indeterminación de la traducción de Quine; (iv) la paradoja del seguimiento de reglas de Wittgenstein.