Nauka

Ogłoszenia

Brak aktualnych ogłoszeń.Wygasłe ogłoszenia...

Wydarzenia

Brak aktualnych wydarzeń.Minione wydarzenia...

Seminarium IM

Więcej...

Ostatnio wydane publikacje

  1. K. Zajkowski
    A variational formula on the Cramér function of series of independent random variables
    Positivity 21 (2017), no. 1, 273-282.
    DOI10.1007/s11117-016-0419-z
  2. K. Petelczyc
    On some generalization of the Möbius configuration
    Ars Mathem. Contemp. 13 (2017), no. 1, 107-123.
  3. K. P±k, A. Schubert
    The Impact of Proof Steps Sequence on Proof Readability - Experimental Setting
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 172-186.
  4. K. P±k
    Lemma Extraction Criteria Based on Properties of Theorem Statements
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 158-171.
  5. A. Naumowicz
    Linking to Compound Conditions in Mizar
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 21-24.
  6. K. P±k
    Topological Foundations for a Formal Theory of Manifolds
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 14-16.
  7. A. Korniłowicz
    Registrations vs Redefinitions in Mizar
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 17-20.
  8. A. Grabowski, R. Coghetto
    Tarski's Geometry and the Euclidean Plane in Mizar
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 4-9.
  9. among others:, A. Golińska, W. Lesiński, A. Polewko-Klim, W. Rudnicki
    Prediction of overall survival for patients with metastatic castration-resistant prostate cancer: development of a prognostic model through a crowdsourced challenge with open clinical trial data
    LANCET ONCOL 18 (2017), no. 1, 132-142, (Lista pracowników wydziału wraz z afiliacj± znajduje się w Supplementary appendix. Pozostała liczba autorów the Prostate Cancer Challenge DREAM Community wynosi 165 osób. Published on-line in 2016).
    DOI10.1016/ S1470-2045(16)30560-5
  10. M. Makowski, E. W. Piotrowski, J Syska, J Sładkowski
    Profit intensity and cases of non-compliance with the law of demand/supply
    Physica A 473 (2017), 53-59.
    DOI10.1016/j.physa.2017.01.016
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .