Results 81 to 90 of about 569,019 (209)
Satisfiability for two-variable logic with two successor relations on finite linear orders
, 2013 We study the finitary satisfiability problem for first order logic with two variables and two binary relations, corresponding to the induced successor relations of two finite linear orders.
Figueira, Diego
core
The Path Containment Condition And Argument Structure
Kansas Working Papers in Linguistics, 1988 This study investigates the internal structure of verb phrases (VPs). Using the Path Containment Condition as developed by May (1985) to establish relations between (quantified) arguments, this study draws two conclusions about the structure of argument ...
Stroik, Thomas S.
doaj +1 more source
On binary decision hypertree (hyperdiagram) [PDF]
AUT Journal of Mathematics and ComputingIn computer science, a binary decision diagram is a data structure that is used to represent a Boolean function and to consider a compressed representation of relations.
Mohammad Hamidi, Marzieh Rahmati
doaj +1 more source
On the semigroup of binary relations [PDF]
Pacific Journal of Mathematics, 1970 Plemmons, R. J., West, M. T.
openaire +3 more sources
A representation of consistent binary relations [PDF]
Spanish Economic Review, 2007 We give sufficient conditions for the existence of a numerical representation which is equivalent to consistency as defined by Suzumura (Economica 43:381–390).
openaire +2 more sources
A Note on a Binary Relation Corresponding to a Bipartite Graph
ITM Web of Conferences, 2018 In this paper, we firstly define a binary relation corresponding to the bipartite graph and study its properties. We also establish a relationship between the independent sets of the bipartite graph and the definable sets of binary relations ...
Sarı Hatice Kübra, Kopuzlu Abdullah
doaj +1 more source
From Ordients to Optimization: Substitution Effects without Differentiability [PDF]
This paper introduces the concept of ordient for binary relations (preferences), a relative of the concept of gradients for functions (utilities). The lexicographic order, albeit not representable, has an ordient.
Karl H. Schlag, Ludovic Renou
core
Errata to “The theory of operations on binary relations” [PDF]
, 1966 Takayuki Tamura
openalex +1 more source
Search Efficient Binary Network Embedding
, 2019 Traditional network embedding primarily focuses on learning a dense vector representation for each node, which encodes network structure and/or node content information, such that off-the-shelf machine learning algorithms can be easily applied to the ...
Yin, Jie +3 more
core
Math Education in Intercultural Contexts: a logical-mathematical interpretation for duality Kaingang Kamé-Kairu [PDF]
Ciência & Educação: The aim of this paper is to present the results of research carried out in a Mathematics and Science training program for indigenous teachers of the Kaingang ethnic group by the Unochapecó in the municipality of Chapecó, Santa Catarina, Brazil.
Luci dos Santos Bernardi +1 more
doaj +2 more sources