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-10 of  13 results for ""Automation""

Your Filters

Collection : Universite De Nantes Language : bosnian Language : english Filter by : Subject
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

Machine-Checked Categorical Diagrammatic Reasoning

Subjects: Logic and verification; Interactive Theorem Proving Coq; Categories

  • Source: https://inria.hal.science/hal-04471683 ; 2024.

Record details

Read More Add to Saved list
×
Academic Journal

BPG-Based Automatic Lossy Compression of Noisy Images with the Prediction of an Optimal Operation Existence and Its Parameters

Subjects: image lossy compression; optimal operation point; quality prediction

  • Source: ISSN: 2076-3417.

Record details

Read More Add to Saved list
×
Academic Journal

Obstacle avoidance in highly automated cars: can progressive haptic shared control make it safer and smoother?

Subjects: Haptic control; Human-automation interaction; Autonomous vehicles

  • Source: ISSN: 2168-2291 ; IEEE Transactions on Human-Machine Systems ; https://hal.science/hal-03631149 ; IEEE Transactions on Human-Machine Systems, 2022, 52 (4), pp.547-556.

Record details

Read More Add to Saved list
×
Academic Journal

Analytical Tools Integrated in Continuous-Flow Reactors: Which One for What?

Subjects: In-line/Online analysis; Chemistry 4.0; Automation

  • Source: ISSN: 1083-6160.

Record details

Read More Add to Saved list
×
Conference

Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report

Subjects: Requirements Engineering; Model-based Engineering; Collaborative ProjectsNotre Dame; South Bend; United States

  • Source: 2021 IEEE 29th International Requirements Engineering Conference (RE)https://hal.science/hal-032872612021 IEEE 29th International Requirements Engineering Conference (RE), Sep 2021, Notre

Record details

Read More Add to Saved list
×
Academic Journal

Decentralized SDN Control Plane for a Distributed Cloud-Edge Infrastructure: A Survey

Subjects: networking; virtualization; SDN

  • Source: ISSN: 1553-877X ; Communications Surveys and Tutorials, IEEE Communications Society ; https://hal.science/hal-03119901 ; Communications Surveys and Tutorials, IEEE Communications Society, 2021,

Record details

Read More Add to Saved list
×
Academic Journal

A fully automated, transparent, reproducible, and blind protocol for sequential analyses

Subjects: Sequential analysis; Sequential testing; Sequential Bayes factor

  • Source: Meta-Psychology ; https://nantes-universite.hal.science/hal-03283796 ; Meta-Psychology, 2021, 5, ⟨10.15626/MP.2018.869⟩

Record details

Read More Add to Saved list
×
Conference

Shared Control Based on an Ecological Feedforward and a Driver Model Based Feedback

Subjects: Vehicle dynamic systems; Identification for control; Shared controlOrléans; France

  • Source: Proceedings of the 9th IFAC International Symposium on Advances in Automotive Control ; 9th IFAC International Symposium on Advances in Automotive Control ; https://hal.science/hal-02110825 ; 9th IFAC

Record details

Read More Add to Saved list
×
Academic Journal

Feasibility Study and Porting of the Damped Least Square Algorithm on FPGA

Subjects: Manipulators; Trajectory; Field programmable gate arrays

  • Source: ISSN: 2169-3536.

Record details

Read More Add to Saved list
×
Academic Journal

Leveraging metamorphic testing to automatically detect inconsistencies in code generator families

Subjects: code generators; metamorphic testing; non-functional properties

  • Source: ISSN: 0960-0833.

Record details

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