59 research outputs found

    Dialoghi interculturali: la letteratura francofona e Yasmina Khadra. Un progetto tra università e scuola secondaria di primo grado

    No full text
    Nell'ambito del trentesimo anniversario del festival Dedica di Pordenone, l'Università di Udine e la scuola secondaria di primo grado “Ellero” hanno intrapreso un progetto collaborativo mirato all'esplorazione della letteratura francofona attraverso l'opera dell’autore algerino Yasmina Khadra. Questo articolo esamina il progetto sinergico che ha impiegato il film Les hirondelles de Kaboul (2019) come mezzo per approfondire la comprensione culturale e linguistica degli studenti sul mondo francofono. As part of the 30th anniversary of the Dedica festival in Pordenone, the University of Udine and the ‘Ellero’ middle school undertook a collaborative project aimed at exploring Francophone literature through the work of Algerian author Yasmina Khadra. This article examines the synergetic project that employed the movie Les hirondelles de Kaboul (2019) as a means to deepen students' cultural and linguistic understanding of the Francophone world

    Bouchra BENBELLA, Récits viatiques sur le Maroc, Paris, L’Harmattan, 2023, 214 pp.

    No full text
    Cet ouvrage propose au lecteur une riche analyse du récit de voyage en tant que forme littéraire complexe, soulevant des questions sur sa nature et sa réception critique

    An Optimal Data Structure to Handle Dynamic Environment in Non-deterministic Computations.

    No full text
    The single most serious issue in the development of a parallel implementation of non-deterministic programming languages and systems (e.g., logic programming, constraint programming, search-based arti0cial intelligence systems) is the dynamic management of the binding environments—i.e., the ability to associate with each parallel computation the correct set of bindings=values representing the solution generated by that particular branch of the non-deterministic computation. The problem has been abstracted and formally studied previously (ACM Trans. Program. Lang. Syst. 15(4) (1993) 659; New Generation Comput. 17(3) (1999) 285), but to date only relatively ine:cient data structures (ACM Trans. Program. Lang. Syst. (2002); New Generation Comput. 17(3) (1999) 285; J. Funct. Logic Program. Special issue #1 (1999)) have been developed to solve it. We provide a very e:cient solution to the problem (O(lg n) per operation). This is a signi0cant improvement over previously best known ( 3 √ n) solution. Our solution is provably optimal for the pointer machine model. We also show how the solution can be extended to handle the abstraction of search problems in object-oriented systems, with the same time complexity

    Logic Programming Techniques in Protein Structure Determination: Methodologies and Results

    No full text
    The purpose of this paper is to provide a brief overview of how logic programming technology has been used by our team in addressing the problem of tertiary protein structure determination. The proposed approach tackles the problem from the perspective of viewing protein structure as a folding of protein sequences in a discrete representation of space (a crystal lattice structure). Logic programming and constraint programming technologies can be effectively used to provide an elegant and effective solution
    corecore