Search results for "F45"
showing 2 items of 12 documents
Voisinages tubulaires épointés et homotopie stable à l'infini
2022
We initiate a study of punctured tubular neighborhoods and homotopy theory at infinity in motivic settings. We use the six functors formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational tools include cdh-descent for normal crossing divisors, Euler classes, Gysin maps, and homotopy purity. Under-adic realization, the motive at infinity recovers a formula for vanishing cycles due to Rapoport-Zink; similar results hold for Steenbrink's limiting Hodge structures and Wildeshaus' boundary motives. Under the topological Betti realization, the stable motivic homotopy type at infinity of an algebraic variety recovers…
Navigation Performance Evaluation for AutomaticGuided Vehicles
2015
International audience; —Automatic guided vehicles (AGVs), an industrial form of a mobile robot,typically navigate using a central computer commanding AGV movement on predefined paths. How well they follow these paths is not well-defined in research articles and their performance is reported in non-standard manufacturer specifications. Furthermore, AGV technology is advancing towards vision guidance to map and localize their position from onboard the vehicle, whereas performance evaluation of advanced navigation techniques is just beginning. This paper describes AGV experiments using ground truth measurement comparisonfor performance evaluationof AGV navigation. A generic test procedure and…