相关论文: Integrating Amdahl-like Laws and Divisible Load Th…

The geometric theory of Lie systems will be used to establish integrability conditions for several systems of differential equations, in particular Riccati equations and Ermakov systems. Many different integrability criteria in the…

The geometric theory of Lie systems is used to establish integrability conditions for several systems of differential equations, in particular some Riccati equations and Ermakov systems. Many different integrability criteria in the…

A multiscale theory of interacting continuum mechanics and thermodynamics of mixtures of fluids, electrodynamics, polarization and magnetization is proposed. The mechanical (reversible) part of the theory is constructed in a purely…

We address a fundamental mismatch between the combinations of dynamics that occur in cyber-physical systems and the limited kinds of dynamics supported in analysis. Modern applications combine communication, computation, and control. They…

The Integration Theory of Linear Ordinary Differential Equation.

The notion of geometric version of an infinitely divisible law is introduced. Concepts parallel to attraction and partial attraction are developed and studied in the setup of geometric summing of random variables.

We introduce LAM, a subsystem of IMALL2 with restricted additive rules able to manage duplication linearly, called linear additive rules. LAM is presented as the type assignment system for a calculus endowed with copy constructors, which…

This paper introduces an advanced load shedding algorithm to improve the operability performance of a medium voltage direct current (MVDC) integrated shipboard power and energy system. Outcomes are compared to a baseline algorithm while…

A variety of problems in device and materials design require the rapid forward modeling of Maxwell's equations in complex micro-structured materials. By combining high-order accurate integral equation methods with classical multiple…

We combine quantified differential dynamic logic (QdL) for reasoning about the possible behavior of distributed hybrid systems with temporal logic for reasoning about the temporal behavior during their operation. Our logic supports…

Algebraic multigrid (AMG) methods are powerful solvers with linear or near-linear computational complexity for certain classes of linear systems, Ax=b. Broadening the scope of problems that AMG can effectively solve requires the development…

The notion of multidimensional quadrilateral lattice is introduced. It is shown that such a lattice is characterized by a system of integrable discrete nonlinear equations. Different useful formulations of the system are given. The…

Composite theories are the algebraic equivalent of distributive laws. In this paper, we delve into the details of this correspondence and concretely show how to construct a composite theory from a distributive law and vice versa. Using term…

Insulating systems are characterized by their insensitivity to twisted boundary conditions as quantified by the charge stiffness and charge localization length. The latter quantity was shown to be related to the expectation value of the…

Many systems of interest to control engineering can be modeled by linear complementarity problems. We introduce a new notion of equivalence between linear complementarity problems that sets the basis to translate the powerful tools of…

First steps towards developing a new perturbation theory for molecular liquids are taken. By choosing a new form of splitting the site-site potential functions between molecules, we will get a set of atomic fluids as the reference system…

The dynamic load balancing algorithm based on the monitoring server load, self-similar characteristics of passing traffic have to provide a statistically uniform load distribution on servers, high performance, fault tolerance and capacity,…

Efficient engineered systems require scalability. A scalable system has increasing performance with increasing system size. In an ideal case, the increase in performance (e.g., speedup) corresponds to the number of units that are added to…

In parallel computing, a problem is divided into a set of smaller tasks that are distributed across multiple processing elements. Balancing the load of the processing elements is key to achieving good performance and scalability. If the…

We apply the recently developed theory of symmetry of stochastic differential equations to a stochastic version of the logistic equation, obtaining an explicit integration, i.e. an explicit formula for the process in terms of any single…