相关论文: Integrating Amdahl-like Laws and Divisible Load Th…
An integrable extension of the well known nonlinear Schroedinger (NLS) equation to a higher space-dimension, recently proposed by us, is investigated, exploring its various important aspects. Focusing on the idea of construction its…
New families of fourth-order composition methods for the numerical integration of initial value problems defined by ordinary differential equations are proposed. They are designed when the problem can be separated into three parts in such a…
We show that the relation between the Schr\"odinger equation and diffusion processes has an algebraic nature and can be revealed via the structure of "duplex numbers." This helps one to clarify that quantum mechanics cannot be reduced to…
We discuss some important issues arising from computational efforts in dynamical systems and fluid dynamics. Various individuals have misunderstood these issues since the onset of these problem areas; indeed, they have been routinely…
We propose two new dependent type systems. The first, is a dependent graded/linear type system where a graded dependent type system is connected via modal operators to a linear type system in the style of Linear/Non-linear logic. We then…
System performance for networks composed of interconnected subsystems can be increased if the traditionally separated subsystems are jointly optimized. Recently, parallel and distributed optimization methods have emerged as a powerful tool…
Infinite-dimensional differential algebraic equations (short DAEs) with input and output are studied. The concepts of operator nodes and system nodes are extended to systems which additionally may include algebraic constraints.…
A short introduction to the mathematical methods and technics of differential algebras and modules adapted to the problems of mathematical and theoretical physics is presented.
Porous electrodes{made of hierarchically nanostructured materials{are omnipresent in various electrochemical energy technologies from batteries and supercapacitors to sensors and electrocatalysis. Modeling the system-level macroscopic…
We introduce $\mathsf{LEM}$, a type-assignment system for the linear $ \lambda $-calculus that extends second-order $\mathsf{IMLL}_2$, i.e., intuitionistic multiplicative Linear Logic, by means of logical rules that weaken and contract…
We apply the topology of convergence on compact sets to define unpredictable functions [5, 6]. The topology is metrizable and easy for applications with integral operators. To demonstrate the effectiveness of the approach, the existence and…
The close analogy between geometrical optics and the classical theories of charged-particle beam optics have been known for a very long time. In recent years, quantum theories of charged-particle beam optics have been presented with the…
Divisible design digraphs are constructed from skew balanced generalized weighing matrices and generalized Hadamard matrices. Commutative and non-commutative association schemes are shown to be attached to the constructed divisible design…
The aim of this paper is to study the cohomology theory of Reynolds Lie algebras equipped with derivations and to explore related applications. We begin by introducing the concept of Reynolds LieDer pairs. Subsequently, we construct the…
In this paper, we introduce the concept and representation of modified $\lambda$-differential Lie triple systems. Next, we define the cohomology of modified $\lambda$-differential Lie triple systems with coefficients in a suitable…
To understand and predict the performance of scientific applications, several analytical and machine learning approaches have been proposed, each having its advantages and disadvantages. In this paper, we propose and validate a hybrid…
We discuss various dualities, relating integrable systems and show that these dualities are explained in the framework of Hamiltonian and Poisson reductions. The dualities we study shed some light on the known integrable systems as well as…
Invertible cellular automata are useful as models of physical systems with microscopically revesible dyanmics. There are several well-understood ways to construct them: partitioning rules, second-order rules, and alternating-grid rules. We…
This work presents an analytical framework for the design and analysis of LLM-based algorithms, i.e., algorithms that contain one or multiple calls of large language models (LLMs) as sub-routines and critically rely on the capabilities of…
In the framework of bidifferential graded algebras, we present universal solution generating techniques for a wide class of integrable systems.