Quati: An Automated Tool for Proving Permutation Lemmas

2014 ◽  
pp. 255-261 ◽  
Author(s):  
Vivek Nigam ◽  
Giselle Reis ◽  
Leonardo Lima
Keyword(s):  
Automated Tool

scholarly journals Design and Calibration of Robot Base Force/Torque Sensors and Their Application to Non-Collocated Admittance Control for Automated Tool Changing

Sensors ◽  
2021 ◽  
Vol 21 (9) ◽  
pp. 2895
Author(s):  
Hubert Gattringer ◽  
Andreas Müller ◽  
Philip Hoermandinger
Keyword(s):  
Steel Plate ◽  
Robotic Manipulators ◽  
Indirect Measurement ◽  
Local Deformation ◽  
Contact Forces ◽  
The Novel ◽  
Admittance Control ◽  
Load Cells ◽  
Series Elastic Actuators ◽  
Automated Tool

Robotic manipulators physically interacting with their environment must be able to measure contact forces/torques. The standard approach to this end is attaching force/torque sensors directly at the end-effector (EE). This provides accurate measurements, but at a significant cost. Indirect measurement of the EE-loads by means of torque sensors at the actuated joint of a robot is an alternative, in particular for series-elastic actuators, but requires dedicated robot designs and significantly increases costs. In this paper, two alternative sensor concept for indirect measurement of EE-loads are presented. Both sensors are located at the robot base. The first sensor design involves three load cells on which the robot is mounted. The second concept consists of a steel plate with four spokes, at which it is suspended. At each spoke, strain gauges are attached to measure the local deformation, which is related to the load at the sensor plate (resembling the main principle of a force/torque sensor). Inferring the EE-load from the so determined base wrench necessitates a dynamic model of the robot, which accounts for the static as well as dynamic loads. A prototype implementation of both concepts is reported. Special attention is given to the model-based calibration, which is crucial for these indirect measurement concepts. Experimental results are shown when the novel sensors are employed for a tool changing task, which to some extend resembles the well-known peg-in-the-hole problem.

scholarly journals AutoVEM: an automated tool to real-time monitor epidemic trends and key mutations in SARS-CoV-2 evolution

2021 ◽  
Author(s):  
Binbin Xi ◽  
Dawei Jiang ◽  
Shuhua Li ◽  
Jerome R Lon ◽  
Yunmeng Bai ◽  
...  
Keyword(s):  
Real Time ◽  
Automated Tool

scholarly journals Corrigendum to OpenComet: An automated tool for comet assay image analysis [Redox Biol. Volume 2, 2014, Pages 457–465]

Redox Biology ◽  
2021 ◽  
Vol 40 ◽  
pp. 101876
Author(s):  
Benjamin M. Gyori ◽  
Gireedhar Venkatachalam ◽  
P.S. Thiagarajan ◽  
David Hsu ◽  
Marie-Veronique Clement
Keyword(s):  
Image Analysis ◽  
Comet Assay ◽  
Automated Tool

NeuronRead, an open source semi-automated tool for morphometric analysis of phase contrast and fluorescence neuronal images

2017 ◽  
Vol 85 ◽  
pp. 57-69 ◽  
Author(s):  
Roberto A. Dias ◽  
Bruno P. Gonçalves ◽  
Joana F. da Rocha ◽  
Odete A.B. da Cruz e Silva ◽  
Augusto M.F. da Silva ◽  
...  
Keyword(s):  
Open Source ◽  
Morphometric Analysis ◽  
Phase Contrast ◽  
Automated Tool

scholarly journals AutoVEM2: A flexible automated tool to analyze candidate key mutations and epidemic trends for virus

2021 ◽  
Vol 19 ◽  
pp. 5029-5038
Author(s):  
Binbin Xi ◽  
Zixi Chen ◽  
Shuhua Li ◽  
Wei Liu ◽  
Dawei Jiang ◽  
...  
Keyword(s):  
Automated Tool

Improving acute stroke assessment in non-enhanced CT: Automated tool for early ischemic lesion volume detection

2021 ◽  
Vol 429 ◽  
pp. 119611
Author(s):  
Giovanni Furlanis ◽  
Mara Bernardi ◽  
Alex Rodriguez ◽  
Paola Caruso ◽  
Marcello Naccarato ◽  
...  
Keyword(s):  
Acute Stroke ◽  
Lesion Volume ◽  
Ischemic Lesion ◽  
Enhanced Ct ◽  
Automated Tool ◽  
Stroke Assessment
Sign in / Sign up

Export Citation Format

Share Document