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

نتائج البحث

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

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

Collection : Lilloa (Hal Lille Open Archive, Universite De Lille)
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution)

Subjects: Static Analysis; Abstract Interpretation; SV-CompHamilton; Ontario

  • Source: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025 ; https://inria.hal.science/hal-04968769 ; Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025,

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

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

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)

Subjects: Static Analysis; Abstract Interpretation; Competition on Software VerificationLuxembourg City; Luxembourg

  • Source: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024 ; https://hal.science/hal-04536418 ; Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, Apr

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

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

Very fast simulation of growth competition between columnar dendritic grains during melt pool solidification

Subjects: Solidification; Microstructure; Numerical metallurgy

  • Source: ISSN: 0927-0256.

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

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

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)

Subjects: static analysis; abstract interpretation; Competition on software verificationParis; France

  • Source: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023) ; https://inria.hal.science/hal-04077678 ; Tools and Algorithms for the Construction and Analysis of Systems (TACAS

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

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

Seasonality and competition select for variable germination behavior in perennials

Subjects: dormancy competition bet-hedging phenology seed size environmental variation; dormancy; competition

  • Source: ISSN: 0014-3820.

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

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

Digital platforms and speed-based competition: The case of secondhand clothing ; Plateformes Digitales et Concurrence par la Rapidité. Le Cas des Vêtements d'Occasion

Subjects: plateformes digitales P2P concurrence par la rapidité accélération contributions sociétales digital platforms P2P competition on pace acceleration societal contributions; plateformes digitales; P2P

  • Source: ISSN: 2051-5707 ; Recherche et Applications en Marketing (English Edition) ; https://hal.science/hal-04244295 ; Recherche et Applications en Marketing (English Edition), 2022, 37 (1), pp.36-58.

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

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

Coexistence of many species under a random competition–colonization trade-off

Subjects: [SDE.BE]Environmental Sciences/Biodiversity and Ecology; [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]; [SDV.BID]Life Sciences [q-bio]/Biodiversity

  • Source: ISSN: 0027-8424.

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

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

Gender, age, and attitude toward competition

Subjects: Gender; Competitiveness; Attitude toward competition

  • Source: ISSN: 0167-2681.

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

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

Integrating plant-plant competition for nitrogen into a 3D individual-based model simulating the effects of cropping systems on weed dynamics

Subjects: weed; nitrogen; competition

  • Source: ISSN: 0378-4290 ; Field Crops Research ; https://hal.inrae.fr/hal-03344431 ; Field Crops Research, 2021, 268, pp.108166. ⟨10.1016/j.fcr.2021.108166⟩.

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

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

Very fast simulation of growth competition between columnar dendritic grains during melt pool solidification

Subjects: Solidification; Microstructure; Numerical metallurgy

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

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

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