نتائج البحث

Game Theory on the Blockchain: A Model for Games with Smart Contracts

• Authors : Hall-Andersen, Mathias Nørup; Schwartzbach, Nikolaj Ignatieff;

• Source: Hall-Andersen , M N & Schwartzbach , N I 2021 , Game Theory on the Blockchain: A Model for Games with Smart Contracts . in I Caragiannis & K A Hansen (eds) , Algorithmic Game Theory - 14th

تفاصيل العنوان

Symbolic computation of differential equivalences

• Authors : Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max

Subjects: Ordinary differential equations; Partition refinement; Quantitative equivalence relations

• Source: Cardelli , L , Tribastone , M , Tschaikowski , M & Vandin , A 2019 , ' Symbolic computation of differential equivalences ' , Theoretical Computer Science , vol. 777 , pp. 132-154 .

تفاصيل العنوان

Quantum steering:A review with focus on semidefinite programming

• Authors : Cavalcanti, Daniel; Skrzypczyk, Paul

Subjects: /dk/atira/pure/core/keywords/qitg; name=QITG; Quantum steering

• Source: Cavalcanti , D & Skrzypczyk , P 2017 , ' Quantum steering : A review with focus on semidefinite programming ' , Reports on progress in Physics , vol. 80 , no. 2 , 024001 .

تفاصيل العنوان

Prefix orders as a general model of dynamics

• Authors : Cuijpers, P.J.L.

• Source: Cuijpers , P J L 2013 , Prefix orders as a general model of dynamics . Computer science reports , vol. 1309 , Technische Universiteit Eindhoven , Eindhoven .

تفاصيل العنوان

Prefix orders as a general model of dynamics

• Authors : Cuijpers, P.J.L.

• Source: Cuijpers , P J L 2013 , Prefix orders as a general model of dynamics . Computer science reports , vol. 1309 , Technische Universiteit Eindhoven , Eindhoven .

تفاصيل العنوان