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

نتائج البحث

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

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

Content Provider : BASE Language : english فلترة بواسطة : موضوع
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

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

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

A Formalization of Complete Discrete Valuation Rings and Local Fields

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

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

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

EMPIRICAL PROCESS SAMPLED ALONG A STATIONARY PROCESS

Subjects: July 20 2023. 2010 Mathematics Subject Classification. Primary: 60F05 28D05 22D40 60G50; Secondary: 47B15 37A25 37A30 Empirical process sampling along a stationary process local times Glivenko-Cantelli theorem functional central limit theorem random walks; 2023. 2010 Mathematics Subject Classification. Primary: 60F05

  • Source: Workshop Ergodic Theory (Chapel-Hill) ; https://hal.science/hal-04380332 ; Workshop Ergodic Theory (Chapel-Hill), 2024

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

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

EMPIRICAL PROCESS SAMPLED ALONG A STATIONARY PROCESS

Subjects: July 20 2023. 2010 Mathematics Subject Classification. Primary: 60F05 28D05 22D40 60G50; Secondary: 47B15 37A25 37A30 Empirical process sampling along a stationary process local times Glivenko-Cantelli theorem functional central limit theorem random walks; 2023. 2010 Mathematics Subject Classification. Primary: 60F05

  • Source: Workshop Ergodic Theory (Chapel-Hill) ; https://hal.science/hal-04380332 ; Workshop Ergodic Theory (Chapel-Hill), 2024

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

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

EMPIRICAL PROCESS SAMPLED ALONG A STATIONARY PROCESS

Subjects: July 20 2023. 2010 Mathematics Subject Classification. Primary: 60F05 28D05 22D40 60G50; Secondary: 47B15 37A25 37A30 Empirical process sampling along a stationary process local times Glivenko-Cantelli theorem functional central limit theorem random walks; 2023. 2010 Mathematics Subject Classification. Primary: 60F05

  • Source: Workshop Ergodic Theory (Chapel-Hill) ; https://hal.science/hal-04380332 ; Workshop Ergodic Theory (Chapel-Hill), 2024

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

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

A Stable-Set-Based Move to Solve an Agile Earth Observation Satellite Scheduling Problem with a Local Search

Subjects: Agile Earth Observation Satellite Scheduling Constraint-Based Local Search; Agile Earth Observation Satellite; SchedulingAmiens; France

  • Source: 25ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision (ROADEF 2024)https://hal.science/hal-0451973625ème congrès annuel de la Société

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

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

A Formalization of Complete Discrete Valuation Rings and Local Fields

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

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

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

A Formalization of Complete Discrete Valuation Rings and Local Fields

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

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

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

A Formalization of Complete Discrete Valuation Rings and Local Fields

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

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

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

A Formalization of Complete Discrete Valuation Rings and Local Fields

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 of  143,512 نتائج ل ""Local""