Disjunktive Teilmengen inverser Halbgruppen
Dislocation dynamics - analytical description of the interaction force between dipolar loops
The interaction between dislocation dipolar loops plays an important role in the computation of the dislocation dynamics. The analytical form of the interaction force between two loops derived in the present paper from Kroupa’s formula of the stress field generated by a single dipolar loop allows for faster computation.
Distance desert automata and the star height problem
We introduce the notion of nested distance desert automata as a joint generalization of distance automata and desert automata. We show that limitedness of nested distance desert automata is PSPACE-complete. As an application, we show that it is decidable in space whether the language accepted by an -state non-deterministic automaton is of a star height less than a given integer (concerning rational expressions with union, concatenation and iteration), which is the first ever complexity bound...
Distance desert automata and the star height problem
We introduce the notion of nested distance desert automata as a joint generalization of distance automata and desert automata. We show that limitedness of nested distance desert automata is PSPACE-complete. As an application, we show that it is decidable in 22O(n) space whether the language accepted by an n-state non-deterministic automaton is of a star height less than a given integer h (concerning rational expressions with union, concatenation and iteration), which is the first ever complexity...
Distance entre les racines d'un polynôme
Distinguishing subsets in lattices
Distributed aggregative optimization with quantized communication
In this paper, we focus on an aggregative optimization problem under the communication bottleneck. The aggregative optimization is to minimize the sum of local cost functions. Each cost function depends on not only local state variables but also the sum of functions of global state variables. The goal is to solve the aggregative optimization problem through distributed computation and local efficient communication over a network of agents without a central coordinator. Using the variable tracking...
Distributed classification learning based on nonlinear vector support machines for switching networks
In this paper, we discuss the distributed design for binary classification based on the nonlinear support vector machine in a time-varying multi-agent network when the training data sets are distributedly located and unavailable to all agents. In particular, the aim is to find a global large margin classifier and then enable each agent to classify any new input data into one of the two labels in the binary classification without sharing its all local data with other agents. We formulate the support...
Distributed dual averaging algorithm for multi-agent optimization with coupled constraints
This paper investigates a distributed algorithm for the multi-agent constrained optimization problem, which is to minimize a global objective function formed by a sum of local convex (possibly nonsmooth) functions under both coupled inequality and affine equality constraints. By introducing auxiliary variables, we decouple the constraints and transform the multi-agent optimization problem into a variational inequality problem with a set-valued monotone mapping. We propose a distributed dual averaging...
Distributed fuzzy decision making for production scheduling.
In production systems, input materials (educts) pass through multiple sequential stages until they become a product. The production stages consist of different machines with various dynamic characteristics. The coupling of those machines is a non-linear distributed system. With a distributed control system based on a multi-agent approach, the production system can achieve (almost) maximum output, where lot size and lot sequence are the most important control variables. In most production processes...
Distributed graph layout for sensor networks.
Distributed Nash equilibrium tracking via the alternating direction method of multipliers
Nash equilibrium is recognized as an important solution concept in non-cooperative game theory due to its broad applicability to economics, social sciences, computer science, and engineering. In view of its importance, substantial progress has been made to seek a static Nash equilibrium using distributed methods. However, these approaches are inapplicable in dynamic environments because, in this setting, the Nash equilibrium constantly changes over time. In this paper, we propose a dynamic algorithm...
Distributed objects for parallel numerical applications
The C++// language (pronounced C++ parallel) was designed and implemented with the aim of importing reusability into parallel and concurrent programming, in the framework of a mimd model. From a reduced set of rather simple primitives, comprehensive and versatile libraries are defined. In the absence of any syntactical extension, the C++// user writes standard C++ code. The libraries are themselves extensible by the final users, making C++// an open system. Two specific techniques to improve performances...
Distributed Objects for Parallel Numerical Applications
The C++// language (pronounced C++parallel) was designed and implemented with the aim of importing reusability into parallel and concurrent programming, in the framework of a mimd model. From a reduced set of rather simple primitives, comprehensive and versatile libraries are defined. In the absence of any syntactical extension, the C++// user writes standard C++ code. The libraries are themselves extensible by the final users, making C++// an open system. Two specific techniques to improve performances...
Distributed optimization for multi-agent system over unbalanced graphs with linear convergence rate
Distributed optimization over unbalanced graphs is an important problem in multi-agent systems. Most of literatures, by introducing some auxiliary variables, utilize the Push-Sum scheme to handle the widespread unbalance graph with row or column stochastic matrix only. But the introduced auxiliary dynamics bring more calculation and communication tasks. In this paper, based on the in-degree and out-degree information of each agent, we propose an innovative distributed optimization algorithm to reduce...
Distributed optimization via active disturbance rejection control: A nabla fractional design
This paper studies distributed optimization problems of a class of agents with fractional order dynamics and unknown external disturbances. Motivated by the celebrated active disturbance rejection control (ADRC) method, a fractional order extended state observer (Frac-ESO) is first constructed, and an ADRC-based PI-like protocol is then proposed for the target distributed optimization problem. It is rigorously shown that the decision variables of the agents reach a domain of the optimal solution...
Distributed task management by means of workflow atoms.
Distributing unit size workload packages in heterogeneous networks.
Distributive groupoids are symmetric-by-medial: An elementary proof
We present an elementary proof (purely in equational logic) that distributive groupoids are symmetric-by-medial.
Division in logspace-uniform
Beame, Cook and Hoover were the first to exhibit a log-depth, polynomial size circuit family for integer division. However, the family was not logspace-uniform. In this paper we describe log-depth, polynomial size, logspace-uniform, i.e., circuit family for integer division. In particular, by a well-known result this shows that division is in logspace. We also refine the method of the paper to show that division is in dlogtime-uniform .