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

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability

Subjects: Petri nets; Quantifier elimination; Reachability problemsLondon; United Kingdom

  • Source: Verification, Model Checking, and Abstract Interpretation. VMCAI 2024 ; https://laas.hal.science/hal-04375443 ; Verification, Model Checking, and Abstract Interpretation. VMCAI 2024, Jan 2024, London,

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

×
Conference

Parameter Estimation with Integral Elimination

Subjects: integro-differential equations; parameter estimation; differential and integral eliminationKassel; Germany

  • Source: Differential Algebra and Related Topics XII ; https://hal.science/hal-04576171 ; Differential Algebra and Related Topics XII, Apr 2024, Kassel, Germany. ;

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

×
  • 1-10 ل  5,230 نتائج ل ""elimination""