Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?

2018/31/B/ST6/01294

Keywords:

set theory counting and generating functions lambda calculusl

Descriptors:

  • ST6_4:

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

woj. małopolskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Marek Zaionc 

Number of co-investigators in the project: 6

Call: OPUS 16 - announced on 2018-09-14

Amount awarded: 474 000 PLN

Project start date (Y-m-d): 2019-07-04

Project end date (Y-m-d): 2023-11-03

Project duration:: 52 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (5)
  • Articles in post-conference publications (4)
  1. Weighted 2-sections and hypergraph reconstruction
    Authors:
    Robert Janczewski, Paweł Obszarski and Krzysztof Turowski
    Academic press:
    Theoretical Computer Science (rok: 2022, tom: 915, strony: 45986), Wydawca: Elseviere
    Status:
    Published
    DOI:
    10.1016/j.tcs.2022.02.016 - link to the publication
  2. A NOTE ON THE ASYMPTOTIC EXPRESSIVENESS OF ZF AND ZFC
    Authors:
    Maciej Bendkowski
    Academic press:
    Journal of Logic and Computation (rok: 2021, tom: 31(7), strony: 1598–1607), Wydawca: Oxford Academic
    Status:
    Published
    DOI:
    10.1093/logcom/exab038 - link to the publication
  3. Fuzzy Logics - quantitatively
    Authors:
    Zofia Kostrzycka, Marek Zaionc
    Academic press:
    Journal of Applied Non-Classical Logics (rok: 2023, tom: 34, strony: 13150), Wydawca: Taylor and Francis
    Status:
    Published
    DOI:
    10.1080/11663081.2023.2269645 - link to the publication
  4. Revisiting Parameter Estimation in Biological Networks: Influence of Symmetries
    Authors:
    Jithin K. Sreedharan; Krzysztof Turowski; Wojciech Szpankowski
    Academic press:
    IEEE/ACM Transactions on Computational Biology and Bioinformatics (rok: 2020, tom: Volume: 18 Issue: 3, strony: 836 - 849), Wydawca: IEEE/ACM
    Status:
    Published
    DOI:
    10.1109/TCBB.2020.2980260. - link to the publication
  5. Towards Degree Distribution of a Duplication-Divergence Graph Model
    Authors:
    Krzysztof Turowski, Wojciech Szpankowski
    Academic press:
    Electronic Journal of Combinatorics (rok: 2021, tom: 28(1), strony: 45675), Wydawca: The Electronic Journal of Combinatorics is owned by its Editorial Board and Editorial Team.
    Status:
    Published
    DOI:
    10.37236/9 - link to the publication
  1. Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines
    Authors:
    Tytus Pikies, Krzysztof Turowski, Marek Kubale
    Conference:
    Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021) (rok: 2021, ), Wydawca: Association for the Advancement of Artificial Intelligence
    Data:
    konferencja August 2–13, 2021
    Status:
    Published
  2. Degree Distribution for Duplication-Divergence Graphs: Large Deviations
    Authors:
    Alan FriezeKrzysztof Turowski, Wojciech Szpankowski
    Conference:
    International Workshop on Graph-Theoretic Concepts in Computer Science (rok: 2020, ), Wydawca: Springer, Lecture Notes in Computer Science book series (LNCS, volume 12301)
    Data:
    konferencja June 24–26, 2020
    Status:
    Published
  3. Quantitative Study of Fuzzy Logics
    Authors:
    Zofia Kostrzycka, Marek Zaionc
    Conference:
    2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (rok: 2020, ), Wydawca: IEEE
    Data:
    konferencja 19-24 July 2020
    Status:
    Published
  4. Power-Law Degree Distribution in the ConnectedComponent of a Duplication Graph
    Authors:
    Philippe Jacquet, Krzysztof Turowski, Wojciech Szpankowski
    Conference:
    31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2020). (rok: 2020, ), Wydawca: Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
    Data:
    konferencja June 15–19, 2020
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy