2,414 research outputs found

    Displacement and the Humanities: Manifestos from the Ancient to the Present

    Get PDF
    This is the final version. Available on open access from MDPI via the DOI in this recordThis is a reprint of articles from the Special Issue published online in the open access journal Humanities (ISSN 2076-0787) (available at: https://www.mdpi.com/journal/humanities/special_issues/Manifestos Ancient Present)This volume brings together the work of practitioners, communities, artists and other researchers from multiple disciplines. Seeking to provoke a discourse around displacement within and beyond the field of Humanities, it positions historical cases and debates, some reaching into the ancient past, within diverse geo-chronological contexts and current world urgencies. In adopting an innovative dialogic structure, between practitioners on the ground - from architects and urban planners to artists - and academics working across subject areas, the volume is a proposition to: remap priorities for current research agendas; open up disciplines, critically analysing their approaches; address the socio-political responsibilities that we have as scholars and practitioners; and provide an alternative site of discourse for contemporary concerns about displacement. Ultimately, this volume aims to provoke future work and collaborations - hence, manifestos - not only in the historical and literary fields, but wider research concerned with human mobility and the challenges confronting people who are out of place of rights, protection and belonging

    Language integrated relational lenses

    Get PDF
    Relational databases are ubiquitous. Such monolithic databases accumulate large amounts of data, yet applications typically only work on small portions of the data at a time. A subset of the database defined as a computation on the underlying tables is called a view. Querying views is helpful, but it is also desirable to update them and have these changes be applied to the underlying database. This view update problem has been the subject of much previous work before, but support by database servers is limited and only rarely available. Lenses are a popular approach to bidirectional transformations, a generalization of the view update problem in databases to arbitrary data. However, perhaps surprisingly, lenses have seldom actually been used to implement updatable views in databases. Bohannon, Pierce and Vaughan propose an approach to updatable views called relational lenses. However, to the best of our knowledge this proposal has not been implemented or evaluated prior to the work reported in this thesis. This thesis proposes programming language support for relational lenses. Language integrated relational lenses support expressive and efficient view updates, without relying on updatable view support from the database server. By integrating relational lenses into the programming language, application development becomes easier and less error-prone, avoiding the impedance mismatch of having two programming languages. Integrating relational lenses into the language poses additional challenges. As defined by Bohannon et al. relational lenses completely recompute the database, making them inefficient as the database scales. The other challenge is that some parts of the well-formedness conditions are too general for implementation. Bohannon et al. specify predicates using possibly infinite abstract sets and define the type checking rules using relational algebra. Incremental relational lenses equip relational lenses with change-propagating semantics that map small changes to the view into (potentially) small changes to the source tables. We prove that our incremental semantics are functionally equivalent to the non-incremental semantics, and our experimental results show orders of magnitude improvement over the non-incremental approach. This thesis introduces a concrete predicate syntax and shows how the required checks are performed on these predicates and show that they satisfy the abstract predicate specifications. We discuss trade-offs between static predicates that are fully known at compile time vs dynamic predicates that are only known during execution and introduce hybrid predicates taking inspiration from both approaches. This thesis adapts the typing rules for relational lenses from sequential composition to a functional style of sub-expressions. We prove that any well-typed functional relational lens expression can derive a well-typed sequential lens. We use these additions to relational lenses as the foundation for two practical implementations: an extension of the Links functional language and a library written in Haskell. The second implementation demonstrates how type-level computation can be used to implement relational lenses without changes to the compiler. These two implementations attest to the possibility of turning relational lenses into a practical language feature

    La traduzione specializzata all’opera per una piccola impresa in espansione: la mia esperienza di internazionalizzazione in cinese di Bioretics© S.r.l.

    Get PDF
    Global markets are currently immersed in two all-encompassing and unstoppable processes: internationalization and globalization. While the former pushes companies to look beyond the borders of their country of origin to forge relationships with foreign trading partners, the latter fosters the standardization in all countries, by reducing spatiotemporal distances and breaking down geographical, political, economic and socio-cultural barriers. In recent decades, another domain has appeared to propel these unifying drives: Artificial Intelligence, together with its high technologies aiming to implement human cognitive abilities in machinery. The “Language Toolkit – Le lingue straniere al servizio dell’internazionalizzazione dell’impresa” project, promoted by the Department of Interpreting and Translation (ForlĂŹ Campus) in collaboration with the Romagna Chamber of Commerce (ForlĂŹ-Cesena and Rimini), seeks to help Italian SMEs make their way into the global market. It is precisely within this project that this dissertation has been conceived. Indeed, its purpose is to present the translation and localization project from English into Chinese of a series of texts produced by Bioretics© S.r.l.: an investor deck, the company website and part of the installation and use manual of the Aliquis© framework software, its flagship product. This dissertation is structured as follows: Chapter 1 presents the project and the company in detail; Chapter 2 outlines the internationalization and globalization processes and the Artificial Intelligence market both in Italy and in China; Chapter 3 provides the theoretical foundations for every aspect related to Specialized Translation, including website localization; Chapter 4 describes the resources and tools used to perform the translations; Chapter 5 proposes an analysis of the source texts; Chapter 6 is a commentary on translation strategies and choices

    Automated and foundational verification of low-level programs

    Get PDF
    Formal verification is a promising technique to ensure the reliability of low-level programs like operating systems and hypervisors, since it can show the absence of whole classes of bugs and prevent critical vulnerabilities. However, to realize the full potential of formal verification for real-world low-level programs one has to overcome several challenges, including: (1) dealing with the complexities of realistic models of real-world programming languages; (2) ensuring the trustworthiness of the verification, ideally by providing foundational proofs (i.e., proofs that can be checked by a general-purpose proof assistant); and (3) minimizing the manual effort required for verification by providing a high degree of automation. This dissertation presents multiple projects that advance formal verification along these three axes: RefinedC provides the first approach for verifying C code that combines foundational proofs with a high degree of automation via a novel refinement and ownership type system. Islaris shows how to scale verification of assembly code to realistic models of modern instruction set architectures-in particular, Armv8-A and RISC-V. DimSum develops a decentralized approach for reasoning about programs that consist of components written in multiple different languages (e.g., assembly and C), as is common for low-level programs. RefinedC and Islaris rest on Lithium, a novel proof engine for separation logic that combines automation with foundational proofs.Formale Verifikation ist eine vielversprechende Technik, um die VerlĂ€sslichkeit von grundlegenden Programmen wie Betriebssystemen sicherzustellen. Um das volle Potenzial formaler Verifikation zu realisieren, mĂŒssen jedoch mehrere Herausforderungen gemeistert werden: Erstens muss die KomplexitĂ€t von realistischen Modellen von Programmiersprachen wie C oder Assembler gehandhabt werden. Zweitens muss die VertrauenswĂŒrdigkeit der Verifikation sichergestellt werden, idealerweise durch maschinenĂŒberprĂŒfbare Beweise. Drittens muss die Verifikation automatisiert werden, um den manuellen Aufwand zu minimieren. Diese Dissertation prĂ€sentiert mehrere Projekte, die formale Verifikation entlang dieser Achsen weiterentwickeln: RefinedC ist der erste Ansatz fĂŒr die Verifikation von C Code, der maschinenĂŒberprĂŒfbare Beweise mit einem hohen Grad an Automatisierung vereint. Islaris zeigt, wie die Verifikation von Assembler zu realistischen Modellen von modernen Befehlssatzarchitekturen wie Armv8-A oder RISC-V skaliert werden kann. DimSum entwickelt einen neuen Ansatz fĂŒr die Verifizierung von Programmen, die aus Komponenten in mehreren Programmiersprachen bestehen (z.B., C und Assembler), wie es oft bei grundlegenden Programmen wie Betriebssystemen der Fall ist. RefinedC und Islaris basieren auf Lithium, eine neue Automatisierungstechnik fĂŒr Separationslogik, die maschinenĂŒberprĂŒfbare Beweise und Automatisierung verbindet.This research was supported in part by a Google PhD Fellowship, in part by awards from Android Security's ASPIRE program and from Google Research, and in part by a European Research Council (ERC) Consolidator Grant for the project "RustBelt", funded under the European Union’s Horizon 2020 Framework Programme (grant agreement no. 683289)

    Evaluation Methodologies in Software Protection Research

    Full text link
    Man-at-the-end (MATE) attackers have full control over the system on which the attacked software runs, and try to break the confidentiality or integrity of assets embedded in the software. Both companies and malware authors want to prevent such attacks. This has driven an arms race between attackers and defenders, resulting in a plethora of different protection and analysis methods. However, it remains difficult to measure the strength of protections because MATE attackers can reach their goals in many different ways and a universally accepted evaluation methodology does not exist. This survey systematically reviews the evaluation methodologies of papers on obfuscation, a major class of protections against MATE attacks. For 572 papers, we collected 113 aspects of their evaluation methodologies, ranging from sample set types and sizes, over sample treatment, to performed measurements. We provide detailed insights into how the academic state of the art evaluates both the protections and analyses thereon. In summary, there is a clear need for better evaluation methodologies. We identify nine challenges for software protection evaluations, which represent threats to the validity, reproducibility, and interpretation of research results in the context of MATE attacks

    Chatbots for Modelling, Modelling of Chatbots

    Full text link
    Tesis Doctoral inédita leída en la Universidad Autónoma de Madrid, Escuela Politécnica Superior, Departamento de Ingeniería Informåtica. Fecha de Lectura: 28-03-202

    Optimizing scientific communication : the role of relative clauses as markers of complexity in English and German scientific writing between 1650 and 1900

    Get PDF
    The aim of this thesis is to show that both scientific English and German have become increasingly optimized for scientific communication from 1650 to 1900 by adapting the usage of relative clauses as markers of grammatical complexity. While the lexico-grammatical changes in terms of features and their frequency distribution in scientific writing during this period are well documented, in the present work we are interested in the underlying factors driving these changes and how they affect efficient scientific communication. As the scientific register emerges and evolves, it continuously adapts to the changing communicative needs posed by extra-linguistic pressures arising from the scientific community and its achievements. We assume that, over time, scientific language maintains communicative efficiency by balancing lexico-semantic expansion with a reduction in (lexico-)grammatical complexity on different linguistic levels. This is based on the idea that linguistic complexity affects processing difficulty and, in turn, communicative efficiency. To achieve optimization, complexity is adjusted on the level of lexico-grammar, which is related to expectation-based processing cost, and syntax, which is linked to working memory-based processing cost. We conduct five corpus-based studies comparing English and German scientific writing to general language. The first two investigate the development of relative clauses in terms of lexico-grammar, measuring the paradigmatic richness and syntagmatic predictability of relativizers as indicators of expectation-based processing cost. The results confirm that both levels undergo a reduction in complexity over time. The other three studies focus on the syntactic complexity of relative clauses, investigating syntactic intricacy, locality, and accessibility. Results show that intricacy and locality decrease, leading to lower grammatical complexity and thus mitigating memory-based processing cost. However, accessibility is not a factor of complexity reduction over time. Our studies reveal a register-specific diachronic complexity reduction in scientific language both in lexico-grammar and syntax. The cross-linguistic comparison shows that English is more advanced in its register-specific development while German lags behind due to a later establishment of the vernacular as a language of scientific communication.This work is supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – Project-ID 232722074 – SFB 110

    The Formation of Modern Persian Literature: A Comparative Investigation into the Writings of TaqÄ« RafÊżat

    Get PDF
    This dissertation aims to study the emergence of modern literature in Iran alongside modernism in the international context by focusing on a particular case study, TaqÄ« RafÊżat’s oeuvre. A historical material and theoretical background is provided to support such reading. Nevertheless, this comparative reading is done via particular images. The first image is an image of the Titanic and disastrous modernity. One can see the links of the disastrous modernity all over the globe. Modernity reshaped labour and economy, symbolised in the image of the peasant. The peasant’s image depicts this change in different literatures, particularly the Iranian one. The concept of oblivion in relation to history is presented in the image of a flying flare. Finally, the concept of anxiety is scrutinized to re-read RafÊżat’s oeuvre from that point of view

    Trajectories of Change, from Armed Struggle to Politics: The Transformation of Sudan People’s Liberation Movement (SPLM) from a Liberation Movement into a Political Party

    Get PDF
    The end of the Cold War catalysed a range of civil wars and separatist conflicts that battled for government control around the globe. Most of them were resolved through peace agreements which led rebels to lay down their arms and adopt political strategies to pursue their goals. A primary challenge for any resistance or liberation movement is how to win legitimacy and support from the population. This thesis is a case study on the transformation of the Sudan People Liberation Movement/Army (SPLM/A) from a liberation movement to a political party and, later, government. It provides a context-specific understanding and analysis of how the liberation movement garnered legitimacy by tapping into local and international support in the liberation war. The analysis uses legitimacy as the optic for exploring the historical narrative and process-tracing to unearth multifaceted and interactive mechanisms, and strategies facilitating the liberation movement’s quest to consolidate domestic and international legitimacy during the period of struggle. The study employs a theoretical framework focusing on the concept of legitimacy as developed by Max Weber and other scholars. The theoretical approach expands the application of the term ‘legitimacy’ by including concepts such as revolutionary ideology, and performance, or eudaemonic legitimacy. Revolutionary ideology plays a vital role in helping a liberation movement to garner support and political legitimacy from the population during a conflict. It also arises through the invocation of universal values such as freedom, equality, and social justice democracy. Equally important is performance or eudaemonic legitimacy, which is measured by the ability of a former liberation movement to fulfil its revolutionary promises in the aftermath of (violent) conflict. Such a process entails the fulfilment and deliverance of ideals of liberation earlier promised during a struggle period. The promises may include the provision of security, public goods, and welfare to the citizens. However, in comparison to motives, objectives and aspirations of the SPLM/A during the liberation war against the central government in Khartoum, key findings on SPLM/A’s trajectory from a rebel movement to a government in the post-conflict period are not encouraging. The optimism, the hard-won jubilation, and the revolutionary legitimacy that catapulted the SPLM/A to power and the subsequent secession and independence in July 2011 quickly began to wane. The study found that SPLM/A’s legitimacy in the post-CPA and independence period continues to decline, and the South Sudanese do not enjoy the fruits of the liberation struggle. The findings also indicate that the SPLM/A is stuck in a political limbo: it retains many traits of a liberation movement, while its free ride during the CPA-mandated interim period en route to forming South Sudan’s first government has in effect worked against its aspiration to transform into a legitimate political party

    Collaborative dialogue and deliberative communication: Reading circles with Young Adult novels and adolescent learners of English as a Second Language

    Get PDF
    Learning a second language (L2) requires extensive input, and interaction in the target language can allow learners to notice and adjust their language use. Pedagogical activities that involve small-group discussions around literary texts have the potential to provide such learning opportunities. There is limited empirical research in the fields of L2 learning and teaching, however reader response research demonstrates that in-depth exploration of interpretations can be facilitated and suggests that critical pedagogies where learners act as problem-posers and problem-solvers may facilitate democratic dialogue (Short, 2011). This interdisciplinary shared goal of negotiation of meaning follows the Education 2030’s (UNESCO, 2016) global aims of furthering democracy. This qualitative study aims to provide insights into how reading circles can facilitate opportunities for interaction in L2 English and responses to literary texts. Data was generated from classroom observations and transcripts of audio recordings of learner-led reading circles with roles, Young Adult (YA) novels, and adolescent learners of English as a Second Language at a Swedish middle school. Selected purposively to draw insights from established communicative practices, this school implements reading circles regularly with their L2 English learners. Framed by sociocultural theory and the concept of languaging (Swain & Watanabe, 2013), the iterative linguistic and reader response analysis generated an analytical framework that draws on findings from Second Language Acquisition (SLA) research and reader response studies with picturebooks and younger learners. Main findings demonstrate how the learners co-constructed collaborative dialogue that involved appropriation of lexis and selfand other-repair of form, lexis, and narrative details. Supporting previous SLA research, this suggests how learner-led reading circles can provide opportunities for noticing form and lexis and adjustment of language in interaction. It also contributes to understanding how they can allow for negotiation of narrative details and regulation of reading comprehension. Adding to reader response research with adolescent L2 learners and YA novels, a typology of responses was developed that demonstrate how the learners made intertextual links within the novels and between the novels and their own narratives of life. This contributes to the discussion of the potential of literary texts to foster empathy by providing insights into how the learners drew on emotional responses to express compassion for or reject the characters’ actions. In sum, the learners’ interactions and negotiation of meaning suggest they were involved in deliberative communication, a pedagogical pursuit that aims to facilitate democratic processes (Englund, 2006)
    • 

    corecore