Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

On universal singular exponents in equations with one catalytic parameter of order one

Subjects: [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]; [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]Prague; Czech Republic

  • Source: European Conference on Combinatorics, Graph Theory and Applications ; https://polytechnique.hal.science/hal-04281429 ; European Conference on Combinatorics, Graph Theory and Applications, Aug 2023,

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

×
Conference

Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games

Subjects: Mean-payoff games; entropy games; value iterationParis; France

  • Source: 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)https://laas.hal.science/hal-0369820749th International Colloquium on Automata, Languages, and Programming

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

×
Conference

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

Subjects: Verification of Cryptographic Primitives; Formal Methods; Interactive Proof SystemVirtual Event; South Korea

  • Source: CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security ; https://hal.science/hal-03469015 ; CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021,

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

×
  • 1-10 ل  180 نتائج ل ""Universal""