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

Towards autonomous robot navigation in human populated environments using an Universal SFM and parametrized MPC

Subjects: [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]Detroit (MI); United States

  • Source: IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and Systems ; https://inria.hal.science/hal-04210032 ; IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and

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

×
Academic Journal

A universal dynamical metabolic model representing mixotrophic growth of Chlorella sp. on wastes

Subjects: Chlorella; metabolic modelling; heterotrophy

  • Source: ISSN: 0043-1354 ; Water Research ; https://hal.science/hal-03920752 ; Water Research, 2023, 229, pp.119388. ⟨10.1016/j.watres.2022.119388⟩.

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

×
Conference

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

Subjects: Verification of Cryptographic Primitives; Formal Methods; Interactive Proof SystemVirtual Event; South Korea

  • Source: CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security ; https://hal.science/hal-03469015 ; CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021,

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

×
  • 1-10 ل  23 نتائج ل ""Universal""