Sökning: "Yacoub Hendi"

Hittade 3 uppsatser innehållade orden Yacoub Hendi.

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

   Master-uppsats, Uppsala universitet/Geometri och fysik

   Författare :Yacoub Hendi; [2023]
   Nyckelord :;

   Sammanfattning : .... LÄS MER

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

   Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Yacoub Hendi; [2021]
   Nyckelord :;

   Sammanfattning : 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. LÄS MER

4. 3. On The Prime Number Theorem

   Kandidat-uppsats, Uppsala universitet/Analys och sannolikhetsteori

   Författare :Yacoub Hendi; [2021]
   Nyckelord :;

   Sammanfattning : .... LÄS MER