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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  274 نتائج ل ""mathématiques""

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

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

Production planning for mass customization in a reconfigurable manufacturing system ; Planification de la production pour la customisation de masse dans un système de fabrication reconfigurable

Subjects: Mass customization; Reconfigurable manufacturing system; Mass customized products

  • Source: https://theses.hal.science/tel-04115995 ; Other. Université de Technologie de Compiègne, 2023. English. ⟨NNT : 2023COMP2663⟩.

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

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Modelling of plasticity and fracture behaviors of dual-phase steel ; Modélisation de la plasticité et la rupture de l’acier à double phase

Subjects: Dual-phase steel; Micromechanics; Homogenization

  • Source: https://theses.hal.science/tel-01468579 ; Mechanics [physics.med-ph]. Université de Technologie de Compiègne, 2016. English. ⟨NNT : 2016COMP2302⟩.

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

اقرأ أكثر حفظ في قائمتي
×
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 (INRIA). 2023, pp.17.

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

اقرأ أكثر حفظ في قائمتي
×
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.

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

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

Efficient preconditioned stochastic gradient descent for estimation in latent variable models

Subjects: [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST]Honolulu; United States

  • Source: Proceedings of the 40th International Conference on Machine Learning, Honolulu, Hawaii, USA. PMLR 202, 2023. ; 40th International Conference on Machine Learning ; https://hal.science/hal-04131641 ;

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

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

Non parametric observation driven HMM ; HMM non paramétrique piloté par les observations

Subjects: [STAT]Statistics [stat]Bruxelles (Belgique); Belgium

  • Source: 54 ièmes journées de Statistique de la SFdShttps://hal.inrae.fr/hal-0418013354 ièmes journées de Statistique de la SFdS, Jul 2023, Bruxelles (Belgique), Belgium

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

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

Efficient preconditioned stochastic gradient descent for estimation in latent variable models

Subjects: [MATH]Mathematics [math]

  • Source: 40th International Conference on Machine Learning (https://hal.inrae.fr/hal-0434727640th International Conference on Machine Learning (, 2023

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

اقرأ أكثر حفظ في قائمتي
×
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.

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

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

Nonparametric Recursive Kernel Type Eestimators for the Moment Generating Function Under Censored Data

Subjects: Moment generating function; Kernel type estimator; Stochastic approximation algorithm

  • Source: ISSN: 2311-004X.

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

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

Fast calibration of weak FARIMA models

Subjects: Weak FARIMA models; Le Cam's one-step estimator; Least squares estimator

  • Source: ISSN: 1292-8100 ; EISSN: 1262-3318.

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  274 نتائج ل ""mathématiques""