lthough fuzzy set theory and  sheaf theory have been developed and studied independently,  Ulrich Hohle shows that a large part of fuzzy set  theory  is in fact a subfield of sheaf theory. Many authors have studied mathematical structures, in particular, algebraic structures, in both  categories of these generalized (multi)sets. Using Hohle's idea, we show that for a (universal) algebra $A$, th...

Algebraic integral equations is a special category of Volterra integral equations system,  that has many applications in physics and engineering. The principal aim of this paper is to serve the numerical solution of an integral algebraic equation by using the Taylor expansion method. In this method, using the Taylor expansion of the unknown function, the algebraic integral equation system becom...

We propose several algorithms to obtain bounds based on Censored Markov Chains to analyze partially generated discrete time Markov chains. The main idea is to avoid the generation of a huge (or even infinite) state space and to truncate the state space during the visit. The approach is purely algebraic and provides element-wise and stochastic bounds for the CMC.

An approach is described for the generation of certain mathematical objects (like sets, correspondences, mappings) in terms of relations using relation-algebraic descriptions of higher-order objects. From non-constructive characterizations executable relational speciications are obtained. We also show how to develop more eecient algorithms from the frequently ineecient speciications within the ...

In this presentation, we propose and review the most recent advances in the construction and random generation of prior algebraic probabilistic representations for random fields of mesoscale properties. The approach is illustrated on elasticity tensor random fields exhibiting material symmetry properties.

We study the question of whether Brauer group is isomorphic to cohomological one in spectral algebraic geometry. For this, we prove compact generation derived category twisted sheaves setting stacks. In particular, obtain ∞ $\infty$ -category quasi-coherent and existence perfect complexes with prescribed support for such extend these results geometry by studying relationship between

An approach is described for the generation of certain math ematical objects like sets correspondences mappings in terms of re lations using relation algebraic descriptions of higher order objects From non constructive characterizations executable relational speci cations are obtained We also show how to develop more e cient algorithms from the frequently ine cient speci cations within the calc...

Algebraic Methods for Integer Programming Introduction by the Guest Editor Karen Aardal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Second Generation Lift-And-Project Algorithms Daniel Bienstock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Short Rational Generating Functions and Their Applications to Integer Programming Kevin Woods and Ruriko Yos...

Complex sfotware systems typically involve features like time, concurrency and probability, and probabilistic computations are playing an increasing role. However it is currently challenging to formalize languages incorporating all those features. Recently the language PTSC has been proposed to integrate probability and time with shared-variable concurrency [56, 59], where the operational seman...