An Insight into NTP (Neural Theorem Provers) in the Context of Image Processing Algorithms R&D-A Simple Suggestion and Short Communication on Exploring HO List and DeepHOL: Machine Learning (ML) of Higher Order Theorem Proving

Author(s):  
Nirmal Tej Kumar
2021 ◽  
Vol 2070 (1) ◽  
pp. 012121
Author(s):  
R Rajavarshini ◽  
S Shruthi ◽  
P Mahanth ◽  
Boddu Chaitanya Kumar ◽  
A Suyampulingam

Abstract The growing need for automation has a significant impact on our daily lives. Automating the essentials of our society like transportation system has plenty of applications like unmanned ground vehicles in military, wheel chair for disabled, domestic robots, etc., There are driving, braking, obstacle tackling etc., to a transportation system that can be automated. This paper particularly focuses on automating the obstacle avoidance which provides intelligence to the vehicle and ensures a high degree of safety and is performed using image processing algorithms. Edge based detection, image segmentation, and Machine Learning based method are the three image processing techniques used to detect and avoid obstacles. Haar cascade classifier is the machine learning method where Haar cascade analysis is performed for better accurate results with justifying graphs and parametric values obtained. A comparison of the three image processing algorithms is also tabulated considering obstacle size, colour, familiarities and environmental lightings and the best image processing algorithm is inferred.


Author(s):  
César D. Fermin ◽  
Dale Martin

Otoconia of higher vertebrates are interesting biological crystals that display the diffraction patterns of perfect crystals (e.g., calcite for birds and mammal) when intact, but fail to produce a regular crystallographic pattern when fixed. Image processing of the fixed crystal matrix, which resembles the organic templates of teeth and bone, failed to clarify a paradox of biomineralization described by Mann. Recently, we suggested that inner ear otoconia crystals contain growth plates that run in different directions, and that the arrangement of the plates may contribute to the turning angles seen at the hexagonal faces of the crystals.Using image processing algorithms described earlier, and Fourier Transform function (2FFT) of BioScan Optimas®, we evaluated the patterns in the packing of the otoconia fibrils of newly hatched chicks (Gallus domesticus) inner ears. Animals were fixed in situ by perfusion of 1% phosphotungstic acid (PTA) at room temperature through the left ventricle, after intraperitoneal Nembutal (35mg/Kg) deep anesthesia. Negatives were made with a Hitachi H-7100 TEM at 50K-400K magnifications. The negatives were then placed on a light box, where images were filtered and transferred to a 35 mm camera as described.


Fast track article for IS&T International Symposium on Electronic Imaging 2020: Image Processing: Algorithms and Systems proceedings.


Mathematics ◽  
2021 ◽  
Vol 9 (5) ◽  
pp. 457
Author(s):  
Manuel Henriques ◽  
Duarte Valério ◽  
Paulo Gordo ◽  
Rui Melicio

Many image processing algorithms make use of derivatives. In such cases, fractional derivatives allow an extra degree of freedom, which can be used to obtain better results in applications such as edge detection. Published literature concentrates on grey-scale images; in this paper, algorithms of six fractional detectors for colour images are implemented, and their performance is illustrated. The algorithms are: Canny, Sobel, Roberts, Laplacian of Gaussian, CRONE, and fractional derivative.


Sign in / Sign up

Export Citation Format

Share Document