Composing coherent and structured music is one of the main challenges in symbolic music generation. Our research aims to propose a user-centric framework design that promotes a collaborative environment between users and knowledge agents. The primary...
Recently, music generation models based on deep learning have made remarkable progress in the field of symbolic music generation. However, the existing methods often have problems of violating musical rules, especially since the control of harmonic s...
It is popular to study a time-dependent nonlinear system by encoding outcomes of measurements into sequences of symbols following certain symbolization schemes. Mostly, symbolizations by threshold crossings or variants of it are applied, but also, th...
The general theory of information, which includes syntactic, semantic, pragmatic, and many other special theories of information, provides theoretical and practical tools for discerning a very large diversity of different kinds, types, and classes of...
We present symbolic algorithms for computing the g-asymptotes, or generalized asymptotes, of a plane algebraic curve, C, implicitly or parametrically defined. The g-asymptotes generalize the classical concept of asymptotes of a plane algebraic curve....
The human ability to imagine alternative realities has long supported reasoning, communication, and creativity through storytelling. By constructing hypothetical scenarios, people can anticipate outcomes, solve problems, and generate new knowledge. T...
In this paper, a novel approach to symbolic regression using Kolmogorov–Arnold Networks (KAN) for developing gray-box Simulation Program with Integrated Circuit Emphasis models of generic transistors is proposed. Unlike traditional black-box mo...
We present a novel encoder-only Transformer model for symbolic music harmony generation, based on a fixed time-grid representation of melody and harmony. Inspired by denoising diffusion processes, our model progressively unmasks harmony tokens over a...
Solar energy is an important alternative energy source, and it is essential to forecast solar power generation for efficient power management. Due to the seasonal characteristics of weather features, seasonal data partition strategies help develop pr...
All living beings use autopoiesis and cognition to manage their “life” processes from birth through death. Autopoiesis enables them to use the specification in their genomes to instantiate themselves using matter and energy transformation...
In today’s competitive environment, it is important to understand that consumers’ evangelical behavior depends on symbolic brand attachment. This study, drawing on social identity theory (SIT), investigates the direct relationship between...
Point symbols on a scanned topographic map (STM) provide crucial geographic information. However, point symbol recognition entails high complexity and uncertainty owing to the stickiness of map elements and singularity of symbol structures. Therefore...
A channel modeling method and deep-learning-based symbol decision method are proposed to improve the performance of a visual MIMO system for communication between a variable-color LED array and camera. Although image processing algorithms using color...
This study examines how domain-general (processing speed and receptive vocabulary) and domain-specific (symbolic and non-symbolic comparison) cognitive skills contribute to early informal mathematical thinking in preschoolers. The aim was to assess t...
Test case generation is an important task during software testing. In this paper, we present a new test-case generation framework for C programs. This approach combines dataflow analysis and dynamic symbolic execution together, and more importantly,...
As the complexity of GIS data continues to increase, there is a growing demand for automated map generalization. As end-to-end generative models, GAN models offer new solutions for automated map generalization. This study explores the impact of diffe...
The recently introduced technique, namely the generalized exponential rational function method, is applied to acquire some new exact optical solitons for the generalized Benjamin–Bona–Mahony (GBBM) equation. Appropriately, we obtain many...
Contingency analysis plays an important role in assessing the static security of a network. Its purpose is to check whether a system can operate safely when some elements are out of service. In a real-time application, the computational time required...
Modern operating systems set exploit mitigations to thwart the exploit, which has also become a barrier to automated exploit generation (AEG). Many current AEG solutions do not fully account for exploit mitigations, and as a result, they are unable t...
Recent advances in large language models (LLMs) have driven substantial progress in knowledge base question answering (KBQA), particularly under few-shot settings. However, symbolic program generation remains challenging due to its strict structural...
This paper establishes an optimal generic function model in order to obtain a continuous phase modulated (CPM) signal with a smoother phase modulation function. This is achieved by finding the solution to the symbol signals at different lengths of th...
This paper explores different approaches to harmony tokenization in symbolic music for transformer-based models, focusing on two tasks: masked language modeling (MLM) and melodic harmonization generation. Four tokenization strategies are compared, ea...
This paper describes a region-oriented method of pattern classification based on the Cartesian system model (CSM), a mathematical model that allows manipulating mixed feature-type symbolic data. We use the supervised hierarchical conceptual clusterin...
Achieving Artificial General Intelligence (AGI) requires a unified framework capable of modeling the full spectrum of intelligent behavior—from logical reasoning and sensory perception to emotional regulation and collective decision-making. Thi...
The Fokas system, which models wave dynamics using a single model of fiber optics, is the design under discussion in this study. Different types of solitary wave solutions are obtained by utilizing generalized Kudryashov (GKP) and modified Kudryashov...
With 500+ papers and 20+ books spanning many scientific disciplines, Mark Burgin has left an indelible mark and legacy for future explorers of human thought and information technology professionals. In this paper, I discuss his contribution to the ev...
Our present investigation is mainly based on the k-hypergeometric functions which are constructed by making use of the Pochhammer k-symbol in Diaz et al. 2007, which are one of the vital generalizations of hypergeometric functions. In this study, we...
Accurate predictions of remaining useful life (RUL) of equipment using machine learning (ML) or deep learning (DL) models that collect data until the equipment fails are crucial for maintenance scheduling. Because the data are unavailable until the e...
The paper is devoted to an emerging trend in control—a machine learning control. Despite the popularity of the idea of machine learning, there are various interpretations of this concept, and there is an urgent need for its strict mathematical...
This article deals with the general linearization problem of Jacobi polynomials. We provide two approaches for finding closed analytical forms of the linearization coefficients of these polynomials. The first approach is built on establishing a new f...
In recent years, with increasing international communication and cooperation, the consensus of toponymic information among different countries has become increasingly important. A large number of English geographical names are in urgent need of trans...
Automatic Exploit Generation (AEG) involves automatically discovering paths in a program that trigger vulnerabilities, thereby generating exploits. While there is considerable research on heap-related vulnerability detection, such as detecting Heap O...
This work presents a closed-form approximation to the symbol error probability (SEP) for cross-quadrature amplitude modulation (cross-QAM) schemes over κ–μ fading channels. The proposed formulation enables accurate performance evaluati...
A single-input-multiple-output (SIMO) channel is obtained from the use of an array of antennas in the receiver where the same information is transmitted through different sub-channels, and all received sequences are distinctly distorted versions of t...
After the demise of state socialism, public space became an issue of contention that occupied an important place within societies’ efforts to come to terms with the recent past. Extant scholarship documented extensively how postcommunist societies in...
Proportional symbol maps are a frequently used method of thematic cartography. Using an intuitive principle—the larger, the more—provides a simple and precise way of visualizing quantity in maps using geographic information systems (GIS)....
Previous studies have shown that the application of the M-coder in the H.264/AVC and H.265/HEVC video coding standards allows for highly parallel implementations without decreasing maximal frequencies. Although the primary limitation on throughput, o...
Language models based on deep learning showed promising results for artistic generation purposes, including musical generation. However, the evaluation of symbolic musical generation models is mostly based on low-level mathematical metrics (e.g., the...
Bias and hallucinations in low-resource cultural artefacts significantly impede text-to-image generation models from understanding and disseminating. Focusing on Tibetan as a Chinese minority culture, we produced a children’s picture book throu...
Augmented reality (AR) technology enables paper maps to dynamically express three-dimensional geographic information, realizing the fusion of virtual and real information. However, in the current mainstream AR development software, the virtual inform...
We investigate the Fibonacci pseudoprimes of level k, and we disprove a statement concerning the relationship between the sets of different levels, and also discuss a counterpart of this result for the Lucas pseudoprimes of level k. We then use some...
By employing two well-known Euler’s transformations for the hypergeometric function 2F1, Liu and Wang established numerous general transformation and reduction formulas for the Kampé de Fériet function and deduced many new summati...
The aim of this paper is to compute the exact solutions and conservation of a generalized (1 + 1) dimensional system. This can be achieved by employing symbolic manipulation software such as Maple, Mathematica, or MATLAB. In theoretical physics and i...
In this paper, by introducing two sequences of new numbers and their derivatives, which are closely related to the Stirling numbers of the first kind, and choosing to employ six known generalized Kummer’s summation formulas for 2F1(−1) and 2F1(1/2),...
Digital transformation is omnipresent in our daily lives and its impact is noticeable through new technologies, like smart devices, AI-Chatbots or the changing work environment. This digitalization also takes place in product development, with the in...
The study addresses the formidable challenge of calculating atomic coordinates for carbon nanotubes (CNTs) using density functional theory (DFT), a process that can endure for days. To tackle this issue, the research leverages the Genetic Programming...
This paper explores the Schröder polynomials, a class of polynomials that produce the famous Schröder numbers when x=1. The three-term recurrence relation and the inversion formula of these polynomials are a couple of the fundamental Schr&o...
In 1979, Apéry proved the irrationality of ζ(2) and ζ(3). Since then, there has been much research interest in investigating the Apéry-like series for values of Riemann zeta function, Ramanujan-like series for π and other i...
A number of generalized Hurwitz–Lerch zeta functions have been presented and investigated. In this study, by choosing a known extended Hurwitz–Lerch zeta function of two variables, which has been very recently presented, in a systematic w...
Making decisions regarding return-to-play after sport-related concussion (SRC) based on resolution of symptoms alone can expose contact-sport athletes to further injury before their recovery is complete. Task-related functional near-infrared spectros...
of 23