Towards Mass Spectrum Analysis with ASP
We present a new use of Answer Set Programming (ASP) to discover the molecular structure of chemical samples based on the relative abundance of elements and structural fragments, as measured in mass spectrometry. To constrain the exponential search space for this combinatorial problem, we develop canonical representations of molecular structures and an ASP implementation that uses these definitions. We evaluate the correctness of our implementation over a large set of known molecular structures, and we compare its quality and performance to other ASP symmetry-breaking methods and to a commercial tool from analytical chemistry. Under consideration in Theory and Practice of Logic Programming (TPLP).
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
FraGNNet: A Deep Probabilistic Model for Mass Spectrum Prediction
The process of identifying a compound from its mass spectrum is a critical step in the analysis of complex mixtures. Typical solutions for the mass spectrum to compound (MS2C) problem involve matching the unknown spectru…
PredictionRetrievalFoundation model for mass spectrometry proteomics
Mass spectrometry is the dominant technology in the field of proteomics, enabling high-throughput analysis of the protein content of complex biological samples. Due to the complexity of the instrumentation and resulting …
modelPredictionWho is Introducing the Failure? Automatically Attributing Failures of Multi-Agent Systems via Spectrum Analysis
Large Language Model Powered Multi-Agent Systems (MASs) are increasingly employed to automate complex real-world problems, such as programming and scientific discovery. Despite their promising, MASs are not without their…
Mean Field MARL Based Bandwidth Negotiation Method for Massive Devices Spectrum Sharing
In this paper, a novel bandwidth negotiation mechanism is proposed for massive devices wireless spectrum sharing, in which individual device locally negotiates bandwidth usage with neighbor devices and globally optimal s…
Decision MakingDistributed OptimizationMulti-agent Reinforcement LearningReinforcement Learning (RL)MassFormer: Tandem Mass Spectrum Prediction for Small Molecules using Graph Transformers
Tandem mass spectra capture fragmentation patterns that provide key structural information about a molecule. Although mass spectrometry is applied in many areas, the vast majority of small molecules lack experimental ref…
Drug Discovery