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

نتائج البحث

Filter
  • 1-10 ل  64 نتائج ل ""[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Virtual reality set-up for studying vestibular function during head impulse test

Subjects: vestibular function; head impulse test; virtual reality

  • Source: ISSN: 1664-2295 ; Frontiers in Neurology ; https://hal.science/hal-04148766 ; Frontiers in Neurology, 2023, 14, pp.1151515. ⟨10.3389/fneur.2023.1151515⟩.

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

×
Conference

A BIM-based model to study wayfinding signage using virtual reality

Subjects: [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Melbourne; Australia

  • Source: WBC 2022 - CIB World Building Congress ; https://hal.science/hal-03813473 ; WBC 2022 - CIB World Building Congress, Jun 2022, Melbourne, Australia. pp.1-10,

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

×
Conference

Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG(3,2) using the Coq Proof Assistant

Subjects: [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Haïfa; Israel

  • Source: Interactive Theorem Proving 2022 ; The International conference Interactive Theorem Proving (ITP) 2022 ; https://hal.science/hal-03633318 ; The International conference

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

×
Book

Sentiment des limites et immersion imaginative dans l'expérience de Rêverie Augmentée : une approche biomorphique du corps virtuel

Subjects: représentation du corps; matérialité virtuelle; rêverie augmentée

  • Source: Biomorphisme: Approches sensibles et conceptuelles des formes du vivant ; https://hal.science/hal-02495486 ; D. Roman; J. Bernard; S. Pic; J. Arnaud (dirs).

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

×
Conference

Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant

Subjects: [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]En ligne; France

  • Source: Seventh Workshop on Proof eXchange for Theorem Proving PxTP 2021 ; https://hal.science/hal-03268103 ; Seventh Workshop on Proof eXchange for Theorem Proving PxTP 2021,

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

×
Conference

Spreads and Packings of PG(3,2), Formally!

Subjects: [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Hagenberg; Austria

  • Source: Automated Deduction in Geometry (ADG 2021) ; https://hal.science/hal-03398276 ; Automated Deduction in Geometry (ADG 2021), 2021, Hagenberg, Austria. 2021

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

×
Conference

Multi-scale Space-time Registration of Growing Plants

Subjects: [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Londres; United Kingdom

  • Source: The 9th International Conference on 3D Vision (3DV) ; https://hal.science/hal-03402870 ; The 9th International Conference on 3D Vision (3DV), Dec 2021, Londres, United

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

×
  • 1-10 ل  64 نتائج ل ""[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]""