Essays about: "Yacoub Hendi"

Found 3 essays containing the words Yacoub Hendi.

  1. 1. Computation of the superpotential for monotone Lagrangian submanifolds in products of complex projective lines

    University essay from Uppsala universitet/Geometri och fysik

    Author : Yacoub Hendi; [2023]
    Keywords : ;

    Abstract : .... READ MORE

  3. 2. Parameterized Verification under The Total Store Order Memory Modelis EXPTIME-Complete

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Yacoub Hendi; [2021]
    Keywords : ;

    Abstract : In this paper, we study the problem of parameterized verification of a concurrent program running under the Total Store Order (TSO) memory  model. A concurrent program is a finite set of processes that are instances of the same pushdown system and which communicate through a set of shared variables. READ MORE

  4. 3. On The Prime Number Theorem

    University essay from Uppsala universitet/Analys och sannolikhetsteori

    Author : Yacoub Hendi; [2021]
    Keywords : ;

    Abstract : .... READ MORE