Results 301 to 310 of about 2,356,447 (321)

Representation of binary systems by families of binary relations

Israel Journal of Mathematics, 1969
It is proved that an arbitrary binary multiplicative system can be represented by a family of binary relations, using the so called generalized multiplication of relations. Transformations of such representations and existence of a ‘universal’ representation are studied.
D. Tamari, D. Tamari, A. Ginzburg, A. Ginzburg   +3 more
openaire   +2 more sources

Solute atom mediated Hall-Petch relations for magnesium binary alloys

Scripta Materialia, 2022
Y. Wen, B. Guan, Y. Xin, Chenglu Liu, Peidong Wu, G. Huang, Qing Liu   +6 more
semanticscholar   +1 more source

Binary Fuzzy Relations

2002
This chapter is devoted to binary fuzzy relations. For quite a variety of problems, binary relations turn out to be a simple but very powerful tool. Recall that a binary L-relation between (nonempty) sets X and Y is any mapping R: X × Y → L (L is the support set of the complete residuated lattice L; for x ∈ X and y ∈ Y, R(x,y) ∈ L is the truth degree ...
openaire   +2 more sources

Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations

Journal of automated reasoning, 2019
M. Cristiá, G. Rossi
semanticscholar   +1 more source

Rough approximations based on soft binary relations and knowledge bases

Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2016
Zhaowen Li, Ningxin Xie, Ninghua Gao
semanticscholar   +1 more source

A unified information measure for general binary relations

Knowledge-Based Systems, 2017
Changzhong Wang, Qiang He, Mingwen Shao, Yangyang Xu, Qinghua Hu   +4 more
semanticscholar   +1 more source

A Decision Procedure for Sets, Binary Relations and Partial Functions

International Conference on Computer Aided Verification, 2016
M. Cristiá, G. Rossi
semanticscholar   +1 more source

Similarity of binary relations based on rough set theory and topology: an application for topological structures of matroids

Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2015
Bin Qin, Guo-en Xia, Ke-song Yan
semanticscholar   +1 more source

Some Higher Order Functions on Binary Relations

IEEE International Conference on Automatic Face & Gesture Recognition, 2013
R. Zuber
semanticscholar   +1 more source

Approximations of Arbitrary Binary Relations by Partial Orders: Classical and Rough Set Models

Trans. Rough Sets, 2011
R. Janicki
semanticscholar   +1 more source