Zobrazeno 1 - 10
of 595
pro vyhledávání: '"Cylindrical algebraic decomposition"'
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.
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.
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:
Šeliga Adam, Kauers Manuel, Saminger-Platz Susanne, Mesiar Radko, Kolesárová Anna, Klement Erich Peter
Publikováno v:
Dependence Modeling, Vol 9, Iss 1, Pp 13-42 (2021)
Bivariate polynomial copulas of degree 5 (containing the family of Eyraud-Farlie-Gumbel-Morgenstern copulas) are in a one-to-one correspondence to certain real parameter triplets (a, b, c), i.e., to some set of polynomials in two variables of degree
Externí odkaz:
https://doaj.org/article/25fdaa58c61d4d5fa4c43ece7c732d34
Autor:
Manuel Kauers, Radko Mesiar, Anna Kolesárová, Erich Peter Klement, Susanne Saminger-Platz, Adam Šeliga
Publikováno v:
Dependence Modeling, Vol 9, Iss 1, Pp 13-42 (2021)
Bivariate polynomial copulas of degree 5 (containing the family of Eyraud-Farlie-Gumbel-Morgenstern copulas) are in a one-to-one correspondence to certain real parameter triplets (a,b,c), i.e., to some set of polynomials in two variables of degree 1:
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ba2d23900f59aeddfe9d0c84715f7e4
https://doaj.org/article/25fdaa58c61d4d5fa4c43ece7c732d34
https://doaj.org/article/25fdaa58c61d4d5fa4c43ece7c732d34
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.
Conference
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.
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:
Erika Ábrahám, Gereon Kremer
Publikováno v:
Journal of Symbolic Computation. 100:11-37
Collins introduced the cylindrical algebraic decomposition method for eliminating quantifiers in real arithmetic formulas. In our work we use this method for satisfiability checking in satisfiability modulo theories solver technologies, and tune it b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::80da1ffcc1235bd7aa1997f4426da31d
https://doi.org/10.1016/j.jsc.2019.07.018
https://doi.org/10.1016/j.jsc.2019.07.018
Publikováno v:
Mathematical Software – ICMS 2020
Cylindrical algebraic decomposition (CAD) is a fundamental tool in computational real algebraic geometry. Previous studies have shown that machine learning (ML) based approaches may outperform traditional heuristic ones on selecting the best variable
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::53fd857da0ca7ed7014e0f130387e4b2
http://europepmc.org/articles/PMC7340889
http://europepmc.org/articles/PMC7340889