Search results
- 1.0585948 - ÚI 2025 US eng V - Research Report
Savický, Petr
On CNF formulas irredundant with respect to unit clause propagation.
Cornell: Cornell University, 2023. 19 s. arXiv.org e-Print archive, arXiv:2309.01750.
Institutional support: RVO:67985807
https://doi.org/10.48550/arXiv.2309.01750
Permanent Link: https://hdl.handle.net/11104/0353582Scientific data in ASEP :
Preprint at ArXiv.org - 2.0582406 - ÚI 2024 US eng V - Research Report
Van Der Giessen, I. - Jalali, Raheleh - Kuznets, R.
Uniform interpolation via nested sequents and hypersequents.
Cornell: Cornell University, 2021. 24 s. arXiv.org e-Print archive, arXiv:2105.10930.
https://arxiv.org/abs/2201.05106
Permanent Link: https://hdl.handle.net/11104/0350479
Research data: Preprint - ArXiv.org - 3.0581047 - ÚI 2024 US eng V - Research Report
Campos Araújo, Pedro - Martins, T. - Mattos, L. - Mendonça, W. - Moreira, L. - Mota, G.O.
On the anti-Ramsey threshold for non-balanced graphs.
Cornell: Cornell University, 2022. 22 s. arXiv.org e-Print archive, arXiv:2201.05106.
R&D Projects: GA ČR(CZ) GJ20-27757Y
Institutional support: RVO:67985807
https://arxiv.org/abs/2201.05106
Permanent Link: https://hdl.handle.net/11104/0349613File Download Size Commentary Version Access 0581047-apre.pdf 0 314 KB Possible updates: https://arxiv.org/abs/2201.05106 Author´s preprint open-access - 4.0580827 - ÚI 2024 US eng V - Research Report
Campos Araújo, Pedro - Mattos, L.
Local central limit theorem for triangle counts in sparse random graphs.
Cornell: Cornell University, 2023. 24 s. arXiv.org e-Print archive, arXiv:2307.09446.
R&D Projects: GA ČR(CZ) GJ20-27757Y
Institutional support: RVO:67985807
https://arxiv.org/abs/2307.09446
Permanent Link: https://hdl.handle.net/11104/0349592File Download Size Commentary Version Access 0580827-aoa.pdf 0 311.1 KB Possible updates: https://arxiv.org/abs/2307.09446 Author´s preprint open-access - 5.0580826 - ÚI 2024 eng V - Research Report
Juškevičius, Tomas - Kurauskas, V.
Anticoncentration of random vectors via the strong perfect graph theorem.
Cornell University: Cornell University, 2023. 34 s. arXiv.org e-Print archive, arXiv:2306.11904.
R&D Projects: GA ČR(CZ) GJ20-27757Y
Institutional support: RVO:67985807
Keywords : concentration function * Littlewood-Offord problem * perfect graph
https://arxiv.org/abs/2306.11904
Permanent Link: https://hdl.handle.net/11104/0349588File Download Size Commentary Version Access 0580826-aoa.pdf Possible updates: https://arxiv.org/pdf/2306.11904.pdf - 6.0573794 - ÚI 2024 US eng V - Research Report
Pavez-Signé, M. - Sanhueza-Matamala, Nicolás - Stein, M.
Towards a hypergraph version of the Pósa-Seymour conjecture.
Cornell University: Cornell University, 2023. 29 s. arXiv.org e-Print archive, arXiv:2110.09373.
R&D Projects: GA ČR(CZ) GA19-08740S
Institutional support: RVO:67985807
https://arxiv.org/abs/2110.09373
Permanent Link: https://hdl.handle.net/11104/0344149File Download Size Commentary Version Access 0573794-arx-oa.pdf 1 530 KB https://arxiv.org/abs/2110.09373 Author´s preprint open-access - 7.0573793 - ÚI 2024 US eng V - Research Report
Lang, R. - Sanhueza-Matamala, Nicolás
On sufficient conditions for spanning structures in dense graphs.
Cornell University: Cornell University, 2023. 68 s. arXiv.org e-Print archive, arXiv:2110.14547.
R&D Projects: GA ČR(CZ) GA19-08740S
Institutional support: RVO:67985807
https://arxiv.org/abs/2110.14547
Permanent Link: https://hdl.handle.net/11104/0344148File Download Size Commentary Version Access 0573793-arx-oa.pdf 1 938.5 KB https://arxiv.org/abs/2110.14547 Author´s preprint open-access - 8.0570704 - ÚI 2024 US eng V - Research Report
Hladký, Jan - Hng, Eng Keat
Approximating fractionally isomorphic graphons.
Cornell University: Cornell University, 2023. 22 s. arXiv.org e-Print archive, 2210.14097.
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
https://arxiv.org/abs/2210.14097
Permanent Link: https://hdl.handle.net/11104/0342029 - 9.0570702 - ÚI 2024 US eng V - Research Report
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Crisp bi-Gödel modal logic and its paraconsistent expansion.
Cornell University: Cornell University, 2023. 29 s. arXiv.org e-Print archive, 2211.01882.
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
https://arxiv.org/abs/2211.01882
Permanent Link: https://hdl.handle.net/11104/0342026 - 10.0570005 - ÚI 2023 US eng V - Research Report
Hladká, Adéla - Martinková, Patrícia - Brabec, Marek
Parameter estimation in generalised logistic model with application to DIF detection.
Cornell University: Cornell University, 2023. arXiv.org e-Print archive, 2302.12648.
R&D Projects: GA ČR(CZ) GA21-03658S
Institutional support: RVO:67985807
https://doi.org/10.48550/arXiv.2302.12648
Permanent Link: https://hdl.handle.net/11104/0341338