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

نتائج البحث

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

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

Collection : Universite De Lille 3 - Sciences Humaines Et Sociales
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings

Subjects: Static analysis; Polyhedral model; Abstract interpretation

  • Source: https://inria.hal.science/inria-00464356 ; [Research Report] RR-7235, INRIA. 2010, pp.32.

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

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

SMART SECURITY MANAGEMENT IN SECURE DEVICES

Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]; [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]Saint-Malo; France

  • Source: PROOFS: Security Proofs for Embedded Systems ; https://hal-emse.ccsd.cnrs.fr/emse-01232670 ; PROOFS:

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

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

A Formalization of Polytime Functions

Subjects: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]Nijmegen; Netherlands

  • Source: ITP 2011 ; https://hal.inria.fr/hal-00654217 ; ITP 2011, Aug 2011, Nijmegen, Netherlands

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

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

Natural Actor-Critic Algorithms

Subjects: [SCCO.COMP]Cognitive science/Computer science

  • Source: ISSN: 0005-1098 ; Automatica ; https://inria.hal.science/hal-00840470 ; Automatica, 2009, 45 (11), ⟨10.1016/j.automatica.2009.07.008⟩.

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

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

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Subjects: Existential rules; Chase; Boundedness

  • Source: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02920624 ; [Research Report] LIRMM (UM, CNRS). 2020.

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

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

Differential Privacy for Bayesian Inference through Posterior Sampling

Subjects: Bayesian inference; differential privacy; robustness

  • Source: ISSN: 1532-4435.

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

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

Improving offline evaluation of contextual bandit algorithms via bootstrapping techniques

Subjects: bandit algorithms; recommendation system; bootstrapBeijing; China

  • Source: International Conference on Machine Learning ; https://inria.hal.science/hal-00990840 ; International Conference on Machine Learning, Jun 2014, Beijing, China ; http://jmlr.org/proceedings/papers/v32/

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

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

Knockout Prediction for Reaction Networks with Partial Kinetic Information

Subjects: metabolic networks; Constraint programming; abstract interpretationRome; Italy

  • Source: 14th International Conference on Verification, Model Checking, and Abstract Interpretationhttps://inria.hal.science/hal-0069249914th International Conference on Verification, Model

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

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

Well known theorems on triangular systems and the D5 principle

Subjects: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]; [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]

  • Source: Proceedings of Transgressive Computing 2006 ; Transgressive Computing 2006 ; https://hal.science/hal-00137158 ; Transgressive Computing 2006, Apr 2006, France. pp.79-91

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

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

Self-stabilization with r-operators revisited

Subjects: r-operators; self-stabilization; message passing

  • Source: ISSN: 1542-9423 ; Journal of Aerospace Computing, Information, and Communication ; https://hal.sorbonne-universite.fr/hal-00632413 ; Journal of Aerospace Computing, Information, and Communication,

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  13 نتائج ل ""proofs""