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

نتائج البحث

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

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

Collection : Universite De Technologie De Compiegne
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

Lebesgue Induction and Tonelli's Theorem in Coq ; Induction de Lebesgue et théorème de Tonelli en Coq

Subjects: Formal proof; Coq; Measure theory

  • Source: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique

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

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

A Coq Formalization of Lebesgue Integration of Nonnegative Functions ; Une formalisation en Coq de l'intégrale de Lebesgue des fonctions positives

Subjects: Lebesgue integration; Measure theory; Formal proof

  • Source: https://inria.hal.science/hal-03194113 ; [Research Report] RR-9401, Inria, France. 2021, pp.38.

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

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

Lebesgue integration. Detailed proofs to be formalized in Coq ; Intégrale de Lebesgue. Preuves détaillées en vue d'une formalisation en Coq

Subjects: Measure theory; Lebesgue integration; Detailed mathematical proof

  • Source: https://inria.hal.science/hal-03105815 ; [Research Report] RR-9386, Inria Paris. 2021, pp.567.

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

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

The Lax–Milgram theorem. A detailed proof to be formalized in Coq ; Le théorème de Lax-Milgram. Une preuve détaillée en vue d'une formalisation en Coq

Subjects: Formal proof in real analysis; Detailed mathematical proof; Finite element method

  • Source: https://inria.hal.science/hal-01344090 ; [Research Report] RR-8934, Inria Paris. 2016.

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

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

A Wavelet-based Method for the Metabolite Detection and Quantification in Proton Magnetic Resonance Spectroscopy

Subjects: [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing; [INFO.INFO-IM]Computer Science [cs]/Medical Imaging

  • Source: https://hal.science/hal-02042878 ; [Research Report] Université de Poitiers (France). 2015.

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

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

Fault tolerant planning: towards dependable autonomous robots

Subjects: Fault Tolerant Planner; Autonomous Robots; Fault injection

  • Source: https://hal.science/hal-01271568 ; [Research Report] Rapport LAAS n° 16046, LAAS-CNRS. 2015.

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

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

NoXperanto: Crowdsourced Polyglot Persistence

Subjects: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

  • Source: https://inria.hal.science/hal-01002695 ; [Research Report] RR-LIG-047, 2014.

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

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

Estimation and Selection for the Latent Block Model on Categorical Data

Subjects: EM algorithm; Variational Approximation; Stochastic EM

  • Source: https://inria.hal.science/hal-00802764 ; [Research Report] RR-8264, INRIA. 2013, pp.30.

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

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

Filming Sport Events with Mobile Camera Drones: Mathematical Modeling and Algorithms

Subjects: [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]; [INFO.INFO-MC]Computer Science [cs]/Mobile Computing

  • Source: https://inria.hal.science/hal-00801126 ; [Research Report] 2012.

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

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

Modeling fractures as interfaces with nonmatching grids

Subjects: Fractures; Barriers; Mixed finite elements

  • Source: https://inria.hal.science/inria-00561601 ; [Research Report] RR-7517, INRIA. 2011, pp.29.

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

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