Results 11 to 20 of about 7,409 (173)
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
Computations for symbolic substitutions [PDF]
J. Integer Seq., 2017 We provide a survey of results from symbolic dynamics and algebraic topology relating to Grout, a new user-friendly program developed to calculate combinatorial properties and topological invariants of a large class of symbolic substitutions. We study their subshifts (and related spaces) with an emphasis on examples of computations.
Balchin, Scott, Rust, Dan
openaire +4 more sources
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
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
Symbolic WCET Computation [PDF]
ACM Transactions on Embedded Computing Systems, 2017 Parametric Worst-case execution time (WCET) analysis of a sequential program produces a formula that represents the worst-case execution time of the program, where parameters of the formula are user-defined parameters of the program (as loop bounds, values of inputs, or internal variables, etc).
Ballabriga, Clément +2 more
openaire +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
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 and satisfiability checking [PDF]
Journal of Symbolic Computation, 2020 Abstract The two communities of Symbolic Computation and Satisfiability Checking have recently found themselves tackling similar problems and having a growing interest in each other's technology. This special issue presents articles whose contribution is of interest to, and is influenced by, both communities.
James H. Davenport +4 more
openaire +3 more sources
Detecting Hot Topics From Academic Big Data
IEEE Access, 2019 Detecting hot topics from massive academic data is a very challenging task. Because various types of academic information are overgrowing, e.g., papers, news, and blogs, which has gone far beyond the limits that researchers can accept.
Beibei Wang +3 more
doaj +1 more source