Results 1 to 10 of about 163,062 (337)
Symbolic Computation of Petri Nets [PDF]
, 2007 Petri nets are receiving increasing attention from the scientific community during the last few years. They provide the users with a powerful formalism for describing and analyzing a variety of information processing systems such as finite-state machines, concurrent systems, multiprocessors and parallel computation, formal languages, communication ...
Andrés Iglesias, Sinan Kapçak
openalex +3 more sources
Enhancing dynamical signatures of complex systems through symbolic computation. [PDF]
Philos Trans A Math Phys Eng Sci, 2015 Porta A, Baumert M, Cysarz D, Wessel N.
europepmc +3 more sources
Walks in the Quarter Plane with Multiple Steps [PDF]
Discrete Mathematics & Theoretical Computer Science, 2015 We extend the classification of nearest neighbour walks in the quarter plane to models in which multiplicities are attached to each direction in the step set.
Manuel Kauers, Rika Yatchak
doaj +1 more source
Capsule-LPI: a LncRNA–protein interaction predicting tool based on a capsule network
BMC Bioinformatics, 2021 Background Long noncoding RNAs (lncRNAs) play important roles in multiple biological processes. Identifying LncRNA–protein interactions (LPIs) is key to understanding lncRNA functions.
Ying Li +5 more
doaj +1 more source
MRI and CT Medical Image Fusion Based on Synchronized-Anisotropic Diffusion Model
IEEE Access, 2020 Medical image fusion can combine information from multi-modality images and express them through a single image. How to design a fusion method to preserve more information becomes a hot topic.
Rui Zhu +3 more
doaj +1 more source
LPInsider: a webserver for lncRNA–protein interaction extraction from the literature
BMC Bioinformatics, 2022 Background Long non-coding RNA (LncRNA) plays important roles in physiological and pathological processes. Identifying LncRNA–protein interactions (LPIs) is essential to understand the molecular mechanism and infer the functions of lncRNAs.
Ying Li +6 more
doaj +1 more source
Identification of Prognosis Biomarkers for High-Grade Serous Ovarian Cancer Based on Stemness
Frontiers in Genetics, 2022 In this paper, high-grade serous ovarian cancer (HGSOC) is studied, which is the most common histological subtype of ovarian cancer. We use a new analytical procedure to combine the bulk RNA-Seq sample for ovarian cancer, mRNA expression-based stemness ...
Zhihang Wang +8 more
doaj +1 more source
Theorema 2.0: Computer-Assisted Natural-Style Mathematics
Journal of Formalized Reasoning, 2016 The Theorema project aims at the development of a computer assistant for the working mathematician. Support should be given throughout all phases of mathematical activity, from introducing new mathematical concepts by definitions or axioms, through first
Bruno Buchberger +4 more
doaj +1 more source
Complex & Intelligent Systems, 2023 Radar signal sorting is a vital component of electronic warfare reconnaissance, serving as the basis for identifying the source of radar signals. However, traditional radar signal sorting methods are increasingly inadequate and computationally complex in
Hongjia Liu +7 more
doaj +1 more source
Symbolic computation for evaluation of measurement uncertainty [PDF]
, 2007 In recent years, with the rapid development of symbolic computation, the integration of symbolic and numeric methods is increasingly applied in various applications.
Jones, BE, Salleh, MR, Wei, P, Yang, QP
core +1 more source