Sökning: "Marco Rossi"

Hittade 2 uppsatser innehållade orden Marco Rossi.

  1. 1. Automatically Learning Register Automata from MATLAB Code : A case study in autonomous driving

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Marco Dei Rossi; [2021]
    Nyckelord :Automata learning; SL*; Register automata; RALib; Lateral State Manager; Automata learning; SL*; Register automata; RALib; LSM; Automata learning; SL*; Register automata; RALib; LSM;

    Sammanfattning : The successful verification of the behaviour of an Autonomous driving (AD) vehicle is fundamental for the commercialization of this new technology. Formal verification can be used to exhaustively verify the correctness of a system, but it requires a formal model to do so. LÄS MER

  3. 2. Ellas se los tienen que decir. Yo- Voces que socavan políticas del nombrar dominantes en la poesía de Cristina Peri Rossi, Julia Álvarez y Ana Arzoumanian

    Master-uppsats, Lunds universitet/Masterprogram: Litteratur - Kultur – Media; Lunds universitet/Spanska

    Författare :Azucena Castro; [2014]
    Nyckelord :voices; Juana I Ana Arzoumanian.; languages; naming politics; Juana I Ana Arzoumanian. contemporary poetry; The Other Side El otro lado Julia Álvarez; voces; Evohé Cristina Peri Rossi; lenguajes; políticas del nombrar; poesía contemporánea; Languages and Literatures;

    Sammanfattning : Esta tesis explora el nombre, el nombrar y políticas del nombrar en tres textos poéticos que manifiestan una preocupación con la fuerza normativa en el lenguaje: Evohé (1971) de Cristina Peri Rossi, The Other Side/El otro lado (1995) de Julia Álvarez y Juana I (2006) de Ana Arzoumanian. En Evohé colisionan y se penetran una mujer-cuerpo y una mujer-palabra; en The Other Side/El otro lado tensionan el código del inglés, el del español de la infancia y el del ritmo del cuerpo; y en Juana I el habla de la razón del Imperio y de la Iglesia choca contra el habla de la locura y del cuerpo de Juana “la loca”. LÄS MER