Filters








262,109 Hits in 3.3 sec

Collections, Cardinalities, and Relations [chapter]

Kuat Yessenov, Ruzica Piskac, Viktor Kuncak
2010 Lecture Notes in Computer Science  
Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes.  ...  To make such logics more useful in verification this paper extends them with the ability to compute direct and inverse relation and function images.  ...  They also include the cardinality operator, to compute the number of elements in the collection, and support linear integer arithmetic constraints on the cardinalities.  ... 
doi:10.1007/978-3-642-11319-2_27 fatcat:26myazvvhrgozjfoxqg73ob4aq

Relative Identity and Cardinality

PATRICIA BLANCHETTE
1999 Canadian Journal of Philosophy  
Because cardinality-statements bear close logical connections to identity-  ...  A and is a B... 9 If there is no absolute relation of identity, then sets have no absolute cardinalities, and vice-versa.  ...  And that cardinality doesn't apply simply to collections of objects is shown by the fact that a given collection can be counted in a number of different ways: to be given the collection by itself is not  ... 
doi:10.1080/00455091.1999.10717511 fatcat:k4n7rc3wzngzni2mn36fpsc72a

Why Non-individuality? A Discussion on Individuality, Identity, and Cardinality in the Quantum Context

Jonas Rafael Becker Arenhart, Décio Krause
2013 Erkenntnis: An International Journal of Scientific Philosophy  
We argue that the link between a well-defined number of items and the relation of identity that is being claimed is not imposed by quantum mechanics, but rather by a metaphysical view.  ...  It seems clear that one of those answers should have better credentials than the others, and so, be preferred and adopted.  ...  Firstly, it may be simply stated that they are very closely related: to attribute cardinality to some collection, one must be able to count the items in it.  ... 
doi:10.1007/s10670-013-9429-4 fatcat:pfh4c5clyfeadbplbqnaktfzaa

IMPLEMENTASI REFERENTIAL INTEGRITY CONSTRAINT PADA MICROSOFT ACCESS DALAM UPAYA MEMELIHARA KONSISTENSI DATA

Oviliani Yenty Yuliana
2001 Jurnal Informatika  
Data is business asset that should be safeguarded and maintained. Business data is recorded in a table/relation.  ...  Referential integrity constraint depends on minimum relationship cardinality. The trial and implementation of referential integrity constraint is taken on Microsoft Access.  ...  Kemungkinan Cardinality Relationship Sales-Cash Collection Gambar 1 memperlihatkan berbagai cara pemodelan relationship antara sales dan cash collection event.  ... 
doaj:28f4fdcf580249278b988fc43bd53b4b fatcat:gzsmfnodpjeaxjxgezpxnmtbqq

Page 750 of Mathematical Reviews Vol. 51, Issue 3 [page]

1976 Mathematical Reviews  
Details of the proof, as well as related results on Luzin sets, concentrated sets, Rothberger sets, and universal measure zero sets, are to appear.” {For the entire collection, see MR 50 #12526.}  ...  {For the entire collection, see MR 49 #1457.} D. V. Cudnovs' kit (Kiev) Zamfirescu, Irina On the definition of the ordinal and cardinal numbers. (Romanian) Gaz. Mat. Ser. A 77 (1972), 381-390.  ... 

Recent Anthologies and Resources

Adam Gregerman
2012 Studies in Christian-Jewish Relations  
A collection of statements by Cardinal Keeler, Archbishop of Baltimore from 1989-2007 and moderator for Catholic-Jewish relations for the United States Conference of Catholic Bishops.  ...  An extensive collection of texts from religious bodies and groups of scholars and clergy from 1945-1985, organized Cardinal Lustiger, archbishop of Paris and a convert to Catholicism from Judaism.  ... 
doi:10.6017/scjr.v7i1.4440 fatcat:tldzepglfffyrc3npcpvv7ajfa

Page 4303 of Mathematical Reviews Vol. , Issue 94h [page]

1994 Mathematical Reviews  
The cardinal invariants are compared with those of meager and measure zero sets, and with other known cardinal invariants. Some related consistency results are also presented.  ...  Given a Suslin cardinal x, he defines d(x) as the supre- mum of the local well-founded relations at x. d(x) must be a limit ordinal with cofinality > x. {For the entire collection see MR 94b:03009.}  ... 

Visual recognition by counting instances: A multi-instance cardinality potential kernel

Hossein Hajimirsadeghi, Wang Yan, Arash Vahdat, Greg Mori
2015 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)  
To this end, this paper develops a powerful and flexible framework to infer any cardinality relation between latent labels in a multi-instance model.  ...  Experiments on tasks such as human activity recognition, video event detection, and video summarization demonstrate the effectiveness of using cardinality relations for improving recognition results.  ...  Encoding cardinality relations can improve visual recognition. (a) An example of collective activity recognition. Three people are waiting, and two people are walking (passing by in the street).  ... 
doi:10.1109/cvpr.2015.7298875 dblp:conf/cvpr/HajimirsadeghiY15 fatcat:tdpvu6iskbh6nilhlcletavexa

Creatures and Cardinals

Lukas Daniel Klausner
2019 Bulletin of Symbolic Logic  
Abstract This thesis collects several related results on cardinal characteristics of the continuum, all of which employ the method of creature forcing.  ...  In Chapter C, we introduce nine cardinal characteristics related to the splitting number s, the reaping number r and the independence number i by using the notion of asymptotic density to characterise  ... 
doi:10.1017/bsl.2019.8 fatcat:r5fp4rwxqnfqpfmleyexzrakri

Finite enumerable but undecidable collections [article]

Adonai S. Sant'Anna
2004 arXiv   pre-print
Such an extension is quasi-set theory and it has its origin on problems motivated by quantum mechanics.  ...  A. da Costa, and Décio Krause.  ...  I would like to thank Otávio Bueno and Davis Baird for their hospitality during my stay at the Department of Philosophy of the University of South Carolina as a Visiting Scholar.  ... 
arXiv:quant-ph/0409001v1 fatcat:vaccdeheszeeffbebzg24lf2ce

Amenable colorings

Shimon Garti
2017 European Journal of Mathematics  
Likewise, we prove a full amenable relation for (_2,_1) with respect to collections which are strongly closed under countable intersections.  ...  Let κ be any regular cardinal. Assuming the existence of a huge cardinal above κ, we prove the consistency of κ^++κ^+→τκ^+ for every ordinal τ<κ^++.  ...  Almost strong relations. Suppose θ = cf(θ) and there exists a huge cardinal above θ.  ... 
doi:10.1007/s40879-016-0125-1 fatcat:3tspgl4lmfgzrg673w634g2niy

Visual Recognition by Counting Instances: A Multi-Instance Cardinality Potential Kernel [article]

Hossein Hajimirsadeghi, Wang Yan, Arash Vahdat, Greg Mori
2015 arXiv   pre-print
To this end, this paper develops a powerful and flexible framework to infer any cardinality relation between latent labels in a multi-instance model.  ...  Experiments on tasks such as human activity recognition, video event detection, and video summarization demonstrate the effectiveness of using cardinality relations for improving recognition results.  ...  Encoding cardinality relations can improve visual recognition. (a) An example of collective activity recognition. Three people are waiting, and two people are walking (passing by in the street).  ... 
arXiv:1502.02063v2 fatcat:42ivgj5vobgf5c26jxox62ya6m

Index — volume 21 — 1966

1966 Relations Industrielles - Industrial Relations  
reproduction) est assujettie à sa politique d'utilisation que vous pouvez consulter à l'URI https://apropos.erudit.org/fr/usagers/politique-dutilisation/ Document téléchargé le 11 février 2017 11:39 RELATIONS  ...  Professional Employées in Québec, Collective Bargaining and the, Jean-Réal Cardin, no 2, pp. 141-143.  ...  Public Policy, Structural Unemployment and, Pierre-Paul Proulx, no 2, p. 234. Québec, Collective Bargaining and the Professional Employées in, Jean-Réal Cardin, no 2, pp. 141-143.  ... 
doi:10.7202/027753ar fatcat:ob3yh3kp5zdbbo5oxhrm7yoyzq

Harmonic Perception and Voice Leading Spaces of Set Classes Related by Unordered Interval Classes

Rodolfo Coelho de Souza
2019 Musica Theorica  
We also analyzed the harmonic content of set classes using trichords or PCORDs of cardinality 3 and the PCORD connections in the voice-leading space of set classes with cardinality 3 to 9.  ...  This study provides the table of all set classes related by PCORD to be used as an analytical and compositional tool.  ...  This excerpt uses four instances of three different set classes of cardinality 6 (6-30, 6-Z49 and 6-Z50) which are related by PCORD and one set class of cardinality 5 that is a segment of 6-Z49, besides  ... 
doi:10.52930/mt.v3i2.82 fatcat:l7rtywhqcngmjhsvdrwln4zkcu

Page 2549 of Mathematical Reviews Vol. , Issue 82f [page]

1982 Mathematical Reviews  
This research is concerned with extending notions related to metrizability to higher cardinality, and the proofs are published in a paper which has appeared [82f:54008 above].  ...  -C. 82f:54009 Some results on the metrizability-degree of topological spaces and related cardinal-functions. Topology, Vol. II (Proc. Fourth Collog., Budapest, 1978), pp. 1019-1031, Collog. Math.  ... 
« Previous Showing results 1 — 15 out of 262,109 results