Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne

2018/31/B/HS1/04018

Słowa kluczowe:

predykcja teoria obliczeń procesy stochastyczne teoria informacji

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki
  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST1_13: Rachunek prawdopodobieństwa i statystyka matematyczna

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

Instytut Podstaw Informatyki Polskiej Akademii Nauk

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Dariusz Kalociński 

Liczba wykonawców projektu: 3

Konkurs: OPUS 16 - ogłoszony 2018-09-14

Przyznana kwota: 824 180 PLN

Rozpoczęcie projektu: 2019-09-16

Zakończenie projektu: 2022-11-15

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt w realizacji

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

  • Publikacje w czasopismach (4)
  • Teksty w publikacjach pokonferencyjnych (3)
  1. Universal Coding and Prediction on Ergodic Martin-Löf Random Points IF: 0,406
    Autorzy:
    Łukasz Dębowski, Tomasz Steifer
    Czasopismo:
    Bulletin of Symbolic Logic , Wydawca: Cambridge Core
    Status:
    Złożona
  2. A Refutation of Finite-State Language Models through Zipf's Law for Algorithmic Information IF: 2,494
    Autorzy:
    Łukasz Dębowski
    Czasopismo:
    Entropy (rok: 2021, tom: 23, strony: 12785), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/e23091148 - link do publikacji
  3. A note on the learning-theoretic characterizations of randomness and convergence IF: 0,92
    Autorzy:
    Tomasz Steifer
    Czasopismo:
    Review of Symbolic Logic (rok: 2021, tom: -, strony: 44576), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/S1755020321000125 - link do publikacji
  4. Generalization of Shapiro's theorem to higher arities and noninjective notations IF: 0,485
    Autorzy:
    Dariusz Kalociński, Michał Wrocławski
    Czasopismo:
    Archive for Mathematical Logic , Wydawca: Springer
    Status:
    Złożona
  1. Probabilistic vs Deterministic Gamblers
    Autorzy:
    Laurent Bienvenu, Valentino Delle Rose, Tomasz Steifer
    Konferencja:
    International Symposium on Theoretical Aspects of Computer Science (rok: 2022, ), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    Data:
    konferencja 15-18 marca 2022
    Status:
    Opublikowana
  2. Simple betting and stochasticity
    Autorzy:
    Tomasz Steifer
    Konferencja:
    Computability in Europe 2021: Connecting with Computability (rok: 2021, ), Wydawca: Springer
    Data:
    konferencja 5-9 lipca 2021
    Status:
    Opublikowana
  3. Intrinsic Complexity of Recursive Functions on Natural Numbers with Standard Order
    Autorzy:
    Nikolay Bazhenov, Dariusz Kalociński, Michał Wrocławski
    Konferencja:
    International Symposium on Theoretical Aspects of Computer Science (rok: 2022, ), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    Data:
    konferencja 15-18 marca
    Status:
    Opublikowana