References of "Pang, Jun 50002807"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailHierarchical message-passing graph neural networks
Zhong, Zhiqiang; Li, Cheng-Te; Pang, Jun UL

in Data Mining and Knowledge Discovery (2023), 37

Detailed reference viewed: 20 (0 UL)
Full Text
Peer Reviewed
See detailUnsupervised network embedding beyond homophily
Zhong, Zhiqiang; Gonzalez, Guadalupe; Grattarola, Daniele et al

in Transactions on Machine Learning Research (2022)

Detailed reference viewed: 13 (1 UL)
Full Text
Peer Reviewed
See detailMeasuring COVID-19 Vaccine Hesitancy: Consistency of Social Media with Surveys
Chen, Ninghan UL; Chen, Xihui UL; Pang, Jun UL et al

in Proceedings of the 2022 International Conference on Social Informatics (2022, October 12)

Full Text
Peer Reviewed
See detailA multilingual dataset of COVID-19 vaccination attitudes on Twitter
Chen, Ninghan UL; Chen, Xihui UL; Pang, Jun UL

in Data in Brief (2022), 44

Detailed reference viewed: 32 (6 UL)
Full Text
Peer Reviewed
See detailSimplifying Node Classification on Heterophilous Graphs with Compatible Label Propagation
Zhong, Zhiqiang; Ivanov, Sergey; Pang, Jun UL

in Transactions on Machine Learning Research (2022)

Detailed reference viewed: 11 (1 UL)
Full Text
Peer Reviewed
See detailA Large-scale Empirical Analysis of Ransomware Activities in Bitcoin
Wang, Kai; Pang, Jun UL; Chen, Dingjie et al

in ACM Transactions on the Web (2022), 16(2), 1-29

Detailed reference viewed: 119 (0 UL)
Full Text
Peer Reviewed
See detailModal characterisation of simulation relations in probabilistic concurrent games
Zhang, Chenyi; Pang, Jun UL

in Science of Computer Programming (2022), 215

Detailed reference viewed: 31 (1 UL)
Full Text
Peer Reviewed
See detailTHS-GWNN: a deep learning framework for temporal network link prediction
Mo, Xian; Pang, Jun UL; Liu, Zhiming

in Frontiers of Computer Science (2022), 16(2), 162304

Detailed reference viewed: 126 (2 UL)
Full Text
Peer Reviewed
See detailPersonalised meta-path generation for heterogeneous graph neural networks
Zhong, Zhiqiang; Li, Cheng-Te; Pang, Jun UL

in Data Mining and Knowledge Discovery (2022), 36(6), 2299-2333

Detailed reference viewed: 13 (0 UL)
Full Text
Peer Reviewed
See detailFunctional scenario classification for Android applications using GNNs
Li, Guiyin; Zhu, Fengyi; Pang, Jun UL et al

in Proceedings of the 13th Asia-Pacific Symposium on Internetware (2022)

Detailed reference viewed: 14 (0 UL)
See detailProceedings of the 13th Asia-Pacific Symposium on Internetware
Mei, Hong; Lv, Jian; Jin, Zhi et al

Book published by ACM (2022)

Detailed reference viewed: 19 (0 UL)
Full Text
Peer Reviewed
See detailExploring Spillover Effects for COVID-19 Cascade Prediction
Chen, Ninghan; Chen, Xihui UL; Zhong, Zhiqiang UL et al

in Entropy (2022), 24(2),

Detailed reference viewed: 45 (3 UL)
Full Text
Peer Reviewed
See detailEffective attributed network embedding with information behavior extraction
Hu, Ganglin; Pang, Jun UL; Mo, Xian

in PeerJ Computer Science (2022), 8

Detailed reference viewed: 14 (0 UL)
Full Text
Peer Reviewed
See detailReview of Current Human Genome-Scale Metabolic Models for Brain Cancer and Neurodegenerative Diseases.
Kishk, Ali UL; Pires Pacheco, Maria Irene UL; Heurtaux, Tony UL et al

in Cells (2022), 11(16),

Brain disorders represent 32% of the global disease burden, with 169 million Europeans affected. Constraint-based metabolic modelling and other approaches have been applied to predict new treatments for ... [more ▼]

Brain disorders represent 32% of the global disease burden, with 169 million Europeans affected. Constraint-based metabolic modelling and other approaches have been applied to predict new treatments for these and other diseases. Many recent studies focused on enhancing, among others, drug predictions by generating generic metabolic models of brain cells and on the contextualisation of the genome-scale metabolic models with expression data. Experimental flux rates were primarily used to constrain or validate the model inputs. Bi-cellular models were reconstructed to study the interaction between different cell types. This review highlights the evolution of genome-scale models for neurodegenerative diseases and glioma. We discuss the advantages and drawbacks of each approach and propose improvements, such as building bi-cellular models, tailoring the biomass formulations for glioma and refinement of the cerebrospinal fluid composition. [less ▲]

Detailed reference viewed: 43 (1 UL)
Full Text
Peer Reviewed
See detailTarget Control of Boolean Networks with Permanent Edgetic Perturbations
Zeyen, Olivier Georges Rémy UL; Pang, Jun UL

in Proceedings of the 61st International Conference on Decision and Control (CDC 2022) (2022)

Boolean network is a popular and well-established modelling framework for gene regulatory networks. The steady-state behaviour of Boolean networks can be described as attractors, which are hypothesised to ... [more ▼]

Boolean network is a popular and well-established modelling framework for gene regulatory networks. The steady-state behaviour of Boolean networks can be described as attractors, which are hypothesised to characterise cellular phenotypes. In this work, we study the target control problem of Boolean networks, which has important applications for cellular reprogramming. More specifically, we want to reduce the total number of attractors of a Boolean network to a single target attractor. Different from existing approaches to solving control problems of Boolean networks with node perturbations, we aim to develop an approach utilising edgetic perturbations. Namely, our objective is to modify the update functions of a Boolean network such that there remains only one attractor. The design of our approach is inspired by Thomas’ first rule, and we primarily focus on the removal of cycles in the interaction graph of a Boolean network. We further use results in the literature to only remove positive cycles which are responsible for the appearance of multiple attractors. We apply our solution to a number of real-life biological networks modelled as Boolean networks, and the experimental results demonstrate its efficacy and efficiency. [less ▲]

Full Text
Peer Reviewed
See detailProvably Improving Election Verifiability in Belenios
Baloglu, Sevdenur UL; Bursuc, Sergiu UL; Mauw, Sjouke UL et al

in Electronic Voting 6th International Joint Conference, E-Vote-ID 2021 Virtual Event, October 5–8, 2021, Proceedings (2021, October)

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the ... [more ▼]

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the voting server is honest. It was formally proved to be secure, making the assump- tion that no further ballots are cast on the bulletin board after voters verified their ballots. In practice, however, revoting is allowed and voters can verify their ballots anytime. This gap between formal proofs and use in practice leaves open space for attacks, as has been shown recently. In this paper we make two simple additions to Belenios and we formally prove that the new version satisfies the expected verifiability properties. Our proofs are automatically performed with the Tamarin prover, under the assumption that voters are allowed to vote at most four times. [less ▲]

Detailed reference viewed: 126 (23 UL)
Full Text
Peer Reviewed
See detailElection Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios
Baloglu, Sevdenur UL; Bursuc, Sergiu UL; Mauw, Sjouke UL et al

in IEEE 34th Computer Security Foundations Symposium, Dubrovnik 21-25 June 2021 (2021, June)

Election verifiability aims to ensure that the outcome produced by electronic voting systems correctly reflects the intentions of eligible voters, even in the presence of an adversary that may corrupt ... [more ▼]

Election verifiability aims to ensure that the outcome produced by electronic voting systems correctly reflects the intentions of eligible voters, even in the presence of an adversary that may corrupt various parts of the voting infrastructure. Protecting such systems from manipulation is challenging because of their distributed nature involving voters, election authorities, voting servers and voting platforms. An adversary corrupting any of these can make changes that, individually, would go unnoticed, yet in the end will affect the outcome of the election. It is, therefore, important to rigorously evaluate whether the measures prescribed by election verifiability achieve their goals. We propose a formal framework that allows such an evaluation in a systematic and automated way. We demonstrate its application to the verification of various scenarios in Helios and Belenios, two prominent internet voting systems, for which we capture features and corruption models previously outside the scope of formal verification. Relying on the Tamarin protocol prover for automation, we derive new security proofs and attacks on deployed versions of these protocols, illustrating trade-offs between usability and security. [less ▲]

Detailed reference viewed: 191 (15 UL)
Full Text
Peer Reviewed
See detailSemantic and Relational Spaces in Science of Science: Deep Learning Models for Article Vectorisation
Kozlowski, Diego UL; Dusdal, Jennifer UL; Pang, Jun UL et al

in Scientometrics (2021)

Over the last century, we observe a steady and exponentially growth of scientific publications globally. The overwhelming amount of available literature makes a holistic analysis of the research within a ... [more ▼]

Over the last century, we observe a steady and exponentially growth of scientific publications globally. The overwhelming amount of available literature makes a holistic analysis of the research within a field and between fields based on manual inspection impossible. Automatic techniques to support the process of literature review are required to find the epistemic and social patterns that are embedded in scientific publications. In computer sciences, new tools have been developed to deal with large volumes of data. In particular, deep learning techniques open the possibility of automated end-to-end models to project observations to a new, low-dimensional space where the most relevant information of each observation is highlighted. Using deep learning to build new representations of scientific publications is a growing but still emerging field of research. The aim of this paper is to discuss the potential and limits of deep learning for gathering insights about scientific research articles. We focus on document-level embeddings based on the semantic and relational aspects of articles, using Natural Language Processing (NLP) and Graph Neural Networks (GNNs). We explore the different outcomes generated by those techniques. Our results show that using NLP we can encode a semantic space of articles, while with GNN we are able to build a relational space where the social practices of a research community are also encoded. [less ▲]

Detailed reference viewed: 106 (23 UL)
Full Text
Peer Reviewed
See detailCABEAN 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks
Su, Cui; Pang, Jun UL

in Proceedings of the 24th International Symposium on Formal Methods (FM 2021) (2021)

Detailed reference viewed: 51 (2 UL)
Full Text
See detailProceedings of the AI4Health Lecture Series (2021)
Schommer, Christoph UL; Sauter, Thomas UL; Pang, Jun UL et al

Scientific Conference (2021)

The research field between Artificial Intelligence and Health sciences has established itself as a central research direction in recent years and has also further increased social interest. On the one ... [more ▼]

The research field between Artificial Intelligence and Health sciences has established itself as a central research direction in recent years and has also further increased social interest. On the one hand, this is due to the emergence of medical mass data and their use for AI-related fields, such as machine learning, human-computer interfaces and natural language-processing systems, and on the other hand, it is also due to the steadily growing social interest, which is not determined by the current Covid 19 pandemic. To this end, the lecture series is intended to provide an opportunity for scientific exchange. [less ▲]

Detailed reference viewed: 66 (3 UL)