Wszystkie pola: mathematical function

Skocz do pozycji: 1.

Tytuł:: Predykat K aktualnej wiedzy matematycznej nietrywialnie rozszerza teorię obliczalności
The predicate K of the current mathematical knowledge non-trivially extends computability theory
Autorzy:: Tyszka, Apoloniusz
Data publikacji:: 2024-06-11
Wydawca:: Elsevier
Słowa kluczowe:: limit-computable function
single-fold Diophantine representation
eventually dominates
current mathematical knowledge; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Istnieje nietrywialnie prawdziwe stwierdzenie w obliczalności które może być sfalsyfikowane i zawiera predykat K bieżącej wiedzy matematycznej
There is a non-trivially true statement in computability which may be falsified and contains the predicate K of the current mathematical knowledge
Autorzy:: Tyszka, Apoloniusz
Data publikacji:: 2024-07-16
Wydawca:: Elsevier
Słowa kluczowe:: limit-computable function
eventual domination
single-fold Diophantine representation
current mathematical knowledge; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A falsifiable statement Ψ of the form "∃f:N→N of unknown computability such that ...", where ZFC expresses Ψ at any time and Ψ significantly strengthens a non-trivial mathematical theorem
Autorzy:: Tyszka, Apoloniusz
Data publikacji:: 2024-12-13
Wydawca:: Elsevier
Słowa kluczowe:: eventual domination
single-fold Diophantine representation
time-dependent truth in mathematics with the predicate K of the written down mathematical knowledge
predicate K of the written down mathematical knowledge
limit-computable function; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Bayesian inference of a non-local proliferation model
Autorzy:: Miasojedow, Błażej
Szymańska, Zuzanna
Skrzeczkowski, Jakub
Gwiazda, Piotr
Współwytwórcy:: Faculty of Mathematics, Informatics and Mechanics, University of Warsaw
Institute of Mathematics, Polish Academy of Sciences, Warsaw, Poland
Interdisciplinary Centre for Mathematical and Computational Modelling, University of Warsaw
Data publikacji:: 2021
Wydawca:: Royal Society Publishing
Słowa kluczowe:: proliferation function
stability of posterior distribution
particle method
non-local cancer model
parameter estimation
Bayesian inverse problems; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Inne

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Association of antithyroid peroxidase antibodies with cardiac function in euthyroid women with type 1 diabetes mellitus — assessment with two-dimensional speckle-tracking echocardiography
Autorzy:: Franek, Edward
Zieliński, Jakub
Mrozikiewicz-Rakowska, Beata
Łukawska-Tatarczuk, Magdalena Maria
Pawlak, Agnieszka
Czupryniak, Leszek
Współwytwórcy:: Interdisciplinary Centre for Mathematical and Computational Modelling, University of Warsaw
Department of Invasive Cardiology, Central Clinical Hospital of the Ministry of Internal Affairs and Administration, Warsaw, Poland
Department of Diabetology and Internal Diseases, Medical University of Warsaw, Warsaw, Poland
Mossakowski Medical Research Centre, Polish Academy of Sciences, Warsaw, Poland
Department of Internal Diseases, Endocrinology, and Diabetology, Central Clinical Hospital of the Ministry of Internal Affairs and Administration, Warsaw, Poland
Data publikacji:: 2022-07-18
Wydawca:: VM Media Group sp. z o.o., Grupa Via Medica
Słowa kluczowe:: thyroid autoimmunity
type 1 diabetes mellitus
speckle tracking echocardiography
diabetic cardiomyopathy
heart failure; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Inne

Szczegóły

Informacja