IEEE

Data-Driven Evolutionary Algorithm Based on Inductive Graph Neural Networks for Multimodal Multi-Objective Optimization

Abstract: In multimodal multi-objective optimization problems (MMOPs), multiple solutions on different Pareto optimal solution sets (PSs) are mapped to the same point on the Pareto front. Considering ...
IEEE

Online Learning of Temporal Association Rule on Dynamic Multivariate Time Series Data

Abstract: Recently, rule-based classification on multivariate time series (MTS) data has gained lots of attention, which could improve the interpretability of classification. However, state-of-the-art ...
Yahoo Finance

Larimar Therapeutics Announces Positive Data from Ongoing Long-term Open Label Study and Updates to Nomlabofusp Program for Friedreich’s Ataxia

BALA CYNWYD, Pa., Sept. 29, 2025 (GLOBE NEWSWIRE) -- Larimar Therapeutics, Inc. (Larimar) (Nasdaq: LRMR), a clinical-stage biotechnology company focused on developing treatments for complex rare ...
GitHub

inductive-logic-programming

Lean4 is a purely functional programming language based on the calculus of constructions with inductive types. Formal verification of claims are expressed in precise mathematical terms.