Zobrazeno 1 - 10
of 1 171
pro vyhledávání: '"Guo, XiangYu"'
Autor:
Guo, Xiangyu, Bansal, Ajay
We improve the backward compatibility of stableKanren to run miniKanren programs. stableKanren is a miniKanren extension capable of non-monotonic reasoning through stable model semantics. However, standard miniKanren programs that produce infinite re
Externí odkaz:
http://arxiv.org/abs/2408.16257
Autor:
Guo, Xiangyu, Bansal, Ajay
We integrate integrity constraints to stableKanren to enable a new problem-solving paradigm in combinatorial search problems. stableKanren extends miniKanren to reasoning about contradictions under stable model semantics. However, writing programs to
Externí odkaz:
http://arxiv.org/abs/2408.16699
Supervised learning-based software vulnerability detectors often fall short due to the inadequate availability of labelled training data. In contrast, Large Language Models (LLMs) such as GPT-4, are not trained on labelled data, but when prompted to
Externí odkaz:
http://arxiv.org/abs/2408.16028
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-17 (2024)
Abstract China and the United States have the highest demand for fossil fuel energy for transportation and power generation, which promotes growth while also damaging the environment. Policymakers, and environmental scientists, are increasingly inter
Externí odkaz:
https://doaj.org/article/f7435f2af13c4b029f79e688006e7c41
Publikováno v:
Jisuanji kexue yu tansuo, Vol 18, Iss 7, Pp 1879-1888 (2024)
Bus passenger flow prediction is a crucial issue of public transportation planning and management. Though spatio-temporal graph convolution has shown promising results for subway passenger flow prediction, the existing spatial modeling methods based
Externí odkaz:
https://doaj.org/article/09644b45caac4dcb8db468291e43e9e5
Spatial transcriptomic (ST) clustering employs spatial and transcription information to group spots spatially coherent and transcriptionally similar together into the same spatial domain. Graph convolution network (GCN) and graph attention network (G
Externí odkaz:
http://arxiv.org/abs/2303.10657
Ride-sharing is an essential aspect of modern urban mobility. In this paper, we consider a classical problem in ride-sharing - the Multi-Vehicle Dial-a-Ride Problem (Multi-Vehicle DaRP). Given a fleet of vehicles with a fixed capacity stationed at va
Externí odkaz:
http://arxiv.org/abs/2210.05000
Publikováno v:
In Journal of Environmental Chemical Engineering December 2024 12(6)
Publikováno v:
In Expert Systems With Applications 1 December 2024 255 Part B
Autor:
Guo, Xiangyu, Zhu, Fukang
Publikováno v:
In Applied Mathematical Modelling October 2024 134:713-734