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

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-9 of  9 results for ""Automation""

Your Filters

Collection : Hal Universite Cote D'azur Language : bosnian Language : english Filter by : Subject
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Focusing on Object Extremities for Tree Instance Segmentation in Forest Environments

Subjects: Vegetation; Forestry; Instance segmentation

  • Source: ISSN: 2377-3766 ; IEEE Robotics and Automation Letters ; https://u-picardie.hal.science/hal-04561910 ; IEEE Robotics and Automation

Record details

Read More Add to Saved list
×
Conference

Automatic Determination of the SLR Reference Point at Côte d’Azur Multi-Technique Geodetic Observatory

Subjects: Automation; Instrumentation; Local tie

  • Source: https://hal.science/hal-04321093 ; Springer Berlin Heidelberg, 2023, International Association of Geodesy Symposia, ⟨10.1007/1345_2023_223⟩.

Record details

Read More Add to Saved list
×
Academic Journal

Automated Expected Value Analysis of Recursive Programs

Subjects: probabilistic programming; expected value analysis; weakest pre-expectation semantics

  • Source: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://inria.hal.science/hal-04345663 ; Proceedings of the ACM on Programming Languages, 2023, 7 (PLDI), pp.1050-1072.

Record details

Read More Add to Saved list
×
Conference

Engineering Awareness in Interfaces: Focus on Automation and Visualization

Subjects: Engineering Interactive Systems; Situation Awareness; AutomationSophia Antipolis; France

  • Source: EICS '22 Companion: Companion of the 2022 ACM SIGCHI Symposium on Engineering Interactive Computing Systems ; 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2022) ;

Record details

Read More Add to Saved list
×
Conference

Autonomous and optimized ship routing

Subjects: Navigation; automation; schedulingAthens; Greece

  • Source: SNAME 2021 - 7th International Symposium on Ship Operations, Management and Economics ; https://hal.science/hal-03523845 ; SNAME 2021 - 7th International Symposium on Ship Operations, Management and

Record details

Read More Add to Saved list
×
Academic Journal

An automated platform for structural analysis of membrane proteins through serial crystallography

Subjects: automation; data management; drug discovery

  • Source: ISSN: 2667-2375.

Record details

Read More Add to Saved list
×
Conference

Automating ns-3 Experimentation in Multi-Host Scenarios

Subjects: ns-3; Simulation; EmulationSpainBarcelona, Spain

  • Source: WNS3 2015 ; https://inria.hal.science/hal-01141000 ; WNS3 2015, May 2015, Barcelona, Spain

Record details

Read More Add to Saved list
×
Academic Journal

Automated flow cytometric analysis across large numbers of samples and cell types.

Subjects: Flow cytometry; Multidimensional analysis; Population-based cohort

  • Source: ISSN: 1521-6616.

Record details

Read More Add to Saved list
×
Dissertation/ Thesis

Formalisation tools for classical analysis : a case study in control theory ; Outils pour la formalisation en analyse classique : une étude de cas en théorie du contrôle

Subjects: Formal proof; Coq; Classical analysis

  • Source: https://theses.hal.science/tel-02333396 ; Logic in Computer Science [cs.LO]. Université Côte d'Azur, 2019. English. ⟨NNT : 2019AZUR4058⟩.

Record details

Read More Add to Saved list
×
  • 1-9 of  9 results for ""Automation""