IEEE

Recursive Gaussian Process-Based Safety Assurance Exploration Control in Unknown Environments

Abstract: This letter presents a novel method for environmental exploration that takes safety into account in unknown areas by using recursive Gaussian process regression (RGPR). Safety in unknown ...
GitHub

A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2

Gödel's Poetry is an advanced automated theorem proving system that combines Large Language Models (LLMs) with formal verification in Lean 4. The system takes mathematical theorems—either in informal ...
Frontiers

Correction: High-resolution single-cell RNA sequencing using canFam4 reveals novel immune ...

Affiliation “Department of Biomedical Sciences, Seoul National University Graduate School, Seoul, Republic of Korea” and “Cancer Research Institute, Seoul National University College of Medicine, ...
IEEE

Optimization of Feature Selection in Support Vector Machines (SVM) Using Recursive Feature ...

Abstract: Heart disease is one of the main health problems throughout the world. Early and accurate detection of heart disease is very important to reduce the death rate caused by this condition. One ...