James Noble

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Top Venues

Neural Comput. Appl.

Publications

Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble
Towards AI-Assisted Synthesis of Verified Dafny Methods. CoRR (2024)
Sasan Mahmoudinazlou, Arash Alizadeh, James Noble, Sina Eslamdoust
An improved hybrid ICA-SA metaheuristic for order acceptance and scheduling with time windows and sequence-dependent setup times. Neural Comput. Appl. 36 (2) (2024)