Change language

Wyszukiwarka projektów

Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?

2018/31/B/ST6/01294

Słowa kluczowe

Deskryptory

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

Panel

ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

woj. małopolskie

Inne projekty tej jednostki »

Kierownik projektu (z jednostki realizującej)

prof. Marek Zaionc

Liczba wykonawców projektu: 6

Konkurs

OPUS 16 – ogłoszony 2018-09-14

Przyznana kwota
474 000 PLN
Rozpoczęcie projektu
2019-07-04
Zakończenie projektu
2023-11-03
Planowany czas trwania projektu
52 miesiące (z wniosku)
Status projektu
Projekt rozliczony

Opis projektu

Pobierz opis projektu w formacie .pdf

Uwaga — opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

Publikacje w czasopismach (5)

  1. Weighted 2-sections and hypergraph reconstruction

    Autorzy:
    Robert Janczewski, Paweł Obszarski and Krzysztof Turowski
    Czasopismo:
    Theoretical Computer Science (rok: 2022, tom: 915, strony: 46351), Wydawca: Elseviere
    Status:
    Opublikowana
    DOI:
    10.1016/j.tcs.2022.02.016 – link do publikacji

  2. A NOTE ON THE ASYMPTOTIC EXPRESSIVENESS OF ZF AND ZFC

    Autorzy:
    Maciej Bendkowski
    Czasopismo:
    Journal of Logic and Computation (rok: 2021, tom: 31(7), strony: 1598–1607), Wydawca: Oxford Academic
    Status:
    Opublikowana
    DOI:
    10.1093/logcom/exab038 – link do publikacji

  3. Fuzzy Logics - quantitatively

    Autorzy:
    Zofia Kostrzycka, Marek Zaionc
    Czasopismo:
    Journal of Applied Non-Classical Logics (rok: 2023, tom: 34, strony: 13150), Wydawca: Taylor and Francis
    Status:
    Opublikowana
    DOI:
    10.1080/11663081.2023.2269645 – link do publikacji

  4. Towards Degree Distribution of a Duplication-Divergence Graph Model

    Autorzy:
    Krzysztof Turowski, Wojciech Szpankowski
    Czasopismo:
    Electronic Journal of Combinatorics (rok: 2021, tom: 28(1), strony: 46040), Wydawca: The Electronic Journal of Combinatorics is owned by its Editorial Board and Editorial Team.
    Status:
    Opublikowana
    DOI:
    10.37236/9 – link do publikacji

  5. Revisiting Parameter Estimation in Biological Networks: Influence of Symmetries

    Autorzy:
    Jithin K. Sreedharan; Krzysztof Turowski; Wojciech Szpankowski
    Czasopismo:
    IEEE/ACM Transactions on Computational Biology and Bioinformatics (rok: 2020, tom: Volume: 18 Issue: 3, strony: 836 - 849), Wydawca: IEEE/ACM
    Status:
    Opublikowana
    DOI:
    10.1109/TCBB.2020.2980260. – link do publikacji

Teksty w publikacjach pokonferencyjnych (4)

  1. Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines

    Autorzy:
    Tytus Pikies, Krzysztof Turowski, Marek Kubale
    Konferencja:
    Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021) (rok: 2021, strony: 262-270), Wydawca: Association for the Advancement of Artificial Intelligence
    Data:
    konferencja August 2–13, 2021
    Status:
    Opublikowana

  2. Power-Law Degree Distribution in the ConnectedComponent of a Duplication Graph

    Autorzy:
    Philippe Jacquet, Krzysztof Turowski, Wojciech Szpankowski
    Konferencja:
    31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2020). (rok: 2020, strony: Article No. 16; pp. 16:1–16:14), Wydawca: Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
    Data:
    konferencja June 15–19, 2020
    Status:
    Opublikowana

  3. Degree Distribution for Duplication-Divergence Graphs: Large Deviations

    Autorzy:
    Alan FriezeKrzysztof Turowski, Wojciech Szpankowski
    Konferencja:
    International Workshop on Graph-Theoretic Concepts in Computer Science (rok: 2020, strony: 226–237), Wydawca: Springer, Lecture Notes in Computer Science book series (LNCS, volume 12301)
    Data:
    konferencja June 24–26, 2020
    Status:
    Opublikowana

  4. Quantitative Study of Fuzzy Logics

    Autorzy:
    Zofia Kostrzycka, Marek Zaionc
    Konferencja:
    2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (rok: 2020, strony: 46030), Wydawca: IEEE
    Data:
    konferencja 19-24 July 2020
    Status:
    Opublikowana

« Nowe wyszukiwanie

Projekt graficzny i wykonanie: Jakub Piotrowski