7 research outputs found

    Do texto ao dado: debates sobre leitura distante nas humanidades

    Get PDF
    The humanities, especially fields like literature and history, have always assigned to textual records a great part of their reason for being and their way of doing. This paper aims to reflect and broaden the horizon of the relationship between the humanities and the use of available technologies, focusing mainly on methods of distant reading for literary studies, based on corpus linguistics. How has research practice in these areas been impacted by the use of digital tools? What challenges need to be faced and what opportunities open up in this potential innovative scenario? These are some of the issues discussed in the text.As áreas das humanas, em especial a literatura e a história, sempre legaram aos registros textuais grande parte da sua razão de ser e de seu modo de fazer. O presente artigo busca refletir e ampliar o horizonte das relações entre as humanidades e o uso das tecnologias disponíveis, focando prinicpalmente nos métodos de leitura distante para estudos literários, alicerçados na linguística com corpus. De que forma a prática de pesquisa nestas áreas tem sido impactada com o uso de ferramentas digitais? Que desafios precisam ser enfrentados e que oportunidades se abrem neste cenário potencialmente inovador? Estas são algumas das questões discutidas no texto

    Automated Validation of State-Based Client-Centric Isolation with TLA <sup>+</sup>

    Get PDF
    Clear consistency guarantees on data are paramount for the design and implementation of distributed systems. When implementing distributed applications, developers require approaches to verify the data consistency guarantees of an implementation choice. Crooks et al. define a state-based and client-centric model of database isolation. This paper formalizes this state-based model in, reproduces their examples and shows how to model check runtime traces and algorithms with this formalization. The formalized model in enables semi-automatic model checking for different implementation alternatives for transactional operations and allows checking of conformance to isolation levels. We reproduce examples of the original paper and confirm the isolation guarantees of the combination of the well-known 2-phase locking and 2-phase commit algorithms. Using model checking this formalization can also help finding bugs in incorrect specifications. This improves feasibility of automated checking of isolation guarantees in synthesized synchronization implementations and it provides an environment for experimenting with new designs.</p

    A General Semantics for Logics of Affirmation and Negation

    Get PDF
    A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality

    L'arithmétique de Boèce : le transfert de savoir mathématique grec

    Full text link
    Auteur romain du 6ème siècle connu pour ses traductions en latin des textes en grec d’Aristote, Boèce a aussi rédigé une traduction-adaptation d’un texte de Nicomaque de Gérase sur l’arithmétique. La première partie de ce mémoire de maîtrise est consacrée à l’étude de Boèce en tant que passeur de savoir. Sa relation avec son père adoptif est mise en valeur afin de soutenir l’hypothèse selon laquelle Boèce aurait acquis sa connaissance du grec et son éducation tout en restant à Rome, sans avoir séjourné dans les écoles athéniennes ou alexandriennes. La deuxième partie porte sur le contenu mathématique du De institutione arithmetica. Après avoir montré comment le De arithmetica était relié à l’oeuvre de traduction par Boèce des philosophes grecs, le choix de l’Introduction à l’Arithmétique de Nicomaque comme point de départ du traité d’arithmétique de Boèce est étudié. Un catalogue raisonné des concepts mathématiques présentés est ensuite proposé, organisé autour des notions de quantité en soi et quantité relative qui conservent l’opposition entre le Même et l’Autre et rappellent l’opposition fondamentale entre Limité et Illimité, si chère aux pythagoriciens. Ce mémoire se termine par une analyse de la transmission du De institutione arithmetica et de son influence sur les mathématiques et l’enseignement du quadrivium au Moyen-Âge.Roman author of the 6th century known for his Latin translations of Aristotle’s Greek texts, Boethius has also composed a translation-adaptation of a treatise on arithmetics written by Nicomachus of Gerasa. The first section of this master’s thesis focuses on characterizing Boethius as a intermediary, transferring Greek knowledge to the Latin West. His relationship with Symmachus is highlighted in order to argue that Boethius had been able to learn Greek and reach such a high level of learning in Rome, without the need to study in the Athenian or Alexandrian schools of his time. The mathematical content of the De institutione arithmetica is the main topic of the second section. After showing how the De arithmetica is related to Boethius’ magnum opus – the Latin translation of the Greek philosophers – the choice of Nicomachus of Gerasa’ Introduction to Arithmetics as the source of Boethius’ treaty on arithmetics is studied. Then, a catalogue raisonné of the mathematical concepts showcased is provided, organized around the notions of quantity constant of itself and relative quantity which retain the opposition between the Same and the Other and stems from the pythagoricians’ fondamental opposition between the Limited and the Unlimited. This masters’ thesis ends with an analysis of the medieval transmission of the De institutione arithmetica and of its influence on medieval mathematics and education through the quadrivium

    AIUCD2019 - Book of Abstracts

    Get PDF
    L’ottava edizione del Convegno nazionale dell’Associazione per l’Informatica Umanistica e la Cultura Digitale, collocandosi nel solco delle precedenti edizioni, si pone l’obiettivo di costituire un punto di incontro tra studiosi delle diverse discipline che - a vario titolo - fanno capo alle cosiddette Digital Humanities: umanisti digitali, informatici, linguisti, storici, archeologi, musicologi, filologici e non solo. Il tema principale di questa ottava edizione è la “Didattica e ricerca al tempo delle Digital Humanities”. Si tratta di un ambito vasto che accomuna pratiche e settori di studio interdisciplinari e multidisciplinari e che riguarda i mutamenti della didattica e della ricerca nell'era digitale

    AIUCD2019 - Book of Abstracts

    Get PDF
    L’ottava edizione del Convegno nazionale dell’Associazione per l’Informatica Umanistica e la Cultura Digitale, collocandosi nel solco delle precedenti edizioni, si pone l’obiettivo di costituire un punto di incontro tra studiosi delle diverse discipline che - a vario titolo - fanno capo alle cosiddette Digital Humanities: umanisti digitali, informatici, linguisti, storici, archeologi, musicologi, filologici e non solo. Il tema principale di questa ottava edizione è la “Didattica e ricerca al tempo delle Digital Humanities”. Si tratta di un ambito vasto che accomuna pratiche e settori di studio interdisciplinari e multidisciplinari e che riguarda i mutamenti della didattica e della ricerca nell'era digitale
    corecore