Výsledky vyhledávání - "Guo, Xiangyu"

Report

Improving stableKanren's Backward Compatibility

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

Zobrazit plný text záznamu

Report

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision

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

Zobrazit plný text záznamu

Report

ANVIL: Anomaly-based Vulnerability Identification without Labelled Training Data

Autor: Wang, Weizhou, Liu, Eric, Guo, Xiangyu, Lie, David

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

Zobrazit plný text záznamu

Report

STGIC: a graph and image convolution-based method for spatial transcriptomic clustering

Autor: Zhang, Chen, Gao, Junhui, Kong, Lingxin, cao, Guangshuo, Guo, Xiangyu, Liu, Wei

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

Zobrazit plný text záznamu

Akademický článek

Multi-scale Fusion and Dynamic Adaptive Graph Bus Passenger Flow Prediction Model

Autor: GUO Xiangyu, PNEG Lilan, LI Chongshou, LI Tianrui

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

Zobrazit plný text záznamu

Report

A Hierarchical Grouping Algorithm for the Multi-Vehicle Dial-a-Ride Problem

Autor: Luo, Kelin, Florio, Alexandre M., Das, Syamantak, Guo, Xiangyu

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

Zobrazit plný text záznamu