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 subsets and checkpoint programs in healthy dogs

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

Global Sensitivity Analysis for Rare Events in Probabilistic Power Flow Using Subset Simulation

Abstract: Traditionally, global sensitivity analysis (GSA) measures the importance of renewables and loads that will affect all probabilistic density functions (PDF) of operating states in power ...