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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-7 of  7 نتائج ل ""Universal""

فلترة النتائج

Collection : Universite De Lorraine Language : belarusian Language : bulgarian Language : english Language : multiple languages Language : no linguistic content Language : tamil Language : zulu Geographic : germany
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Universal equivalence and majority of probabilistic programs over finite fields

Subjects: program equivalence; probabilistic programs; finite fieldsSaarbrücken / Virtual; Germany

  • Source: ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science ; https://inria.hal.science/hal-02961583 ; ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020,

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Smallest Universal Covers for Families of Triangles

Subjects: [INFO]Computer Science [cs]; [MATH]Mathematics [math]; [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]Würzburg; Germany

  • Source: EuroCG 2020 - 36th European Workshop on Computational Geometry ; https://inria.hal.science/hal-02972966 ; EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg,

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Universal Security; From bits and mips to pools, lakes - and beyond

Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]GermanyDarmstadt, Germany

  • Source: Number Theory and Cryptography ; https://inria.hal.science/hal-00925622 ; Number Theory and Cryptography, Nov 2013, Darmstadt, Germany. pp.121-124,

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

اقرأ أكثر حفظ في قائمتي
×
Conference

An Application of Martin-Löf Randomness to Effective Probability Theory

Subjects: Algorithmic randomness; universal test; computable analysisHeidelberg; Germany

  • Source: Mathematical Theory and Computational Practice ; 5th Conference on Computability in Europe - CiE 2009 ; https://hal.science/hal-00425556 ; 5th Conference on Computability in Europe - CiE 2009, Jul

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Multiword Expression Features for Automatic Hate Speech Detection

Subjects: Deep learning; Hate speech detection; Social mediaSaarbrücken/Virtual; Germany

  • Source: NLDB 2021 - 26th International Conference on Natural Language & Information Systems ; https://hal.science/hal-03231047 ; NLDB 2021 - 26th International Conference on Natural Language & Information

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

اقرأ أكثر حفظ في قائمتي
×
Conference

Full multicondition training for robust i-vector based speaker recognition

Subjects: robustness; multicondition training; UBMDresden; Germany

  • Source: Interspeech 2015 ; https://inria.hal.science/hal-01158774 ; Interspeech 2015, Sep 2015, Dresden, Germany

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

اقرأ أكثر حفظ في قائمتي
×
Conference

A Decision Procedure for (Co)datatypes in SMT Solvers

Subjects: Datatype; Codatatypes; Acyclic RuleBerlin; Germany

  • Source: Lecture Notes in Computer Science ; CADE-25 - The 25th jubilee edition of the International Conference on Automated Deduction ; https://inria.hal.science/hal-01212585 ; CADE-25 - The 25th jubilee

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-7 of  7 نتائج ل ""Universal""