Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Jari Kortelainen"'
Autor:
Alexander V. Boukhanovsky, Anna Bilyatdinova, Jari Kortelainen, Peter M. A. Sloot, Alexandra Klimova
Publikováno v:
Procedia Computer Science. 119:1-7
This volume presents the selected papers of young computational scientists – participants of YSC-2017. Annual Young Scientist Conferences (YSC) in high performance computing, modeling and simulation are traditionally held since 2012 by the Universi
Publikováno v:
Fuzzy Sets and Systems. 298:128-157
This paper gives a survey on the categorical term construction based on the free algebra algorithm. In the framework of monoidal biclosed and cocomplete categories a possible concept of signature for finitary theories is introduced. Applications of t
This monograph provides a modern introduction to the theory of quantales. First coined by C.J. Mulvey in 1986, quantales have since developed into a significant topic at the crossroads of algebra and logic, of notable interest to theoretical computer
Publikováno v:
Semigroups in Complete Lattices ISBN: 9783319789477
The first section gives a detailed study of the category of complete lattices and join preserving maps. A special focus is put on quotient constructions and the tensor product being part of a natural monoidal structure. On this basis Chap. 2 gives a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ffd7f3a1d31d128bef96e84b09a8c82
https://doi.org/10.1007/978-3-319-78948-4_2
https://doi.org/10.1007/978-3-319-78948-4_2
Publikováno v:
Semigroups in Complete Lattices ISBN: 9783319789477
This chapter is an introduction to module theory in the category \({\mathtt {Sup}}\) of complete lattices and join preserving maps — these are modules on unital quantales. In this context, an interesting class of modules on involutive and unital qu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4b1ef929ba598739b49c15d8e3614b15
https://doi.org/10.1007/978-3-319-78948-4_3
https://doi.org/10.1007/978-3-319-78948-4_3
Publikováno v:
Semigroups in Complete Lattices ISBN: 9783319789477
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1f2fd68e54d171d04b061c018d7a8ff1
https://doi.org/10.1007/978-3-319-78948-4_1
https://doi.org/10.1007/978-3-319-78948-4_1
Publikováno v:
Soft Computing Applications for Group Decision-making and Consensus Modeling ISBN: 9783319602066
Logic and many-valuedness as proposed in this paper enables to describe underlying logical structures of information as represented within industrial processes, and as part of their respective markets. We underlines the importance of introducing clas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::399e4deb5374616d143813898880f13f
https://doi.org/10.1007/978-3-319-60207-3_6
https://doi.org/10.1007/978-3-319-60207-3_6
Publikováno v:
FUZZ-IEEE
Let Sup be the category of complete lattices and join preserving maps. The aim of this paper is to show that the theory of complete many-valued lattices exists. For this purpose we recall the concept of many-valued preordered sets and show that the c
Non-commutativity and many-valuedness: The topological representation of the spectrum of C*-algebras
Publikováno v:
FUZZ-IEEE
Publons
Publons
In the past there have been made various attempts to define the spectrum of a non-commutative C∗-algebra. But all these definitions have certain drawbacks — e.g. C.J. Mulvey's definition does not coincide with the standard definition of the spect
Publikováno v:
Fuzzy Sets and Systems. 256:211-235
In this paper we will show how purely categorical constructions of terms are advantageous when investigating situations concerning uncertainty; more specifically where uncertainty comes from and how uncertainty is integrated when dealing with terms o