Zobrazeno 1 - 10
of 195
pro vyhledávání: '"Boolean combination"'
Publikováno v:
Frontiers in Big Data, Vol 6 (2023)
Networks (or graphs) are used to model the dyadic relations between entities in complex systems. Analyzing the properties of the networks reveal important characteristics of the underlying system. However, in many disciplines, including social scienc
Externí odkaz:
https://doaj.org/article/97835fa7173d47ef9fb8f035753382d4
Publikováno v:
EURASIP Journal on Image and Video Processing, Vol 2018, Iss 1, Pp 1-22 (2018)
Abstract This paper considers a scenario when we have multiple pre-trained detectors for detecting an event and a small dataset for training a combined detection system. We build the combined detector as a Boolean function of thresholded detector sco
Externí odkaz:
https://doaj.org/article/f2343e2c2baf44f3a52926655b9bf7ac
Autor:
Anonymous
We have meticulously prepared this comprehensive replication package to facilitate further investigation and validation of our groundbreaking study on Just-In-Time Software Defects Prediction (JIT-SDP) models. It serves as a valuable resource, offeri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6c096841df3f3d244f2662f8e1bc3913
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Roman Kossak, Wanda Siedlecka
Publikováno v:
Theoria. 87:959-970
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99d2f655e4ce438a17c7603fcb9ae02f
https://doi.org/10.1111/theo.12229
https://doi.org/10.1111/theo.12229
Publikováno v:
LSFA
We investigate the distinguishability of sets of relational structures concerning a class of structures in the following sense: for a fixed class of structures, given two sets of structures in this class, find a first-order formula of minimal quantif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8698886d993d71ed2ea12e6e5ebca8fe
https://doi.org/10.1016/j.entcs.2019.07.012
https://doi.org/10.1016/j.entcs.2019.07.012
Autor:
Thomas Place, Marc Zeitoun
Publikováno v:
Journal of the ACM (JACM)
Journal of the ACM (JACM), Association for Computing Machinery, 2019, 66, pp.12:1--12:65. ⟨10.1145/3303991⟩
Journal of the ACM (JACM), Association for Computing Machinery, 2019, 66, pp.12:1--12:65. ⟨10.1145/3303991⟩
We investigate quantifier alternation hierarchies in first-order logic on finite words. Levels in these hierarchies are defined by counting the number of quantifier alternations in formulas. We prove that one can decide membership of a regular langua
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e02c758dadc7521d9565b273b7650c8d
https://doi.org/10.1145/3303991
https://doi.org/10.1145/3303991
Autor:
Joshua Gert
Publikováno v:
Philosophical Studies. 176:1409-1416
Jamie Dreier has argued that the supervenience of the moral on the non-moral requires explanation, and that attempts by the non-naturalist to provide it, or to sidestep the issue, have so far failed. These comments on Dreier first examine the notion
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f9c6d771a688c15e2ef526d352c3416
https://doi.org/10.1007/s11098-019-01245-9
https://doi.org/10.1007/s11098-019-01245-9
Autor:
N. S. Romanovskii
Publikováno v:
Algebra and Logic. 57:478-489
A group G is said to be rigid if it contains a normal series G = G1 > G2 > . . . > Gm > Gm+1 = 1, whose quotients Gi/Gi+1 are Abelian and, treated as right ℤ[G/Gi]-modules, are torsion-free. A rigid group G is divisible if elements of the quotient
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29e25f30f40a8d20a1c09b9f53ae3465
https://doi.org/10.1007/s10469-019-09518-2
https://doi.org/10.1007/s10469-019-09518-2
Autor:
Alexei Myasnikov, Olga Kharlampovich
Publikováno v:
Groups and Model Theory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57f24164b2fcc96bfe9a622edcdf0996
https://doi.org/10.1515/9783110719710-003
https://doi.org/10.1515/9783110719710-003