نتائج البحث

Generalized performance criteria for identified models

• Authors : Vau, Bernard; Bourlès, Henri;

Subjects: Identification; Model validation; Model performance assessmentBoston (MA); United StatesBoston (MA), United States

• Source: 20th SysID 2024 - IFAChttps://hal.science/hal-0465437820th SysID 2024 - IFAC, Jul 2024, Boston (MA), United States

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

Generalized performance criteria for identified models

• Authors : Vau, Bernard; Bourlès, Henri;

Subjects: Identification; Model validation; Model performance assessmentBoston (MA); United StatesBoston (MA), United States

• Source: 20th SysID 2024 - IFAChttps://hal.science/hal-0465437820th SysID 2024 - IFAC, Jul 2024, Boston (MA), United States

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

Identification of the Bandwidth of a Magneto-Inertial Navigation Filter ; Identification de la bande passante d'un filtre de navigation magnéto-inertielle

• Authors : Neymann, Raphaël; Hillion, Mathieu; Lhachemi, Hugo ...

Subjects: Calibration; Dead-Reckoning; Experimental SettingsLyon; France

• Source: MICNON 2024 - 4th IFAC Conference on Modelling, Identification and Control of Nonlinear Systems ; https://hal.science/hal-04642739 ; MICNON 2024 - 4th IFAC Conference on Modelling, Identification and

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

MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by using Imprecise Symbol Filters ...

• Authors : Kogel, Paul; Schwabe, Wolffhardt; Glesner, Sabine

Subjects: Formal methods for software; Software testing, verification and validation

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

MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by using Imprecise Symbol Filters ...

• Authors : Kogel, Paul; Schwabe, Wolffhardt; Glesner, Sabine

Subjects: Formal methods for software; Software testing, verification and validation

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

Artifacts for 'A Framework for Portability and Correctness of OS Kernels' ...

• Authors : Contribution, Conference

Subjects: Formal methods for software; Dependable systems; Operating systems

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

Artifacts for 'A Framework for Portability and Correctness of OS Kernels' ...

• Authors : Contribution, Conference

Subjects: Formal methods for software; Dependable systems; Operating systems

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

The FAIR Signposting Validator ...

• Authors : Klein, Martin; Powell, James; Sompel, Herbert Van de

Subjects: FAIRness of repository resources; Signposting; Validation service

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

The FAIR Signposting Validator ...

• Authors : Klein, Martin; Powell, James; Sompel, Herbert Van de

Subjects: FAIRness of repository resources; Signposting; Validation service

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

Network Simulator-Centric Compositional Testing

• Authors : Rousseaux, Tom; Crochet, Christophe; Aoga, John ...

Subjects: Networks; Internet protocols; Network Simulator

• Source: Lecture Notes in Computer Science, Vol. 14678, no.2024, p. 177-196 (2024)

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