A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
Collections, Cardinalities, and Relations
[chapter]
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
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
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
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
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
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
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]
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
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]
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
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