51 citations · 141 across the 17 of their papers we have counts for
17 papers
Enhancing Student Performance Prediction on Learnersourced Questions with SGNN-LLM Synergy
Lin Ni, Sijie Wang, Zeyu Zhang +4
Learnersourcing offers great potential for scalable education through student content creation. However, predicting student performance on learnersourced questions, which is essent…
Exploring Iterative Enhancement for Improving Learnersourced Multiple-Choice Question Explanations with Large Language Models
Qiming Bao, Juho Leinonen, Alex Yuxuan Peng +7
Large language models exhibit superior capabilities in processing and understanding language, yet their applications in educational contexts remain underexplored. Learnersourcing e…
Zero-Knowledge Proof-based Practical Federated Learning on Blockchain
Zhibo Xing, Zijian Zhang, Meng Li +4
Since the concern of privacy leakage extremely discourages user participation in sharing data, federated learning has gradually become a promising technique for both academia and i…
Lexicographic Ranking Supermartingales with Lazy Lower Bounds
Toru Takisaka, Libo Zhang, Changjiang Wang +1
Lexicographic Ranking SuperMartingale (LexRSM) is a probabilistic extension of Lexicographic Ranking Function (LexRF), which is a widely accepted technique for verifying program te…
Test beam measurement of ATLAS ITk Short Strip module at warm and cold operational temperature
J. -H. Arling, C. Becot, E. Buchanan +19
This study is focused on an investigation of the performance of the Short Strip module developed by the ATLAS Inner Tracker (ITk) strip collaboration using electron beams of energy…
Coherent elastic neutrino-nucleus scattering: Terrestrial and astrophysical applications
M. Abdullah, H. Abele, D. Akimov +272
Coherent elastic neutrino-nucleus scattering (CENS) is a process in which neutrinos scatter on a nucleus which acts as a single particle. Though the total cross section is large…
HHH: An Online Medical Chatbot System based on Knowledge Graph and Hierarchical Bi-Directional Attention
Qiming Bao, Lin Ni, Jiamou Liu
This paper proposes a chatbot framework that adopts a hybrid model which consists of a knowledge graph and a text similarity model. Based on this chatbot framework, we build HHH, a…
Finding Answers from the Word of God: Domain Adaptation for Neural Networks in Biblical Question Answering
Helen Jiahe Zhao, Jiamou Liu
Question answering (QA) has significantly benefitted from deep learning techniques in recent years. However, domain-specific QA remains a challenge due to the significant amount of…
Infinite and Bi-infinite Words with Decidable Monadic Theories
Dietrich Kuske, Jiamou Liu, Anastasia Moskvina
We study word structures of the form where is either or , is the natural linear ordering on and is a predicate on .…
Network, Popularity and Social Cohesion: A Game-Theoretic Approach
Jiamou Liu, Ziheng Wei
In studies of social dynamics, cohesion refers to a group's tendency to stay in unity, which -- as argued in sociometry -- arises from the network topology of interpersonal ties be…
How to Build Your Network? A Structural Analysis
Anastasia Moskvina, Jiamou Liu
Creating new ties in a social network facilitates knowledge exchange and affects positional advantage. In this paper, we study the process, which we call network building, of estab…
A Game of Attribute Decomposition for Software Architecture Design
Jiamou Liu, Ziheng Wei
Attribute-driven software architecture design aims to provide decision support by taking into account the quality attributes of softwares. A central question in this process is: Wh…
Dynamic Algorithms for Interval Scheduling on a Single Machine
Alex Gavryushkin, Bakhadyr Khoussainov, Mikhail Kokho +1
We investigate dynamic algorithms for the interval scheduling problem. Our algorithm runs in amortised time for query operation and for insertion and rem…
Dynamic Partial Sorting
Jiamou Liu, Kostya Ross
The dynamic partial sorting problem asks for an algorithm that maintains lists of numbers under the link, cut and change value operations, and queries the sorted sequence of the $k…
Tree-Automatic Well-Founded Trees
Martin Huschenbett, Alexander Kartzow, Jiamou Liu +1
We investigate tree-automatic well-founded trees. Using Delhomme's decomposition technique for tree-automatic structures, we show that the (ordinal) rank of a tree-automatic well-f…
The Isomorphism Problem for omega-Automatic Trees
Dietrich Kuske, Jiamou Liu, Markus Lohrey
The main result of this paper is that the isomorphism for omega-automatic trees of finite height is at least has hard as second-order arithmetic and therefore not analytical. This…
The Isomorphism Problem On Classes of Automatic Structures
Dietrich Kuske, Jiamou Liu, Markus Lohrey
Automatic structures are finitely presented structures where the universe and all relations can be recognized by finite automata. It is known that the isomorphism problem for autom…