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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  287 نتائج ل ""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⟩.

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

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

Finite element method. Detailed proofs to be formalized in Coq ; Méthode des éléments finis. Preuves détaillées en vue d'une formalisation en Coq

Subjects: Partial differential equation; Finite element method; Lagrange finite elements

  • Source: https://inria.hal.science/hal-04713897 ; RR-9557, Inria Paris. 2024, pp.172.

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

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

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 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

Formal stabilization of a coupled ODE-PDE switched system

Subjects: Switched systems; Partial diffenrential equations; Formal methods

  • Source: https://hal.science/hal-04712017 ; 2024.

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

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

Fast inference for stationary time series

Subjects: Long memory time series; Whittle estimator; One-step estimator

  • Source: https://hal.science/hal-04702353 ; 2024.

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

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

Robust augmented energy a posteriori estimates for Lipschitz and strongly monotone elliptic problems

Subjects: Iterative linearization; Energy difference; A posteriori error estimate

  • Source: https://hal.science/hal-04033438 ; 2024.

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

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

Non-parametric Observation Driven HMM ; HMM non paramétrique piloté par les observations

Subjects: identifiability; consistency; EM algorithm

  • Source: https://hal.inrae.fr/hal-04053732 ; 2024.

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

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

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

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