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

نتائج البحث

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

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

Collection : Institut National De La Recherche Agronomique
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Genomic-free EBVs computed from Single-Step evaluations as proofs for MACE in France

Subjects: Genomic evaluation; Single step; MACEBled; Slovenia

  • Source: Interbull Bulletin ; Interbull meeting ; https://hal.inrae.fr/hal-04688251 ; Interbull meeting, Interbull, May 2024, Bled, Slovenia. pp.161-166 ;

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

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

Turnpike Features in Optimal Selection of Species Represented by Quota Models: Extended Proofs

Subjects: Optimal control; turnpike properties; nonlinear systems

  • Source: https://hal.science/hal-03253160 ; [Research Report] RR-9399, Inria - Sophia Antipolis. 2021, pp.29.

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

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

Direct Proofs of the Existence of Equilibrium, the Gale-Nikaido-Debreu Lemma and the Fixed Point Theorems using Sperner's Lemma

Subjects: Gale- Nikaido-Debreu Lemma; Fixed Point Theorem; Subdivision

  • Source: https://shs.hal.science/halshs-02993655 ; 2021.

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

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

Graph theoretical properties of logic based argumentation frameworks: proofs and general results

Subjects: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Melbourne; Australia

  • Source: 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2017), Revised Selected Papershttps://hal-lirmm.ccsd.cnrs.fr/lirmm-018927035th International

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

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

From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures

Subjects: proof assistants; proof; lambda-calculusMilan; Italy

  • Source: 5th IFIP International Conference on Theoretical Computer Science - TCS 2008https://inria.hal.science/inria-002753825th IFIP International Conference on Theoretical Computer Science - TCS

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

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

Computation of deregressed proofs for genomic selection when own phenotypes exist with an application in French show-jumping horses

Subjects: deregression; genetic selection; horse

  • Source: ISSN: 0021-8812.

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

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

Kind of knowledge and types of proofs to design and assess the sustainability of agricultural and rural development policies

Subjects: environnement; public policy; brésilRio de Janeiro; Brazil

  • Source: International Seminar current public policies challenges for the rural : sustainability, agriculture and food security ; https://hal.science/hal-01198015 ; International Seminar current public

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

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

On the proofs of the existence of space-energy structure ; Sur les preuves de l’existence de la structure de l’espace-énergie

Subjects: volume de l’eau à l’état solide; structure de l’espace-énergie; vortex froid

  • Source: https://hal.science/hal-01291035 ; 2016.

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

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

Conversion of North American dairy sire proofs into French breeding values ; Conversion des valeurs génétiques des taureaux laitiers nord-américains en index français

Subjects: BOVINS LAITIERS; [SDV.GEN]Life Sciences [q-bio]/Genetics

  • Source: ISSN: 0999-193X.

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

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

Nomenclatural and taxonomic problems related to the electronic publication of new nomina and nomenclatural acts in zoology, with brief comments on optical discs and on the situation in botany

Subjects: International Code of zoological Nomenclature; amendment; nomenclatural novelty

  • Source: ISSN: 1175-5326.

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

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