Both unconstrained and constrained minimax single facility location problems are considered in multidimensional space with Chebyshev distance. A new solution approach is proposed within the framework of idempotent algebra to reduce the problems to solving linear vector equations and minimizing functionals defined on some idempotent semimodule. The approach offers a solution in a closed form tha...

Gilles CHAMPENOIS Collège Saint-André, Saint-Maur, France [email protected] ABSTRACT. A fuzzy mnesor space is a semimodule over the positive real numbers. It can be used as theoretical framework for fuzzy sets. Hence we can prove a great number of properties for fuzzy sets without refering to the membership functions. "Classical logic has erred in devoting so little attention to approx...

Mnesors are defined as elements of a semimodule over the min-plus integers. This two-sorted structure is able to merge graduation properties of vectors and idempotent properties of boolean numbers, which makes it appropriate for hybrid systems. We apply it to the control of an inverted pendulum and design a full logical controller, that is, without the usual algebra of real numbers. "Thus the t...

Let S be a complete star-omega semiring and Σ be an alphabet. For a weighted ω-pushdown automaton P with stateset {1, . . . ,n}, n ≥ 1, we show that there exists a mixed algebraic system over a complete semiring-semimodule pair ((S≪ Σ ≫),(S≪ Σ ≫)) such that the behavior ‖P‖ of P is a component of a solution of this system. In case the basic semiring is B or N we show that there exists a mixed c...

experimental determination of solubility and ternary phase diagram of chiral compound are of tedious and time consuming tasks, and in many cases, there is not enough experimental data for different enantiomeric compositions to access the experimental ternary phase diagram. using thermodynamic models with predictive capability, having less dependency on experimental data, affords a great advanta...

A concept of ideal extensions in ternary semigroups is introduced and throughly investigated. The connection between an ideal extensions and semilattice congruences in ternary semigroups is considered.

A balanced part ternary design (BPTD) is a balanced ternary design (BTD) with a specified number of blocks, say b2, each having repeated elements. We prove some necessary conditions on b2 and show the existence of some particular BPTDs. We also give constructions of infinite families of BPTDs with b1 = 0, including families of ternary t-designs with t ≥ 3.

The most significant complication for patients with severe cases of congenital or acquired hemophilia A is the development of inhibitor antibodies against coagulation factor VIII (fVIII). The C2 domain of fVIII is a significant antigenic target of anti-fVIII antibodies. Here, we have utilized small angle x-ray scattering (SAXS) and biochemical techniques to characterize interactions between two...

Let S be a complete star-omega semiring and Σ be an alphabet. For a weighted ω-pushdown automaton P with stateset {1, . . . ,n}, n ≥ 1, we show that there exists a mixed algebraic system over a complete semiring-semimodule pair ((S≪ Σ ≫),(S≪ Σ ≫)) such that the behavior ‖P‖ of P is a component of a solution of this system. In case the basic semiring is B or N we show that there exists a mixed c...